equal
deleted
inserted
replaced
465 " print_string \"" ^ end_markerN ^ "\";;\n" ^ |
465 " print_string \"" ^ end_markerN ^ "\";;\n" ^ |
466 "main ();;" |
466 "main ();;" |
467 |
467 |
468 val compiled_path = Path.append path (Path.basic "test") |
468 val compiled_path = Path.append path (Path.basic "test") |
469 val compile_cmd = |
469 val compile_cmd = |
470 "\"$ISABELLE_OCAMLFIND\" ocamlopt -w pu -package zarith -linkpkg " ^ |
470 "\"$ISABELLE_OCAMLFIND\" ocamlopt -w pu -package zarith -linkpkg" ^ |
471 " -o " ^ File.bash_path compiled_path ^ " -I " ^ File.bash_path path ^ " " ^ |
471 " -o " ^ File.bash_path compiled_path ^ " -I " ^ File.bash_path path ^ " " ^ |
472 File.bash_path code_path ^ " " ^ File.bash_path driver_path |
472 File.bash_path code_path ^ " " ^ File.bash_path driver_path ^ " </dev/null" |
473 |
473 |
474 val run_cmd = File.bash_path compiled_path |
474 val run_cmd = File.bash_path compiled_path |
475 in |
475 in |
476 {files = [(driver_path, driver)], |
476 {files = [(driver_path, driver)], |
477 compile_cmd = SOME compile_cmd, run_cmd = run_cmd, mk_code_file = K code_path} |
477 compile_cmd = SOME compile_cmd, run_cmd = run_cmd, mk_code_file = K code_path} |