diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-03-08 10:22:34 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-03-08 10:22:34 +0000 |
| commit | 06a78807fb2e9740beb82389baebc4621a1ede88 (patch) | |
| tree | e9cc9dfa116ede7a72abc62e4df8c5825c7a088e /tools | |
| parent | 786e69e846974324dc265a008907a6f432f047af (diff) | |
| download | ocaml-06a78807fb2e9740beb82389baebc4621a1ede88.tar.gz | |
Update Makefile and .depend for untypeast.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15887 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/.depend | 34 | ||||
| -rw-r--r-- | tools/Makefile.shared | 2 |
2 files changed, 13 insertions, 23 deletions
diff --git a/tools/.depend b/tools/.depend index ed77b25945..df84e5b6a2 100644 --- a/tools/.depend +++ b/tools/.depend @@ -1,23 +1,21 @@ depend.cmi : ../parsing/parsetree.cmi ../parsing/longident.cmi profiling.cmi : -untypeast.cmi : ../typing/typedtree.cmi ../typing/path.cmi \ - ../parsing/parsetree.cmi ../parsing/longident.cmi addlabels.cmo : ../parsing/parsetree.cmi ../parsing/parse.cmi \ ../parsing/longident.cmi ../parsing/location.cmi ../parsing/asttypes.cmi addlabels.cmx : ../parsing/parsetree.cmi ../parsing/parse.cmx \ ../parsing/longident.cmx ../parsing/location.cmx ../parsing/asttypes.cmi -cmt2annot.cmo : untypeast.cmi ../typing/types.cmi ../typing/typedtree.cmi \ - ../typing/tast_mapper.cmi ../typing/stypes.cmi ../parsing/pprintast.cmi \ - ../typing/path.cmi ../typing/oprint.cmi ../parsing/location.cmi \ - ../typing/ident.cmi ../typing/envaux.cmi ../typing/env.cmi \ - ../utils/config.cmi ../typing/cmt_format.cmi ../parsing/asttypes.cmi \ - ../typing/annot.cmi -cmt2annot.cmx : untypeast.cmx ../typing/types.cmx ../typing/typedtree.cmx \ - ../typing/tast_mapper.cmx ../typing/stypes.cmx ../parsing/pprintast.cmx \ - ../typing/path.cmx ../typing/oprint.cmx ../parsing/location.cmx \ - ../typing/ident.cmx ../typing/envaux.cmx ../typing/env.cmx \ - ../utils/config.cmx ../typing/cmt_format.cmx ../parsing/asttypes.cmi \ - ../typing/annot.cmi +cmt2annot.cmo : ../typing/untypeast.cmi ../typing/types.cmi \ + ../typing/typedtree.cmi ../typing/tast_mapper.cmi ../typing/stypes.cmi \ + ../parsing/pprintast.cmi ../typing/path.cmi ../typing/oprint.cmi \ + ../parsing/location.cmi ../typing/ident.cmi ../typing/envaux.cmi \ + ../typing/env.cmi ../utils/config.cmi ../typing/cmt_format.cmi \ + ../parsing/asttypes.cmi ../typing/annot.cmi +cmt2annot.cmx : ../typing/untypeast.cmx ../typing/types.cmx \ + ../typing/typedtree.cmx ../typing/tast_mapper.cmx ../typing/stypes.cmx \ + ../parsing/pprintast.cmx ../typing/path.cmx ../typing/oprint.cmx \ + ../parsing/location.cmx ../typing/ident.cmx ../typing/envaux.cmx \ + ../typing/env.cmx ../utils/config.cmx ../typing/cmt_format.cmx \ + ../parsing/asttypes.cmi ../typing/annot.cmi cvt_emit.cmo : cvt_emit.cmx : depend.cmo : ../parsing/parsetree.cmi ../utils/misc.cmi \ @@ -80,11 +78,3 @@ read_cmt.cmo : ../typing/cmt_format.cmi cmt2annot.cmo ../utils/clflags.cmi read_cmt.cmx : ../typing/cmt_format.cmx cmt2annot.cmx ../utils/clflags.cmx scrapelabels.cmo : scrapelabels.cmx : -untypeast.cmo : ../typing/typedtree.cmi ../typing/path.cmi \ - ../parsing/parsetree.cmi ../utils/misc.cmi ../parsing/longident.cmi \ - ../typing/ident.cmi ../parsing/asttypes.cmi ../parsing/ast_helper.cmi \ - untypeast.cmi -untypeast.cmx : ../typing/typedtree.cmx ../typing/path.cmx \ - ../parsing/parsetree.cmi ../utils/misc.cmx ../parsing/longident.cmx \ - ../typing/ident.cmx ../parsing/asttypes.cmi ../parsing/ast_helper.cmx \ - untypeast.cmi diff --git a/tools/Makefile.shared b/tools/Makefile.shared index 302e147051..186e0f0efe 100644 --- a/tools/Makefile.shared +++ b/tools/Makefile.shared @@ -226,8 +226,8 @@ READ_CMT= \ ../typing/tast_mapper.cmo \ ../typing/cmt_format.cmo \ ../typing/stypes.cmo \ + ../typing/untypeast.cmo \ \ - untypeast.cmo \ cmt2annot.cmo read_cmt.cmo read_cmt: $(READ_CMT) |