From: Claudio Sacerdoti Coen 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 \