lib/scripts/getsettings
changeset 69910 0c0f7b4a72bf
parent 69444 c3c9440cbf9b
child 69926 110fff287217
     1.1 --- a/lib/scripts/getsettings	Thu Mar 14 09:46:09 2019 +0100
     1.2 +++ b/lib/scripts/getsettings	Thu Mar 14 13:54:31 2019 +0000
     1.3 @@ -109,6 +109,11 @@
     1.4    ISABELLE_OCAMLC="$ISABELLE_HOME/lib/scripts/ocamlc"
     1.5  fi
     1.6  
     1.7 +#enforce ISABELLE_OCAMLEXEC
     1.8 +if [ -d "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin" ]; then
     1.9 +  ISABELLE_OCAMLEXEC="$ISABELLE_HOME/lib/scripts/ocamlexec"
    1.10 +fi
    1.11 +
    1.12  #enforce ISABELLE_GHC
    1.13  if [ -d "$ISABELLE_STACK_ROOT" -a -f "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS" ]; then
    1.14    if [ -f "$(cat "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS")/$ISABELLE_GHC_VERSION/bin/ghc" ]; then