isabelle: src/Tools/Code/etc/settings@6607ccf77946 (annotated)

32482 236fa33784de code generator is now a separate component haftmann parents: diff changeset	1
236fa33784de code generator is now a separate component haftmann parents: diff changeset	2	ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
37702 abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	3
abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	4	EXEC_GHC=$(choosefrom \
abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	5	"$ISABELLE_HOME/contrib/ghc" \
abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	6	"$ISABELLE_HOME/../ghc" \
abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	7	$(type -p ghc))
abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	8
abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	9	EXEC_OCAML=$(choosefrom \
abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	10	"$ISABELLE_HOME/contrib/ocaml" \
abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	11	"$ISABELLE_HOME/../ocaml" \
abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	12	$(type -p ocaml))