lib/Tools/ghc_setup
changeset 69267 517655a528fe
parent 69242 c911716d29bb
child 69500 db001bc11855
     1.1 --- a/lib/Tools/ghc_setup	Thu Nov 08 15:49:56 2018 +0100
     1.2 +++ b/lib/Tools/ghc_setup	Thu Nov 08 15:52:10 2018 +0100
     1.3 @@ -6,6 +6,6 @@
     1.4  
     1.5  set -e
     1.6  
     1.7 -isabelle_stack setup --resolver "$ISABELLE_STACK_RESOLVER" "$ISABELLE_GHC_VERSION"
     1.8 -isabelle_stack ghci --ghci-options --version
     1.9 +isabelle_stack setup
    1.10 +isabelle_stack ghc -- --version
    1.11  echo -n "$(standard_path "$(isabelle_stack path --programs)")" > "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS"