equal
deleted
inserted
replaced
550 " print(\"" ^ end_markerN ^ "\");\n" ^ |
550 " print(\"" ^ end_markerN ^ "\");\n" ^ |
551 " }\n" ^ |
551 " }\n" ^ |
552 "}\n" |
552 "}\n" |
553 |
553 |
554 val compile_cmd = |
554 val compile_cmd = |
555 "isabelle_scala scalac $ISABELLE_SCALAC_OPTIONS -d " ^ File.bash_path path ^ |
555 "isabelle_scala scalac $ISABELLE_SCALAC_OPTIONS -d " ^ Bash.string (File.platform_path path) ^ |
556 " -classpath " ^ File.bash_path path ^ " " ^ |
556 " -classpath " ^ Bash.string (File.platform_path path) ^ " " ^ |
557 File.bash_path code_path ^ " " ^ File.bash_path driver_path |
557 Bash.string (File.platform_path code_path) ^ " " ^ |
558 |
558 Bash.string (File.platform_path driver_path) |
559 val run_cmd = "isabelle_scala scala -cp " ^ File.bash_path path ^ " Test" |
559 |
|
560 val run_cmd = "isabelle_scala scala -cp " ^ Bash.string (File.platform_path path) ^ " Test" |
560 in |
561 in |
561 {files = [(driver_path, driver)], |
562 {files = [(driver_path, driver)], |
562 compile_cmd = SOME compile_cmd, run_cmd = run_cmd, mk_code_file = K code_path} |
563 compile_cmd = SOME compile_cmd, run_cmd = run_cmd, mk_code_file = K code_path} |
563 end |
564 end |
564 |
565 |