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.
proper ISABELLE_HOME (ISABELLE_ROOT is for platform-specific application bootstrap);
authorwenzelm
Wed, 20 Mar 2019 16:55:21 +0100
changeset 69925 c90678ad942d
parent 69924 512ac874bb9d
child 69926 110fff287217
proper ISABELLE_HOME (ISABELLE_ROOT is for platform-specific application bootstrap);
src/HOL/Library/code_test.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/code_test.ML	Wed Mar 20 17:33:06 2019 +0100
+++ b/src/HOL/Library/code_test.ML	Wed Mar 20 16:55:21 2019 +0100
@@ -467,7 +467,7 @@
 
     val compiled_path = Path.append path (Path.basic "test")
     val compile_cmd =
-      "\"$ISABELLE_ROOT/lib/scripts/ocamlexec\" ocamlfind ocamlopt -w pu -package zarith -linkpkg " ^
+      "\"$ISABELLE_HOME/lib/scripts/ocamlexec\" ocamlfind ocamlopt -w pu -package zarith -linkpkg " ^
       " -o " ^ File.bash_path compiled_path ^ " -I " ^ File.bash_path path ^ " " ^
       File.bash_path code_path ^ " " ^ File.bash_path driver_path
isabelle