changeset 57585 | ce06a901c050 |
parent 57579 | c1e24d017918 |
child 57684 | 38338e759f26 |
--- a/Admin/isatest/settings/mac-poly-M8-quick_and_dirty Sun Jul 20 22:05:35 2014 +0200 +++ b/Admin/isatest/settings/mac-poly-M8-quick_and_dirty Mon Jul 21 15:23:57 2014 +0200 @@ -8,7 +8,7 @@ ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 1000 --gcthreads 8" -#ISABELLE_GHC=/opt/local/bin/ghc +ISABELLE_GHC=ghc ISABELLE_HOME_USER=~/isabelle-mac-poly-M8-quick_and_dirty