author | wenzelm |
Thu, 18 Oct 2018 12:35:32 +0200 | |
changeset 69160 | 30c384e72749 |
parent 69158 | 1722cc56d22e |
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 |