From 5f7d78bba797189cc76b0ba02cc0a980713f4235 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 27 Dec 2018 01:25:46 +0100
Subject: [PATCH] added missing libs detection

---
 matita/configure.ac | 3 +++
 1 file changed, 3 insertions(+)

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 \
-- 
2.39.2