lib/Tools/ocaml
author wenzelm
Thu Nov 08 12:32:06 2018 +0100 (10 months ago)
changeset 69261 a41f49148525
parent 69135 be20f5f6feb9
permissions -rwxr-xr-x
more uniform (see 1722cc56d22e);
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # DESCRIPTION: invoke OCaml within the Isabelle environment
     6 
     7 if [ -d "$ISABELLE_OPAM_ROOT" -a -n "$ISABELLE_OCAML" ]
     8 then
     9   isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocaml "$@"
    10 else
    11   echo "Cannot execute ocaml: missing Isabelle OCaml setup" >&2
    12   exit 127
    13 fi