--- a/src/HOL/Tools/Predicate_Compile/etc/settings Thu Oct 28 15:10:34 2010 +0200
+++ b/src/HOL/Tools/Predicate_Compile/etc/settings Thu Oct 28 17:28:45 2010 +0200
@@ -1,13 +1,16 @@
EXEC_SWIPL=$(choosefrom \
- "$ISABELLE_HOME/contrib/swipl/bin/swipl" \
- "$ISABELLE_HOME/contrib_devel/swipl/bin/swipl" \
+ "$ISABELLE_HOME/contrib/swipl/$ISABELLE_PLATFORM/bin/swipl" \
+ "$ISABELLE_HOME/contrib_devel/swipl/$ISABELLE_PLATFORM/bin/swipl" \
"$ISABELLE_HOME/../swipl" \
$(type -p swipl) \
"")
EXEC_YAP=$(choosefrom \
- "$ISABELLE_HOME/contrib/yap" \
+ "$ISABELLE_HOME/contrib/yap/$ISABELLE_PLATFORM/bin/yap" \
+ "$ISABELLE_HOME/contrib_devel/yap/$ISABELLE_PLATFORM/bin/yap" \
"$ISABELLE_HOME/../yap" \
$(type -p yap) \
"")
+
+SWIPL_VERSION=$("$COMPONENT/lib/scripts/swipl_version")