X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2FMakefile.common;h=b6ad6eb963c4b7a1f6775a0d1d9204f580977d5c;hb=aef659e5893b4bf8c8544d0c54714e10f5b5493a;hp=9feae4f8685cfbf825955da7bee37e8bb06f13b9;hpb=64afac782fe3bd83dbc2f9295481362f1edc8e68;p=helm.git

diff --git a/helm/software/components/Makefile.common b/helm/software/components/Makefile.common
index 9feae4f86..b6ad6eb96 100644
--- a/helm/software/components/Makefile.common
+++ b/helm/software/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 =