2022-01-17 07:05:14 -05:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
REPO="$(realpath "$(dirname "$(realpath "$0")")/..")"
|
|
|
|
|
if [ -f "$REPO/Makefile" ]; then make -C "$REPO" distclean; fi
|
|
|
|
|
|
|
|
|
|
PREFIX="$REPO/dest/dev-native"
|
|
|
|
|
|
2022-01-17 07:33:28 -05:00
|
|
|
"$REPO/configure" --prefix="$PREFIX" --enable-tests
|
