1 diff -ur ocaml-3.04/tools/objinfo.ml ocaml-3.04-/tools/objinfo.ml
2 --- ocaml-3.04/tools/objinfo.ml Mon Mar 27 14:18:09 2000
3 +++ ocaml-3.04-/tools/objinfo.ml Wed May 8 11:30:02 2002
5 print_string name; print_newline())
8 +let print_opt_info ui =
9 + print_string " Unit name: "; print_string ui.Compilenv.ui_name;
11 + print_string " Interfaces imported:"; print_newline();
13 + (fun (name, digest) ->
14 + print_string "\t"; print_digest digest; print_string "\t";
15 + print_string name; print_newline())
16 + ui.Compilenv.ui_imports_cmi;
17 + print_string " Infos imported:"; print_newline();
19 + (fun (name, digest) ->
20 + print_string "\t"; print_digest digest; print_string "\t";
21 + print_string name; print_newline())
22 + ui.Compilenv.ui_imports_cmx
24 +let print_opt_library_info lib =
25 + print_string " Extra C object files:";
26 + List.iter print_spaced_string lib.Compilenv.lib_ccobjs; print_newline();
27 + print_string " Extra C options:";
28 + List.iter print_spaced_string lib.Compilenv.lib_ccopts; print_newline();
29 + List.iter print_opt_info (List.map fst lib.Compilenv.lib_units)
31 let dump_obj filename =
32 print_string "File "; print_string filename; print_newline();
33 let ic = open_in_bin filename in
35 let crcs = input_value ic in
37 print_intf_info name sign comps crcs
39 + if buffer = cmx_magic_number then begin
40 + let ui = (input_value ic : Compilenv.unit_infos) in
44 + if buffer = cmxa_magic_number then begin
45 + let li = (input_value ic : Compilenv.library_infos) in
47 + print_opt_library_info li
49 prerr_endline "Not an object file"; exit 2