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

mehdi pushed a commit to branch master
in repository frama-c.

commit db88790ccaaa4fd8ea020dbed4d69c4fb8bbccf1
Author: Mehdi Dogguy <me...@debian.org>
Date:   Thu Dec 8 00:45:24 2016 +0100

    Add patch 0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch
---
 debian/changelog                                   |  1 +
 ...mlfind-package-lablgtk2-gnome.gnomecanvas.patch | 22 ++++++++++++++++++++++
 debian/patches/series                              |  1 +
 3 files changed, 24 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 8405bc7..9687f18 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,6 +4,7 @@ frama-c (20161101+silicon+dfsg-1) UNRELEASED; urgency=medium
   * Refresh patches.
     - Drop patch 
0004-Don-t-fail-during-the-configure-on-bytecode-architec.patch
       (not needed anymore)
+    - Add patch 0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch
   * Add libapron-ocaml-dev to Build-Depends
   * Do not recommend why and libwhy-coq which are not part of Stretch
 
diff --git 
a/debian/patches/0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch 
b/debian/patches/0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch
new file mode 100644
index 0000000..2971b24
--- /dev/null
+++ b/debian/patches/0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch
@@ -0,0 +1,22 @@
+From: Mehdi Dogguy <me...@debian.org>
+Date: Thu, 8 Dec 2016 00:44:04 +0100
+Subject: Use ocamlfind package lablgtk2-gnome.gnomecanvas
+
+---
+ share/Makefile.config.in | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/share/Makefile.config.in b/share/Makefile.config.in
+index e254ddc..8068024 100644
+--- a/share/Makefile.config.in
++++ b/share/Makefile.config.in
+@@ -178,7 +178,7 @@ LIBRARY_NAMES += zarith
+ endif
+ 
+ ifneq ($(ENABLE_GUI),no)
+-LIBRARY_NAMES_GUI = lablgtk2 lablgtk2.gnomecanvas lablgtk2.sourceview2
++LIBRARY_NAMES_GUI = lablgtk2 lablgtk2-gnome.gnomecanvas lablgtk2.sourceview2
+ else
+ LIBRARY_NAMES_GUI =
+ endif
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index 06464b6..2d4205f 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,4 @@
 0001-Fix-spelling-error-in-binary.patch
 0002-Use-bin-cp-instead-of-usr-bin-install.patch
 0003-Disable-CHMOD_RO-invocations.patch
+0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.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

Reply via email to