From 9322c862e1c8a1f395288ab6118243cf78745c59 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 1/1] 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