src/HOL/Tools/Predicate_Compile/etc/settings

more robust treatment of spaces in file names;

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

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")