author | wenzelm |
Thu, 08 Nov 2018 15:52:10 +0100 | |
changeset 69267 | 517655a528fe |
parent 69261 | a41f49148525 |
permissions | -rwxr-xr-x |
69135 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# Author: Makarius |
|
4 |
# |
|
5 |
# DESCRIPTION: invoke OCaml compiler within the Isabelle environment |
|
6 |
||
69261 | 7 |
if [ -d "$ISABELLE_OPAM_ROOT" -a -n "$ISABELLE_OCAMLC" ] |
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 |