Update pipol directory.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@412 211d60ee-9f03-0410-a15a-8952a2c7a4e4

15 files changed, 205 insertions, 37 deletions

diff --git a/tools/README.pipol b/tools/README.pipol
index 7b8a285..30ae318 100644
--- a/tools/README.pipol
+++ b/tools/README.pipol
@@ -10,23 +10,36 @@ yum.repos.d/fedora-updates-testing.repo
 These repositories are usefull when upgrading RedHat EL-5.0 from non-official
 directories (copied by rc.redhat into /etc/yum.repos.d).
 
-rc.fedora-core8
+rc.amd64-linux-debian-etch
+rc.amd64-linux-fedora
+rc.amd64-linux-mandriva
+rc.amd64-linux-suse-LES10
+rc.amd64-linux-ubuntu-feisty
+rc.amd64-linux-ubuntu-hardy
+rc.i386-linux-debian-etch
+rc.i386-linux-debian-testing
+rc.i386-linux-fedora-core8
+rc.i386-linux-fedora-core9
+rc.i386-linux-mandriva
+rc.ia64-linux-fedora
+rc.mac
 rc.redhat
 These 'run command' files update/install all the packages needed for mpfr and
 mpc compilation.
+Note that a binary mpfr-2.3.2 tarball is needed by rc.ia64-linux-fedora, read
+this file for further informations.
 
 nightly/multiopt
-The nightly-build script. It downloads the last version of the code from the
-subversion repository and try to compile it. Results are recorded in a log
-file '.pipol/log/<date>-multiopt'.
+The nightly-test script. It downloads the last development version of the
+code from the subversion repository and try to compile it. Results are
+recorded in a log file '.pipol/log/<date>-multiopt'.
 
-scripts/get-svn.sh
-Helper script that downloads code source. It displays help when launched
-without parameter.
+scripts/get-svn.sh 
+Helper script that downloads code source. Run it without parameter to display
+help.
 
 scripts/compile-svn.sh
-Helper script that compiles code. It displays help when launched without
-parameter.
+Helper script that compiles code. Run it without parameter to display help.
 
 Nightly-build HOWTO 
 -------------------
@@ -34,4 +47,4 @@ Nightly-build HOWTO
 homedir.
 2. Check that all scripts and run command files are executable.
 3. Wait until the scripts in the 'nightly/' directory are executed.
-4. Check results in '.pipol/log/' dir.
\ No newline at end of file
+4. Check results in '.pipol/log/' dir.
diff --git a/tools/pipol/nightly/multiopt b/tools/pipol/nightly/multiopt
index 2b85aa4..c897c62 100755
--- a/tools/pipol/nightly/multiopt
+++ b/tools/pipol/nightly/multiopt
@@ -8,19 +8,19 @@ RET=0
 # Set RANDOM_OPT to random compiler options
 # [no parameter]
 #
-# Setting random seed enables replay
-RANDOM=$PIPOL_JOB
-
 function random_opt()
 {
 CONFIGURE_OPTIONS=(\
     --enable-assert=full \
-    --enable-thread-safe \
     --disable-shared)
 # some options are not available everywhere
-if [[ $PIPOL_IMAGE == *i386-linux* || $PIPOL_IMAGE == *amd64* ]]; then
-    CONFIGURE_OPTIONS[${#CONFIGURE_OPTIONS[*]}]=--disable-alloca
-fi
+case $PIPOL_IMAGE in
+    *mac*)
+        : ;;
+    *linux*)
+        CONFIGURE_OPTIONS[${#CONFIGURE_OPTIONS[*]}] = --enable-thread-safe
+	;;
+esac
 
 # we did already compile with --enable-assert=full, so don't use zero value
 local number=${RANDOM:-3}
@@ -36,9 +36,18 @@ unset CFLAGS_OPT
 CFLAGS_OPTIONS=(\
     -O3 \
     -ansi \
-    "-std=c99 -D _XOPEN_SOURCE=500" \
-    "-D _FORTIFY_SOURCE=2" \
+    -std=c99 \ 
     -fno-common)
+# some options are not available everywhere
+case $PIPOL_IMAGE in
+    *mac*)
+        : ;;
+    *linux*)
+        CFLAGS_OPTIONS[${#CFLAGS_OPTIONS[*]}]="-D_FORTIFY_SOURCE=2"
+        CFLAGS_OPTIONS[${#CFLAGS_OPTIONS[*]}]="-D_XOPEN_SOURCE=500"
+	;;
+esac
+
 for ((i=0; i < ${#CFLAGS_OPTIONS[*]}; i++)); do
     j=$i+${#CONFIGURE_OPTIONS[*]}
     if [ $(($((2**j)) & number)) -ne 0 ]; then
@@ -105,13 +114,10 @@ function clean_compile_dir()
 #
 # Deploy images
 #
-#PIPOL esn amd64-linux-fedora-core8.dd.gz none 02:00 --silent --user
-#PIPOL esn i386-linux-fedora-core8.dd.gz  none 02:00 --silent --user
-
-### #PIPOL esn amd64-linux-redhatEL-5.0.dd.gz none 02:00 --silent --user
-### #PIPOL esn i386-linux-redhatEL-5.0.dd.gz  none 02:00 --silent --user
-#PIPOL esn ia64-linux-redhatEL-5.0.dd     none 02:00 --silent --user
-### #PIPOL esn ia64-linux-fedora-core9.dd none 02:00 --silent --user
+#PIPOL esn amd64-linux-fedora-core9.dd.gz none 02:00 --silent --user
+#PIPOL esn i386-linux-fedora-core9.dd.gz  none 02:00 --silent --user
+#PIPOL esn ia64-linux-fedora-core9.dd none 02:00 --silent --user
+#PIPOL esn i386-linux-debian-testing.dd.gz  none 02:00 --silent --user
 
 #PIPOL esn i386_mac-mac-osx-server-leopard.dd.gz none 02:00 --silent --user
 
@@ -126,9 +132,14 @@ function clean_compile_dir()
 case $PIPOL_IMAGE in
     *i386-linux*) # set path to SUN studio compiler
         export PATH=/net/i386/sunstudio/sunstudio12/bin:$PATH
+        # set path to Intel compiler (bin, lib, and so on)
+        . /net/i386/icc/11.0.074/bin/iccvars.sh ia32
 	;;
     *amd64-linux*) # set path to Intel compiler (bin, lib, and so on)
-        . /net/amd64/icc/11.0.074/bin/intel64/iccvars_intel64.sh
+        . /net/amd64/icc/11.0.074/bin/iccvars.sh intel64
+	;;
+    *ia64-linux*) # set path to Intel compiler (bin, lib, and so on)
+        . /net/ia64/icc/11.0.074/bin/iccvars.sh ia64
 	;;
 esac
 
@@ -146,6 +157,10 @@ case $PIPOL_IMAGE in
         ;;
 esac
 
+# Setting random seed enables replay
+#RANDOM=$PIPOL_JOB
+RANDOM=$$
+
 # this is understood by both mpc and mpfr compilation processes
 export GMP_CHECK_RANDOMIZE=1
 
@@ -157,7 +172,8 @@ log $SCRIPTS_DIR/get-svn.sh mpfr/trunk mpfr-trunk
 get_revision $PIPOL_WDIR/mpfr-trunk
 REVISION="mpfr(r$REVISION)"
 export MPFR_CHECK_MAX=1
-export MPFR_CHECK_ALL=1
+export MPFR_CHECK_SUSPICIOUS_OVERFLOW=1
+export MPFR_CHECK_LIBC_PRINTF=1
 log $SCRIPTS_DIR/compile-svn.sh mpfr-trunk
 
 clean_compile_dir $PIPOL_WDIR/mpfr-trunk
@@ -172,13 +188,21 @@ case $PIPOL_IMAGE in
     *i386-linux*)
         # SUN Studio compiler
         clean_compile_dir $PIPOL_WDIR/mpfr-trunk
-	log $SCRIPTS_DIR/compile-svn.sh mpfr-trunk CC="cc"
+	log $SCRIPTS_DIR/compile-svn.sh mpfr-trunk CC=cc
+        # Intel compiler
+	clean_compile_dir $PIPOL_WDIR/mpfr-trunk
+        log $SCRIPTS_DIR/compile-svn.sh mpfr-trunk CC=icc CFLAGS=\"-Wno-error\"
 	;;
     *amd64-linux*)
         # Intel compiler
         clean_compile_dir $PIPOL_WDIR/mpfr-trunk
 	log $SCRIPTS_DIR/compile-svn.sh mpfr-trunk CC="icc"
 	;;
+    *ia64-linux*)
+        # Intel compiler
+	clean_compile_dir $PIPOL_WDIR/mpfr-trunk
+        log $SCRIPTS_DIR/compile-svn.sh mpfr-trunk CC=icc CFLAGS=\"-Wno-error\"
+	;;
 esac
 
 #
@@ -202,12 +226,20 @@ case $PIPOL_IMAGE in
         # SUN Studio compiler
 	clean_compile_dir $PIPOL_WDIR/mpc-trunk
         log $SCRIPTS_DIR/compile-svn.sh mpc-trunk CC="cc"
+        # Intel compiler
+	clean_compile_dir $PIPOL_WDIR/mpc-trunk
+        log $SCRIPTS_DIR/compile-svn.sh mpc-trunk CC=icc CFLAGS=\"-Wno-error\"
 	;;
     *amd64-linux*)
         # Intel compiler
 	clean_compile_dir $PIPOL_WDIR/mpc-trunk
         log $SCRIPTS_DIR/compile-svn.sh mpc-trunk CC=icc CFLAGS=\"-Wno-error\"
 	;;
+    *ia64-linux*)
+        # Intel compiler
+	clean_compile_dir $PIPOL_WDIR/mpc-trunk
+        log $SCRIPTS_DIR/compile-svn.sh mpc-trunk CC=icc CFLAGS=\"-Wno-error\"
+	;;
 esac
 
 #
diff --git a/tools/pipol/rc.amd64-linux-debian-etch b/tools/pipol/rc.amd64-linux-debian-etch
new file mode 100644
index 0000000..82d8d87
--- /dev/null
+++ b/tools/pipol/rc.amd64-linux-debian-etch
@@ -0,0 +1,4 @@
+apt-get update
+apt-get install -q=2 libgmp3-dev
+apt-get install -q=2 libmpfr-dev
+apt-get install -q=2 libstdc++5
diff --git a/tools/pipol/rc.amd64-linux-fedora b/tools/pipol/rc.amd64-linux-fedora
new file mode 100755
index 0000000..bff9bb9
--- /dev/null
+++ b/tools/pipol/rc.amd64-linux-fedora
@@ -0,0 +1,9 @@
+#!/bin/sh
+yum -y remove ccache
+
+yum -y install compat-libstdc++-33
+yum -y upgrade automake
+yum -y install libtool
+yum -y install texinfo
+yum -y install gmp-devel
+yum -y install mpfr-devel
diff --git a/tools/pipol/rc.amd64-linux-mandriva b/tools/pipol/rc.amd64-linux-mandriva
new file mode 100755
index 0000000..832e9c2
--- /dev/null
+++ b/tools/pipol/rc.amd64-linux-mandriva
@@ -0,0 +1,6 @@
+#!/bin/sh
+urpmi.update -a --quiet
+urpmi --force --quiet lib64gmp3-devel
+urpmi --force --quiet lib64mpfr1
+urpmi --force --quiet lib64mpfr1-devel
+
diff --git a/tools/pipol/rc.amd64-linux-suse-LES10 b/tools/pipol/rc.amd64-linux-suse-LES10
new file mode 100755
index 0000000..04e994d
--- /dev/null
+++ b/tools/pipol/rc.amd64-linux-suse-LES10
@@ -0,0 +1,15 @@
+#!/bin/sh
+smart channel --yes --disable 'openSUSE:Tools'
+smart channel --yes --disable 'OpenOffice.org:STABLE'
+smart channel --yes --disable 'OpenOffice.org:EXTRAS'
+smart channel --yes --add openSUSE type=yast2 name=current baseurl="http://download.opensuse.org/distribution/SL-OSS-factory/inst-source/"
+smart channel --yes --enable openSUSE
+smart update
+smart install rpm  --yes
+smart upgrade smart --yes
+smart install autoconf --yes
+smart install automake --yes
+smart install gmp-devel --yes
+smart install texinfo --yes
+smart install libmpfr1-2.3.1 --yes
+
diff --git a/tools/pipol/rc.amd64-linux-ubuntu-feisty b/tools/pipol/rc.amd64-linux-ubuntu-feisty
new file mode 100755
index 0000000..2af20ae
--- /dev/null
+++ b/tools/pipol/rc.amd64-linux-ubuntu-feisty
@@ -0,0 +1,8 @@
+#!/bin/sh
+dpkg --configure -a
+apt-get -q=2 install autoconf
+apt-get -q=2 install automake
+apt-get -q=2 install texinfo
+apt-get -q=2 install libtool
+apt-get -q=2 install libgmp3-dev
+apt-get -q=2 install libmpfr-dev
diff --git a/tools/pipol/rc.amd64-linux-ubuntu-hardy b/tools/pipol/rc.amd64-linux-ubuntu-hardy
new file mode 100755
index 0000000..3ccc36b
--- /dev/null
+++ b/tools/pipol/rc.amd64-linux-ubuntu-hardy
@@ -0,0 +1,6 @@
+#!/bin/sh
+apt-get -y -q=2 install automake
+apt-get -y -q=2 install texinfo
+apt-get -y -q=2 install libtool
+apt-get -y -q=2 install libgmp3-dev
+apt-get -y -q=2 install libmpfr-dev
diff --git a/tools/pipol/rc.i386-linux-debian-etch b/tools/pipol/rc.i386-linux-debian-etch
new file mode 100755
index 0000000..b3f2bc6
--- /dev/null
+++ b/tools/pipol/rc.i386-linux-debian-etch
@@ -0,0 +1,26 @@
+#!/bin/sh
+
+# AUTOMAKE 1.10.1 is in version 'Lenny'
+cat >>/etc/apt/sources.list <<EOF
+
+deb http://ftp.fr.debian.org/debian/ testing main
+deb http://security.debian.org/ testing/updates main
+EOF
+
+cat >>/etc/apt/apt.conf.d/100MpfrChanges <<EOF
+APT::Cache-Limit 141943904;
+APT::Default-Release "stable";
+EOF
+
+apt-get -qq update
+apt-get -qq -u dist-upgrade
+
+apt-get -qq install bzip2 <&-
+apt-get -qq install autoconf <&-
+apt-get -qq install -t testing automake <&-
+apt-get -qq install libtool <&-
+apt-get -qq install libgmp3-dev <&-
+
+# mpc needs it
+apt-get -qq install libmpfr-dev <&-
+
diff --git a/tools/pipol/rc.i386-linux-debian-testing b/tools/pipol/rc.i386-linux-debian-testing
new file mode 100755
index 0000000..1dc3454
--- /dev/null
+++ b/tools/pipol/rc.i386-linux-debian-testing
@@ -0,0 +1,20 @@
+#!/bin/sh
+
+cat >>/etc/apt/apt.conf.d/100MpfrChanges <<EOF
+APT::Cache-Limit 141943904;
+APT::Default-Release "stable";
+EOF
+
+apt-get -qq update
+
+apt-get -q=2 install libstdc++5
+
+apt-get -qq install bzip2 <&-
+apt-get -qq install autoconf <&-
+apt-get -qq install automake <&-
+apt-get -qq install libtool <&-
+apt-get -qq install libgmp3-dev <&-
+
+# mpc needs it
+apt-get -qq install libmpfr-dev <&-
+
diff --git a/tools/pipol/rc.i386-linux-fedora-core8 b/tools/pipol/rc.i386-linux-fedora-core8
new file mode 100755
index 0000000..1112066
--- /dev/null
+++ b/tools/pipol/rc.i386-linux-fedora-core8
@@ -0,0 +1,9 @@
+#!/bin/sh
+yum -y remove ccache
+
+yum --enablerepo=development -y install compat-libstdc++-33.i386
+yum --enablerepo=development -y upgrade automake
+yum --enablerepo=development -y install libtool
+yum --enablerepo=development -y install texinfo
+yum --enablerepo=development -y install gmp-devel
+yum --enablerepo=development -y install mpfr-devel
diff --git a/tools/pipol/rc.i386-linux-fedora-core9 b/tools/pipol/rc.i386-linux-fedora-core9
new file mode 100755
index 0000000..bff9bb9
--- /dev/null
+++ b/tools/pipol/rc.i386-linux-fedora-core9
@@ -0,0 +1,9 @@
+#!/bin/sh
+yum -y remove ccache
+
+yum -y install compat-libstdc++-33
+yum -y upgrade automake
+yum -y install libtool
+yum -y install texinfo
+yum -y install gmp-devel
+yum -y install mpfr-devel
diff --git a/tools/pipol/rc.i386-linux-mandriva b/tools/pipol/rc.i386-linux-mandriva
new file mode 100644
index 0000000..6a56ffd
--- /dev/null
+++ b/tools/pipol/rc.i386-linux-mandriva
@@ -0,0 +1,6 @@
+#!/bin/sh
+urpmi.update -a --quiet
+urpmi --force --quiet libgmp3-devel
+urpmi --force --quiet libmpfr1
+urpmi --force --quiet libmpfr1-devel
+
diff --git a/tools/pipol/rc.ia64-linux-fedora b/tools/pipol/rc.ia64-linux-fedora
index 1112066..44cc59b 100755
--- a/tools/pipol/rc.ia64-linux-fedora
+++ b/tools/pipol/rc.ia64-linux-fedora
@@ -1,9 +1,14 @@
 #!/bin/sh
 yum -y remove ccache
 
-yum --enablerepo=development -y install compat-libstdc++-33.i386
-yum --enablerepo=development -y upgrade automake
-yum --enablerepo=development -y install libtool
-yum --enablerepo=development -y install texinfo
-yum --enablerepo=development -y install gmp-devel
-yum --enablerepo=development -y install mpfr-devel
+yum -y install compat-libstdc++-33
+yum -y upgrade automake
+yum -y install libtool
+yum -y install texinfo
+yum -y install gmp-devel
+
+#mpfr for mpc
+# official package too old 2.3.0
+#yum -y install mpfr-devel
+cd /
+tar xjf $PIPOL_HOMEDIR/pkg/mpfr-2.3.2-ia64.tar.bz2
diff --git a/tools/pipol/rc.mac b/tools/pipol/rc.mac
index 2dbaa9c..2408029 100755
--- a/tools/pipol/rc.mac
+++ b/tools/pipol/rc.mac
@@ -4,8 +4,8 @@
 /opt/local/bin/port install automake
 /opt/local/bin/port install libtool
 /opt/local/bin/port install gzip
-/opt/local/bin/port install gmp
-/opt/local/bin/port install mpfr
+/opt/local/bin/port install gmp +devel
+/opt/local/bin/port install mpfr +devel
 chmod 1777 /pipol
 rm -rf /usr/local/lib/*
 rm -rf /usr/local/include/*