--- a/lib/scripts/getsettings Thu Mar 14 09:46:09 2019 +0100
+++ b/lib/scripts/getsettings Thu Mar 14 13:54:31 2019 +0000
@@ -109,6 +109,11 @@
ISABELLE_OCAMLC="$ISABELLE_HOME/lib/scripts/ocamlc"
fi
+#enforce ISABELLE_OCAMLEXEC
+if [ -d "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin" ]; then
+ ISABELLE_OCAMLEXEC="$ISABELLE_HOME/lib/scripts/ocamlexec"
+fi
+
#enforce ISABELLE_GHC
if [ -d "$ISABELLE_STACK_ROOT" -a -f "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS" ]; then
if [ -f "$(cat "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS")/$ISABELLE_GHC_VERSION/bin/ghc" ]; then