1.1 --- a/src/Tools/Code/etc/settings	Fri Jul 02 17:27:44 2010 +0200
     1.2 +++ b/src/Tools/Code/etc/settings	Fri Jul 02 17:27:44 2010 +0200
     1.3 @@ -1,2 +1,12 @@
     1.4  
     1.5  ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
     1.6 +
     1.7 +EXEC_GHC=$(choosefrom \
     1.8 +  "$ISABELLE_HOME/contrib/ghc" \
     1.9 +  "$ISABELLE_HOME/../ghc" \
    1.10 +  $(type -p ghc))
    1.11 +
    1.12 +EXEC_OCAML=$(choosefrom \
    1.13 +  "$ISABELLE_HOME/contrib/ocaml" \
    1.14 +  "$ISABELLE_HOME/../ocaml" \
    1.15 +  $(type -p ocaml))