# HG changeset patch
# User bulwahn
# Date 1307078744 -7200
# Node ID 6c4e021dec06e9c27c02abe95444a2d95e669f42
# Parent  9f368cdb4b09df91ffa28149083aea4b21767154
adding more settings to mira's mutabelle configuration

diff -r 9f368cdb4b09 -r 6c4e021dec06 Admin/mira.py
--- 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',