Skip to content

Commit 0e4f031

Browse files
committed
ocaml#6195: use compilerlibs for read_cmt tool.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16417 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1 parent b860d63 commit 0e4f031

File tree

1 file changed

+7
-35
lines changed

1 file changed

+7
-35
lines changed

tools/Makefile.shared

+7-35
Original file line numberDiff line numberDiff line change
@@ -196,47 +196,19 @@ beforedepend:: cvt_emit.ml
196196
# Reading cmt files
197197

198198
READ_CMT= \
199-
../utils/misc.cmo \
200-
../utils/warnings.cmo \
201-
../utils/tbl.cmo \
202-
../utils/consistbl.cmo \
203-
../utils/config.cmo \
204-
../utils/clflags.cmo \
205-
../parsing/location.cmo \
206-
../parsing/longident.cmo \
207-
../parsing/docstrings.cmo \
208-
../parsing/lexer.cmo \
209-
../parsing/pprintast.cmo \
210-
../parsing/ast_helper.cmo \
211-
../parsing/ast_mapper.cmo \
212-
../typing/ident.cmo \
213-
../typing/path.cmo \
214-
../typing/types.cmo \
215-
../typing/typedtree.cmo \
216-
../typing/btype.cmo \
217-
../typing/subst.cmo \
218-
../typing/predef.cmo \
219-
../typing/datarepr.cmo \
220-
../typing/cmi_format.cmo \
221-
../typing/env.cmo \
222-
../typing/ctype.cmo \
223-
../typing/oprint.cmo \
224-
../typing/primitive.cmo \
225-
../typing/printtyp.cmo \
226-
../typing/mtype.cmo \
227-
../typing/envaux.cmo \
228-
../typing/tast_mapper.cmo \
229-
../typing/cmt_format.cmo \
230-
../typing/stypes.cmo \
231-
../typing/untypeast.cmo \
199+
../compilerlibs/ocamlcommon.cma \
200+
../compilerlibs/ocamlbytecomp.cma \
232201
\
233202
cmt2annot.cmo read_cmt.cmo
234203

204+
READ_CMT_OPT1 = $(READ_CMT:.cmo=.cmx)
205+
READ_CMT_OPT = $(READ_CMT_OPT1:.cma=.cmxa)
206+
235207
read_cmt: $(READ_CMT)
236208
$(CAMLC) $(LINKFLAGS) -o read_cmt $(READ_CMT)
237209

238-
read_cmt.opt: $(READ_CMT:.cmo=.cmx)
239-
$(CAMLOPT) $(LINKFLAGS) -o read_cmt.opt $(READ_CMT:.cmo=.cmx)
210+
read_cmt.opt: $(READ_CMT_OPT)
211+
$(CAMLOPT) $(LINKFLAGS) -o read_cmt.opt $(READ_CMT_OPT)
240212

241213
clean::
242214
rm -f read_cmt read_cmt.opt

0 commit comments

Comments
 (0)