1.1 --- a/src/Tools/Code/etc/settings	Wed Sep 29 09:08:01 2010 +0200
     1.2 +++ b/src/Tools/Code/etc/settings	Wed Sep 29 09:21:26 2010 +0200
     1.3 @@ -2,13 +2,13 @@
     1.4  ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
     1.5  
     1.6  EXEC_GHC=$(choosefrom \
     1.7 -  "$ISABELLE_HOME/contrib/ghc" \
     1.8 -  "$ISABELLE_HOME/../ghc" \
     1.9 +  "$ISABELLE_HOME/contrib/ghc/$ISABELLE_PLATFORM/ghc" \
    1.10 +  "$ISABELLE_HOME/../ghc/$ISABELLE_PLATFORM/ghc" \
    1.11    $(type -p ghc) \
    1.12    "")
    1.13  
    1.14  EXEC_OCAML=$(choosefrom \
    1.15 -  "$ISABELLE_HOME/contrib/ocaml" \
    1.16 -  "$ISABELLE_HOME/../ocaml" \
    1.17 +  "$ISABELLE_HOME/contrib/ocaml/$ISABELLE_PLATFORM/ocaml" \
    1.18 +  "$ISABELLE_HOME/../ocaml/$ISABELLE_PLATFORM/ocaml" \
    1.19    $(type -p ocaml) \
    1.20    "")