proper ISABELLE_HOME (ISABELLE_ROOT is for platform-specific application bootstrap);
authorwenzelm
Wed Mar 20 16:55:21 2019 +0100 (3 months ago)
changeset 69925c90678ad942d
parent 69924 512ac874bb9d
child 69926 110fff287217
proper ISABELLE_HOME (ISABELLE_ROOT is for platform-specific application bootstrap);
src/HOL/Library/code_test.ML
     1.1 --- a/src/HOL/Library/code_test.ML	Wed Mar 20 17:33:06 2019 +0100
     1.2 +++ b/src/HOL/Library/code_test.ML	Wed Mar 20 16:55:21 2019 +0100
     1.3 @@ -467,7 +467,7 @@
     1.4  
     1.5      val compiled_path = Path.append path (Path.basic "test")
     1.6      val compile_cmd =
     1.7 -      "\"$ISABELLE_ROOT/lib/scripts/ocamlexec\" ocamlfind ocamlopt -w pu -package zarith -linkpkg " ^
     1.8 +      "\"$ISABELLE_HOME/lib/scripts/ocamlexec\" ocamlfind ocamlopt -w pu -package zarith -linkpkg " ^
     1.9        " -o " ^ File.bash_path compiled_path ^ " -I " ^ File.bash_path path ^ " " ^
    1.10        File.bash_path code_path ^ " " ^ File.bash_path driver_path
    1.11