]> matita.cs.unibo.it Git - helm.git/commitdiff
Patch to make it work with new versions of lablgtk2
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Dec 2017 20:49:49 +0000 (21:49 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Dec 2017 20:49:49 +0000 (21:49 +0100)
helm/software/configure.ac

index 9fe6c7581f3469a563cb21821ce682db332063db..ec803c853b9c84d9c481b74659d22cfbc7f4702b 100644 (file)
@@ -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