diff options
| author | Mark Shinwell <mshinwell@gmail.com> | 2019-03-19 10:26:35 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-19 10:26:35 +0000 |
| commit | dbede46c2eae9d86a9cdff7f0941791110a7834b (patch) | |
| tree | 3de8fae17e72ce325706e6fb86aeb234b36e0334 /tools | |
| parent | 54c7ea7b428582772b62fc85435fe20d29a40613 (diff) | |
| download | ocaml-dbede46c2eae9d86a9cdff7f0941791110a7834b.tar.gz | |
Improve the packing mechanism used to build Dynlink (#2268)
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/.depend | 2 | ||||
| -rw-r--r-- | tools/objinfo.ml | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/tools/.depend b/tools/.depend index fb61517607..52c8ff55cb 100644 --- a/tools/.depend +++ b/tools/.depend @@ -140,6 +140,7 @@ objinfo.cmo : \ ../asmcomp/export_info.cmi \ ../utils/config.cmi \ ../middle_end/base_types/compilation_unit.cmi \ + ../asmcomp/cmxs_format.cmi \ ../asmcomp/cmx_format.cmi \ ../typing/cmt_format.cmi \ ../bytecomp/cmo_format.cmi \ @@ -155,6 +156,7 @@ objinfo.cmx : \ ../asmcomp/export_info.cmx \ ../utils/config.cmx \ ../middle_end/base_types/compilation_unit.cmx \ + ../asmcomp/cmxs_format.cmi \ ../asmcomp/cmx_format.cmi \ ../typing/cmt_format.cmx \ ../bytecomp/cmo_format.cmi \ diff --git a/tools/objinfo.ml b/tools/objinfo.ml index adb5453842..40826f4895 100644 --- a/tools/objinfo.ml +++ b/tools/objinfo.ml @@ -132,6 +132,7 @@ let print_global_table table = table open Cmx_format +open Cmxs_format let print_cmx_infos (ui, crc) = print_general_infos |