lib/scripts/ocaml
changeset 69906 55534affe445
parent 69905 06f204a2f3c2
child 69907 4343c1bfa52d
     1.1 --- a/lib/scripts/ocaml	Sun Mar 10 15:16:45 2019 +0000
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,13 +0,0 @@
     1.4 -#!/usr/bin/env bash
     1.5 -#
     1.6 -# Author: Makarius
     1.7 -#
     1.8 -# Invoke ocaml via "opam".
     1.9 -
    1.10 -if [ -d "$ISABELLE_OPAM_ROOT" ]
    1.11 -then
    1.12 -  isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocaml "$@"
    1.13 -else
    1.14 -  echo "Cannot execute ocaml: missing Isabelle OCaml setup" >&2
    1.15 -  exit 127
    1.16 -fi