lib/scripts/ocamlexec
author haftmann
Sun Mar 10 15:16:45 2019 +0000 (5 weeks ago)
changeset 69906 55534affe445
child 69924 512ac874bb9d
permissions -rwxr-xr-x
migrated from Nums to Zarith as library for OCaml integer arithmetic
haftmann@69906
     1
#!/usr/bin/env bash
haftmann@69906
     2
#
haftmann@69906
     3
# Author: Makarius; Florian Haftmann
haftmann@69906
     4
#
haftmann@69906
     5
# Invoke command in OCaml environment setup by "opam".
haftmann@69906
     6
haftmann@69906
     7
if [ -d "$ISABELLE_OPAM_ROOT" ]
haftmann@69906
     8
then
haftmann@69906
     9
  isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- "$@"
haftmann@69906
    10
else
haftmann@69906
    11
  echo "Cannot execute: missing Isabelle OCaml setup" >&2
haftmann@69906
    12
  exit 127
haftmann@69906
    13
fi