lib/Tools/ocaml_setup

support for OCaml via command-line tools;

#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: OCaml setup via OPAM

isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION" "$@"