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

eugen pushed a commit to branch master
in repository coccinelle.

commit 6ecebb66a4072ef02baec38a76e24eaa0ae97139
Author: Eugeniy Meshcheryakov <eu...@debian.org>
Date:   Tue Oct 27 21:07:22 2015 +0100

    New patches:
    
    * New patches:
      - disable-spgen.diff - disable installation of spgen because it is not
        built
---
 debian/changelog                  |  5 +++-
 debian/patches/disable-spgen.diff | 55 +++++++++++++++++++++++++++++++++++++++
 debian/patches/series             |  1 +
 3 files changed, 60 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 6923a20..65024ce 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,8 +5,11 @@ coccinelle (1.0.3.deb-1) experimental; urgency=medium
     - notparallel-main-makefile.diff
   * Build-depend on hevea
   * Build-depend on latexmk
+  * New patches:
+    - disable-spgen.diff - disable installation of spgen because it is not
+      built
 
- -- Євгеній Мещеряков <eu...@debian.org>  Tue, 27 Oct 2015 20:46:31 +0100
+ -- Євгеній Мещеряков <eu...@debian.org>  Tue, 27 Oct 2015 21:05:29 +0100
 
 coccinelle (1.0.2.deb-1) experimental; urgency=medium
 
diff --git a/debian/patches/disable-spgen.diff 
b/debian/patches/disable-spgen.diff
new file mode 100644
index 0000000..e2b661e
--- /dev/null
+++ b/debian/patches/disable-spgen.diff
@@ -0,0 +1,55 @@
+--- a/Makefile
++++ b/Makefile
+@@ -300,7 +300,7 @@
+ 
+ docs:
+       @$(MAKE) -C docs || ($(ECHO) "Warning: ignored the failed construction 
of the manual" 1>&2)
+-      @$(MAKE) docs -C tools/spgen/documentation
++      #@$(MAKE) docs -C tools/spgen/documentation
+       @if test "x$(FEATURE_OCAML)" = x1; then \
+               if test -f ./parsing_c/ast_c.cmo -o -f ./parsing_c/ast_c.cmx; 
then \
+                       $(MAKE) -C ocaml doc; \
+@@ -311,7 +311,7 @@
+ clean:: Makefile.config
+ #     $(MAKE) -C docs clean
+       $(MAKE) -C ocaml cleandoc
+-      $(MAKE) clean -C tools/spgen/documentation
++      #$(MAKE) clean -C tools/spgen/documentation
+ 
+ ##############################################################################
+ # Pre-Install (customization of spatch frontend script)
+@@ -361,7 +361,7 @@
+       $(MKDIR_P) $(DESTDIR)$(MANDIR)/man3
+       $(INSTALL_DATA) docs/spatch.1 $(DESTDIR)$(MANDIR)/man1/
+       $(INSTALL_DATA) docs/pycocci.1 $(DESTDIR)$(MANDIR)/man1/
+-      $(INSTALL_DATA) docs/spgen.1 $(DESTDIR)$(MANDIR)/man1/
++      #$(INSTALL_DATA) docs/spgen.1 $(DESTDIR)$(MANDIR)/man1/
+       $(INSTALL_DATA) docs/Coccilib.3cocci $(DESTDIR)$(MANDIR)/man3/
+ 
+ install-bash:
+@@ -401,7 +401,7 @@
+       rm -f $(DESTDIR)$(LIBDIR)/spatch
+       rm -f $(DESTDIR)$(LIBDIR)/spatch.opt
+       rm -f $(DESTDIR)$(BINDIR)/pycocci
+-      @$(MAKE) install -s -C tools/spgen/source
++      #@$(MAKE) install -s -C tools/spgen/source
+       $(INSTALL_PROGRAM) tools/pycocci $(DESTDIR)$(BINDIR)
+       @if test -x spatch -o -x spatch.opt; then \
+               $(MAKE) install-def;fi
+@@ -449,14 +449,14 @@
+       rm -f $(DESTDIR)$(LIBDIR)/globals/*.cmi
+       rm -f $(DESTDIR)$(LIBDIR)/python/coccilib/coccigui/*
+       rm -f $(DESTDIR)$(LIBDIR)/python/coccilib/*.py
+-      @$(MAKE) uninstall -C tools/spgen/source
++      #@$(MAKE) uninstall -C tools/spgen/source
+       rmdir --ignore-fail-on-non-empty -p \
+               $(DESTDIR)$(LIBDIR)/python/coccilib/coccigui
+       rmdir --ignore-fail-on-non-empty $(DESTDIR)$(LIBDIR)/ocaml
+       rmdir $(DESTDIR)$(LIBDIR)
+       rm -f $(DESTDIR)$(MANDIR)/man1/spatch.1
+       rm -f $(DESTDIR)$(MANDIR)/man3/Coccilib.3cocci
+-      rm -f $(DESTDIR)$(MANDIR)/man1/spgen.1
++      #rm -f $(DESTDIR)$(MANDIR)/man1/spgen.1
+ 
+ uninstall-bash:
+       rm -f $(DESTDIR)$(BASH_COMPLETION_DIR)/spatch
diff --git a/debian/patches/series b/debian/patches/series
index f3e5b64..fa3b2c7 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,4 @@
 pdf-docs-build.diff
 notparallel-main-makefile.diff
 bash-completion-dir.diff
+disable-spgen.diff

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