X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fextractor%2FMakefile;h=512b13e738d3b6be9e2bad1af9ea9cfb77a62bd6;hb=186638106f23401e88e512a4a6dfd07d73d8be04;hp=f7151e3cbabf8eb1a7e5a3031fa77b37d12c1e9a;hpb=aef659e5893b4bf8c8544d0c54714e10f5b5493a;p=helm.git

diff --git a/helm/software/components/binaries/extractor/Makefile b/helm/software/components/binaries/extractor/Makefile
index f7151e3cb..512b13e73 100644
--- a/helm/software/components/binaries/extractor/Makefile
+++ b/helm/software/components/binaries/extractor/Makefile
@@ -11,22 +11,22 @@ clean:
 extractor: extractor.ml
 	$(H)echo "    OCAMLC $<"
 	$(H)$(OCAMLFIND) ocamlc \
-		-thread -package mysql,helm-metadata -linkpkg -o $@ $<
+		-thread -package mysql,helm-metadata,helm-library -linkpkg -rectypes -o $@ $<
 
 extractor.opt: extractor.ml
 	$(H)echo "    OCAMLOPT $<"
 	$(H)$(OCAMLFIND) ocamlopt \
-		-thread -package mysql,helm-metadata -linkpkg -o $@ $<
+		-thread -package mysql,helm-metadata,helm-library -linkpkg -rectypes -o $@ $<
 
 extractor_manager: extractor_manager.ml
 	$(H)echo "    OCAMLC $<"
 	$(H)$(OCAMLFIND) ocamlc \
-		-thread -package mysql,helm-metadata -linkpkg -o $@ $<
+		-thread -package mysql,helm-metadata,helm-library -linkpkg -rectypes -o $@ $<
 
 extractor_manager.opt: extractor_manager.ml
 	$(H)echo "    OCAMLOPT $<"
 	$(H)$(OCAMLFIND) ocamlopt \
-		-thread -package mysql,helm-metadata -linkpkg -o $@ $<
+		-thread -package mysql,helm-metadata,helm-library -linkpkg -rectypes -o $@ $<
 
 export: extractor.opt extractor_manager.opt
 	 nice -n 20 \
@@ -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