X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fconfigure.ac;h=b3a90abc63fd60e86a400fa45dbfd72f5bd044a1;hb=90c02d72e5bb0ee0a9f98b12c540cca1b0c9c411;hp=39822d14e17c03d96cc31e4e9453e77153007028;hpb=6c702f5054d7975f76911ba62da9bfa33d3ed0fa;p=helm.git

diff --git a/matitaB/configure.ac b/matitaB/configure.ac
index 39822d14e..b3a90abc6 100644
--- a/matitaB/configure.ac
+++ b/matitaB/configure.ac
@@ -97,6 +97,7 @@ $FINDLIB_CREQUIRES \
 netcgi2 \
 nethttpd \
 uuidm \
+cryptokit \
 "
 for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES $FINDLIB_WREQUIRES
 do