Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reverted 5fcd0ca1f582 -- isatest provides its own libgmp3 via LD_LIBRARY_PATH, which are also required for swipl;
authorwenzelm
Sat, 11 Jun 2011 14:27:23 +0200
changeset 43364 9c392ea6a6e6
parent 43363 eaf8b7f22d39
child 43365 f8944cb2468f
reverted 5fcd0ca1f582 -- isatest provides its own libgmp3 via LD_LIBRARY_PATH, which are also required for swipl;
Admin/isatest/isatest-makedist file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly-test file | annotate | diff | comparison | revisions 
--- 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"
--- 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"
isabelle