author | paulson <lp15@cam.ac.uk> |
Sun, 12 Feb 2023 20:49:31 +0000 | |
changeset 77234 | 61fba09a3456 |
parent 69948 | a591de179931 |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # Author: Makarius; Florian Haftmann # # Invoke ocamlfind via "opam". if [ -d "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin" ] then isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocamlfind "$@" else echo "Cannot execute ocamlfind: missing Isabelle OCaml setup" >&2 exit 127 fi