making the bash script swipl_version closer to Isabelle's conventional bash scripts
# -*- 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")"