insist in specified resolver/compiler version;
authorwenzelm
Thu Nov 08 14:58:04 2018 +0100 (6 months ago)
changeset 69265bd215c56cd96
parent 69264 021ea2abf42d
child 69266 7cc2d66a92a6
insist in specified resolver/compiler version;
lib/Tools/ghc
     1.1 --- a/lib/Tools/ghc	Thu Nov 08 14:56:53 2018 +0100
     1.2 +++ b/lib/Tools/ghc	Thu Nov 08 14:58:04 2018 +0100
     1.3 @@ -5,7 +5,7 @@
     1.4  # DESCRIPTION: invoke Glasgow Haskell Compiler within the Isabelle environment
     1.5  
     1.6  if [ -d "$ISABELLE_STACK_ROOT" -a -n "$ISABELLE_GHC" ]; then
     1.7 -  isabelle_stack ghc -- "$@"
     1.8 +  isabelle_stack ghc --resolver "$ISABELLE_STACK_RESOLVER" --compiler "$ISABELLE_GHC_VERSION" -- "$@"
     1.9  else
    1.10    echo "Cannot execute ghc: missing Isabelle GHC setup" >&2
    1.11    exit 127