| changeset 57646 | da26d2d6346c |
| parent 57585 | ce06a901c050 |
| child 57684 | 38338e759f26 |
--- a/Admin/isatest/settings/mac-poly64-M4 Thu Jul 24 14:08:29 2014 +0200 +++ b/Admin/isatest/settings/mac-poly64-M4 Thu Jul 24 14:56:30 2014 +0200 @@ -8,7 +8,8 @@ ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 2000 --gcthreads 4" -ISABELLE_GHC=ghc +#FIXME disabled due to polyml-5.4.1 compiler crash in Quickcheck_Lattice_Examples.thy +#ISABELLE_GHC=ghc ISABELLE_HOME_USER=~/isabelle-mac-poly64-M4