equal
deleted
inserted
replaced
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # DESCRIPTION: invoke Glasgow Haskell Compiler within the Isabelle environment |
5 # DESCRIPTION: invoke Glasgow Haskell Compiler within the Isabelle environment |
6 |
6 |
7 if [ -d "$ISABELLE_STACK_ROOT" -a -n "$ISABELLE_GHC" ]; then |
7 if [ -d "$ISABELLE_STACK_ROOT" -a -n "$ISABELLE_GHC" ]; then |
8 isabelle_stack ghc -- "$@" |
8 isabelle_stack ghc --resolver "$ISABELLE_STACK_RESOLVER" --compiler "$ISABELLE_GHC_VERSION" -- "$@" |
9 else |
9 else |
10 echo "Cannot execute ghc: missing Isabelle GHC setup" >&2 |
10 echo "Cannot execute ghc: missing Isabelle GHC setup" >&2 |
11 exit 127 |
11 exit 127 |
12 fi |
12 fi |