From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 27 Dec 2018 00:25:46 +0000 (+0100)
Subject: added missing libs detection
X-Git-Tag: make_still_working~229^2~1^2~11
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=5f7d78bba797189cc76b0ba02cc0a980713f4235

added missing libs detection
---

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 \