Re: [Caml-list] Print dependencies of a module, and other useful functions

[Michal Moskal <malekith@pld-linux.org>]

[-- Attachment #1: Type: text/plain, Size: 653 bytes --]

On Thu, Aug 07, 2003 at 02:04:19PM +0100, Richard Jones wrote:
> 'gcc -MM' / 'gcc -MMD'
> 	Print dependencies of a module. Useful for me for building
> 	robust Makefiles.

ocamldep

> 'nm' / 'nm -D'
> 	List symbols exported by an OCaml bytecode "binary". Would
> 	help me solve my ongoing Dynlink problems.
>
> 'objdump'
> 	List other useful information from an OCaml bytecode "binary".

Try looking at tools/objinfo.ml. I have a patch for it to support also
*.cmx* files. You'll find it attached.

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith : GCS {C,UL}++++$ a? !tv
: When in doubt, use brute force. -- Ken Thompson : {E-,w}-- {b++,e}>+++ h

[-- Attachment #2: ocaml-objinfo.patch --]
[-- Type: text/plain, Size: 1826 bytes --]

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