summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>2001-09-11 15:29:10 +0000
committerDaniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>2001-09-11 15:29:10 +0000
commit5059c9e814a390cec6c82775fcdd1d421e8d740b (patch)
treef3538109121479379aa8365a98f90791b84e4062
parentd20bc540e1eb423db9eeb0baec81fb0effb057e6 (diff)
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3755 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--camlp4/camlp4/Makefile3
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