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~8
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9322c862e1c8a1f395288ab6118243cf78745c59;p=helm.git

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 \