| changeset 69929 | b979e3044d8e |
| parent 69268 | c1a27fce2076 |
| child 69949 | a7a0115061ec |
| 69928:3ed262d72468 | 69929:b979e3044d8e |
|---|---|
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # Invoke ghc via "stack". |
5 # Invoke ghc via "stack". |
6 |
6 |
7 if [ -d "$ISABELLE_STACK_ROOT" ]; then |
7 if [ -e "$ISABELLE_STACK_ROOT/config.yaml" ]; then |
8 isabelle_stack ghc -- "$@" |
8 isabelle_stack ghc -- "$@" |
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 |