diff options
author | Damien Doligez <damien.doligez@inria.fr> | 2017-02-16 14:50:01 +0100 |
---|---|---|
committer | Damien Doligez <damien.doligez@inria.fr> | 2017-02-16 14:50:01 +0100 |
commit | 05bc1ef937bcad22bfa5b9e79a4b1277484cab74 (patch) | |
tree | b1807eeba6f5ff71673bbe07a86bef92da8288e9 /tools/.depend | |
parent | 7a192a2152eb9b61eb20d8e38429b67f8f66059f (diff) | |
download | ocaml-05bc1ef937bcad22bfa5b9e79a4b1277484cab74.tar.gz |
last commit before tagging 4.05.0+beta1
Diffstat (limited to 'tools/.depend')
-rw-r--r-- | tools/.depend | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/.depend b/tools/.depend index 5dff35cf9f..d2f10886b1 100644 --- a/tools/.depend +++ b/tools/.depend @@ -30,14 +30,16 @@ eqparsetree.cmo : ../parsing/parsetree.cmi ../parsing/longident.cmi \ ../parsing/location.cmi ../parsing/asttypes.cmi eqparsetree.cmx : ../parsing/parsetree.cmi ../parsing/longident.cmx \ ../parsing/location.cmx ../parsing/asttypes.cmi -objinfo.cmo : ../middle_end/base_types/symbol.cmi \ +make_opcodes.cmo : +make_opcodes.cmx : +objinfo.cmo : ../utils/tbl.cmi ../middle_end/base_types/symbol.cmi \ ../asmcomp/printclambda.cmi ../utils/misc.cmi \ ../middle_end/base_types/linkage_name.cmi ../typing/ident.cmi \ ../asmcomp/export_info.cmi ../utils/config.cmi \ ../middle_end/base_types/compilation_unit.cmi ../asmcomp/cmx_format.cmi \ ../typing/cmt_format.cmi ../bytecomp/cmo_format.cmi \ ../typing/cmi_format.cmi ../bytecomp/bytesections.cmi -objinfo.cmx : ../middle_end/base_types/symbol.cmx \ +objinfo.cmx : ../utils/tbl.cmx ../middle_end/base_types/symbol.cmx \ ../asmcomp/printclambda.cmx ../utils/misc.cmx \ ../middle_end/base_types/linkage_name.cmx ../typing/ident.cmx \ ../asmcomp/export_info.cmx ../utils/config.cmx \ |