adding ISABELLE_GHC environment setting to mira configuration isabelle makeall all on lxbroy10
authorbulwahn
Thu Jun 09 11:57:39 2011 +0200 (2011-06-09)
changeset 433349970a4580d13
parent 43319 048c7eea1a71
child 43342 2929f96d3ae7
child 43343 e83695ea0e0a
adding ISABELLE_GHC environment setting to mira configuration isabelle makeall all on lxbroy10
Admin/mira.py
     1.1 --- a/Admin/mira.py	Thu Jun 09 10:43:42 2011 +0200
     1.2 +++ b/Admin/mira.py	Thu Jun 09 11:57:39 2011 +0200
     1.3 @@ -191,6 +191,8 @@
     1.4  ML_HOME="/home/polyml/polyml-svn/x86_64-linux"
     1.5  ML_SYSTEM="polyml-5.4.1"
     1.6  ML_OPTIONS="-H 8000 --gcthreads 6"
     1.7 +
     1.8 +ISABELLE_GHC="/usr/bin/ghc"
     1.9  '''
    1.10  
    1.11      isabelle_home = paths[0]