equal
deleted
inserted
replaced
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # DESCRIPTION: setup Glasgow Haskell Compiler setup via Stack |
5 # DESCRIPTION: setup Glasgow Haskell Compiler setup via Stack |
6 |
6 |
7 isabelle_stack setup --resolver "$ISABELLE_STACK_RESOLVER" "$ISABELLE_GHC_VERSION" && |
7 set -e |
8 isabelle_stack ghci --ghci-options --version |
8 |
|
9 isabelle_stack setup --resolver "$ISABELLE_STACK_RESOLVER" "$ISABELLE_GHC_VERSION" |
|
10 isabelle_stack ghci --ghci-options --version |
|
11 echo -n "$(standard_path "$(isabelle_stack path --programs)")" > "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS" |