X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2FMakefile.defs.in;h=d81753ac32e94922b25c396a08c9e2a80ee878b3;hb=68b4f2490c12139c03760b39895619e63b0f38c9;hp=d7a7620d5949bcfd9eb6cac398a823ad8843ec79;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/Makefile.defs.in b/matitaB/Makefile.defs.in
index d7a7620d5..d81753ac3 100644
--- a/matitaB/Makefile.defs.in
+++ b/matitaB/Makefile.defs.in
@@ -11,6 +11,7 @@ ANNOT = @ANNOT@
 
 MATITA_REQUIRES = @FINDLIB_REQUIRES@
 MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
+MATITA_WREQUIRES = @FINDLIB_WREQUIRES@
 
 MATITA_VERSION = @MATITA_VERSION@