X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fconfigure.ac;h=10725e662e4823f6ce684b949557a25d2f60732f;hb=5f7d78bba797189cc76b0ba02cc0a980713f4235;hp=c5094d4c69e69740b24e2d3438b8e08a6220328b;hpb=3df31c02806eca83c63c14e6a89844f764c3e2cb;p=helm.git

diff --git a/matita/configure.ac b/matita/configure.ac
index c5094d4c6..10725e662 100644
--- a/matita/configure.ac
+++ b/matita/configure.ac
@@ -63,6 +63,9 @@ echo "done"
 FINDLIB_LIBSREQUIRES="\
 expat \
 http \
+pcre \
+str \
+unix \
 lablgtk3 \
 lablgtk3.sourceview3 \
 netstring \