]> git.pld-linux.org Git - packages/ocaml.git/commitdiff
- objinfo will now report symbols in *cmx* too
authorMichal Moskal <michal@moskal.me>
Thu, 9 May 2002 14:30:57 +0000 (14:30 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    ocaml-objinfo.patch -> 1.1

ocaml-objinfo.patch [new file with mode: 0644]

diff --git a/ocaml-objinfo.patch b/ocaml-objinfo.patch
new file mode 100644 (file)
index 0000000..37f13f4
--- /dev/null
@@ -0,0 +1,50 @@
+diff -ur ocaml-3.04/tools/objinfo.ml ocaml-3.04-/tools/objinfo.ml
+--- ocaml-3.04/tools/objinfo.ml        Mon Mar 27 14:18:09 2000
++++ ocaml-3.04-/tools/objinfo.ml       Wed May  8 11:30:02 2002
+@@ -62,6 +62,29 @@
+       print_string name; print_newline())
+     crcs
++let print_opt_info ui =
++  print_string "  Unit name: "; print_string ui.Compilenv.ui_name; 
++  print_newline();
++  print_string "  Interfaces imported:"; print_newline();
++  List.iter
++    (fun (name, digest) ->
++      print_string "\t"; print_digest digest; print_string "\t";
++      print_string name; print_newline())
++    ui.Compilenv.ui_imports_cmi;
++  print_string "  Infos imported:"; print_newline();
++  List.iter
++    (fun (name, digest) ->
++      print_string "\t"; print_digest digest; print_string "\t";
++      print_string name; print_newline())
++    ui.Compilenv.ui_imports_cmx
++
++let print_opt_library_info lib =
++  print_string "  Extra C object files:";
++  List.iter print_spaced_string lib.Compilenv.lib_ccobjs; print_newline();
++  print_string "  Extra C options:";
++  List.iter print_spaced_string lib.Compilenv.lib_ccopts; print_newline();
++  List.iter print_opt_info (List.map fst lib.Compilenv.lib_units)
++
+ let dump_obj filename =
+   print_string "File "; print_string filename; print_newline();
+   let ic = open_in_bin filename in
+@@ -86,6 +109,16 @@
+     let crcs = input_value ic in
+     close_in ic;
+     print_intf_info name sign comps crcs
++  end else 
++  if buffer = cmx_magic_number then begin
++     let ui = (input_value ic : Compilenv.unit_infos) in
++     close_in ic;
++     print_opt_info ui
++  end else 
++  if buffer = cmxa_magic_number then begin
++     let li = (input_value ic : Compilenv.library_infos) in
++     close_in ic;
++     print_opt_library_info li
+   end else begin
+     prerr_endline "Not an object file"; exit 2
+   end
This page took 0.031609 seconds and 4 git commands to generate.