]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/binaries/utilities/Makefile
Unable to parse my own output. Fixed.
[helm.git] / helm / software / components / binaries / utilities / Makefile
index c22d2a99d962562a07e55f4ed58421dad812920d..314136db57dabda1d015fd7df4f030898d4c8e53 100644 (file)
@@ -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