lib/Tools/ghc_setup
author wenzelm
Wed Oct 17 21:38:07 2018 +0200 (9 months ago)
changeset 69151 b310bc57f55f
child 69159 7ff6284c0d84
permissions -rwxr-xr-x
support for GHC via command-line tools;
wenzelm@69151
     1
#!/usr/bin/env bash
wenzelm@69151
     2
#
wenzelm@69151
     3
# Author: Makarius
wenzelm@69151
     4
#
wenzelm@69151
     5
# DESCRIPTION: setup Glasgow Haskell Compiler setup via Stack
wenzelm@69151
     6
wenzelm@69151
     7
isabelle_stack setup --resolver "$ISABELLE_STACK_RESOLVER" &&
wenzelm@69151
     8
  isabelle_stack ghci --ghci-options --version