X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fextractor%2FMakefile;h=eae5c635d52010e252db7f34695857af8b10eb77;hb=2bc5d5bfa8278945527b3f36ffd467802899b148;hp=f7151e3cbabf8eb1a7e5a3031fa77b37d12c1e9a;hpb=1253cd9cbbdef7def40fa4688d8db953f8c99726;p=helm.git

diff --git a/helm/software/components/binaries/extractor/Makefile b/helm/software/components/binaries/extractor/Makefile
index f7151e3cb..eae5c635d 100644
--- a/helm/software/components/binaries/extractor/Makefile
+++ b/helm/software/components/binaries/extractor/Makefile
@@ -38,7 +38,18 @@ 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 .depend
 include ../../../Makefile.defs