lib/Tools/ocamlc

support for OCaml via command-line tools;

#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: invoke OCaml compiler within the Isabelle environment

isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocamlc "$@"