changeset 57560 | bc957769b584 |
parent 49345 | f182f7fa158f |
child 58450 | 5dbb09cc5a01 |
--- a/Admin/isatest/settings/at-poly Mon Jul 14 15:39:23 2014 +0200 +++ b/Admin/isatest/settings/at-poly Tue Jul 15 11:13:43 2014 +0200 @@ -8,6 +8,8 @@ ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 500" +ISABELLE_GHC=/usr/bin/ghc + ISABELLE_HOME_USER=~/isabelle-at-poly # Where to look for isabelle tools (multiple dirs separated by ':').