lib/Tools/ghc_setup
changeset 69242 c911716d29bb
parent 69159 7ff6284c0d84
child 69267 517655a528fe
--- a/lib/Tools/ghc_setup	Mon Nov 05 17:37:55 2018 +0100
+++ b/lib/Tools/ghc_setup	Mon Nov 05 20:53:16 2018 +0100
@@ -4,5 +4,8 @@
 #
 # DESCRIPTION: setup Glasgow Haskell Compiler setup via Stack
 
-isabelle_stack setup --resolver "$ISABELLE_STACK_RESOLVER" "$ISABELLE_GHC_VERSION" &&
-  isabelle_stack ghci --ghci-options --version
+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"