1.1 --- a/Admin/isatest/settings/mac-poly-M8-quick_and_dirty	Mon Jul 14 15:39:23 2014 +0200
     1.2 +++ b/Admin/isatest/settings/mac-poly-M8-quick_and_dirty	Tue Jul 15 11:13:43 2014 +0200
     1.3 @@ -8,6 +8,7 @@
     1.4    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     1.5    ML_OPTIONS="-H 1000 --gcthreads 8"
     1.6  
     1.7 +ISABELLE_GHC=/opt/local/bin/ghc
     1.8  
     1.9  ISABELLE_HOME_USER=~/isabelle-mac-poly-M8-quick_and_dirty
    1.10