author | wenzelm |
Sun, 13 Mar 2011 15:13:53 +0100 | |
changeset 42813 | 8d4881d895f8 |
parent 42812 | f823f7fae9a2 |
child 42814 | 12f24ad566ea |
1.1 --- a/Admin/isatest/settings/at-poly Sun Mar 13 15:10:00 2011 +0100 1.2 +++ b/Admin/isatest/settings/at-poly Sun Mar 13 15:13:53 2011 +0100 1.3 @@ -24,4 +24,9 @@ 1.4 1.5 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true" 1.6 1.7 +EXEC_GHC="/home/isabelle/contrib_devel/ghc/x86-linux/ghc" 1.8 +EXEC_OCAML="/home/isabelle/contrib_devel/ocaml/x86-linux/ocaml" 1.9 +EXEC_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl" 1.10 + 1.11 init_component "$HOME/contrib_devel/kodkodi" 1.12 +