1.1 --- a/Admin/mira.py	Thu Jun 02 15:17:23 2011 +0200
     1.2 +++ b/Admin/mira.py	Fri Jun 03 07:25:44 2011 +0200
     1.3 @@ -270,7 +270,11 @@
     1.4  
     1.5      (loc_isabelle,) = paths
     1.6      (dep_isabelle,) = dep_paths
     1.7 -    prepare_isabelle_repository(loc_isabelle, env.settings.contrib, dep_isabelle)
     1.8 +    more_settings = '''
     1.9 +ISABELLE_GHC="/usr/local/ldist/bin/ghc"
    1.10 +'''
    1.11 +    prepare_isabelle_repository(loc_isabelle, env.settings.contrib, dep_isabelle,
    1.12 +      more_settings = more_settings)
    1.13      os.chdir(loc_isabelle)
    1.14      
    1.15      (return_code, log) = env.run_process('bin/isabelle',