debian/0000755000000000000000000000000012256656762007207 5ustar debian/control0000644000000000000000000000361412256656106010606 0ustar Source: coccinelle Section: devel Priority: optional Maintainer: Debian OCaml Maintainers Uploaders: Євгеній Мещеряков Build-Depends: debhelper (>= 8.9.7~), dh-ocaml (>= 1.0.3~), ocaml-nox (>= 3.11.1-3~), libpycaml-ocaml-dev (>= 0.82-13~), python (>= 2.6.6-3~), menhir (>= 20090204.dfsg), libmenhir-ocaml-dev (>= 20090204.dfsg), ocaml-findlib, ocaml-best-compilers, libpcre-ocaml-dev, pkg-config (>= 0.9.0), texlive-fonts-extra, texlive-fonts-recommended, texlive-latex-base, texlive-latex-extra, texlive-latex-recommended Standards-Version: 3.9.5 Homepage: http://coccinelle.lip6.fr Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coccinelle.git Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coccinelle.git Package: coccinelle Architecture: any Depends: ${misc:Depends}, ${shlibs:Depends}, ${ocaml:Depends}, ${python:Depends}, python-gobject, python-gtk2, python-glade2, ocaml-findlib, libpycaml-ocaml Suggests: vim-addon-manager, coccinelle-doc Description: semantic patching tool for C Cocinelle is a program matching and transformation tool for C. The programmer describes the code to match and the transformation to perform as a semantic patch, which looks like a standard patch, but can transform multiple files at any number of code sites. Package: coccinelle-doc Section: doc Architecture: all Depends: ${misc:Depends} Breaks: coccinelle (<< 1.0.0~rc7.deb-4) Replaces: coccinelle (<< 1.0.0~rc7.deb-4) Description: documentation for coccinelle Cocinelle is a program matching and transformation tool for C. The programmer describes the code to match and the transformation to perform as a semantic patch, which looks like a standard patch, but can transform multiple files at any number of code sites. . This package contains examples files and additional documentation in PDF format. debian/TODO0000644000000000000000000000014212256656106007664 0ustar use better pycaml make it work without PYTHONPATH commons looks like a separate library run tests debian/compat0000644000000000000000000000000212256656106010375 0ustar 8 debian/coccinelle-doc.doc-base.options0000644000000000000000000000021012256656106015124 0ustar Document: coccinelle-options Title: Coccinelle Usage Section: Programming Format: PDF Files: /usr/share/doc/coccinelle-doc/options.pdf debian/coccinelle.docs0000644000000000000000000000004312256656106012146 0ustar authors.txt credits.txt readme.txt debian/copyright0000644000000000000000000001311412256656106011132 0ustar This package was debianized by Євгеній Мещеряков on Thu, 22 Jan 2009 17:26:07 +0100. It was downloaded from Some files were removed from the source tarball, see debian/repack.sh for details. Upstream Authors: Julia Lawall Yoann Padioleau Rene Rydhof Hansen Henrik Stuart Gilles Muller Nicolas Palix Copyright: 2005-2010 Ecole des Mines de Nantes 2005-2011 University of Copenhagen 1998-2009 Yoann Padioleau 2005-2010 Julia Lawall 2005-2010 Rene Rydhof Hansen 2005-2010 Henrik Stuart 2005-2010 Gilles Muller 2004 Troestler Christophe 2003 Brian Hurt 2003 Nicolas Cannasse 1996, 2010-2012 INRIA 2000 Jean-Christophe FILLIATRE 2008, 2009 University of Urbana Champaign 2010 University of Copenhagen DIKU 2005-2010 Nicolas Palix Copyright for some python sources (vim*.py): 2005 Ali Afshar 2005-2007 The PIDA Project Copyright for files under editors/vim: 2009, 2010 Alexander Færøy Copyright for tools/cocci-send-email.perl: 2002,2005 Greg Kroah-Hartman 2005 Ryan Anderson License: This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License (GPL) version 2 as published by the Free Software Foundation. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. On Debian systems, the complete text of the GNU General Public License, version 2, can be found in /usr/share/common-licenses/GPL-2. Files under commons/ are distributed under the following license: This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (LGPL) version 2.1 as published by the Free Software Foundation, with the special exception on linking described in file license.txt. This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the file license.txt for more details. The special exception reads: As a special exception to the GNU Lesser General Public License, you may link, statically or dynamically, a "work that uses the Library" with a publicly distributed version of the Library to produce an executable file containing portions of the Library, and distribute that executable file under terms of your choice, without any of the additional requirements listed in clause 6 of the GNU Lesser General Public License. By "a publicly distributed version of the Library", we mean either the unmodified Library as distributed by the authors, or a modified version of the Library that is distributed under the conditions defined in clause 3 of the GNU Lesser General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Lesser General Public License. On Debian systems, the complete text of the GNU Lesser General Public License, version 2.1, can be found in /usr/share/common-licenses/GPL-2.1. Files python/coccilib/coccigui/vim*.py have the following license: Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. License for files under editors/vim/ reads: You may redistribute this under the same terms as Vim itself. Vim license permits to distribute it under GPL version 2 or later. For GPL conditions see above. For full license text of Vim, see Vim's copyright file. Manual under docs/manual is distributed under the following license: Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. On Debian systems, the complete text of the GNU Free Documentation License License, version 1.3, can be found in /usr/share/common-licenses/GFDL-1.3. The Debian packaging is copyright 2009-2012, Євгеній Мещеряков and is licensed under the GPL, see above. debian/changelog0000644000000000000000000003557012256656106011063 0ustar coccinelle (1.0.0~rc19.deb-3) unstable; urgency=medium * New patch: - detect-itimer.diff — detect architectures without [gs]etitimer API support. This should fix testsuite failures on Hurd. * Pass --enable-release to configure * Remove obsolete COCCI_FLAGS variable * Don't override dh_builddeb call, xz compression is now default -- Євгеній Мещеряков Wed, 25 Dec 2013 23:28:59 +0100 coccinelle (1.0.0~rc19.deb-2) unstable; urgency=medium * Fix the clean target * Enable the testsuite * Standards-Version 3.9.5 — no changes needed -- Євгеній Мещеряков Sun, 22 Dec 2013 22:54:39 +0100 coccinelle (1.0.0~rc19.deb-1) unstable; urgency=medium * New upstream RC -- Євгеній Мещеряков Thu, 05 Dec 2013 21:45:41 +0100 coccinelle (1.0.0~rc18.deb-2) unstable; urgency=low * Configure with --enable-ocaml -- Євгеній Мещеряков Mon, 26 Aug 2013 21:49:05 +0200 coccinelle (1.0.0~rc18.deb-1) unstable; urgency=low * New upstream RC * Standards-Version 3.9.4 — no changes required -- Євгеній Мещеряков Sun, 25 Aug 2013 23:13:26 +0200 coccinelle (1.0.0~rc17.deb-2) unstable; urgency=low * Upload to unstable -- Євгеній Мещеряков Sun, 05 May 2013 15:27:35 +0200 coccinelle (1.0.0~rc17.deb-1) experimental; urgency=low * New upstream RC -- Євгеній Мещеряков Wed, 01 May 2013 17:37:47 +0200 coccinelle (1.0.0~rc16.deb-1) experimental; urgency=low * New upstream RC -- Євгеній Мещеряков Sun, 30 Dec 2012 16:59:40 +0100 coccinelle (1.0.0~rc15.deb-2) experimental; urgency=low * Add Breaks/Replaces coccinelle (<< 1.0.0~rc7.deb-4) to coccinelle-doc, this fixes package upgrades. Thanks to Andreas Beckmann (closes: #694269) -- Євгеній Мещеряков Sun, 25 Nov 2012 15:43:40 +0100 coccinelle (1.0.0~rc15.deb-1) experimental; urgency=low * New upstream RC - Do not build-depend on libsexplib-camlp4-dev and libextlib-ocaml-dev anymore -- Євгеній Мещеряков Sun, 19 Aug 2012 20:40:52 +0200 coccinelle (1.0.0~rc14.deb-1) experimental; urgency=low * New upstream release * Remove patches: - install-python-coccilib.diff - applied upstream -- Євгеній Мещеряков Sun, 22 Jul 2012 22:39:20 +0200 coccinelle (1.0.0~rc12.deb-4) unstable; urgency=low * Upload to unstable -- Євгеній Мещеряков Fri, 13 Apr 2012 22:59:55 +0200 coccinelle (1.0.0~rc12.deb-3) experimental; urgency=low * Do not use --enable-release for now * Use all-release and all-dev makefile targets -- Євгеній Мещеряков Wed, 11 Apr 2012 21:10:41 +0200 coccinelle (1.0.0~rc12.deb-2) experimental; urgency=low * Build-depend on pkg-config (>= 0.9.0), fixes FTBFS -- Євгеній Мещеряков Mon, 09 Apr 2012 20:15:48 +0200 coccinelle (1.0.0~rc12.deb-1) experimental; urgency=low * New upstream RC - Adjust the build system * Adapt repack.sh to the new upstream RC * Remove patches: - pycaml-build-check.diff * Refresh patches: - pdf-docs-build.diff * Build-depend on libextlib-ocaml-dev * New patches: - install-python-coccilib.diff * Upload to experimental -- Євгеній Мещеряков Mon, 09 Apr 2012 19:18:45 +0200 coccinelle (1.0.0~rc11.deb-1) unstable; urgency=low * New upstream RC * Update debian/copyright * Make coccinelle depend on libpycaml-ocaml (oops...) * Standards-Version 3.9.3 — no changes required -- Євгеній Мещеряков Sat, 17 Mar 2012 22:23:13 +0100 coccinelle (1.0.0~rc10.deb-1) unstable; urgency=low * New upstream RC * Update debian/watch -- Євгеній Мещеряков Tue, 21 Feb 2012 22:25:26 +0100 coccinelle (1.0.0~rc9.deb-1) unstable; urgency=low * New upstream RC * Updated patches: - pycaml-build-check.diff -- Євгеній Мещеряков Sat, 14 Jan 2012 21:41:43 +0100 coccinelle (1.0.0~rc7.deb-6) unstable; urgency=low * Build-depend on dh-ocaml >= 1.0.3~ and add --parallel to dh options instead of dh_auto_build -- Євгеній Мещеряков Wed, 14 Dec 2011 01:34:05 +0100 coccinelle (1.0.0~rc7.deb-5) unstable; urgency=low * Merge Build-Depends-Indep into Build-Depends, the package does not build on autobuilders otherwise -- Євгеній Мещеряков Tue, 06 Dec 2011 23:17:50 +0100 coccinelle (1.0.0~rc7.deb-4) unstable; urgency=low * Move pdf documentation and examples into a separate package * Add support for parallel build * Use xz for binary packages compression -- Євгеній Мещеряков Tue, 06 Dec 2011 20:55:50 +0100 coccinelle (1.0.0~rc7.deb-3) unstable; urgency=low * REALLY upload to unstable -- Євгеній Мещеряков Sat, 03 Dec 2011 16:51:36 +0100 coccinelle (1.0.0~rc7.deb-2) experimental; urgency=low * Upload to unstable * Build-depend on debhelper >= 8.1.0~ for build-arch and build-indep targets * Add build-arch and build-indep targets, fixes lintian warning * Put --with option of dh after the sequence name -- Євгеній Мещеряков Sat, 03 Dec 2011 14:51:36 +0100 coccinelle (1.0.0~rc7.deb-1) experimental; urgency=low * New upstream RC (closes: #646590) * Build-depend on libpcre-ocaml-dev * Removed patches: - python-string-regression-fix.diff — fixed upstream * Use dh_python2 instead of python-support -- Євгеній Мещеряков Sun, 30 Oct 2011 19:03:44 +0100 coccinelle (0.2.5.deb-3) unstable; urgency=low * Team upload * Compile in bytecode only on non-natdynlink architectures (fixes FTBFS) -- Stéphane Glondu Thu, 21 Apr 2011 15:05:03 +0200 coccinelle (0.2.5.deb-2) unstable; urgency=low * Create texmf directories in build tree. Fixes FTBFSes. -- Євгеній Мещеряков Thu, 07 Apr 2011 17:27:28 +0200 coccinelle (0.2.5.deb-1) unstable; urgency=low * New upstream release - better handling of multiple declarations in one statement (Closes: #618555) * New patches: - pycaml-build-check.diff - check for python version only if pycaml is not installed - python-string-regression-fix.diff - fix a regression in new version * Do not pass "--with-python --without-trac" to configure, those options do not exist anymore * Standards-Version 3.9.2 — no changes required -- Євгеній Мещеряков Thu, 07 Apr 2011 14:14:08 +0200 coccinelle (0.2.4.deb-3) unstable; urgency=low * Upload to unstable * Fix watch file for rc versions -- Євгеній Мещеряков Thu, 10 Feb 2011 16:14:38 +0100 coccinelle (0.2.4.deb-2) experimental; urgency=low * Depend on ocaml-findlib, thanks to Cyril Brulebois for noticing (closes: #604970) -- Євгеній Мещеряков Fri, 26 Nov 2010 09:52:48 +0100 coccinelle (0.2.4.deb-1) experimental; urgency=low * New upstream release * Removed patches: - syslibs-depend.diff - applied upstream * Standards-Version 3.9.1 - no changes required -- Євгеній Мещеряков Sun, 21 Nov 2010 21:06:13 +0100 coccinelle (0.2.3.deb-1) unstable; urgency=low * New upstream release * Removed patches: - system-{pycaml,menhir,ocamlsexp}.diff - upstream build system can handle this - documentation-paths.diff - the manpage is generated using correct paths - documentation-build.diff - build documentation, authors clarified that it does not contain Front/Back Covers and Invariant Sections * New patches: - syslibs-depend.diff - fix depend targets when system libraries are used * Override clean directories in debian/rules: upstream makefile tries to clean directories removed in Debian package * Build and install pdf docs - build-depend on texlive-latex-base, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-fonts-extra * Do not compress .pdf .cocci and .c files * Add information about manual license (GFDL-1.3+) into debian/copyright * Standards-Version 3.9.0 — no changes required * Install the bash completion file -- Євгеній Мещеряков Sun, 21 Nov 2010 20:51:00 +0100 coccinelle (0.2.2.deb-2) unstable; urgency=medium * Build depend on libpycaml-ocaml-dev and remove build dependency on python2.5-dev (closes: #567942) * Urgency medium because of fix for an RC bug * Updated patches: - system-pycaml.diff - do not add pycaml to ocamldep include path, otherwise it tries to compile pycaml.ml * Use dh-ocaml to calculate dependencies -- Євгеній Мещеряков Mon, 21 Jun 2010 14:54:01 +0200 coccinelle (0.2.2.deb-1) unstable; urgency=low * New upstream release * Standards-Version 3.8.4 — no changes required * Update debian/copyright -- Євгеній Мещеряков Mon, 15 Mar 2010 21:18:13 +0100 coccinelle (0.2.1.deb-1) unstable; urgency=low * New upstream release * Update debian/copyright * Refresh patches -- Євгеній Мещеряков Sun, 31 Jan 2010 16:21:05 +0100 coccinelle (0.2.0.deb-1) unstable; urgency=low * New upstream release * Do not use topgit and quilt. Convert package to source format 3.0 (quilt) * Updated patches: - system-menhir.diff - system-ocamlsexp.diff - system-pycaml.diff * Use dh overrides in debian/rules * Update debian/watch -- Євгеній Мещеряков Tue, 19 Jan 2010 23:43:44 +0100 coccinelle (0.1.10.deb-1) unstable; urgency=low * New upstream release * Updated patches: - fixes/system-pycaml * Standards-Version 3.8.3 — no changes required -- Євгеній Мещеряков Tue, 08 Sep 2009 01:37:43 +0200 coccinelle (0.1.9.deb-1) unstable; urgency=low * New upstream release * Update debian/repack.sh * Update upstream homepage and watch file, thanks to Daniel T Chen (closes: #540580) * Removed patches: - fixes/unsafe-tmp-handling - fixed upstream * Updated patches: - fixes/system-ocamlsexp * Standards-version 3.8.2 - no changes needed -- Євгеній Мещеряков Sun, 09 Aug 2009 20:54:57 +0200 coccinelle (0.1.8.deb-4) unstable; urgency=low * Fix bytecode builds * Swap order of patches fixes/system-pycaml <-> fixes/system-menhir -- Євгеній Мещеряков Fri, 12 Jun 2009 13:27:18 +0200 coccinelle (0.1.8.deb-3) unstable; urgency=low * Fix FTBFS with newer pycaml * Updated patch: - fixes/system-pycaml -- Євгеній Мещеряков Fri, 12 Jun 2009 00:54:27 +0200 coccinelle (0.1.8.deb-2) unstable; urgency=low * Use common install Makefile target for both native and bytecode build. This hopefully fixes FTBFS on bytecode archs -- Євгеній Мещеряков Mon, 11 May 2009 15:32:24 +0200 coccinelle (0.1.8.deb-1) unstable; urgency=low * New upstream release * Update debian/repack.sh - remove docs/manual directory (GFDL) * New patch: - fixes/documentation-build * Don't build documentation * Don't suggest doc-base and build-depend on texlive packages -- Євгеній Мещеряков Mon, 11 May 2009 14:27:45 +0200 coccinelle (0.1.7.deb-3) unstable; urgency=high * New patch: - fixes/unsafe-tmp-handling - disable creating result file in /tmp. This was done without any checks for symlinks, so this is security bug (CVE-2009-1753). -- Євгеній Мещеряков Sat, 02 May 2009 01:58:20 +0200 coccinelle (0.1.7.deb-2) unstable; urgency=low * Fix typo in debian/spatch -- Євгеній Мещеряков Sat, 18 Apr 2009 02:31:07 +0200 coccinelle (0.1.7.deb-1) unstable; urgency=low * New upstream release * Removed patches: - fixes/clean-fixes - fixes/dont-overwrite-config * New patches: - fixes/system-ocamlsexp - use Debian's ocamlsexp * Don't install glade file in debian/rules - fixed upstream * Build-depend on libsexplib-camlp4-dev * Build-depend on texlive-fonts-recommended -- Євгеній Мещеряков Thu, 16 Apr 2009 21:56:02 +0200 coccinelle (0.1.6.deb+a-3) unstable; urgency=low * Upload to unstable * Fix build/install target dependencies. Also add workaround for bug #522906 in topgit (causes multiple runs of build-stamp target) * Install pygui.glade * Install cocci.el -- Євгеній Мещеряков Sat, 11 Apr 2009 23:32:49 +0200 coccinelle (0.1.6.deb+a-2) experimental; urgency=low * Upload to experimental to let previous version migrate to testing * Fix Vcs-Browser URL * Compile to native code if possible * Git repository is now in pkg-ocaml-maint group. Adjust Vcs-* fields * Set maintainers to Debian OCaml Maintainers * Add explicit list of topgit patches into debian/rules * Add tag-patches rule (tags topgit branches) * Build-depend on python2.5-dev (needed for native compilation) * Build-depend on python-support (>= 0.6) -- Євгеній Мещеряков Mon, 06 Apr 2009 17:03:01 +0200 coccinelle (0.1.6.deb+a-1) unstable; urgency=low * New upstream release * Do not move spatch executable from bindir to /usr/share/..., upstream Makefile already installs it there * Policy 3.8.1 — no changes required * Remove files matching .depend, .subdirs and .#* in debian/repack.sh * Pass --no-opt --with-python --without-trac to the configure script to make building more predictable * Remove files generated by the configure script in debian/repack.sh * Use topgit/quilt for packaging * Add Vcs-* fields to debian/control * Don't try to remove installed makefiles * Install examples * Add information about license for vim files into debian/copyright * Install Vim files, suggest vim-addon-manager for them -- Євгеній Мещеряков Tue, 31 Mar 2009 21:00:25 +0200 coccinelle (0.1.5dbs-2) unstable; urgency=low * Provide correct versions of debian/{watch,repack.sh} * Add note to debian/copyright that source was repacked using debian/repack.sh -- Євгеній Мещеряков Sat, 07 Mar 2009 19:29:46 +0100 coccinelle (0.1.5dbs-1) unstable; urgency=low * Initial release (Closes: #512658) -- Євгеній Мещеряков Thu, 05 Mar 2009 20:57:48 +0100 debian/gbp.conf0000644000000000000000000000040512256656106010615 0ustar # Configuration file for git-buildpackage and friends [DEFAULT] builder = env QUILT_PATCHES=debian/patches quilt push -a; debuild -i\.git/ -I.git cleaner = true pristine-tar = True # Options only affecting git-buildpackage [git-buildpackage] sign-tags = True debian/coccinelle.emacsen-startup0000644000000000000000000000040012256656106014326 0ustar ;; -*-emacs-lisp-*- (setq auto-mode-alist (cons '("\\.cocci$" . cocci-mode) auto-mode-alist)) (setq auto-mode-alist (cons '("\\.iso$" . cocci-mode) auto-mode-alist)) (autoload 'cocci-mode "cocci" "Major mode for editing cocci code." t) ;; vim: ft=lisp debian/spatch0000644000000000000000000000016712256656106010410 0ustar #! /bin/sh -e PYTHONPATH=${PYTHONPATH:+$PYTHONPATH:}/usr/share/coccinelle/python exec /usr/lib/coccinelle/spatch "$@" debian/repack.sh0000644000000000000000000000127212256656106011002 0ustar #! /bin/sh set -e cleanup() { make -C "$ORIGDIR/" clean -k || true make -C "$ORIGDIR/" distclean -k || true rm -rf "$ORIGDIR/bundles" # TODO do something about globals/config.ml # remove some junk and autogenerated files find "$ORIGDIR/" -name .depend -print -exec rm "{}" \; find "$ORIGDIR/" -name .subdirs -print -exec rm "{}" \; find "$ORIGDIR/" -name \*.pyc -print -exec rm "{}" \; } if test ! $# = 1; then exit 1; fi tarball="$1" tmpdir="`mktemp -td repackXXXXXX`" tar -C "$tmpdir" -xzf "$tarball" ORIGDIR="`ls -d \"$tmpdir/coccinelle-\"*`" archname="`basename \"$ORIGDIR\"`" cleanup # repack the source GZIP=-9 tar -czC "$tmpdir" -f "result.tar.gz" "$archname" rm -rf "$tmpdir" debian/rules0000755000000000000000000000361612256656106010265 0ustar #!/usr/bin/make -f # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 include /usr/share/ocaml/ocamlvars.mk VIM_ADIR = $(CURDIR)/debian/coccinelle/usr/share/vim/addons VIM_RDIR = $(CURDIR)/debian/coccinelle/usr/share/vim/registry CONFIG_FLAGS = --prefix=/usr --sysconfdir=/etc --enable-ocaml ifeq ($(OCAML_NATDYNLINK),yes) CONFIG_FLAGS += --enable-release endif %: dh $@ --with ocaml,python2 --parallel override_dh_auto_configure: ./configure $(CONFIG_FLAGS) override_dh_auto_build-arch: $(MAKE) depend # make all.opt does not build documentation $(MAKE) -C docs all # Re-create this directory here because git does not store empty directories mkdir -p ocaml/coccilib dh_auto_build override_dh_auto_build-indep: mkdir texmf-var mkdir texmf-config TEXMFVAR="$(CURDIR)/texmf-var" TEXMFCONFIG="$(CURDIR)/texmf-config" $(MAKE) -C docs/manual all-pdf override_dh_auto_test: $(MAKE) check override_dh_auto_install-arch: $(MAKE) DESTDIR=$(CURDIR)/debian/coccinelle install install-bash # install the wrapper script, i dont like upstreams one rm $(CURDIR)/debian/coccinelle/usr/bin/spatch* install $(CURDIR)/debian/spatch $(CURDIR)/debian/coccinelle/usr/bin/ # move binary into /usr/lib/coccinelle mv $(CURDIR)/debian/coccinelle/usr/share/coccinelle/spatch* \ $(CURDIR)/debian/coccinelle/usr/lib/coccinelle/spatch # Vim files install -d $(VIM_ADIR)/ftdetect $(VIM_ADIR)/syntax cp $(CURDIR)/editors/vim/ftdetect/cocci.vim $(VIM_ADIR)/ftdetect/ cp $(CURDIR)/editors/vim/syntax/cocci.vim $(VIM_ADIR)/syntax/ install -d $(VIM_RDIR) cp $(CURDIR)/debian/coccinelle.yaml $(VIM_RDIR)/ # Emacs files cp $(CURDIR)/editors/emacs/cocci.el $(CURDIR)/debian/coccinelle/usr/share/emacs/site-lisp/ override_dh_auto_install-indep: # Nothing override_dh_auto_clean: $(MAKE) distclean rm -rf myocamlbuild.ml python/.depend texmf-var texmf-config override_dh_compress: dh_compress -X.pdf -X.cocci -X.c debian/coccinelle.dirs0000644000000000000000000000005512256656106012162 0ustar usr/lib/coccinelle usr/share/emacs/site-lisp debian/watch0000644000000000000000000000020712256656106010227 0ustar version=3 opts=uversionmangle=s/^(.*)$/$1.deb/;s/-/~/ http://coccinelle.lip6.fr/download.php distrib/coccinelle-([^-]*(?:-rc.*)?)\.tgz debian/coccinelle-doc.docs0000644000000000000000000000011412256656106012710 0ustar docs/manual/manual.pdf docs/manual/main_grammar.pdf docs/manual/options.pdf debian/coccinelle.yaml0000644000000000000000000000022012256656106012155 0ustar addon: coccinelle description: "file detection and syntax highlighting for Coccinelle files" files: - ftdetect/cocci.vim - syntax/cocci.vim debian/patches/0000755000000000000000000000000012256656106010626 5ustar debian/patches/detect-itimer.diff0000644000000000000000000000056112256656106014221 0ustar --- a/commons/common.ml +++ b/commons/common.ml @@ -3529,7 +3529,11 @@ * question: can we have a signal and so exn when in a exn handler ? *) -let interval_timer = ref true +let interval_timer = ref ( + try + ignore(Unix.getitimer Unix.ITIMER_VIRTUAL); + true + with Unix.Unix_error(_, _, _) -> false) let timeout_function timeoutval = fun f -> try debian/patches/pdf-docs-build.diff0000644000000000000000000000075412256656106014262 0ustar --- a/docs/manual/Makefile +++ b/docs/manual/Makefile @@ -20,10 +20,12 @@ ############################################################################## # Top rules ############################################################################## -.PHONY: all clean distclean +.PHONY: all all-pdf clean distclean .SUFFIXES: .pdf .tex -all: manual.pdf main_grammar.pdf options.pdf +all: + +all-pdf: manual.pdf main_grammar.pdf options.pdf manual.pdf: $(SRC) $(PDFLATEX_CMD) manual.tex debian/patches/series0000644000000000000000000000004712256656106012044 0ustar pdf-docs-build.diff detect-itimer.diff debian/source/0000755000000000000000000000000012256656106010477 5ustar debian/source/format0000644000000000000000000000001412256656106011705 0ustar 3.0 (quilt) debian/coccinelle-doc.doc-base.grammar0000644000000000000000000000021512256656106015064 0ustar Document: coccinelle-grammar Title: The SmPL Grammar Section: Programming Format: PDF Files: /usr/share/doc/coccinelle-doc/main_grammar.pdf debian/coccinelle-doc.doc-base.manual0000644000000000000000000000021612256656106014714 0ustar Document: coccinelle-manual Title: Coccinelle User's Manual Section: Programming Format: PDF Files: /usr/share/doc/coccinelle-doc/manual.pdf debian/coccinelle-doc.examples0000644000000000000000000000001012256656106013571 0ustar demos/*