]> matita.cs.unibo.it Git - helm.git/commitdiff
fixed make dep command
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 14 Oct 2004 10:12:44 +0000 (10:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 14 Oct 2004 10:12:44 +0000 (10:12 +0000)
helm/ocaml/Makefile.common.in

index 81a84e42caccf7dffe0cd16cbd26c5ee042891d9..5e30807819f7a4d2c528f78c4439cbb61d20c857 100644 (file)
@@ -19,7 +19,7 @@ OCAMLARCHIVEOPTIONS =
 OCAMLFIND = @OCAMLFIND@
 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) $(OCAMLOPTIONS) $(PREPROCOPTIONS)
 OCAMLOPT = $(OCAMLFIND) opt $(OCAMLOPTIONS) $(PREPROCOPTIONS)
-OCAMLDEP = $(OCAMLFIND) ocamldep -package "$(REQUIRES)" $(SYNTAXOPTIONS)
+OCAMLDEP = $(OCAMLFIND) ocamldep -package "camlp4,$(REQUIRES)" $(SYNTAXOPTIONS)
 OCAMLLEX = ocamllex
 OCAMLYACC = ocamlyacc