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

40545 956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 39780 diff changeset	1	# -- shell-script -- :mode=shellscript:
32482 236fa33784de code generator is now a separate component haftmann parents: diff changeset	2
236fa33784de code generator is now a separate component haftmann parents: diff changeset	3	ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
37702 abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	4
40545 956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 39780 diff changeset	5	EXEC_GHC="$(choosefrom \
39780 2f43fffbba1a platform-sensitive contrib paths for ghc, ocaml haftmann parents: 37746 diff changeset	6	"$ISABELLE_HOME/contrib/ghc/$ISABELLE_PLATFORM/ghc" \
2f43fffbba1a platform-sensitive contrib paths for ghc, ocaml haftmann parents: 37746 diff changeset	7	"$ISABELLE_HOME/../ghc/$ISABELLE_PLATFORM/ghc" \
40545 956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 39780 diff changeset	8	"$(type -p ghc)" \
956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 39780 diff changeset	9	"")"
37702 abd5e69bd8cd references to ghc and ocaml haftmann parents: 32482 diff changeset	10
40545 956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 39780 diff changeset	11	EXEC_OCAML="$(choosefrom \
39780 2f43fffbba1a platform-sensitive contrib paths for ghc, ocaml haftmann parents: 37746 diff changeset	12	"$ISABELLE_HOME/contrib/ocaml/$ISABELLE_PLATFORM/ocaml" \
2f43fffbba1a platform-sensitive contrib paths for ghc, ocaml haftmann parents: 37746 diff changeset	13	"$ISABELLE_HOME/../ocaml/$ISABELLE_PLATFORM/ocaml" \
40545 956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 39780 diff changeset	14	"$(type -p ocaml)" \
956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 39780 diff changeset	15	"")"

author	blanchet
	Fri, 03 Dec 2010 18:29:14 +0100
changeset 40941	a3e6f8634a11
parent 40545	956c2cc7fced
child 41952	c7297638599b
permissions	-rw-r--r--