# HG changeset patch
# User wenzelm
# Date 1307795243 -7200
# Node ID 9c392ea6a6e6a276789234d30247960952bde221
# Parent  eaf8b7f22d3973fd69d352d70c64dc458a578ef9
reverted 5fcd0ca1f582 -- isatest provides its own libgmp3 via LD_LIBRARY_PATH, which are also required for swipl;

diff -r eaf8b7f22d39 -r 9c392ea6a6e6 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Sat Jun 11 07:50:28 2011 +0200
+++ b/Admin/isatest/isatest-makedist	Sat Jun 11 14:27:23 2011 +0200
@@ -98,7 +98,7 @@
 
 ## spawn test runs
 
-$SSH macbroy20 "$MAKEALL $HOME/settings/at-poly-test"
+$SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test"
 # give test some time to copy settings and start
 sleep 15
 $SSH macbroy28 "$MAKEALL $HOME/settings/at-poly"
diff -r eaf8b7f22d39 -r 9c392ea6a6e6 Admin/isatest/settings/at-poly-test
--- a/Admin/isatest/settings/at-poly-test	Sat Jun 11 07:50:28 2011 +0200
+++ b/Admin/isatest/settings/at-poly-test	Sat Jun 11 14:27:23 2011 +0200
@@ -24,7 +24,7 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
 
-ISABELLE_GHC="/usr/bin/ghc"
+ISABELLE_GHC="/home/isabelle/contrib_devel/ghc/x86-linux/ghc"
 ISABELLE_OCAML="/home/isabelle/contrib_devel/ocaml/x86-linux/ocaml"
 ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl"