lib/Tools/ghc_setup
author wenzelm
Thu, 18 Oct 2018 12:30:26 +0200
changeset 69159 7ff6284c0d84
parent 69151 b310bc57f55f
child 69242 c911716d29bb
permissions -rwxr-xr-x
more robust: explicit version;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
69151
b310bc57f55f support for GHC via command-line tools;
wenzelm
parents:
diff changeset
     1
#!/usr/bin/env bash
b310bc57f55f support for GHC via command-line tools;
wenzelm
parents:
diff changeset
     2
#
b310bc57f55f support for GHC via command-line tools;
wenzelm
parents:
diff changeset
     3
# Author: Makarius
b310bc57f55f support for GHC via command-line tools;
wenzelm
parents:
diff changeset
     4
#
b310bc57f55f support for GHC via command-line tools;
wenzelm
parents:
diff changeset
     5
# DESCRIPTION: setup Glasgow Haskell Compiler setup via Stack
b310bc57f55f support for GHC via command-line tools;
wenzelm
parents:
diff changeset
     6
69159
7ff6284c0d84 more robust: explicit version;
wenzelm
parents: 69151
diff changeset
     7
isabelle_stack setup --resolver "$ISABELLE_STACK_RESOLVER" "$ISABELLE_GHC_VERSION" &&
69151
b310bc57f55f support for GHC via command-line tools;
wenzelm
parents:
diff changeset
     8
  isabelle_stack ghci --ghci-options --version