1 # -*- shell-script -*- :mode=shellscript:
2
3 ISABELLE_STACK="$COMPONENT/${ISABELLE_WINDOWS_PLATFORM64:-$ISABELLE_PLATFORM64}/stack"