| changeset 69268 | c1a27fce2076 |
| parent 69267 | 517655a528fe |
| child 69269 | 1bee990d443c |
| 69267:517655a528fe | 69268:c1a27fce2076 |
|---|---|
1 #!/usr/bin/env bash |
|
2 # |
|
3 # Author: Makarius |
|
4 # |
|
5 # DESCRIPTION: invoke OCaml within the Isabelle environment |
|
6 |
|
7 if [ -d "$ISABELLE_OPAM_ROOT" -a -n "$ISABELLE_OCAML" ] |
|
8 then |
|
9 isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocaml "$@" |
|
10 else |
|
11 echo "Cannot execute ocaml: missing Isabelle OCaml setup" >&2 |
|
12 exit 127 |
|
13 fi |