author | wenzelm |
Wed, 07 Nov 2018 21:42:16 +0100 | |
changeset 69255 | 800b1ce96fce |
parent 69242 | c911716d29bb |
child 69267 | 517655a528fe |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # Author: Makarius # # DESCRIPTION: setup Glasgow Haskell Compiler setup via Stack set -e isabelle_stack setup --resolver "$ISABELLE_STACK_RESOLVER" "$ISABELLE_GHC_VERSION" isabelle_stack ghci --ghci-options --version echo -n "$(standard_path "$(isabelle_stack path --programs)")" > "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS"