X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Futilities%2FMakefile;h=1874a238543eb464f05813e53a522c2366ec644f;hb=9b57abaabd8f66607062c3f33e74928f61468060;hp=314136db57dabda1d015fd7df4f030898d4c8e53;hpb=2a328e2a7623584d5593a9cc547c336c31ad1243;p=helm.git

diff --git a/helm/software/components/binaries/utilities/Makefile b/helm/software/components/binaries/utilities/Makefile
index 314136db5..1874a2385 100644
--- a/helm/software/components/binaries/utilities/Makefile
+++ b/helm/software/components/binaries/utilities/Makefile
@@ -23,7 +23,19 @@ depend:
 	$(H)ocamldep extractor.ml extractor_manager.ml > .depend
 depend.opt: 
 	$(H)echo "  OCAMLDEP -native"
-	$(H)ocamldep -native extractor.ml extractor_manager.ml > .depend
+	$(H)ocamldep -native extractor.ml extractor_manager.ml > .depend.opt
+	
+ifeq ($(MAKECMDGOALS),)
+  include .depend   
+endif
 
+ifeq ($(MAKECMDGOALS), all)
+  include .depend   
+endif
+
+ifeq ($(MAKECMDGOALS), opt)
+  include .depend.opt   
+endif
+	
 include ../../../Makefile.defs