# HG changeset patch
# User kleing
# Date 1405712411 -7200
# Node ID 57932dd40916319e9705e20cdb31abb814b686bc
# Parent  d38a98f496ddbcae13f423aed91ea275370b8e7e
afp-poly runs on macbroy2 (different ghc)

diff -r d38a98f496dd -r 57932dd40916 Admin/isatest/settings/afp-poly
--- a/Admin/isatest/settings/afp-poly	Fri Jul 18 14:21:42 2014 +0200
+++ b/Admin/isatest/settings/afp-poly	Fri Jul 18 21:40:11 2014 +0200
@@ -5,7 +5,7 @@
 # to be retired:
 # JINJATHREADS_OPTIONS="-M 1 -q 0 -p 0"
 
-ISABELLE_GHC=/usr/bin/ghc
+ISABELLE_GHC=/opt/local/bin/ghc
 
 ISABELLE_HOME_USER=~/afp/isabelle-afp-poly