author | wenzelm |
Mon, 10 Jun 2024 12:07:54 +0200 | |
changeset 80325 | dca37c6479e3 |
parent 80013 | f1686f71dffc |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # Author: Makarius # # DESCRIPTION: invoke go within the Isabelle environment if [ -z "$ISABELLE_GOEXE" ]; then echo "Missing Go installation: need to run \"isabelle go_setup\" first" >&2 exit 2 else export GOROOT="$(platform_path "$ISABELLE_GOROOT")" exec "$ISABELLE_GOEXE/go" "$@" fi