--- a/lib/Tools/ocaml Thu Nov 08 09:11:52 2018 +0100
+++ b/lib/Tools/ocaml Thu Nov 08 12:32:06 2018 +0100
@@ -4,4 +4,10 @@
#
# DESCRIPTION: invoke OCaml within the Isabelle environment
-isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocaml "$@"
+if [ -d "$ISABELLE_OPAM_ROOT" -a -n "$ISABELLE_OCAML" ]
+then
+ isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocaml "$@"
+else
+ echo "Cannot execute ocaml: missing Isabelle OCaml setup" >&2
+ exit 127
+fi
--- a/lib/Tools/ocamlc Thu Nov 08 09:11:52 2018 +0100
+++ b/lib/Tools/ocamlc Thu Nov 08 12:32:06 2018 +0100
@@ -4,4 +4,10 @@
#
# DESCRIPTION: invoke OCaml compiler within the Isabelle environment
-isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocamlc "$@"
+if [ -d "$ISABELLE_OPAM_ROOT" -a -n "$ISABELLE_OCAMLC" ]
+then
+ isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocamlc "$@"
+else
+ echo "Cannot execute ocamlc: missing Isabelle OCaml setup" >&2
+ exit 127
+fi