diff options
author | Alain Frisch <alain@frisch.fr> | 2015-09-11 14:48:12 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2015-09-11 14:48:12 +0000 |
commit | 0e4f031c5d528498da180da4798520b2d18ea2a8 (patch) | |
tree | 24010a6186ab5bf734b67c178c89218d37cdaa98 | |
parent | b860d631458802c8685aa59c9d7b66a9225fcedb (diff) | |
download | ocaml-0e4f031c5d528498da180da4798520b2d18ea2a8.tar.gz |
#6195: use compilerlibs for read_cmt tool.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16417 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | tools/Makefile.shared | 42 |
1 files changed, 7 insertions, 35 deletions
diff --git a/tools/Makefile.shared b/tools/Makefile.shared index 3a6dfbc855..c4a56e5259 100644 --- a/tools/Makefile.shared +++ b/tools/Makefile.shared @@ -196,47 +196,19 @@ beforedepend:: cvt_emit.ml # Reading cmt files READ_CMT= \ - ../utils/misc.cmo \ - ../utils/warnings.cmo \ - ../utils/tbl.cmo \ - ../utils/consistbl.cmo \ - ../utils/config.cmo \ - ../utils/clflags.cmo \ - ../parsing/location.cmo \ - ../parsing/longident.cmo \ - ../parsing/docstrings.cmo \ - ../parsing/lexer.cmo \ - ../parsing/pprintast.cmo \ - ../parsing/ast_helper.cmo \ - ../parsing/ast_mapper.cmo \ - ../typing/ident.cmo \ - ../typing/path.cmo \ - ../typing/types.cmo \ - ../typing/typedtree.cmo \ - ../typing/btype.cmo \ - ../typing/subst.cmo \ - ../typing/predef.cmo \ - ../typing/datarepr.cmo \ - ../typing/cmi_format.cmo \ - ../typing/env.cmo \ - ../typing/ctype.cmo \ - ../typing/oprint.cmo \ - ../typing/primitive.cmo \ - ../typing/printtyp.cmo \ - ../typing/mtype.cmo \ - ../typing/envaux.cmo \ - ../typing/tast_mapper.cmo \ - ../typing/cmt_format.cmo \ - ../typing/stypes.cmo \ - ../typing/untypeast.cmo \ + ../compilerlibs/ocamlcommon.cma \ + ../compilerlibs/ocamlbytecomp.cma \ \ cmt2annot.cmo read_cmt.cmo +READ_CMT_OPT1 = $(READ_CMT:.cmo=.cmx) +READ_CMT_OPT = $(READ_CMT_OPT1:.cma=.cmxa) + read_cmt: $(READ_CMT) $(CAMLC) $(LINKFLAGS) -o read_cmt $(READ_CMT) -read_cmt.opt: $(READ_CMT:.cmo=.cmx) - $(CAMLOPT) $(LINKFLAGS) -o read_cmt.opt $(READ_CMT:.cmo=.cmx) +read_cmt.opt: $(READ_CMT_OPT) + $(CAMLOPT) $(LINKFLAGS) -o read_cmt.opt $(READ_CMT_OPT) clean:: rm -f read_cmt read_cmt.opt |