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