Admin/haskell/stack/settings
author wenzelm
Mon, 30 May 2022 10:56:51 +0200
changeset 75490 5e37ea93759d
parent 69147 6f4d561ea621
permissions -rw-r--r--
clarified documentation: $ISABELLE_HOME is not a repository for regular releases;
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"