diff options
| -rw-r--r-- | camlp4/camlp4/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/camlp4/camlp4/Makefile b/camlp4/camlp4/Makefile index cc15830c9..cec6aa665 100644 --- a/camlp4/camlp4/Makefile +++ b/camlp4/camlp4/Makefile @@ -27,6 +27,9 @@ $(CAMLP4): $(OBJS) ../odyl/odyl.cmo $(CAMLP4OPT): $(OBJS:.cma=.cmxa) ../odyl/odyl.cmx $(OCAMLOPT) $(OBJS:.cma=.cmxa) $(CAMLP4M) ../odyl/odyl.cmx -linkall -o $(CAMLP4OPT) +$(OTOP)/utils/config.cmx: $(OTOP)/utils/config.ml + $(OCAMLOPT) -c $(OTOP)/utils/config.ml + camlp4.cma: $(CAMLP4_OBJS) $(OCAMLC) $(LINKFLAGS) $(CAMLP4_OBJS) -a -o camlp4.cma |