2025-10-29 14:47:17 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
#
|
|
|
|
|
# Run a check in a temporary dir
|
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
# Source directory
|
|
|
|
|
SOURCE=`pwd`
|
|
|
|
|
|
|
|
|
|
# Dest directory
|
|
|
|
|
DEST=`mktemp -d`
|
|
|
|
|
|
|
|
|
|
make distclean
|
|
|
|
|
|
2026-02-28 09:32:01 +01:00
|
|
|
cd $DEST
|
|
|
|
|
|
2025-10-29 14:47:17 +01:00
|
|
|
if ! $SOURCE/configure; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
2026-03-18 12:10:05 +01:00
|
|
|
if ! make -j4; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if ! make check; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if ! make distclean; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if ! $SOURCE/configure --host=x86_64-w64-mingw32.static --build=`$SOURCE/config.guess`; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if ! make -j4; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if ! make check; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if ! make distclean; then
|
2025-10-29 14:47:17 +01:00
|
|
|
exit 1
|
|
|
|
|
fi
|