X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftable_creator%2FMakefile;h=d5889699f46545bc452ef9f3c9d65a8d3b3414f0;hb=c18631e6e9aad36446af0c126e8616272f44a08a;hp=15cf1863aaf08ce65a1b61603061d4616790ddf7;hpb=aef659e5893b4bf8c8544d0c54714e10f5b5493a;p=helm.git

diff --git a/helm/software/components/binaries/table_creator/Makefile b/helm/software/components/binaries/table_creator/Makefile
index 15cf1863a..d5889699f 100644
--- a/helm/software/components/binaries/table_creator/Makefile
+++ b/helm/software/components/binaries/table_creator/Makefile
@@ -16,7 +16,7 @@ opt: table_creator.opt table_destructor.opt
 table_creator: table_creator.ml 
 	$(H)echo "    OCAMLC $<"
 	$(H)$(OCAMLFIND) ocamlc \
-		-thread -package mysql,helm-metadata -linkpkg -o $@ $<
+		-thread -package mysql,helm-metadata -linkpkg -rectypes -o $@ $<
 
 table_destructor: table_creator
 	$(H)ln -f $< $@
@@ -24,7 +24,7 @@ table_destructor: table_creator
 table_creator.opt: table_creator.ml
 	$(H)echo "    OCAMLOPT $<"
 	$(H)$(OCAMLFIND) ocamlopt \
-		-thread -package mysql,helm-metadata -linkpkg -o $@ $<
+		-thread -package mysql,helm-metadata -linkpkg -rectypes -o $@ $<
 
 table_destructor.opt: table_creator.opt
 	$(H)ln  -f $< $@
@@ -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