X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fbinaries%2Fmatitadep%2FMakefile;h=2fe33e60b83a87624dff97b7bcb08e5bc037cdfd;hb=2f19651bcec24abfb1bf15ff7e1387daad1f6638;hp=7695ab28816b402576ac22b6ba5364c180d12990;hpb=bfd440cc2a790741616cae6b375609c6bbdc3b24;p=helm.git

diff --git a/matita/components/binaries/matitadep/Makefile b/matita/components/binaries/matitadep/Makefile
index 7695ab288..2fe33e60b 100644
--- 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