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 <gareuselesi...@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 <gareuselesi...@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-ma...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits