--- a/Admin/isatest/settings/mac-poly-M8 Sun Sep 21 20:22:12 2014 +0200
+++ b/Admin/isatest/settings/mac-poly-M8 Mon Sep 22 10:18:41 2014 +0200
@@ -8,8 +8,6 @@
ML_HOME="$POLYML_HOME/$ML_PLATFORM"
ML_OPTIONS="-H 500 --gcthreads 8"
-ISABELLE_GHC=ghc
-
ISABELLE_HOME_USER=~/isabelle-mac-poly-M8
# Where to look for isabelle tools (multiple dirs separated by ':').
@@ -30,5 +28,13 @@
ISABELLE_FULL_TEST=true
+ISABELLE_GHC=ghc
+ISABELLE_MLTON=mlton
+ISABELLE_OCAML=ocaml
+ISABELLE_OCAMLC=ocamlc
+ISABELLE_POLYML="$ML_HOME/poly"
+#ISABELLE_SCALA="$SCALA_HOME/bin"
+ISABELLE_SMLNJ="/mnt/nfsbroy/home/smlnj/bin/sml"
+
Z3_NON_COMMERCIAL="yes"