author | wenzelm |
Wed, 07 Nov 2018 21:42:16 +0100 | |
changeset 69255 | 800b1ce96fce |
parent 69160 | 30c384e72749 |
child 69264 | 021ea2abf42d |
permissions | -rwxr-xr-x |
69151 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# Author: Makarius |
|
4 |
# |
|
5 |
# DESCRIPTION: invoke GHC interaction within the Isabelle environment |
|
6 |
||
69160 | 7 |
if [ -d "$ISABELLE_STACK_ROOT" -a -n "$ISABELLE_GHC" ]; then |
69158
1722cc56d22e
more robust: avoid implicit setup (with default resolver);
wenzelm
parents:
69151
diff
changeset
|
8 |
isabelle_stack ghci "$@" |
1722cc56d22e
more robust: avoid implicit setup (with default resolver);
wenzelm
parents:
69151
diff
changeset
|
9 |
else |
69160 | 10 |
echo "Cannot execute ghci: missing Isabelle GHC setup" >&2 |
69158
1722cc56d22e
more robust: avoid implicit setup (with default resolver);
wenzelm
parents:
69151
diff
changeset
|
11 |
exit 127 |
1722cc56d22e
more robust: avoid implicit setup (with default resolver);
wenzelm
parents:
69151
diff
changeset
|
12 |
fi |