equal
deleted
inserted
replaced
274 else { |
274 else { |
275 val args_file = Isabelle_System.tmp_file("build") |
275 val args_file = Isabelle_System.tmp_file("build") |
276 File.write(args_file, args_yxml) |
276 File.write(args_file, args_yxml) |
277 |
277 |
278 val eval_build = "Build.build " + ML_Syntax.print_string_bytes(File.standard_path(args_file)) |
278 val eval_build = "Build.build " + ML_Syntax.print_string_bytes(File.standard_path(args_file)) |
279 val eval = Command_Line.ML_tool0(eval_build :: eval_store) |
279 val eval = Command_Line.ML_tool(eval_build :: eval_store) |
280 |
280 |
281 val process = |
281 val process = |
282 if (is_pure) { |
282 if (is_pure) { |
283 ML_Process(options, deps.sessions_structure, store, raw_ml_system = true, |
283 ML_Process(options, deps.sessions_structure, store, raw_ml_system = true, |
284 args = |
284 args = |