# HG changeset patch # User bulwahn # Date 1307613459 -7200 # Node ID 9970a4580d1306aa317c5c2833c13c54c028ff0d # Parent 048c7eea1a719cf061c55ac90149e48d14700678 adding ISABELLE_GHC environment setting to mira configuration isabelle makeall all on lxbroy10 diff -r 048c7eea1a71 -r 9970a4580d13 Admin/mira.py --- a/Admin/mira.py Thu Jun 09 10:43:42 2011 +0200 +++ b/Admin/mira.py Thu Jun 09 11:57:39 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]