| changeset 69926 | 110fff287217 |
| parent 69925 | c90678ad942d |
| child 69927 | f387618d9053 |
| 69925:c90678ad942d | 69926:110fff287217 |
|---|---|
1 #!/usr/bin/env bash |
|
2 # |
|
3 # Author: Makarius; Florian Haftmann |
|
4 # |
|
5 # Invoke command in OCaml environment setup by "opam". |
|
6 |
|
7 if [ -e "$ISABELLE_OPAM_ROOT/config" ] |
|
8 then |
|
9 isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- "$@" |
|
10 else |
|
11 echo "Cannot execute: missing Isabelle OCaml setup" >&2 |
|
12 exit 127 |
|
13 fi |