From ee8653ab57c3703821e35ef1d4e10b25d17fa278 Mon Sep 17 00:00:00 2001 From: thevenyp Date: Wed, 4 Feb 2009 17:29:23 +0000 Subject: Update pipol directory. git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@412 211d60ee-9f03-0410-a15a-8952a2c7a4e4 --- tools/README.pipol | 33 ++++++++++----- tools/pipol/nightly/multiopt | 70 +++++++++++++++++++++++--------- tools/pipol/rc.amd64-linux-debian-etch | 4 ++ tools/pipol/rc.amd64-linux-fedora | 9 ++++ tools/pipol/rc.amd64-linux-mandriva | 6 +++ tools/pipol/rc.amd64-linux-suse-LES10 | 15 +++++++ tools/pipol/rc.amd64-linux-ubuntu-feisty | 8 ++++ tools/pipol/rc.amd64-linux-ubuntu-hardy | 6 +++ tools/pipol/rc.i386-linux-debian-etch | 26 ++++++++++++ tools/pipol/rc.i386-linux-debian-testing | 20 +++++++++ tools/pipol/rc.i386-linux-fedora-core8 | 9 ++++ tools/pipol/rc.i386-linux-fedora-core9 | 9 ++++ tools/pipol/rc.i386-linux-mandriva | 6 +++ tools/pipol/rc.ia64-linux-fedora | 17 +++++--- tools/pipol/rc.mac | 4 +- 15 files changed, 205 insertions(+), 37 deletions(-) create mode 100644 tools/pipol/rc.amd64-linux-debian-etch create mode 100755 tools/pipol/rc.amd64-linux-fedora create mode 100755 tools/pipol/rc.amd64-linux-mandriva create mode 100755 tools/pipol/rc.amd64-linux-suse-LES10 create mode 100755 tools/pipol/rc.amd64-linux-ubuntu-feisty create mode 100755 tools/pipol/rc.amd64-linux-ubuntu-hardy create mode 100755 tools/pipol/rc.i386-linux-debian-etch create mode 100755 tools/pipol/rc.i386-linux-debian-testing create mode 100755 tools/pipol/rc.i386-linux-fedora-core8 create mode 100755 tools/pipol/rc.i386-linux-fedora-core9 create mode 100644 tools/pipol/rc.i386-linux-mandriva (limited to 'tools') 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/-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/-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 <>/etc/apt/apt.conf.d/100MpfrChanges <>/etc/apt/apt.conf.d/100MpfrChanges <