lib/scripts/ocamlfind
author wenzelm
Wed, 20 Mar 2019 20:15:30 +0100
changeset 70108 110fff287217
parent 70106 lib/scripts/ocamlexec@512ac874bb9d
child 70130 a591de179931
permissions -rwxr-xr-x
access OCaml tools and libraries via ISABELLE_OCAMLFIND; OPAM setup is optional: it requires odd development tools that are not available in default OS installations (e.g. make, m4);

#!/usr/bin/env bash
#
# Author: Makarius; Florian Haftmann
#
# Invoke ocamlfind via "opam".

if [ -e "$ISABELLE_OPAM_ROOT/config" ]
then
  isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocamlfind "$@"
else
  echo "Cannot execute ocamlfind: missing Isabelle OCaml setup" >&2
  exit 127
fi