diff -r a142ec271d83 -r be20f5f6feb9 lib/Tools/ocaml_setup
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/Tools/ocaml_setup	Mon Oct 08 15:42:43 2018 +0200
@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+#
+# Author: Makarius
+#
+# DESCRIPTION: OCaml setup via OPAM
+
+isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION" "$@"