# HG changeset patch
# User wenzelm
# Date 1341488033 -7200
# Node ID 6615f7ce670b630d47cc2f8c23da18b76136246c
# Parent  10c1f8e190edf2a71a83649e4c308a41fbe834f3
slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy*);

diff -r 10c1f8e190ed -r 6615f7ce670b Admin/isatest/settings/at-poly-test
--- a/Admin/isatest/settings/at-poly-test	Wed Jul 04 13:08:44 2012 +0200
+++ b/Admin/isatest/settings/at-poly-test	Thu Jul 05 13:33:53 2012 +0200
@@ -24,8 +24,8 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
 
-ISABELLE_GHC="/home/isabelle/contrib_devel/ghc/x86-linux/ghc"
-ISABELLE_OCAML="/home/isabelle/contrib_devel/ocaml/x86-linux/ocaml"
+ISABELLE_GHC="/usr/bin/ghc"
+ISABELLE_OCAML="/usr/bin/ocaml"
 ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl"
 
 init_component "$HOME/contrib_devel/kodkodi-1.2.16"
diff -r 10c1f8e190ed -r 6615f7ce670b etc/settings
--- a/etc/settings	Wed Jul 04 13:08:44 2012 +0200
+++ b/etc/settings	Thu Jul 05 13:33:53 2012 +0200
@@ -220,6 +220,6 @@
 #GLPK_PATH=glpsol
 
 # Misc programming languages
-#ISABELLE_GHC="/usr/local/ghc/$ISABELLE_PLATFORM/ghc"
-#ISABELLE_OCAML="/usr/local/ocaml/$ISABELLE_PLATFORM/ocaml"
-#ISABELLE_SWIPL="/usr/local/swipl/$ISABELLE_PLATFORM/swipl"
+#ISABELLE_GHC="/usr/bin/ghc"
+#ISABELLE_OCAML="/usr/bin/ocaml"
+#ISABELLE_SWIPL="/usr/bin/swipl"