updated probe and matitadep

[helm.git] / matita / components / binaries / matitadep / Makefile

diff --git a/matita/components/binaries/matitadep/Makefile b/matita/components/binaries/matitadep/Makefile
index 7695ab28816b402576ac22b6ba5364c180d12990..2fe33e60b83a87624dff97b7bcb08e5bc037cdfd 100644 (file)
--- a/matita/components/binaries/matitadep/Makefile
+++ b/matita/components/binaries/matitadep/Makefile
@@ -1,6 +1,6 @@
 EXEC = matitadep
 VERSION=0.1.0
 
-REQUIRES =
+REQUIRES = helm-ng_library
 
 include ../Makefile.common