isabelle: src/Tools/Code/etc/settings@718b44dbd74d (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 \
39780 2f43fffbba1a platform-sensitive contrib paths for ghc, ocaml haftmann parents: 37746 diff changeset	5	"$ISABELLE_HOME/contrib/ghc/$ISABELLE_PLATFORM/ghc" \
2f43fffbba1a platform-sensitive contrib paths for ghc, ocaml haftmann parents: 37746 diff changeset	6	"$ISABELLE_HOME/../ghc/$ISABELLE_PLATFORM/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 \
39780 2f43fffbba1a platform-sensitive contrib paths for ghc, ocaml haftmann parents: 37746 diff changeset	11	"$ISABELLE_HOME/contrib/ocaml/$ISABELLE_PLATFORM/ocaml" \
2f43fffbba1a platform-sensitive contrib paths for ghc, ocaml haftmann parents: 37746 diff changeset	12	"$ISABELLE_HOME/../ocaml/$ISABELLE_PLATFORM/ocaml" \
37746 39253da888c1 empty default haftmann parents: 37702 diff changeset	13	$(type -p ocaml) \
39253da888c1 empty default haftmann parents: 37702 diff changeset	14	"")

author	blanchet
	Mon, 08 Nov 2010 02:33:48 +0100
changeset 40419	718b44dbd74d
parent 39780	2f43fffbba1a
child 40545	956c2cc7fced
permissions	-rw-r--r--