| changeset 80013 | f1686f71dffc |
| parent 80011 | b082476a8036 |
| 80012:07c83d3369c0 | 80013:f1686f71dffc |
|---|---|
6 |
6 |
7 if [ -z "$ISABELLE_GOEXE" ]; then |
7 if [ -z "$ISABELLE_GOEXE" ]; then |
8 echo "Missing Go installation: need to run \"isabelle go_setup\" first" >&2 |
8 echo "Missing Go installation: need to run \"isabelle go_setup\" first" >&2 |
9 exit 2 |
9 exit 2 |
10 else |
10 else |
11 export GOROOT="$ISABELLE_GOROOT" |
11 export GOROOT="$(platform_path "$ISABELLE_GOROOT")" |
12 exec "$ISABELLE_GOEXE/go" "$@" |
12 exec "$ISABELLE_GOEXE/go" "$@" |
13 fi |
13 fi |