| changeset 69268 | c1a27fce2076 |
| parent 69261 | a41f49148525 |
| child 69924 | 512ac874bb9d |
| 69267:517655a528fe | 69268:c1a27fce2076 |
|---|---|
1 #!/usr/bin/env bash |
|
2 # |
|
3 # Author: Makarius |
|
4 # |
|
5 # Invoke ocamlc via "opam". |
|
6 |
|
7 if [ -d "$ISABELLE_OPAM_ROOT" ] |
|
8 then |
|
9 isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocamlc "$@" |
|
10 else |
|
11 echo "Cannot execute ocamlc: missing Isabelle OCaml setup" >&2 |
|
12 exit 127 |
|
13 fi |