X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Futilities%2FMakefile;h=314136db57dabda1d015fd7df4f030898d4c8e53;hb=14d7eabdb425c4dbcda5de18fac0735fde5d176b;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..314136db5 100644
--- a/helm/software/components/binaries/utilities/Makefile
+++ b/helm/software/components/binaries/utilities/Makefile
@@ -1,6 +1,6 @@
 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
 LIBS = helm-cic_proof_checking