src/HOL/Tools/Predicate_Compile/etc/settings

clarified example settings for Proof General;

# -*- shell-script -*- :mode=shellscript:

# FIXME contrib_devel not official
# FIXME $(type -p swipl) etc. does not allow spaces in file name

EXEC_SWIPL="$(choosefrom \
  "$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_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")