author | wenzelm |
Fri, 07 Jun 2024 12:39:14 +0200 | |
changeset 80288 | bc48bc7d0801 |
parent 80013 | f1686f71dffc |
permissions | -rwxr-xr-x |
80011 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# Author: Makarius |
|
4 |
# |
|
5 |
# DESCRIPTION: invoke go within the Isabelle environment |
|
6 |
||
7 |
if [ -z "$ISABELLE_GOEXE" ]; then |
|
8 |
echo "Missing Go installation: need to run \"isabelle go_setup\" first" >&2 |
|
9 |
exit 2 |
|
10 |
else |
|
80013 | 11 |
export GOROOT="$(platform_path "$ISABELLE_GOROOT")" |
80011 | 12 |
exec "$ISABELLE_GOEXE/go" "$@" |
13 |
fi |