PR#5059: split objinfo into a pure Caml part and a pure C part.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10459 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

tools/Makefile.shared

@@ -228,27 +228,22 @@ beforedepend:: opnames.ml
 
 # Display info on compiled files
 
-objinfo_lib.cma: ocamlmklib objinfo_lib.cmo objinfo_stubs$(EXT_OBJ)
-	../boot/ocamlrun ./ocamlmklib -ocamlc '$(CAMLC)' \
-          -o objinfo_lib objinfo_lib.cmo objinfo_stubs$(EXT_OBJ) $(LIBBFD_LINK)
+objinfo_helper$(EXE): objinfo_helper.c ../config/s.h
+	$(BYTECC) -o objinfo_helper$(EXE) $(BYTECCCOMPOPTS) \
+          objinfo_helper.c $(LIBBFD_LINK)
 
-objinfo_stubs$(EXT_OBJ): objinfo_stubs.c
-	$(BYTECC) $(BYTECCCOMPOPTS) $(SHAREDCCCOMPOPTS) -c objinfo_stubs.c
+OBJINFO=../utils/misc.cmo ../utils/config.cmo ../bytecomp/bytesections.cmo \
+        objinfo.cmo
 
-OBJINFO=../utils/config.cmo ../bytecomp/bytesections.cmo \
-        objinfo_lib.cma objinfo.cmo
-
-objinfo: $(OBJINFO)
+objinfo: objinfo_helper$(EXE) $(OBJINFO)
 	$(CAMLC) -o objinfo $(OBJINFO)
 
 install::
 	cp objinfo $(BINDIR)/ocamlobjinfo$(EXE)
-	if test -f dllobjinfo_lib$(EXT_DLL); then \
-          cp dllobjinfo_lib$(EXT_DLL) $(STUBLIBDIR)/; fi
+	cp objinfo_helper$(EXE) $(LIBDIR)/objinfo_helper$(EXE)
 
 clean::
-	rm -f objinfo
-	rm -f objinfo_stubs$(EXT_OBJ) libobjinfo_lib$(EXT_LIB) dllobjinfo_lib$(EXT_DLL)
+	rm -f objinfo objinfo_helper$(EXE)
 
 # Scan object files for required primitives
 

tools/objinfo.ml

@@ -19,6 +19,7 @@
    and on bytecode executables. *)
 
 open Printf
+open Misc
 open Config
 open Cmo_format
 open Clambda
@@ -181,6 +182,27 @@ let dump_byte ic =
     )
     toc
 
+let read_dyn_header filename ic =
+  let tempfile = Filename.temp_file "objinfo" ".out" in
+  let helper = Filename.concat Config.standard_library "objinfo_helper" in
+  try
+    try_finally
+      (fun () ->
+        let rc = Sys.command (sprintf "%s %s > %s"
+                                (Filename.quote helper)
+                                (Filename.quote filename)
+                                tempfile) in
+        if rc <> 0 then failwith "cannot read";
+        let tc = open_in tempfile in
+        try_finally
+          (fun () ->
+            let ofs = Scanf.fscanf tc "%Ld" (fun x -> x) in
+            LargeFile.seek_in ic ofs;
+            Some(input_value ic : dynheader))
+          (fun () -> close_in tc))
+      (fun () -> remove_file tempfile)
+  with Failure _ | Sys_error _ -> None
+
 let dump_obj filename =
   printf "File %s\n" filename;
   let ic = open_in_bin filename in
@@ -221,20 +243,18 @@ let dump_obj filename =
       dump_byte ic;
       close_in ic
     end else if Filename.check_suffix filename ".cmxs" then begin
-      let offset = Objinfo_lib.get_cmxs_info filename in
-      begin match offset with
-        | -2L -> printf "Cannot display info on .cmxs files\n"
-        | -1L -> printf "Failed to read table of contents\n"; exit 2
-        | _ ->
-            let _ = LargeFile.seek_in ic offset in
-            let header = (input_value ic : dynheader) in
-            if header.dynu_magic = Config.cmxs_magic_number then
-              print_cmxs_infos header
-            else begin
-              printf "Wrong magic number\n"; exit 2
-            end
-      end;
-      close_in ic
+      flush stdout;
+      match read_dyn_header filename ic with
+      | None ->
+          printf "Unable to read info on file %s\n" filename;
+          exit 2
+      | Some header ->
+          if header.dynu_magic = Config.cmxs_magic_number then
+            print_cmxs_infos header
+          else begin
+            printf "Wrong magic number\n"; exit 2
+          end;
+          close_in ic
     end else begin
       printf "Not an OCaml object file\n"; exit 2
     end

tools/objinfo_helper.c

@@ -0,0 +1,92 @@
+/***********************************************************************/
+/*                                                                     */
+/*                           Objective Caml                            */
+/*                                                                     */
+/*        Mehdi Dogguy, PPS laboratory, University Paris Diderot       */
+/*                                                                     */
+/*  Copyright 2010 Mehdi Dogguy.  Used and distributed as part of      */
+/*  Objective Caml by permission from the author.   This file is       */
+/*  distributed under the terms of the Q Public License version 1.0.   */
+/***********************************************************************/
+
+#include "../config/s.h"
+#include "../byterun/mlvalues.h"
+#include "../byterun/alloc.h"
+#include <stdio.h>
+
+#ifdef HAS_LIBBFD
+#include <stdlib.h>
+#include <string.h>
+#include <bfd.h>
+
+int main(int argc, char ** argv)
+{
+  bfd *fd;
+  asection *sec;
+  file_ptr offset;
+  long st_size;
+  asymbol ** symbol_table;
+  long sym_count, i;
+
+  if (argc != 2) {
+    fprintf(stderr, "Usage: objinfo_helper <dynamic library>\n");
+    return 2;
+  }
+
+  fd = bfd_openr(argv[1], "default");
+  if (!fd) {
+    fprintf(stderr, "Error opening file %s\n", argv[1]);
+    return 2;
+  }
+  if (! bfd_check_format (fd, bfd_object)) {
+    fprintf(stderr, "Error: wrong format\n");
+    bfd_close(fd);
+    return 2;
+  }
+
+  sec = bfd_get_section_by_name(fd, ".data");
+  if (! sec) {
+    fprintf(stderr, "Error: section .data not found\n");
+    bfd_close(fd);
+    return 2;
+  }
+
+  offset = sec->filepos;
+  st_size = bfd_get_dynamic_symtab_upper_bound (fd);
+  if (st_size <= 0) {
+    fprintf(stderr, "Error: size of section .data unknown\n");
+    bfd_close(fd);
+    return 2;
+  }
+
+  symbol_table = malloc(st_size);
+  if (! symbol_table) {
+    fprintf(stderr, "Error: out of memory\n");
+    bfd_close(fd);
+    return 2;
+  }
+
+  sym_count = bfd_canonicalize_dynamic_symtab (fd, symbol_table);
+
+  for (i = 0; i < sym_count; i++) {
+    if (strcmp(symbol_table[i]->name, "caml_plugin_header") == 0) {
+      printf("%ld\n", (long) (offset + symbol_table[i]->value));
+      bfd_close(fd);
+      return 0;
+    }
+  }
+
+  fprintf(stderr, "Error: missing symbol caml_plugin_header\n");
+  bfd_close(fd);
+  return 2;
+}
+
+#else
+
+int main(int argc, char ** argv)
+{
+  fprintf(stderr, "BFD library unavailable, cannot print info on .cmxs files\n");
+  return 2;
+}
+
+#endif