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
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius; Florian Haftmann
     4 #
     5 # Invoke command in OCaml environment setup by "opam".
     6 
     7 if [ -d "$ISABELLE_OPAM_ROOT" ]
     8 then
     9   isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- "$@"
    10 else
    11   echo "Cannot execute: missing Isabelle OCaml setup" >&2
    12   exit 127
    13 fi