X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Futilities%2FMakefile;h=db76fb51da13d904bb3c88bb5348d491cec790e8;hb=cc23f034c9419186602d9250456241f2eba90d7c;hp=c22d2a99d962562a07e55f4ed58421dad812920d;hpb=aef659e5893b4bf8c8544d0c54714e10f5b5493a;p=helm.git

diff --git a/helm/software/components/binaries/utilities/Makefile b/helm/software/components/binaries/utilities/Makefile
index c22d2a99d..db76fb51d 100644
--- a/helm/software/components/binaries/utilities/Makefile
+++ b/helm/software/components/binaries/utilities/Makefile
@@ -1,8 +1,8 @@
 H=@
 
-UTILITIES = create_environment parse_library list_uris
+UTILITIES = create_environment parse_library list_uris test_library
 UTILITIES_OPT = $(patsubst %,%.opt,$(UTILITIES))
-LINKOPTS = -linkpkg -thread
+LINKOPTS = -linkpkg -rectypes -thread
 LIBS = helm-cic_proof_checking
 OCAMLC = $(OCAMLFIND) ocamlc $(LINKOPTS) -package $(LIBS)
 OCAMLOPT = $(OCAMLFIND) opt $(LINKOPTS) -package $(LIBS)
@@ -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