REQUIRES := $(shell $(OCAMLFIND) -query -format '%(requires)' helm-$(PACKAGE))
OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) $(OCAMLOPTIONS) $(PREPROCOPTIONS)
OCAMLOPT = $(OCAMLFIND) opt $(OCAMLOPTIONS) $(PREPROCOPTIONS)
-OCAMLDEP = $(OCAMLFIND) ocamldep -package "camlp4,$(REQUIRES)" $(SYNTAXOPTIONS)
+OCAMLDEP = $(OCAMLFIND) ocamldep -package "camlp4 $(CAMLP4REQUIRES)" $(SYNTAXOPTIONS)
OCAMLLEX = ocamllex
OCAMLYACC = ocamlyacc
.PHONY: all opt world metas depend install uninstall clean clean_metas distclean
%.all:
- @echo building module: $*
- @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* all --no-print-directory
+ @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* all
%.opt:
- @echo building module: $*
- @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* opt --no-print-directory
+ @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* opt
%.clean:
- @echo cleaning module: $*
- @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* clean --no-print-directory
+ @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* clean
%.depend:
- @echo calculating dependencies for module: $*
- @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* depend --no-print-directory
+ @OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH $(MAKE) -C $* depend
%.stats:
- @echo generating stats for module: $*
@$(MAKE) -C $* .stats
$(MODULES:%=%.install):
+http_getter_env.cmi: http_getter_types.cmo
http_getter_common.cmi: http_getter_types.cmo
http_getter.cmi: http_getter_types.cmo
http_getter_wget.cmo: http_getter_types.cmo http_getter_wget.cmi
-inference.cmi: utils.cmi
-equality_indexing.cmi: utils.cmi inference.cmi
-utils.cmo: utils.cmi
-utils.cmx: utils.cmi
-inference.cmo: utils.cmi inference.cmi
-inference.cmx: utils.cmx inference.cmi
-equality_indexing.cmo: utils.cmi inference.cmi equality_indexing.cmi
-equality_indexing.cmx: utils.cmx inference.cmx equality_indexing.cmi
-indexing.cmo: utils.cmi inference.cmi equality_indexing.cmi indexing.cmi
-indexing.cmx: utils.cmx inference.cmx equality_indexing.cmx indexing.cmi
-saturation.cmo: utils.cmi inference.cmi indexing.cmi
-saturation.cmx: utils.cmx inference.cmx indexing.cmx