isabelle: src/Tools/Code/etc/settings@6d736d983d5c (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	wenzelm
	Sun, 30 Jan 2011 13:02:18 +0100
changeset 41648	6d736d983d5c
parent 40545	956c2cc7fced
child 41952	c7297638599b
permissions	-rw-r--r--