1.1 --- a/Admin/isatest/settings/afp-poly	Fri Jul 18 14:21:42 2014 +0200
     1.2 +++ b/Admin/isatest/settings/afp-poly	Fri Jul 18 21:40:11 2014 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  # to be retired:
     1.5  # JINJATHREADS_OPTIONS="-M 1 -q 0 -p 0"
     1.6  
     1.7 -ISABELLE_GHC=/usr/bin/ghc
     1.8 +ISABELLE_GHC=/opt/local/bin/ghc
     1.9  
    1.10  ISABELLE_HOME_USER=~/afp/isabelle-afp-poly
    1.11