author | haftmann |
Wed, 29 Sep 2010 09:21:26 +0200 | |
changeset 39780 | 2f43fffbba1a |
parent 37746 | 39253da888c1 |
child 40545 | 956c2cc7fced |
permissions | -rw-r--r-- |
ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools" EXEC_GHC=$(choosefrom \ "$ISABELLE_HOME/contrib/ghc/$ISABELLE_PLATFORM/ghc" \ "$ISABELLE_HOME/../ghc/$ISABELLE_PLATFORM/ghc" \ $(type -p ghc) \ "") EXEC_OCAML=$(choosefrom \ "$ISABELLE_HOME/contrib/ocaml/$ISABELLE_PLATFORM/ocaml" \ "$ISABELLE_HOME/../ocaml/$ISABELLE_PLATFORM/ocaml" \ $(type -p ocaml) \ "")