lib/scripts/ocamlexec
changeset 69906 55534affe445
child 69924 512ac874bb9d
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/lib/scripts/ocamlexec	Sun Mar 10 15:16:45 2019 +0000
     1.3 @@ -0,0 +1,13 @@
     1.4 +#!/usr/bin/env bash
     1.5 +#
     1.6 +# Author: Makarius; Florian Haftmann
     1.7 +#
     1.8 +# Invoke command in OCaml environment setup by "opam".
     1.9 +
    1.10 +if [ -d "$ISABELLE_OPAM_ROOT" ]
    1.11 +then
    1.12 +  isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- "$@"
    1.13 +else
    1.14 +  echo "Cannot execute: missing Isabelle OCaml setup" >&2
    1.15 +  exit 127
    1.16 +fi