[Projects] [LrdeTools] 396: Use GHC 6.4.2 on antalya. Disable tanis.

https://svn.lrde.epita.fr/svn/lrde-tools/trunk/build-farm Index: ChangeLog from Roland Levillain <roland(a)lrde.epita.fr> Use GHC 6.4.2 on antalya. Disable tanis. * buildfarm_worker/antalya.fns: Add GHC's 6.4.2 bin directory to the path. * buildfarm_worker/tanis.fns: Disabled all builds. * web/build.pl: Remove tanis. buildfarm_worker/antalya.fns | 2 +- buildfarm_worker/tanis.fns | 25 ++++++++++++++----------- web/build.pl | 1 - 3 files changed, 15 insertions(+), 13 deletions(-) Index: web/build.pl --- web/build.pl (revision 395) +++ web/build.pl (working copy) @@ -48,7 +48,6 @@ 'istanbul' => "Debian GNU/Linux 3.1 stable sparc64", 'marvejols' => "Debian GNU/Linux sid i386", 'pau' => "Cygwin XP Pro i686", - 'tanis' => "Debian GNU/Linux 3.1 stable i386", 'warszawa' => "Debian GNU/Linux etch i386", ); Index: buildfarm_worker/tanis.fns --- buildfarm_worker/tanis.fns (revision 395) +++ buildfarm_worker/tanis.fns (working copy) @@ -18,18 +18,21 @@ # Vaucanson. # # ----------- # -( - export CC="ccache gcc-3.4" - export CXX="ccache g++-3.4" - test_tree vaucanson bootstrap configure build check demos install distcheck -) +# FIXME: Disabled completely (tanis heats up when used intensively, +# making builds fail). -( - export CC="ccache gcc-4.0" - export CXX="ccache g++-4.0" - test_tree vaucanson-gcc4.0 \ - bootstrap configure build check demos install distcheck -) +# ( +# export CC="ccache gcc-3.4" +# export CXX="ccache g++-3.4" +# test_tree vaucanson bootstrap configure build check demos install distcheck +# ) + +# ( +# export CC="ccache gcc-4.0" +# export CXX="ccache g++-4.0" +# test_tree vaucanson-gcc4.0 \ +# bootstrap configure build check demos install distcheck +# ) # 2006-09-26: Disable Vaucanson ICC build, as it is eats memory and # CPU aggressively. Index: buildfarm_worker/antalya.fns --- buildfarm_worker/antalya.fns (revision 395) +++ buildfarm_worker/antalya.fns (working copy) @@ -8,7 +8,7 @@ # Fink and local binaries. export PATH="/work/build/bin:/sw/bin:$PATH" # Add some programs from /lrde/dev to the PATH. -path_prepend autoconf-2.60 automake-1.9.6 bison-2.3 swig-1.3.29 +path_prepend autoconf-2.60 automake-1.9.6 bison-2.3 swig-1.3.29 ghc-6.4.2 # Set up Libtool (from Fink). export ACLOCAL="aclocal -I /sw/share/aclocal"