isabelle: src/HOL/Tools/Predicate_Compile/etc/settings@b3f85ba3dae4 (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
40545 956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 40243 diff changeset	3	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	4	"$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	5	"$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	6	"$ISABELLE_HOME/../swipl" \
3a86194d1534 registering code_prolog as component; using environment variable; adding settings file for prolog code generation bulwahn parents: diff changeset	7	$(type -p swipl) \
40545 956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 40243 diff changeset	8	"")"
39462 3a86194d1534 registering code_prolog as component; using environment variable; adding settings file for prolog code generation bulwahn parents: diff changeset	9
40545 956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 40243 diff changeset	10	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	11	"$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	12	"$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	13	"$ISABELLE_HOME/../yap" \
3a86194d1534 registering code_prolog as component; using environment variable; adding settings file for prolog code generation bulwahn parents: diff changeset	14	$(type -p yap) \
40545 956c2cc7fced more robust treatment of spaces in file names; wenzelm parents: 40243 diff changeset	15	"")"
40243 3102b27ca03a adding a simple check to only run with a SWI-Prolog version known to work bulwahn parents: 39462 diff changeset	16
3102b27ca03a adding a simple check to only run with a SWI-Prolog version known to work bulwahn parents: 39462 diff changeset	17	SWIPL_VERSION=$("$COMPONENT/lib/scripts/swipl_version")

author	bulwahn
	Mon, 22 Nov 2010 10:41:51 +0100
changeset 40631	b3f85ba3dae4
parent 40545	956c2cc7fced
child 41308	9e576ec5c0dc
permissions	-rw-r--r--