From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 27 Dec 2017 20:49:49 +0000 (+0100)
Subject: Patch to make it work with new versions of lablgtk2
X-Git-Tag: make_still_working~389
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=c6d23a9f4cb8c4c3250e4ee7b35ee374a6b22144

Patch to make it work with new versions of lablgtk2
---

diff --git a/helm/software/configure.ac b/helm/software/configure.ac
index 9fe6c7581..ec803c853 100644
--- a/helm/software/configure.ac
+++ b/helm/software/configure.ac
@@ -62,7 +62,7 @@ expat \
 gdome2 \
 http \
 lablgtk2 \
-lablgtksourceview2.gtksourceview2 \
+lablgtk2.sourceview2 \
 lablgtkmathview \
 mysql \
 netstring \
@@ -96,7 +96,7 @@ FINDLIB_REQUIRES="\
 $FINDLIB_CREQUIRES \
 lablgtk2.glade \
 lablgtkmathview \
-lablgtksourceview2.gtksourceview2 \
+lablgtk2.sourceview2 \
 helm-xmldiff \
 "
 for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES