lib/scripts/ocamlfind
author wenzelm
Wed, 31 Mar 2021 11:24:46 +0200
changeset 73772 d3f2038198ae
parent 70130 a591de179931
permissions -rwxr-xr-x
clarified (again): local tip could be actually more recent;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
70087
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
#
70108
110fff287217 access OCaml tools and libraries via ISABELLE_OCAMLFIND;
wenzelm
parents: 70106
diff changeset
     5
# Invoke ocamlfind via "opam".
70087
55534affe445 migrated from Nums to Zarith as library for OCaml integer arithmetic
haftmann
parents:
diff changeset
     6
70130
a591de179931 even more robust and conservative OCaml setup;
wenzelm
parents: 70108
diff changeset
     7
if [ -d "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin" ]
70087
55534affe445 migrated from Nums to Zarith as library for OCaml integer arithmetic
haftmann
parents:
diff changeset
     8
then
70108
110fff287217 access OCaml tools and libraries via ISABELLE_OCAMLFIND;
wenzelm
parents: 70106
diff changeset
     9
  isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocamlfind "$@"
70087
55534affe445 migrated from Nums to Zarith as library for OCaml integer arithmetic
haftmann
parents:
diff changeset
    10
else
70108
110fff287217 access OCaml tools and libraries via ISABELLE_OCAMLFIND;
wenzelm
parents: 70106
diff changeset
    11
  echo "Cannot execute ocamlfind: missing Isabelle OCaml setup" >&2
70087
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