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.
apparently, setting ISABELLE_GHC makes ghc unusable
authorkleing
Sat, 19 Jul 2014 21:20:38 +0200
changeset 57578 f07d0711236c
parent 57577 e848a17d9dee
child 57579 c1e24d017918
apparently, setting ISABELLE_GHC makes ghc unusable
Admin/isatest/settings/afp-poly file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/settings/afp-poly	Sat Jul 19 18:30:43 2014 +0200
+++ b/Admin/isatest/settings/afp-poly	Sat Jul 19 21:20:38 2014 +0200
@@ -5,7 +5,7 @@
 # to be retired:
 # JINJATHREADS_OPTIONS="-M 1 -q 0 -p 0"
 
-ISABELLE_GHC=/opt/local/bin/ghc
+# ISABELLE_GHC=/opt/local/bin/ghc
 
 ISABELLE_HOME_USER=~/afp/isabelle-afp-poly
isabelle