changeset 69926 | 110fff287217 |
parent 69925 | c90678ad942d |
child 69927 | f387618d9053 |
--- a/lib/scripts/ocamlc Wed Mar 20 16:55:21 2019 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,13 +0,0 @@ -#!/usr/bin/env bash -# -# Author: Makarius -# -# Invoke ocamlc via "opam". - -if [ -e "$ISABELLE_OPAM_ROOT/config" ] -then - isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocamlc "$@" -else - echo "Cannot execute ocamlc: missing Isabelle OCaml setup" >&2 - exit 127 -fi