[nightly-test] removed MPFR_CHECK_ALL (no longer used)

               added possibility to choose compiler (e.g., g++)


git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@5688 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 7 insertions, 4 deletions

diff --git a/nightly-test b/nightly-test
index f75a8eda1..5173ff2d6 100755
--- a/nightly-test
+++ b/nightly-test
@@ -1,11 +1,13 @@
 #!/bin/sh
-# Usage: nightly-test <GMPDIR> <BRANCH>
+# Usage: nightly-test <GMPDIR> <CC> <BRANCH> 
 set -e
 GMP="$1"
-BRANCH="$2"
+CC="$2"
+BRANCH="$3"
 DIR=mpfr-nightly
 echo "BRANCH=$BRANCH"
 echo "GMP=$GMP"
+echo "CC=$CC"
 cd /tmp
 /bin/rm -fr "$DIR"
 mkdir "$DIR"
@@ -15,11 +17,12 @@ svn checkout "svn://scm.gforge.inria.fr/svn/mpfr/${BRANCH:-trunk}" "$DIR"
 cd "$DIR"
 autoreconf -i
 ./configure --with-gmp="$GMP" --disable-alloca --enable-assert=full \
-  --disable-shared --enable-thread-safe --enable-tests-timeout=60 CFLAGS="-Wall -Wmissing-prototypes -O2 -g -fstack-protector -D_FORTIFY_SOURCE=2 -Wformat -Wformat-security"
+--disable-shared --enable-thread-safe --enable-tests-timeout=60 \
+CC="$CC" CFLAGS="-Wall -Wmissing-prototypes -O2 -g -fstack-protector \
+-D_FORTIFY_SOURCE=2 -Wformat -Wformat-security"
 make
 export GMP_CHECK_RANDOMIZE=1
 export MPFR_CHECK_MAX=1
-export MPFR_CHECK_ALL=1
 export MPFR_SUSPICIOUS_OVERFLOW=1
 make check
 cd /tmp