--- a/Admin/mira.py Thu Jun 02 15:17:23 2011 +0200
+++ b/Admin/mira.py Fri Jun 03 07:25:44 2011 +0200
@@ -270,7 +270,11 @@
(loc_isabelle,) = paths
(dep_isabelle,) = dep_paths
- prepare_isabelle_repository(loc_isabelle, env.settings.contrib, dep_isabelle)
+ more_settings = '''
+ISABELLE_GHC="/usr/local/ldist/bin/ghc"
+'''
+ prepare_isabelle_repository(loc_isabelle, env.settings.contrib, dep_isabelle,
+ more_settings = more_settings)
os.chdir(loc_isabelle)
(return_code, log) = env.run_process('bin/isabelle',