Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
afp-poly runs on macbroy2 (different ghc)
authorkleing
Fri, 18 Jul 2014 21:40:11 +0200
changeset 57572 57932dd40916
parent 57571 d38a98f496dd
child 57573 2bfbeb0e69cd
afp-poly runs on macbroy2 (different ghc)
Admin/isatest/settings/afp-poly file | annotate | diff | comparison | revisions 
--- 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
isabelle