workaround for the sake of Windows;
authorwenzelm
Fri Mar 22 18:04:52 2019 +0100 (3 months ago)
changeset 69950dbc2426a600d
parent 69949 a7a0115061ec
child 69951 febb3f035e84
workaround for the sake of Windows;
src/HOL/Library/code_test.ML
src/Tools/Code/code_ml.ML
     1.1 --- a/src/HOL/Library/code_test.ML	Fri Mar 22 11:23:17 2019 +0100
     1.2 +++ b/src/HOL/Library/code_test.ML	Fri Mar 22 18:04:52 2019 +0100
     1.3 @@ -467,9 +467,9 @@
     1.4  
     1.5      val compiled_path = Path.append path (Path.basic "test")
     1.6      val compile_cmd =
     1.7 -      "\"$ISABELLE_OCAMLFIND\" ocamlopt -w pu -package zarith -linkpkg " ^
     1.8 +      "\"$ISABELLE_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 +      File.bash_path code_path ^ " " ^ File.bash_path driver_path ^ " </dev/null"
    1.12  
    1.13      val run_cmd = File.bash_path compiled_path
    1.14    in
     2.1 --- a/src/Tools/Code/code_ml.ML	Fri Mar 22 11:23:17 2019 +0100
     2.2 +++ b/src/Tools/Code/code_ml.ML	Fri Mar 22 18:04:52 2019 +0100
     2.3 @@ -889,7 +889,7 @@
     2.4          make_destination = fn p => Path.append p (Path.explode "ROOT.ml")
     2.5            (*extension demanded by OCaml compiler*),
     2.6          make_command = fn _ =>
     2.7 -          "\"$ISABELLE_OCAMLFIND\" ocamlopt -w pu -package zarith -linkpkg ROOT.ml"},
     2.8 +          "\"$ISABELLE_OCAMLFIND\" ocamlopt -w pu -package zarith -linkpkg ROOT.ml </dev/null"},
     2.9        evaluation_args = []})
    2.10    #> Code_Target.set_printings (Type_Constructor ("fun",
    2.11      [(target_SML, SOME (2, fun_syntax)), (target_OCaml, SOME (2, fun_syntax))]))