X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2FMakefile.common;h=b6ad6eb963c4b7a1f6775a0d1d9204f580977d5c;hb=36243ef64310a9ea2e51a0295744ab5de7abe055;hp=9feae4f8685cfbf825955da7bee37e8bb06f13b9;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git diff --git a/components/Makefile.common b/components/Makefile.common index 9feae4f86..b6ad6eb96 100644 --- a/components/Makefile.common +++ b/components/Makefile.common @@ -62,7 +62,6 @@ all: prereq $(IMPLEMENTATION_FILES:%.ml=%.cmo) $(ARCHIVE) @echo -n opt: prereq $(IMPLEMENTATION_FILES:%.ml=%.cmx) $(ARCHIVE_OPT) @echo -n -world: all opt test: test.ml $(ARCHIVE) $(OCAMLC) $(ARCHIVE) -linkpkg -o $@ $< test.opt: test.ml $(ARCHIVE_OPT) @@ -70,8 +69,13 @@ test.opt: test.ml $(ARCHIVE_OPT) install: uninstall: -depend: $(DEPEND_FILES) - $(OCAMLDEP) $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) > .depend +depend:: $(DEPEND_FILES) + $(H)echo " OCAMLDEP" + $(H)$(OCAMLDEP) $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) > .depend +depend.opt:: $(DEPEND_FILES) + $(H)echo " OCAMLDEP -native" + $(H)$(OCAMLDEP) -native \ + $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) > .depend $(PACKAGE).ps: .dep.dot dot -Tps -o $@ $< @@ -128,7 +132,9 @@ STATS_FILES = \ .PHONY: all opt world backup depend install uninstall clean ocamlinit ifneq ($(MAKECMDGOALS), depend) + ifneq ($(MAKECMDGOALS), depend.opt) include .depend + endif endif NULL =