lib/scripts/ocamlfind
author wenzelm
Fri, 22 Mar 2019 10:36:50 +0100
changeset 69948 a591de179931
parent 69926 110fff287217
permissions -rwxr-xr-x
even more robust and conservative OCaml setup;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
69906
55534affe445 migrated from Nums to Zarith as library for OCaml integer arithmetic
haftmann
parents:
diff changeset
     1
#!/usr/bin/env bash
55534affe445 migrated from Nums to Zarith as library for OCaml integer arithmetic
haftmann
parents:
diff changeset
     2
#
55534affe445 migrated from Nums to Zarith as library for OCaml integer arithmetic
haftmann
parents:
diff changeset
     3
# Author: Makarius; Florian Haftmann
55534affe445 migrated from Nums to Zarith as library for OCaml integer arithmetic
haftmann
parents:
diff changeset
     4
#
69926
110fff287217 access OCaml tools and libraries via ISABELLE_OCAMLFIND;
wenzelm
parents: 69924
diff changeset
     5
# Invoke ocamlfind via "opam".
69906
55534affe445 migrated from Nums to Zarith as library for OCaml integer arithmetic
haftmann
parents:
diff changeset
     6
69948
a591de179931 even more robust and conservative OCaml setup;
wenzelm
parents: 69926
diff changeset
     7
if [ -d "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin" ]
69906
55534affe445 migrated from Nums to Zarith as library for OCaml integer arithmetic
haftmann
parents:
diff changeset
     8
then
69926
110fff287217 access OCaml tools and libraries via ISABELLE_OCAMLFIND;
wenzelm
parents: 69924
diff changeset
     9
  isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocamlfind "$@"
69906
55534affe445 migrated from Nums to Zarith as library for OCaml integer arithmetic
haftmann
parents:
diff changeset
    10
else
69926
110fff287217 access OCaml tools and libraries via ISABELLE_OCAMLFIND;
wenzelm
parents: 69924
diff changeset
    11
  echo "Cannot execute ocamlfind: missing Isabelle OCaml setup" >&2
69906
55534affe445 migrated from Nums to Zarith as library for OCaml integer arithmetic
haftmann
parents:
diff changeset
    12
  exit 127
55534affe445 migrated from Nums to Zarith as library for OCaml integer arithmetic
haftmann
parents:
diff changeset
    13
fi