equal
deleted
inserted
replaced
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # Invoke ghc via "stack". |
5 # Invoke ghc via "stack". |
6 |
6 |
7 if [ -e "$ISABELLE_STACK_ROOT/config.yaml" ]; then |
7 if [ -f "$ISABELLE_STACK_ROOT/ISABELLE_GHC_EXE-$ISABELLE_PLATFORM_FAMILY" ] |
|
8 then |
8 isabelle_stack ghc -- "$@" |
9 isabelle_stack ghc -- "$@" |
9 else |
10 else |
10 echo "Cannot execute ghc: missing Isabelle GHC setup" >&2 |
11 echo "Cannot execute ghc: missing Isabelle GHC setup" >&2 |
11 exit 127 |
12 exit 127 |
12 fi |
13 fi |