Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
allow to switch ISABELLE_OCAML_VERSION later on;
authorwenzelm
Tue, 09 Oct 2018 13:06:39 +0200
changeset 69139 4f3d93f0ba94
parent 69138 9e12bbe91471
child 69140 f2d233f6356c
allow to switch ISABELLE_OCAML_VERSION later on; simplified command-line: no user args;
lib/Tools/ocaml_setup file | annotate | diff | comparison | revisions 
--- 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
isabelle