X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fbinaries%2Ftable_creator%2FMakefile;h=23e732629abb8b329c1a3771b56cde6ec23f4309;hb=72e7d9c9d410ded571b9d3c396197b26181c1e2a;hp=15cf1863aaf08ce65a1b61603061d4616790ddf7;hpb=d4c6f8464dc183326b7f7b4dc6171e69b482a26b;p=helm.git

diff --git a/components/binaries/table_creator/Makefile b/components/binaries/table_creator/Makefile
index 15cf1863a..23e732629 100644
--- a/components/binaries/table_creator/Makefile
+++ b/components/binaries/table_creator/Makefile
@@ -39,7 +39,18 @@ depend:
 	$(H)ocamldep table_creator.ml > .depend
 depend.opt: 
 	$(H)echo "  OCAMLDEP -native"
-	$(H)ocamldep -native table_creator.ml > .depend
+	$(H)ocamldep -native table_creator.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