equal
deleted
inserted
replaced
218 fun build args_file = |
218 fun build args_file = |
219 let |
219 let |
220 val _ = SHA1.test_samples (); |
220 val _ = SHA1.test_samples (); |
221 val _ = Options.load_default (); |
221 val _ = Options.load_default (); |
222 val _ = Isabelle_Process.init_options (); |
222 val _ = Isabelle_Process.init_options (); |
223 val args as Args {name, ...} = decode_args (File.read (Path.explode args_file)); |
223 val args = decode_args (File.read (Path.explode args_file)); |
224 fun error_message msg = writeln ("\ferror_message = " ^ encode_lines msg); |
224 fun error_message msg = writeln ("\ferror_message = " ^ encode_lines msg); |
225 val _ = |
225 val _ = |
226 Unsynchronized.setmp Private_Output.protocol_message_fn protocol_message |
226 Unsynchronized.setmp Private_Output.protocol_message_fn protocol_message |
227 build_session args |
227 build_session args |
228 handle exn => (List.app (error_message o #2) (Runtime.exn_messages exn); Exn.reraise exn); |
228 handle exn => (List.app (error_message o #2) (Runtime.exn_messages exn); Exn.reraise exn); |