equal
deleted
inserted
replaced
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # Invoke ocamlc via "opam". |
5 # Invoke ocamlc via "opam". |
6 |
6 |
7 if [ -d "$ISABELLE_OPAM_ROOT" ] |
7 if [ -e "$ISABELLE_OPAM_ROOT/config" ] |
8 then |
8 then |
9 isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocamlc "$@" |
9 isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocamlc "$@" |
10 else |
10 else |
11 echo "Cannot execute ocamlc: missing Isabelle OCaml setup" >&2 |
11 echo "Cannot execute ocamlc: missing Isabelle OCaml setup" >&2 |
12 exit 127 |
12 exit 127 |