isabelle: src/Tools/Code/etc/settings@000049335247 (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" \
37746 39253da888c1 empty default haftmann parents: 37702 diff changeset	7	$(type -p ghc) \
39253da888c1 empty default haftmann parents: 37702 diff changeset	8	"")
37702 abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	9
abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	10	EXEC_OCAML=$(choosefrom \
abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	11	"$ISABELLE_HOME/contrib/ocaml" \
abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	12	"$ISABELLE_HOME/../ocaml" \
37746 39253da888c1 empty default haftmann parents: 37702 diff changeset	13	$(type -p ocaml) \
39253da888c1 empty default haftmann parents: 37702 diff changeset	14	"")