[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/1.0.0_rc11.deb-1-14-ge1f61b4

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit 9fbda3d39784dd658d4126142718f070281754f0
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Mon Apr 9 18:34:05 2012 +0200

    New patches:
    
    * New patches:
      - install-python-coccilib.diff

diff --git a/debian/changelog b/debian/changelog
index be1ef1d..ba34a3d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -8,8 +8,10 @@ coccinelle (1.0.0~rc12.deb-1) unstable; urgency=low
   * Refresh patches:
     - pdf-docs-build.diff
   * Build-depend on libextlib-ocaml-dev
+  * New patches:
+    - install-python-coccilib.diff
 
- -- Євгеній Мещеряков <eugen at debian.org>  Mon, 09 Apr 2012 16:37:04 +0200
+ -- Євгеній Мещеряков <eugen at debian.org>  Mon, 09 Apr 2012 18:33:33 +0200
 
 coccinelle (1.0.0~rc11.deb-1) unstable; urgency=low
 
diff --git a/debian/patches/install-python-coccilib.diff b/debian/patches/install-python-coccilib.diff
new file mode 100644
index 0000000..0478c92
--- /dev/null
+++ b/debian/patches/install-python-coccilib.diff
@@ -0,0 +1,15 @@
+From: Eugeniy Meshcheryakov <eugen at debian.org>
+Subject: Really install python modules
+
+Due to a typo python modules were not installed in the 'install' target.
+--- a/Makefile
++++ b/Makefile
+@@ -373,7 +373,7 @@
+ 	$(INSTALL_DATA) python/coccilib/coccigui/pygui.gladep \
+ 		$(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
+ 
+-install: install-man install-common $(PYTHON_TARGET)
++install: install-man install-common $(PYTHON_INSTALL_TARGET)
+ 	@if test -x spatch -o -x spatch.opt; then \
+ 		$(MAKE) install-def;fi
+ 	@if test -x spatch ; then \
diff --git a/debian/patches/series b/debian/patches/series
index 87fc0b5..956eb85 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 pdf-docs-build.diff
+install-python-coccilib.diff

-- 
Debian packaging for coccinelle