isabelle: src/HOL/Tools/Predicate_Compile/etc/settings@c03593812297 (annotated)

40545 956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 40243 diff changeset	1	# -- shell-script -- :mode=shellscript:
39462 3a86194d1534 registering code_prolog as component; using environment variable; adding settings file for prolog code generation bulwahn parents: diff changeset	2
41308 9e576ec5c0dc tuned/clarified some component settings; wenzelm parents: 40545 diff changeset	3	# FIXME contrib_devel not official
9e576ec5c0dc tuned/clarified some component settings; wenzelm parents: 40545 diff changeset	4	# FIXME $(type -p swipl) etc. does not allow spaces in file name
9e576ec5c0dc tuned/clarified some component settings; wenzelm parents: 40545 diff changeset	5
40545 956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 40243 diff changeset	6	EXEC_SWIPL="$(choosefrom \
40243 3102b27ca03a adding a simple check to only run with a SWI-Prolog version known to work bulwahn parents: 39462 diff changeset	7	"$ISABELLE_HOME/contrib/swipl/$ISABELLE_PLATFORM/bin/swipl" \
3102b27ca03a adding a simple check to only run with a SWI-Prolog version known to work bulwahn parents: 39462 diff changeset	8	"$ISABELLE_HOME/contrib_devel/swipl/$ISABELLE_PLATFORM/bin/swipl" \
39462 3a86194d1534 registering code_prolog as component; using environment variable; adding settings file for prolog code generation bulwahn parents: diff changeset	9	"$ISABELLE_HOME/../swipl" \
3a86194d1534 registering code_prolog as component; using environment variable; adding settings file for prolog code generation bulwahn parents: diff changeset	10	$(type -p swipl) \
40545 956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 40243 diff changeset	11	"")"
39462 3a86194d1534 registering code_prolog as component; using environment variable; adding settings file for prolog code generation bulwahn parents: diff changeset	12
40545 956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 40243 diff changeset	13	EXEC_YAP="$(choosefrom \
40243 3102b27ca03a adding a simple check to only run with a SWI-Prolog version known to work bulwahn parents: 39462 diff changeset	14	"$ISABELLE_HOME/contrib/yap/$ISABELLE_PLATFORM/bin/yap" \
3102b27ca03a adding a simple check to only run with a SWI-Prolog version known to work bulwahn parents: 39462 diff changeset	15	"$ISABELLE_HOME/contrib_devel/yap/$ISABELLE_PLATFORM/bin/yap" \
39462 3a86194d1534 registering code_prolog as component; using environment variable; adding settings file for prolog code generation bulwahn parents: diff changeset	16	"$ISABELLE_HOME/../yap" \
3a86194d1534 registering code_prolog as component; using environment variable; adding settings file for prolog code generation bulwahn parents: diff changeset	17	$(type -p yap) \
40545 956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 40243 diff changeset	18	"")"
40243 3102b27ca03a adding a simple check to only run with a SWI-Prolog version known to work bulwahn parents: 39462 diff changeset	19
3102b27ca03a adding a simple check to only run with a SWI-Prolog version known to work bulwahn parents: 39462 diff changeset	20	SWIPL_VERSION=$("$COMPONENT/lib/scripts/swipl_version")

author	wenzelm
	Fri, 07 Jan 2011 22:44:07 +0100
changeset 41453	c03593812297
parent 41308	9e576ec5c0dc
child 41690	53b1da988e75
permissions	-rw-r--r--