# HG changeset patch
# User hoelzl
# Date 1307622274 -7200
# Node ID 2929f96d3ae7a34f264bf8a8dc554ddc6eaf1810
# Parent  9970a4580d1306aa317c5c2833c13c54c028ff0d# Parent  acdac535c7fafeae2ab7671948faab5875f6c37b
merged

diff -r acdac535c7fa -r 2929f96d3ae7 Admin/mira.py
--- a/Admin/mira.py	Thu Jun 09 14:04:38 2011 +0200
+++ b/Admin/mira.py	Thu Jun 09 14:24:34 2011 +0200
@@ -191,6 +191,8 @@
 ML_HOME="/home/polyml/polyml-svn/x86_64-linux"
 ML_SYSTEM="polyml-5.4.1"
 ML_OPTIONS="-H 8000 --gcthreads 6"
+
+ISABELLE_GHC="/usr/bin/ghc"
 '''
 
     isabelle_home = paths[0]