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

VAMPIRE_HOME="$COMPONENT/$ISABELLE_PLATFORM64"
VAMPIRE_VERSION="4.2.2pre"

# time slicing is not support in the Windows version of Vampire
case "$ISABELLE_PLATFORM_FAMILY" in
  windows)
    VAMPIRE_EXTRA_OPTIONS=""
    ;;
  *)
    VAMPIRE_EXTRA_OPTIONS="--mode casc"
    ;;
esac
