[Pkg-ocaml-maint-commits] [matita] 01/02: Fix configuration script w.r.t. lablgtk 2.16

[Enrico Tassi]

This is an automated email from the git hooks/post-receive script.

gareuselesinge pushed a commit to branch master
in repository matita.

commit 7beb1315307a102e5129acc03f5fc70bb37c293b
Author: Enrico Tassi <gareuselesinge at debian.org>
Date:   Tue Dec 10 20:14:26 2013 +0100

    Fix configuration script w.r.t. lablgtk 2.16
---
 debian/changelog                    |  7 +++++++
 debian/patches/0001-configure.patch | 32 ++++++++++++++++++++++++++++++++
 debian/patches/configure            | 12 ------------
 debian/patches/series               |  2 +-
 4 files changed, 40 insertions(+), 13 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index bca040e..a2abc1c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+matita (0.99.1-3) unstable; urgency=medium
+
+  * Fix FTBFS w.r.t. lablgtk2 2.16 by updating findlinb name for gtksourceview
+    (Closes: #731702) 
+
+ -- Enrico Tassi <gareuselesinge at debian.org>  Tue, 10 Dec 2013 20:15:50 +0100
+
 matita (0.99.1-2) unstable; urgency=low
 
   * Fix clean target (Closes: 724163) 
diff --git a/debian/patches/0001-configure.patch b/debian/patches/0001-configure.patch
new file mode 100644
index 0000000..88c5c07
--- /dev/null
+++ b/debian/patches/0001-configure.patch
@@ -0,0 +1,32 @@
+From: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
+Date: Tue, 10 Dec 2013 20:13:18 +0100
+Subject: configure
+
+===================================================================
+---
+ configure.ac | 5 ++---
+ 1 file changed, 2 insertions(+), 3 deletions(-)
+
+diff --git a/configure.ac b/configure.ac
+index ddd0a2b..f1a7228 100644
+--- a/configure.ac
++++ b/configure.ac
+@@ -62,8 +62,7 @@ expat \
+ gdome2 \
+ http \
+ lablgtk2 \
+-lablgtksourceview2.gtksourceview2 \
+-mysql \
++lablgtk2.sourceview2 \
+ netstring \
+ ulex08 \
+ zip \
+@@ -88,7 +87,7 @@ $FINDLIB_COMREQUIRES \
+ FINDLIB_REQUIRES="\
+ $FINDLIB_CREQUIRES \
+ lablgtk2.glade \
+-lablgtksourceview2.gtksourceview2 \
++lablgtk2.sourceview2 \
+ "
+ for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES
+ do
diff --git a/debian/patches/configure b/debian/patches/configure
deleted file mode 100644
index 335ac70..0000000
--- a/debian/patches/configure
+++ /dev/null
@@ -1,12 +0,0 @@
-Index: matita/configure.ac
-===================================================================
---- matita.orig/configure.ac	2012-05-06 18:10:31.000000000 +0200
-+++ matita/configure.ac	2012-05-06 22:30:23.000000000 +0200
-@@ -63,7 +63,6 @@
- http \
- lablgtk2 \
- lablgtksourceview2.gtksourceview2 \
--mysql \
- netstring \
- ulex08 \
- zip \
diff --git a/debian/patches/series b/debian/patches/series
index e8c05a6..ffa3813 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1 @@
-configure
+0001-configure.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/matita.git