diff options
Diffstat (limited to 'helpers/test-build.sh')
-rwxr-xr-x | helpers/test-build.sh | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/helpers/test-build.sh b/helpers/test-build.sh new file mode 100755 index 00000000..ce4aab50 --- /dev/null +++ b/helpers/test-build.sh @@ -0,0 +1,49 @@ +#! /bin/sh + +MIXED_COMPILERS="gcc /usr/gcc/bin/gcc clang" +OTHER_COMPILERS="tcc pcc" + +rm -f compile-results.txt + +compile () { + make -k + if make check + then + echo success: $1 $2 >> compile-results.txt + else + echo failure: $1 $2 >> compile-results.txt + fi +} + +configure_and_compile () { + for j in "" --disable-mpfr + do + ./configure $j CC="$1" + compile "$1" "$j" + done + make distclean +} + +(make distclean) + +for i in $OTHER_COMPILERS $MIXED_COMPILERS +do + configure_and_compile $i +done + +for i in $MIXED_COMPILERS +do + configure_and_compile "$i -m32" +done + +echo +echo ========================================== +echo +case $(grep failure compile-results.txt | wc -l) in +0) echo No failures! + # rm compile-results.txt + ;; +*) echo The following combinations failed: + grep failure compile-results.txt + ;; +esac |