| changeset 69906 | 55534affe445 |
| parent 69905 | 06f204a2f3c2 |
| child 69907 | 4343c1bfa52d |
| 69905:06f204a2f3c2 | 69906:55534affe445 |
|---|---|
1 #!/usr/bin/env bash |
|
2 # |
|
3 # Author: Makarius |
|
4 # |
|
5 # Invoke ocaml via "opam". |
|
6 |
|
7 if [ -d "$ISABELLE_OPAM_ROOT" ] |
|
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 |