src/Tools/Code/etc/settings
changeset 40545 956c2cc7fced
parent 39780 2f43fffbba1a
child 41952 c7297638599b
     1.1 --- a/src/Tools/Code/etc/settings	Mon Nov 15 15:41:58 2010 +0100
     1.2 +++ b/src/Tools/Code/etc/settings	Mon Nov 15 17:14:43 2010 +0100
     1.3 @@ -1,14 +1,15 @@
     1.4 +# -*- shell-script -*- :mode=shellscript:
     1.5  
     1.6  ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
     1.7  
     1.8 -EXEC_GHC=$(choosefrom \
     1.9 +EXEC_GHC="$(choosefrom \
    1.10    "$ISABELLE_HOME/contrib/ghc/$ISABELLE_PLATFORM/ghc" \
    1.11    "$ISABELLE_HOME/../ghc/$ISABELLE_PLATFORM/ghc" \
    1.12 -  $(type -p ghc) \
    1.13 -  "")
    1.14 +  "$(type -p ghc)" \
    1.15 +  "")"
    1.16  
    1.17 -EXEC_OCAML=$(choosefrom \
    1.18 +EXEC_OCAML="$(choosefrom \
    1.19    "$ISABELLE_HOME/contrib/ocaml/$ISABELLE_PLATFORM/ocaml" \
    1.20    "$ISABELLE_HOME/../ocaml/$ISABELLE_PLATFORM/ocaml" \
    1.21 -  $(type -p ocaml) \
    1.22 -  "")
    1.23 +  "$(type -p ocaml)" \
    1.24 +  "")"