Admin/haskell/stack/settings
author wenzelm
Sat, 28 Nov 2020 16:25:29 +0100
changeset 72759 bd5ee3148132
parent 69147 6f4d561ea621
permissions -rw-r--r--
more antiquotations (reverting 4df341249348);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
69147
6f4d561ea621 isabelle_stack as portable shell function;
wenzelm
parents:
diff changeset
     1
# -*- shell-script -*- :mode=shellscript:
6f4d561ea621 isabelle_stack as portable shell function;
wenzelm
parents:
diff changeset
     2
6f4d561ea621 isabelle_stack as portable shell function;
wenzelm
parents:
diff changeset
     3
ISABELLE_STACK="$COMPONENT/${ISABELLE_WINDOWS_PLATFORM64:-$ISABELLE_PLATFORM64}/stack"