Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/getsettings
changeset 69268 c1a27fce2076
parent 69242 c911716d29bb
child 69444 c3c9440cbf9b 
--- a/lib/scripts/getsettings	Thu Nov 08 15:52:10 2018 +0100
+++ b/lib/scripts/getsettings	Thu Nov 08 16:18:12 2018 +0100
@@ -101,18 +101,18 @@
 
 #enforce ISABELLE_OCAML
 if [ -f "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin/ocaml" ]; then
-  ISABELLE_OCAML="$ISABELLE_HOME/lib/Tools/ocaml"
+  ISABELLE_OCAML="$ISABELLE_HOME/lib/scripts/ocaml"
 fi
 
 #enforce ISABELLE_OCAMLC
 if [ -f "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin/ocamlc" ]; then
-  ISABELLE_OCAMLC="$ISABELLE_HOME/lib/Tools/ocamlc"
+  ISABELLE_OCAMLC="$ISABELLE_HOME/lib/scripts/ocamlc"
 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
-    ISABELLE_GHC="$ISABELLE_HOME/lib/Tools/ghc"
+    ISABELLE_GHC="$ISABELLE_HOME/lib/scripts/ghc"
   fi
 fi
isabelle