| changeset 57560 | bc957769b584 |
| parent 51562 | 5fffa75d2432 |
| child 57579 | c1e24d017918 |
--- a/Admin/isatest/settings/mac-poly-M8-skip_proofs Mon Jul 14 15:39:23 2014 +0200 +++ b/Admin/isatest/settings/mac-poly-M8-skip_proofs Tue Jul 15 11:13:43 2014 +0200 @@ -8,6 +8,7 @@ ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 1000 --gcthreads 8" +ISABELLE_GHC=/opt/local/bin/ghc ISABELLE_HOME_USER=~/isabelle-mac-poly-M8-skip_proofs