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.
changing the mira setting again for the mutabelle configuration
authorbulwahn
Fri, 03 Jun 2011 19:37:26 +0200
changeset 43153 cbb748ccf81b
parent 43152 6c4e021dec06
child 43154 72e4753a6677
changing the mira setting again for the mutabelle configuration
Admin/mira.py file | annotate | diff | comparison | revisions 
--- a/Admin/mira.py	Fri Jun 03 07:25:44 2011 +0200
+++ b/Admin/mira.py	Fri Jun 03 19:37:26 2011 +0200
@@ -271,7 +271,7 @@
     (loc_isabelle,) = paths
     (dep_isabelle,) = dep_paths
     more_settings = '''
-ISABELLE_GHC="/usr/local/ldist/bin/ghc"
+ISABELLE_GHC="/usr/bin/ghc"
 '''
     prepare_isabelle_repository(loc_isabelle, env.settings.contrib, dep_isabelle,
       more_settings = more_settings)
isabelle