# HG changeset patch
# User wenzelm
# Date 1539083199 -7200
# Node ID 4f3d93f0ba94adabfc82f1cfb94bce27d9ce2ea6
# Parent  9e12bbe91471d4a453dd6548cc8cebbd4c505eeb
allow to switch ISABELLE_OCAML_VERSION later on;
simplified command-line: no user args;

diff -r 9e12bbe91471 -r 4f3d93f0ba94 lib/Tools/ocaml_setup
--- a/lib/Tools/ocaml_setup	Tue Oct 09 09:53:13 2018 +0200
+++ b/lib/Tools/ocaml_setup	Tue Oct 09 13:06:39 2018 +0200
@@ -4,4 +4,9 @@
 #
 # DESCRIPTION: OCaml setup via OPAM
 
-isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION" "$@"
+if [ -d "$ISABELLE_OPAM_ROOT" ]
+then
+  isabelle_opam switch "$ISABELLE_OCAML_VERSION"
+else
+  isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION"
+fi