RUN: /bin/echo ['echo', 'Forking build subprocess...'] Forking build subprocess... RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '77484907d1fdccfe57021c96e00bd58cc24cd2cb', '/home/buildd/filecache-default/d25cfce2b3fece95dbe9195395127ff90e07576e'] Synching the system clock with the buildd NTP service... 18 May 11:10:57 ntpdate[30517]: adjust time server 10.211.37.1 offset 0.000440 sec Unpacking chroot for build 77484907d1fdccfe57021c96e00bd58cc24cd2cb RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '77484907d1fdccfe57021c96e00bd58cc24cd2cb'] Mounting chroot for build 77484907d1fdccfe57021c96e00bd58cc24cd2cb RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '77484907d1fdccfe57021c96e00bd58cc24cd2cb', 'deb http://ftpmaster.internal/ubuntu oneiric main universe'] Overriding sources.list in build-77484907d1fdccfe57021c96e00bd58cc24cd2cb RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '77484907d1fdccfe57021c96e00bd58cc24cd2cb', 'armel'] Updating debian chroot for build 77484907d1fdccfe57021c96e00bd58cc24cd2cb Ign http://ftpmaster.internal oneiric InRelease Get:1 http://ftpmaster.internal oneiric Release.gpg [198 B] Get:2 http://ftpmaster.internal oneiric Release [39.8 kB] Get:3 http://ftpmaster.internal oneiric/main armel Packages [1557 kB] Get:4 http://ftpmaster.internal oneiric/universe armel Packages [6016 kB] Ign http://ftpmaster.internal oneiric/main TranslationIndex Ign http://ftpmaster.internal oneiric/universe TranslationIndex Ign http://ftpmaster.internal oneiric/main Translation-en Ign http://ftpmaster.internal oneiric/universe Translation-en Fetched 7614 kB in 30s (253 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: binutils cpp-4.6 dpkg g++-4.6 gcc-4.5-base gcc-4.6 gcc-4.6-base insserv libc-bin libc-dev-bin libc6 libc6-dev libdb5.1 libgcc1 libgomp1 libidn11 libldap-2.4-2 libmpfr4 libncurses5 libncursesw5 libpng12-0 libreadline6 libsepol1 libstdc++6 libstdc++6-4.6-dev libudev0 linux-libc-dev multiarch-support ncurses-bin patch pkgbinarymangler sed udev 33 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 29.3 MB of archives. After this operation, 86.0 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! dpkg ncurses-bin sed libc-dev-bin libc6-dev libc-bin libc6 linux-libc-dev libgomp1 gcc-4.6-base libstdc++6 cpp-4.6 libstdc++6-4.6-dev g++-4.6 gcc-4.6 libgcc1 libmpfr4 binutils libpng12-0 libudev0 libncurses5 libreadline6 libdb5.1 libsepol1 multiarch-support insserv libncursesw5 udev libidn11 libldap-2.4-2 gcc-4.5-base patch pkgbinarymangler Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ oneiric/main dpkg armel 1.16.0~ubuntu8 [1828 kB] Get:2 http://ftpmaster.internal/ubuntu/ oneiric/main ncurses-bin armel 5.9-1 [147 kB] Get:3 http://ftpmaster.internal/ubuntu/ oneiric/main sed armel 4.2.1-9 [134 kB] Get:4 http://ftpmaster.internal/ubuntu/ oneiric/main libc-dev-bin armel 2.13-2ubuntu1 [75.2 kB] Get:5 http://ftpmaster.internal/ubuntu/ oneiric/main libc6-dev armel 2.13-2ubuntu1 [2331 kB] Get:6 http://ftpmaster.internal/ubuntu/ oneiric/main libc-bin armel 2.13-2ubuntu1 [847 kB] Get:7 http://ftpmaster.internal/ubuntu/ oneiric/main libc6 armel 2.13-2ubuntu1 [3846 kB] Get:8 http://ftpmaster.internal/ubuntu/ oneiric/main linux-libc-dev armel 2.6.39-2.7 [778 kB] Get:9 http://ftpmaster.internal/ubuntu/ oneiric/main libgomp1 armel 4.6.0-6ubuntu3 [23.6 kB] Get:10 http://ftpmaster.internal/ubuntu/ oneiric/main gcc-4.6-base armel 4.6.0-6ubuntu3 [15.1 kB] Get:11 http://ftpmaster.internal/ubuntu/ oneiric/main libstdc++6 armel 4.6.0-6ubuntu3 [275 kB] Get:12 http://ftpmaster.internal/ubuntu/ oneiric/main cpp-4.6 armel 4.6.0-6ubuntu3 [4021 kB] Get:13 http://ftpmaster.internal/ubuntu/ oneiric/main libstdc++6-4.6-dev armel 4.6.0-6ubuntu3 [1642 kB] Get:14 http://ftpmaster.internal/ubuntu/ oneiric/main g++-4.6 armel 4.6.0-6ubuntu3 [4351 kB] Get:15 http://ftpmaster.internal/ubuntu/ oneiric/main gcc-4.6 armel 4.6.0-6ubuntu3 [4475 kB] Get:16 http://ftpmaster.internal/ubuntu/ oneiric/main libgcc1 armel 1:4.6.0-6ubuntu3 [22.2 kB] Get:17 http://ftpmaster.internal/ubuntu/ oneiric/main libmpfr4 armel 3.0.1-3 [169 kB] Get:18 http://ftpmaster.internal/ubuntu/ oneiric/main binutils armel 2.21.51.20110421-0ubuntu6 [2218 kB] Get:19 http://ftpmaster.internal/ubuntu/ oneiric/main libpng12-0 armel 1.2.44-2ubuntu1 [117 kB] Get:20 http://ftpmaster.internal/ubuntu/ oneiric/main libudev0 armel 168-0ubuntu1 [25.3 kB] Get:21 http://ftpmaster.internal/ubuntu/ oneiric/main libncurses5 armel 5.9-1 [162 kB] Get:22 http://ftpmaster.internal/ubuntu/ oneiric/main libreadline6 armel 6.2-1 [112 kB] Get:23 http://ftpmaster.internal/ubuntu/ oneiric/main libdb5.1 armel 5.1.25-10 [597 kB] Get:24 http://ftpmaster.internal/ubuntu/ oneiric/main libsepol1 armel 2.0.42-1 [103 kB] Get:25 http://ftpmaster.internal/ubuntu/ oneiric/main multiarch-support armel 2.13-2ubuntu1 [6724 B] Get:26 http://ftpmaster.internal/ubuntu/ oneiric/main insserv armel 1.14.0-2.1 [47.3 kB] Get:27 http://ftpmaster.internal/ubuntu/ oneiric/main libncursesw5 armel 5.9-1 [183 kB] Get:28 http://ftpmaster.internal/ubuntu/ oneiric/main udev armel 168-0ubuntu1 [359 kB] Get:29 http://ftpmaster.internal/ubuntu/ oneiric/main libidn11 armel 1.20-1 [107 kB] Get:30 http://ftpmaster.internal/ubuntu/ oneiric/main libldap-2.4-2 armel 2.4.25-1ubuntu1 [151 kB] Get:31 http://ftpmaster.internal/ubuntu/ oneiric/main gcc-4.5-base armel 4.5.3-1ubuntu1 [12.2 kB] Get:32 http://ftpmaster.internal/ubuntu/ oneiric/main patch armel 2.6.1-1 [78.6 kB] Get:33 http://ftpmaster.internal/ubuntu/ oneiric/main pkgbinarymangler all 98 [25.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 29.3 MB in 4s (6924 kB/s) (Reading database ... 14084 files and directories currently installed.) Preparing to replace dpkg 1.16.0~ubuntu7 (using .../dpkg_1.16.0~ubuntu8_armel.deb) ... Unpacking replacement dpkg ... Setting up dpkg (1.16.0~ubuntu8) ... (Reading database ... 14084 files and directories currently installed.) Preparing to replace ncurses-bin 5.7+20101128-1 (using .../ncurses-bin_5.9-1_armel.deb) ... Unpacking replacement ncurses-bin ... Setting up ncurses-bin (5.9-1) ... (Reading database ... 14084 files and directories currently installed.) Preparing to replace sed 4.2.1-8 (using .../archives/sed_4.2.1-9_armel.deb) ... Unpacking replacement sed ... Setting up sed (4.2.1-9) ... (Reading database ... 14084 files and directories currently installed.) Preparing to replace libc-dev-bin 2.13-0ubuntu15 (using .../libc-dev-bin_2.13-2ubuntu1_armel.deb) ... Unpacking replacement libc-dev-bin ... Preparing to replace libc6-dev 2.13-0ubuntu15 (using .../libc6-dev_2.13-2ubuntu1_armel.deb) ... Unpacking replacement libc6-dev ... Preparing to replace libc-bin 2.13-0ubuntu15 (using .../libc-bin_2.13-2ubuntu1_armel.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.13-2ubuntu1) ... (Reading database ... 14084 files and directories currently installed.) Preparing to replace libc6 2.13-0ubuntu15 (using .../libc6_2.13-2ubuntu1_armel.deb) ... Unpacking replacement libc6 ... Setting up libc6 (2.13-2ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14084 files and directories currently installed.) Preparing to replace linux-libc-dev 2.6.38-8.42 (using .../linux-libc-dev_2.6.39-2.7_armel.deb) ... Unpacking replacement linux-libc-dev ... Preparing to replace libgomp1 4.6.0-6ubuntu2 (using .../libgomp1_4.6.0-6ubuntu3_armel.deb) ... Unpacking replacement libgomp1 ... Preparing to replace gcc-4.6-base 4.6.0-6ubuntu2 (using .../gcc-4.6-base_4.6.0-6ubuntu3_armel.deb) ... Unpacking replacement gcc-4.6-base ... Setting up gcc-4.6-base (4.6.0-6ubuntu3) ... (Reading database ... 14098 files and directories currently installed.) Preparing to replace libstdc++6 4.6.0-6ubuntu2 (using .../libstdc++6_4.6.0-6ubuntu3_armel.deb) ... Unpacking replacement libstdc++6 ... Setting up libstdc++6 (4.6.0-6ubuntu3) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14098 files and directories currently installed.) Preparing to replace cpp-4.6 4.6.0-6ubuntu2 (using .../cpp-4.6_4.6.0-6ubuntu3_armel.deb) ... Unpacking replacement cpp-4.6 ... Preparing to replace libstdc++6-4.6-dev 4.6.0-6ubuntu2 (using .../libstdc++6-4.6-dev_4.6.0-6ubuntu3_armel.deb) ... Unpacking replacement libstdc++6-4.6-dev ... Preparing to replace g++-4.6 4.6.0-6ubuntu2 (using .../g++-4.6_4.6.0-6ubuntu3_armel.deb) ... Unpacking replacement g++-4.6 ... Preparing to replace gcc-4.6 4.6.0-6ubuntu2 (using .../gcc-4.6_4.6.0-6ubuntu3_armel.deb) ... Unpacking replacement gcc-4.6 ... Preparing to replace libgcc1 1:4.6.0-6ubuntu2 (using .../libgcc1_1%3a4.6.0-6ubuntu3_armel.deb) ... Unpacking replacement libgcc1 ... Setting up libgcc1 (1:4.6.0-6ubuntu3) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14098 files and directories currently installed.) Preparing to replace libmpfr4 3.0.1-2 (using .../libmpfr4_3.0.1-3_armel.deb) ... Unpacking replacement libmpfr4 ... Preparing to replace binutils 2.21.51.20110421-0ubuntu5 (using .../binutils_2.21.51.20110421-0ubuntu6_armel.deb) ... Unpacking replacement binutils ... Preparing to replace libpng12-0 1.2.44-1ubuntu3 (using .../libpng12-0_1.2.44-2ubuntu1_armel.deb) ... Unpacking replacement libpng12-0 ... Preparing to replace libudev0 167-0ubuntu3 (using .../libudev0_168-0ubuntu1_armel.deb) ... Unpacking replacement libudev0 ... Preparing to replace libncurses5 5.7+20101128-1 (using .../libncurses5_5.9-1_armel.deb) ... Unpacking replacement libncurses5 ... Setting up libncurses5 (5.9-1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14098 files and directories currently installed.) Preparing to replace libreadline6 6.2-0ubuntu1 (using .../libreadline6_6.2-1_armel.deb) ... Unpacking replacement libreadline6 ... Setting up libreadline6 (6.2-1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14098 files and directories currently installed.) Preparing to replace libdb5.1 5.1.19-2ubuntu1 (using .../libdb5.1_5.1.25-10_armel.deb) ... Unpacking replacement libdb5.1 ... Setting up libdb5.1 (5.1.25-10) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14099 files and directories currently installed.) Preparing to replace libsepol1 2.0.41-1 (using .../libsepol1_2.0.42-1_armel.deb) ... Unpacking replacement libsepol1 ... Setting up libsepol1 (2.0.42-1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14098 files and directories currently installed.) Preparing to replace multiarch-support 2.13-0ubuntu15 (using .../multiarch-support_2.13-2ubuntu1_armel.deb) ... Unpacking replacement multiarch-support ... Setting up multiarch-support (2.13-2ubuntu1) ... (Reading database ... 14098 files and directories currently installed.) Preparing to replace insserv 1.14.0-2 (using .../insserv_1.14.0-2.1_armel.deb) ... Unpacking replacement insserv ... Preparing to replace libncursesw5 5.7+20101128-1 (using .../libncursesw5_5.9-1_armel.deb) ... Unpacking replacement libncursesw5 ... Preparing to replace udev 167-0ubuntu3 (using .../udev_168-0ubuntu1_armel.deb) ... Adding 'diversion of /sbin/udevadm to /sbin/udevadm.upgrade by fake-udev' Unpacking replacement udev ... Preparing to replace libidn11 1.18-1build1 (using .../libidn11_1.20-1_armel.deb) ... Unpacking replacement libidn11 ... Preparing to replace libldap-2.4-2 2.4.23-6ubuntu6 (using .../libldap-2.4-2_2.4.25-1ubuntu1_armel.deb) ... Unpacking replacement libldap-2.4-2 ... Preparing to replace gcc-4.5-base 4.5.2-11ubuntu2 (using .../gcc-4.5-base_4.5.3-1ubuntu1_armel.deb) ... Unpacking replacement gcc-4.5-base ... Preparing to replace patch 2.6-3 (using .../patch_2.6.1-1_armel.deb) ... Unpacking replacement patch ... Preparing to replace pkgbinarymangler 97 (using .../pkgbinarymangler_98_all.deb) ... Unpacking replacement pkgbinarymangler ... Setting up libc-dev-bin (2.13-2ubuntu1) ... Setting up linux-libc-dev (2.6.39-2.7) ... Setting up libc6-dev (2.13-2ubuntu1) ... Setting up libgomp1 (4.6.0-6ubuntu3) ... Setting up libmpfr4 (3.0.1-3) ... Setting up cpp-4.6 (4.6.0-6ubuntu3) ... Setting up binutils (2.21.51.20110421-0ubuntu6) ... Setting up gcc-4.6 (4.6.0-6ubuntu3) ... Setting up libpng12-0 (1.2.44-2ubuntu1) ... Setting up libudev0 (168-0ubuntu1) ... Setting up insserv (1.14.0-2.1) ... Installing new version of config file /etc/insserv.conf ... Setting up libncursesw5 (5.9-1) ... Setting up udev (168-0ubuntu1) ... Removing 'diversion of /sbin/udevadm to /sbin/udevadm.upgrade by fake-udev' update-initramfs: deferring update (trigger activated) Setting up libidn11 (1.20-1) ... Setting up libldap-2.4-2 (2.4.25-1ubuntu1) ... Installing new version of config file /etc/ldap/ldap.conf ... Setting up gcc-4.5-base (4.5.3-1ubuntu1) ... Setting up patch (2.6.1-1) ... Setting up pkgbinarymangler (98) ... Setting up g++-4.6 (4.6.0-6ubuntu3) ... Setting up libstdc++6-4.6-dev (4.6.0-6ubuntu3) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Processing triggers for initramfs-tools ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', '77484907d1fdccfe57021c96e00bd58cc24cd2cb', 'armel', 'oneiric', '--nolog', '--batch', '--archive=ubuntu', '--dist=oneiric', '--purpose=PRIMARY', '--architecture=armel', '--comp=universe', 'coccinelle_0.2.5.deb-3.dsc'] Initiating build 77484907d1fdccfe57021c96e00bd58cc24cd2cb with 0 processor cores. Automatic build of coccinelle_0.2.5.deb-3 on araceae by sbuild/armel 1.170.5 Build started at 20110518-1115 ****************************************************************************** coccinelle_0.2.5.deb-3.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7.0.50~), dh-ocaml (>= 0.9.4~), ocaml-nox (>= 3.11.1-3~), libpycaml-ocaml-dev (>= 0.82-13~), python, menhir (>= 20090204.dfsg), libmenhir-ocaml-dev (>= 20090204.dfsg), ocaml-findlib, ocaml-best-compilers, python-support (>= 0.6), libsexplib-camlp4-dev, texlive-latex-base, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-fonts-extra Checking for already installed source dependencies... debhelper: missing dh-ocaml: missing ocaml-nox: missing libpycaml-ocaml-dev: missing python: missing menhir: missing libmenhir-ocaml-dev: missing ocaml-findlib: missing ocaml-best-compilers: missing python-support: missing libsexplib-camlp4-dev: missing texlive-latex-base: missing texlive-latex-recommended: missing texlive-latex-extra: missing texlive-fonts-recommended: missing texlive-fonts-extra: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper dh-ocaml ocaml-nox libpycaml-ocaml-dev python menhir libmenhir-ocaml-dev ocaml-findlib ocaml-best-compilers python-support libsexplib-camlp4-dev texlive-latex-base texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended texlive-fonts-extra Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bsdmainutils camlp4 ed file fontconfig-config gettext gettext-base groff-base html2text intltool-debian libcroco3 libexpat1 libexpat1-dev libfindlib-ocaml libfontconfig1 libfreetype6 libice6 libjpeg62 libkpathsea5 liblcms1 libmagic1 libncurses5-dev libpipeline1 libpoppler13 libpycaml-ocaml libpython2.7 libsm6 libsqlite3-0 libssl-dev libtype-conv-camlp4-dev libunistring0 libx11-6 libx11-data libxau6 libxaw7 libxcb1 libxdmcp6 libxext6 libxml2 libxmu6 libxpm4 libxt6 luatex man-db mime-support ocaml-base-nox ocaml-interp po-debconf preview-latex-style python-dev python2.7 python2.7-dev tex-common texlive-base texlive-binaries texlive-common texlive-doc-base texlive-pictures ttf-dejavu-core ucf x11-common zlib1g-dev Suggested packages: wamerican wordlist whois vacation dh-make git gettext-doc groff liblcms-utils ncurses-doc poppler-data less www-browser ocaml-findlib-wizard ocaml-doc libgdbm-dev tuareg-mode ocaml-mode libmail-box-perl python-doc python-tk python-profiler python2.7-doc python2.7-profiler perl-tk ghostscript xpdf-reader pdf-viewer gv postscript-viewer cm-super texpower Recommended packages: curl wget lynx-cur libssl-doc xml-core texlive-luatex ledit readline-editor libmail-sendmail-perl doc-base lmodern texlive-fonts-extra-doc texlive-fonts-recommended-doc tipa texlive-latex-base-doc texlive-latex-extra-doc texlive-latex-recommended-doc prosper latex-beamer latex-xcolor texlive-pictures-doc pgf The following NEW packages will be installed: bsdmainutils camlp4 debhelper dh-ocaml ed file fontconfig-config gettext gettext-base groff-base html2text intltool-debian libcroco3 libexpat1 libexpat1-dev libfindlib-ocaml libfontconfig1 libfreetype6 libice6 libjpeg62 libkpathsea5 liblcms1 libmagic1 libmenhir-ocaml-dev libncurses5-dev libpipeline1 libpoppler13 libpycaml-ocaml libpycaml-ocaml-dev libpython2.7 libsexplib-camlp4-dev libsm6 libsqlite3-0 libssl-dev libtype-conv-camlp4-dev libunistring0 libx11-6 libx11-data libxau6 libxaw7 libxcb1 libxdmcp6 libxext6 libxml2 libxmu6 libxpm4 libxt6 luatex man-db menhir mime-support ocaml-base-nox ocaml-findlib ocaml-interp ocaml-native-compilers ocaml-nox po-debconf preview-latex-style python python-dev python-support python2.7 python2.7-dev tex-common texlive-base texlive-binaries texlive-common texlive-doc-base texlive-fonts-extra texlive-fonts-recommended texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-pictures ttf-dejavu-core ucf x11-common zlib1g-dev 0 upgraded, 78 newly installed, 0 to remove and 0 not upgraded. Need to get 182 MB of archives. After this operation, 527 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libexpat1 libsqlite3-0 libfreetype6 ucf ttf-dejavu-core fontconfig-config libfontconfig1 libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libxext6 x11-common libice6 libsm6 libxt6 libmagic1 file mime-support python2.7 python bsdmainutils ed gettext-base groff-base libpipeline1 libxml2 man-db python-support ocaml-base-nox libncurses5-dev ocaml-interp ocaml-nox camlp4 html2text libcroco3 libunistring0 gettext intltool-debian po-debconf debhelper libexpat1-dev libfindlib-ocaml libjpeg62 libkpathsea5 liblcms1 libmenhir-ocaml-dev libpoppler13 libpython2.7 libpycaml-ocaml zlib1g-dev libssl-dev python2.7-dev python-dev libpycaml-ocaml-dev libxmu6 libxpm4 libxaw7 luatex menhir ocaml-findlib ocaml-native-compilers tex-common preview-latex-style texlive-common texlive-doc-base texlive-binaries texlive-base texlive-fonts-extra texlive-fonts-recommended texlive-latex-base texlive-pictures texlive-latex-extra texlive-latex-recommended dh-ocaml libtype-conv-camlp4-dev libsexplib-camlp4-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ oneiric/main libexpat1 armel 2.0.1-7ubuntu3 [103 kB] Get:2 http://ftpmaster.internal/ubuntu/ oneiric/main libsqlite3-0 armel 3.7.4-2ubuntu5 [270 kB] Get:3 http://ftpmaster.internal/ubuntu/ oneiric/main libfreetype6 armel 2.4.4-1ubuntu2 [270 kB] Get:4 http://ftpmaster.internal/ubuntu/ oneiric/main ucf all 3.0025+nmu2ubuntu1 [54.4 kB] Get:5 http://ftpmaster.internal/ubuntu/ oneiric/main ttf-dejavu-core all 2.33-1 [1550 kB] Get:6 http://ftpmaster.internal/ubuntu/ oneiric/main fontconfig-config all 2.8.0-2.1ubuntu3 [44.5 kB] Get:7 http://ftpmaster.internal/ubuntu/ oneiric/main libfontconfig1 armel 2.8.0-2.1ubuntu3 [108 kB] Get:8 http://ftpmaster.internal/ubuntu/ oneiric/main libxau6 armel 1:1.0.6-1ubuntu1 [7180 B] Get:9 http://ftpmaster.internal/ubuntu/ oneiric/main libxdmcp6 armel 1:1.1.0-1ubuntu1 [10.9 kB] Get:10 http://ftpmaster.internal/ubuntu/ oneiric/main libxcb1 armel 1.7-2ubuntu2 [33.5 kB] Get:11 http://ftpmaster.internal/ubuntu/ oneiric/main libx11-data all 2:1.4.2-1ubuntu3 [169 kB] Get:12 http://ftpmaster.internal/ubuntu/ oneiric/main libx11-6 armel 2:1.4.2-1ubuntu3 [687 kB] Get:13 http://ftpmaster.internal/ubuntu/ oneiric/main libxext6 armel 2:1.2.0-2ubuntu1 [27.2 kB] Get:14 http://ftpmaster.internal/ubuntu/ oneiric/main x11-common all 1:7.6+4ubuntu3 [69.2 kB] Get:15 http://ftpmaster.internal/ubuntu/ oneiric/main libice6 armel 2:1.0.7-1ubuntu1 [38.1 kB] Get:16 http://ftpmaster.internal/ubuntu/ oneiric/main libsm6 armel 2:1.2.0-1ubuntu1 [15.1 kB] Get:17 http://ftpmaster.internal/ubuntu/ oneiric/main libxt6 armel 1:1.0.9-1ubuntu1 [143 kB] Get:18 http://ftpmaster.internal/ubuntu/ oneiric/main libmagic1 armel 5.04-5ubuntu2 [201 kB] Get:19 http://ftpmaster.internal/ubuntu/ oneiric/main file armel 5.04-5ubuntu2 [22.2 kB] Get:20 http://ftpmaster.internal/ubuntu/ oneiric/main mime-support all 3.51-1ubuntu1 [30.7 kB] Get:21 http://ftpmaster.internal/ubuntu/ oneiric/main python2.7 armel 2.7.1-5ubuntu2 [2512 kB] Get:22 http://ftpmaster.internal/ubuntu/ oneiric/main python all 2.7.1-0ubuntu5 [163 kB] Get:23 http://ftpmaster.internal/ubuntu/ oneiric/main bsdmainutils armel 8.2.2ubuntu1 [194 kB] Get:24 http://ftpmaster.internal/ubuntu/ oneiric/main ed armel 1.5-1 [55.0 kB] Get:25 http://ftpmaster.internal/ubuntu/ oneiric/main gettext-base armel 0.18.1.1-3ubuntu1 [56.1 kB] Get:26 http://ftpmaster.internal/ubuntu/ oneiric/main groff-base armel 1.21-5 [929 kB] Get:27 http://ftpmaster.internal/ubuntu/ oneiric/main libpipeline1 armel 1.2.0-1 [20.3 kB] Get:28 http://ftpmaster.internal/ubuntu/ oneiric/main libxml2 armel 2.7.8.dfsg-2 [561 kB] Get:29 http://ftpmaster.internal/ubuntu/ oneiric/main man-db armel 2.6.0.2-1 [677 kB] Get:30 http://ftpmaster.internal/ubuntu/ oneiric/main python-support all 1.0.10ubuntu3 [25.9 kB] Get:31 http://ftpmaster.internal/ubuntu/ oneiric/main ocaml-base-nox armel 3.12.0-5 [424 kB] Get:32 http://ftpmaster.internal/ubuntu/ oneiric/main libncurses5-dev armel 5.9-1 [276 kB] Get:33 http://ftpmaster.internal/ubuntu/ oneiric/main ocaml-interp armel 3.12.0-5 [256 kB] Get:34 http://ftpmaster.internal/ubuntu/ oneiric/main ocaml-nox armel 3.12.0-5 [6974 kB] Get:35 http://ftpmaster.internal/ubuntu/ oneiric/main camlp4 armel 3.12.0-5 [18.3 MB] Get:36 http://ftpmaster.internal/ubuntu/ oneiric/main html2text armel 1.3.2a-15 [94.3 kB] Get:37 http://ftpmaster.internal/ubuntu/ oneiric/main libcroco3 armel 0.6.2-1 [89.5 kB] Get:38 http://ftpmaster.internal/ubuntu/ oneiric/main libunistring0 armel 0.9.3-4 [394 kB] Get:39 http://ftpmaster.internal/ubuntu/ oneiric/main gettext armel 0.18.1.1-3ubuntu1 [1156 kB] Get:40 http://ftpmaster.internal/ubuntu/ oneiric/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:41 http://ftpmaster.internal/ubuntu/ oneiric/main po-debconf all 1.0.16+nmu1 [212 kB] Get:42 http://ftpmaster.internal/ubuntu/ oneiric/main debhelper all 8.1.6ubuntu1 [484 kB] Get:43 http://ftpmaster.internal/ubuntu/ oneiric/main libexpat1-dev armel 2.0.1-7ubuntu3 [186 kB] Get:44 http://ftpmaster.internal/ubuntu/ oneiric/main libfindlib-ocaml armel 1.2.6+debian-1build1 [94.0 kB] Get:45 http://ftpmaster.internal/ubuntu/ oneiric/main libjpeg62 armel 6b1-1ubuntu1 [72.2 kB] Get:46 http://ftpmaster.internal/ubuntu/ oneiric/main libkpathsea5 armel 2009-8ubuntu2 [51.8 kB] Get:47 http://ftpmaster.internal/ubuntu/ oneiric/main liblcms1 armel 1.18.dfsg-1.2ubuntu1 [86.9 kB] Get:48 http://ftpmaster.internal/ubuntu/ oneiric/universe libmenhir-ocaml-dev armel 20110201.dfsg-1 [49.8 kB] Get:49 http://ftpmaster.internal/ubuntu/ oneiric/main libpoppler13 armel 0.16.4-0ubuntu1.1 [635 kB] Get:50 http://ftpmaster.internal/ubuntu/ oneiric/main libpython2.7 armel 2.7.1-5ubuntu2 [1036 kB] Get:51 http://ftpmaster.internal/ubuntu/ oneiric/universe libpycaml-ocaml armel 0.82-13ubuntu2 [14.6 kB] Get:52 http://ftpmaster.internal/ubuntu/ oneiric/main zlib1g-dev armel 1:1.2.3.4.dfsg-3ubuntu3 [161 kB] Get:53 http://ftpmaster.internal/ubuntu/ oneiric/main libssl-dev armel 1.0.0d-2ubuntu1 [1218 kB] Get:54 http://ftpmaster.internal/ubuntu/ oneiric/main python2.7-dev armel 2.7.1-5ubuntu2 [4748 kB] Get:55 http://ftpmaster.internal/ubuntu/ oneiric/main python-dev all 2.7.1-0ubuntu5 [1012 B] Get:56 http://ftpmaster.internal/ubuntu/ oneiric/universe libpycaml-ocaml-dev armel 0.82-13ubuntu2 [300 kB] Get:57 http://ftpmaster.internal/ubuntu/ oneiric/main libxmu6 armel 2:1.1.0-2 [43.0 kB] Get:58 http://ftpmaster.internal/ubuntu/ oneiric/main libxpm4 armel 1:3.5.9-1ubuntu1 [31.6 kB] Get:59 http://ftpmaster.internal/ubuntu/ oneiric/main libxaw7 armel 2:1.0.9-2 [159 kB] Get:60 http://ftpmaster.internal/ubuntu/ oneiric/main luatex armel 0.70.0-1 [2245 kB] Get:61 http://ftpmaster.internal/ubuntu/ oneiric/universe menhir armel 20110201.dfsg-1 [409 kB] Get:62 http://ftpmaster.internal/ubuntu/ oneiric/main ocaml-findlib armel 1.2.6+debian-1build1 [219 kB] Get:63 http://ftpmaster.internal/ubuntu/ oneiric/main ocaml-native-compilers armel 3.12.0-5 [2943 kB] Get:64 http://ftpmaster.internal/ubuntu/ oneiric/main tex-common all 2.09 [711 kB] Get:65 http://ftpmaster.internal/ubuntu/ oneiric/main preview-latex-style all 11.86-2ubuntu1 [108 kB] Get:66 http://ftpmaster.internal/ubuntu/ oneiric/main texlive-common all 2009-11 [101 kB] Get:67 http://ftpmaster.internal/ubuntu/ oneiric/main texlive-doc-base all 2009-2 [1339 kB] Get:68 http://ftpmaster.internal/ubuntu/ oneiric/main texlive-binaries armel 2009-8ubuntu2 [7888 kB] Get:69 http://ftpmaster.internal/ubuntu/ oneiric/main texlive-base all 2009-11 [14.7 MB] Get:70 http://ftpmaster.internal/ubuntu/ oneiric/main texlive-fonts-extra all 2009-10ubuntu1 [83.5 MB] Get:71 http://ftpmaster.internal/ubuntu/ oneiric/main texlive-fonts-recommended all 2009-11 [7166 kB] Get:72 http://ftpmaster.internal/ubuntu/ oneiric/main texlive-latex-base all 2009-11 [1342 kB] Get:73 http://ftpmaster.internal/ubuntu/ oneiric/main texlive-pictures all 2009-11 [866 kB] Get:74 http://ftpmaster.internal/ubuntu/ oneiric/main texlive-latex-extra all 2009-10ubuntu1 [4717 kB] Get:75 http://ftpmaster.internal/ubuntu/ oneiric/main texlive-latex-recommended all 2009-11 [6588 kB] Get:76 http://ftpmaster.internal/ubuntu/ oneiric/main dh-ocaml all 1.0.0 [87.7 kB] Get:77 http://ftpmaster.internal/ubuntu/ oneiric/universe libtype-conv-camlp4-dev armel 2.0.2-1 [18.8 kB] Get:78 http://ftpmaster.internal/ubuntu/ oneiric/universe libsexplib-camlp4-dev armel 4.2.16-1build2 [135 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 182 MB in 25s (7209 kB/s) Selecting previously deselected package libexpat1. (Reading database ... 14096 files and directories currently installed.) Unpacking libexpat1 (from .../libexpat1_2.0.1-7ubuntu3_armel.deb) ... Selecting previously deselected package libsqlite3-0. Unpacking libsqlite3-0 (from .../libsqlite3-0_3.7.4-2ubuntu5_armel.deb) ... Selecting previously deselected package libfreetype6. Unpacking libfreetype6 (from .../libfreetype6_2.4.4-1ubuntu2_armel.deb) ... Selecting previously deselected package ucf. Unpacking ucf (from .../ucf_3.0025+nmu2ubuntu1_all.deb) ... Moving old data out of the way Selecting previously deselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-1_all.deb) ... Selecting previously deselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.8.0-2.1ubuntu3_all.deb) ... Selecting previously deselected package libfontconfig1. Unpacking libfontconfig1 (from .../libfontconfig1_2.8.0-2.1ubuntu3_armel.deb) ... Selecting previously deselected package libxau6. Unpacking libxau6 (from .../libxau6_1%3a1.0.6-1ubuntu1_armel.deb) ... Selecting previously deselected package libxdmcp6. Unpacking libxdmcp6 (from .../libxdmcp6_1%3a1.1.0-1ubuntu1_armel.deb) ... Selecting previously deselected package libxcb1. Unpacking libxcb1 (from .../libxcb1_1.7-2ubuntu2_armel.deb) ... Selecting previously deselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.4.2-1ubuntu3_all.deb) ... Selecting previously deselected package libx11-6. Unpacking libx11-6 (from .../libx11-6_2%3a1.4.2-1ubuntu3_armel.deb) ... Selecting previously deselected package libxext6. Unpacking libxext6 (from .../libxext6_2%3a1.2.0-2ubuntu1_armel.deb) ... Selecting previously deselected package x11-common. Unpacking x11-common (from .../x11-common_1%3a7.6+4ubuntu3_all.deb) ... Selecting previously deselected package libice6. Unpacking libice6 (from .../libice6_2%3a1.0.7-1ubuntu1_armel.deb) ... Selecting previously deselected package libsm6. Unpacking libsm6 (from .../libsm6_2%3a1.2.0-1ubuntu1_armel.deb) ... Selecting previously deselected package libxt6. Unpacking libxt6 (from .../libxt6_1%3a1.0.9-1ubuntu1_armel.deb) ... Selecting previously deselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.04-5ubuntu2_armel.deb) ... Selecting previously deselected package file. Unpacking file (from .../file_5.04-5ubuntu2_armel.deb) ... Selecting previously deselected package mime-support. Unpacking mime-support (from .../mime-support_3.51-1ubuntu1_all.deb) ... Selecting previously deselected package python2.7. Unpacking python2.7 (from .../python2.7_2.7.1-5ubuntu2_armel.deb) ... Selecting previously deselected package python. Unpacking python (from .../python_2.7.1-0ubuntu5_all.deb) ... Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.2.2ubuntu1_armel.deb) ... Selecting previously deselected package ed. Unpacking ed (from .../archives/ed_1.5-1_armel.deb) ... Selecting previously deselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-3ubuntu1_armel.deb) ... Selecting previously deselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-5_armel.deb) ... Selecting previously deselected package libpipeline1. Unpacking libpipeline1 (from .../libpipeline1_1.2.0-1_armel.deb) ... Selecting previously deselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-2_armel.deb) ... Selecting previously deselected package man-db. Unpacking man-db (from .../man-db_2.6.0.2-1_armel.deb) ... Selecting previously deselected package python-support. Unpacking python-support (from .../python-support_1.0.10ubuntu3_all.deb) ... Selecting previously deselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.0-5_armel.deb) ... Selecting previously deselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.9-1_armel.deb) ... Selecting previously deselected package ocaml-interp. Unpacking ocaml-interp (from .../ocaml-interp_3.12.0-5_armel.deb) ... Selecting previously deselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_3.12.0-5_armel.deb) ... Selecting previously deselected package camlp4. Unpacking camlp4 (from .../camlp4_3.12.0-5_armel.deb) ... Selecting previously deselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_armel.deb) ... Selecting previously deselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-1_armel.deb) ... Selecting previously deselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-4_armel.deb) ... Selecting previously deselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-3ubuntu1_armel.deb) ... Selecting previously deselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously deselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu1_all.deb) ... Selecting previously deselected package debhelper. Unpacking debhelper (from .../debhelper_8.1.6ubuntu1_all.deb) ... Selecting previously deselected package libexpat1-dev. Unpacking libexpat1-dev (from .../libexpat1-dev_2.0.1-7ubuntu3_armel.deb) ... Selecting previously deselected package libfindlib-ocaml. Unpacking libfindlib-ocaml (from .../libfindlib-ocaml_1.2.6+debian-1build1_armel.deb) ... Selecting previously deselected package libjpeg62. Unpacking libjpeg62 (from .../libjpeg62_6b1-1ubuntu1_armel.deb) ... Selecting previously deselected package libkpathsea5. Unpacking libkpathsea5 (from .../libkpathsea5_2009-8ubuntu2_armel.deb) ... Selecting previously deselected package liblcms1. Unpacking liblcms1 (from .../liblcms1_1.18.dfsg-1.2ubuntu1_armel.deb) ... Selecting previously deselected package libmenhir-ocaml-dev. Unpacking libmenhir-ocaml-dev (from .../libmenhir-ocaml-dev_20110201.dfsg-1_armel.deb) ... Selecting previously deselected package libpoppler13. Unpacking libpoppler13 (from .../libpoppler13_0.16.4-0ubuntu1.1_armel.deb) ... Selecting previously deselected package libpython2.7. Unpacking libpython2.7 (from .../libpython2.7_2.7.1-5ubuntu2_armel.deb) ... Selecting previously deselected package libpycaml-ocaml. Unpacking libpycaml-ocaml (from .../libpycaml-ocaml_0.82-13ubuntu2_armel.deb) ... Selecting previously deselected package zlib1g-dev. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3ubuntu3_armel.deb) ... Selecting previously deselected package libssl-dev. Unpacking libssl-dev (from .../libssl-dev_1.0.0d-2ubuntu1_armel.deb) ... Selecting previously deselected package python2.7-dev. Unpacking python2.7-dev (from .../python2.7-dev_2.7.1-5ubuntu2_armel.deb) ... Selecting previously deselected package python-dev. Unpacking python-dev (from .../python-dev_2.7.1-0ubuntu5_all.deb) ... Selecting previously deselected package libpycaml-ocaml-dev. Unpacking libpycaml-ocaml-dev (from .../libpycaml-ocaml-dev_0.82-13ubuntu2_armel.deb) ... Selecting previously deselected package libxmu6. Unpacking libxmu6 (from .../libxmu6_2%3a1.1.0-2_armel.deb) ... Selecting previously deselected package libxpm4. Unpacking libxpm4 (from .../libxpm4_1%3a3.5.9-1ubuntu1_armel.deb) ... Selecting previously deselected package libxaw7. Unpacking libxaw7 (from .../libxaw7_2%3a1.0.9-2_armel.deb) ... Selecting previously deselected package luatex. Unpacking luatex (from .../luatex_0.70.0-1_armel.deb) ... Selecting previously deselected package menhir. Unpacking menhir (from .../menhir_20110201.dfsg-1_armel.deb) ... Selecting previously deselected package ocaml-findlib. Unpacking ocaml-findlib (from .../ocaml-findlib_1.2.6+debian-1build1_armel.deb) ... Selecting previously deselected package ocaml-native-compilers. Unpacking ocaml-native-compilers (from .../ocaml-native-compilers_3.12.0-5_armel.deb) ... Selecting previously deselected package tex-common. Unpacking tex-common (from .../tex-common_2.09_all.deb) ... Selecting previously deselected package preview-latex-style. Unpacking preview-latex-style (from .../preview-latex-style_11.86-2ubuntu1_all.deb) ... Selecting previously deselected package texlive-common. Unpacking texlive-common (from .../texlive-common_2009-11_all.deb) ... Selecting previously deselected package texlive-doc-base. Unpacking texlive-doc-base (from .../texlive-doc-base_2009-2_all.deb) ... Selecting previously deselected package texlive-binaries. Unpacking texlive-binaries (from .../texlive-binaries_2009-8ubuntu2_armel.deb) ... Selecting previously deselected package texlive-base. Unpacking texlive-base (from .../texlive-base_2009-11_all.deb) ... Selecting previously deselected package texlive-fonts-extra. Unpacking texlive-fonts-extra (from .../texlive-fonts-extra_2009-10ubuntu1_all.deb) ... Selecting previously deselected package texlive-fonts-recommended. Unpacking texlive-fonts-recommended (from .../texlive-fonts-recommended_2009-11_all.deb) ... Selecting previously deselected package texlive-latex-base. Unpacking texlive-latex-base (from .../texlive-latex-base_2009-11_all.deb) ... Selecting previously deselected package texlive-pictures. Unpacking texlive-pictures (from .../texlive-pictures_2009-11_all.deb) ... Selecting previously deselected package texlive-latex-extra. Unpacking texlive-latex-extra (from .../texlive-latex-extra_2009-10ubuntu1_all.deb) ... Selecting previously deselected package texlive-latex-recommended. Unpacking texlive-latex-recommended (from .../texlive-latex-recommended_2009-11_all.deb) ... Selecting previously deselected package dh-ocaml. Unpacking dh-ocaml (from .../dh-ocaml_1.0.0_all.deb) ... Selecting previously deselected package libtype-conv-camlp4-dev. Unpacking libtype-conv-camlp4-dev (from .../libtype-conv-camlp4-dev_2.0.2-1_armel.deb) ... Selecting previously deselected package libsexplib-camlp4-dev. Unpacking libsexplib-camlp4-dev (from .../libsexplib-camlp4-dev_4.2.16-1build2_armel.deb) ... Setting up libexpat1 (2.0.1-7ubuntu3) ... Setting up libsqlite3-0 (3.7.4-2ubuntu5) ... Setting up libfreetype6 (2.4.4-1ubuntu2) ... Setting up ucf (3.0025+nmu2ubuntu1) ... Setting up ttf-dejavu-core (2.33-1) ... Setting up fontconfig-config (2.8.0-2.1ubuntu3) ... Setting up libfontconfig1 (2.8.0-2.1ubuntu3) ... Setting up libxau6 (1:1.0.6-1ubuntu1) ... Setting up libxdmcp6 (1:1.1.0-1ubuntu1) ... Setting up libxcb1 (1.7-2ubuntu2) ... Setting up libx11-data (2:1.4.2-1ubuntu3) ... Setting up libx11-6 (2:1.4.2-1ubuntu3) ... Setting up libxext6 (2:1.2.0-2ubuntu1) ... Setting up x11-common (1:7.6+4ubuntu3) ... Setting up libice6 (2:1.0.7-1ubuntu1) ... Setting up libsm6 (2:1.2.0-1ubuntu1) ... Setting up libxt6 (1:1.0.9-1ubuntu1) ... Setting up libmagic1 (5.04-5ubuntu2) ... Setting up file (5.04-5ubuntu2) ... Setting up mime-support (3.51-1ubuntu1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode. Setting up python2.7 (2.7.1-5ubuntu2) ... Setting up python (2.7.1-0ubuntu5) ... Setting up bsdmainutils (8.2.2ubuntu1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode. update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode. Setting up ed (1.5-1) ... Setting up gettext-base (0.18.1.1-3ubuntu1) ... Setting up groff-base (1.21-5) ... Setting up libpipeline1 (1.2.0-1) ... Setting up libxml2 (2.7.8.dfsg-2) ... Setting up man-db (2.6.0.2-1) ... Building database of manual pages ... Setting up python-support (1.0.10ubuntu3) ... Setting up ocaml-base-nox (3.12.0-5) ... Setting up libncurses5-dev (5.9-1) ... Setting up ocaml-interp (3.12.0-5) ... Setting up ocaml-nox (3.12.0-5) ... Setting up camlp4 (3.12.0-5) ... Setting up html2text (1.3.2a-15) ... Setting up libcroco3 (0.6.2-1) ... Setting up libunistring0 (0.9.3-4) ... Setting up gettext (0.18.1.1-3ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu1) ... Setting up debhelper (8.1.6ubuntu1) ... Setting up libexpat1-dev (2.0.1-7ubuntu3) ... Setting up libfindlib-ocaml (1.2.6+debian-1build1) ... Setting up libjpeg62 (6b1-1ubuntu1) ... Setting up libkpathsea5 (2009-8ubuntu2) ... Setting up liblcms1 (1.18.dfsg-1.2ubuntu1) ... Setting up libmenhir-ocaml-dev (20110201.dfsg-1) ... Setting up libpoppler13 (0.16.4-0ubuntu1.1) ... Setting up libpython2.7 (2.7.1-5ubuntu2) ... Setting up libpycaml-ocaml (0.82-13ubuntu2) ... Setting up zlib1g-dev (1:1.2.3.4.dfsg-3ubuntu3) ... Setting up libssl-dev (1.0.0d-2ubuntu1) ... Setting up python2.7-dev (2.7.1-5ubuntu2) ... Setting up python-dev (2.7.1-0ubuntu5) ... Setting up libpycaml-ocaml-dev (0.82-13ubuntu2) ... Setting up libxmu6 (2:1.1.0-2) ... Setting up libxpm4 (1:3.5.9-1ubuntu1) ... Setting up libxaw7 (2:1.0.9-2) ... Setting up luatex (0.70.0-1) ... texlive-base is not ready, cannot create formats Setting up menhir (20110201.dfsg-1) ... Setting up ocaml-findlib (1.2.6+debian-1build1) ... Setting up ocaml-native-compilers (3.12.0-5) ... Setting up tex-common (2.09) ... Creating config file /etc/texmf/texmf.d/05TeXMF.cnf with new version Creating config file /etc/texmf/texmf.d/15Plain.cnf with new version Creating config file /etc/texmf/texmf.d/45TeXinputs.cnf with new version Creating config file /etc/texmf/texmf.d/55Fonts.cnf with new version Creating config file /etc/texmf/texmf.d/65BibTeX.cnf with new version Creating config file /etc/texmf/texmf.d/75DviPS.cnf with new version Creating config file /etc/texmf/texmf.d/80DVIPDFMx.cnf with new version Creating config file /etc/texmf/texmf.d/85Misc.cnf with new version Creating config file /etc/texmf/texmf.d/90TeXDoc.cnf with new version Creating config file /etc/texmf/texmf.d/95NonPath.cnf with new version Creating config file /etc/texmf/updmap.d/00updmap.cfg with new version Creating config file /etc/texmf/texmf.cnf with new version /usr/sbin/update-language-def: line 779: printf: missing unicode digit for \u Running mktexlsr. This may take some time... done. texlive-base is not ready, delaying updmap-sys call texlive-base is not ready, skipping fmtutil-sys --all call Setting up preview-latex-style (11.86-2ubuntu1) ... Setting up texlive-common (2009-11) ... Setting up texlive-doc-base (2009-2) ... /usr/sbin/update-language-def: line 779: printf: missing unicode digit for \u Setting up texlive-binaries (2009-8ubuntu2) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode. update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode. Building format(s) --refresh. This may take some time... done. Setting up dh-ocaml (1.0.0) ... Setting up libtype-conv-camlp4-dev (2.0.2-1) ... Setting up libsexplib-camlp4-dev (4.2.16-1build2) ... Processing triggers for tex-common ... /usr/sbin/update-language-def: line 779: printf: missing unicode digit for \u Running mktexlsr. This may take some time... done. Setting up texlive-base (2009-11) ... /usr/sbin/update-language-def: line 779: printf: missing unicode digit for \u Running mktexlsr. This may take some time... done. Building format(s) --all --cnffile /etc/texmf/fmt.d/10texlive-base.cnf. This may take some time... done. Processing triggers for tex-common ... /usr/sbin/update-language-def: line 779: printf: missing unicode digit for \u Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building e-tex based formats --byhyphen /var/lib/texmf/tex/generic/config/language.def. This may take some time... done. Setting up texlive-latex-base (2009-11) ... /usr/sbin/update-language-def: line 779: printf: missing unicode digit for \u Running mktexlsr. This may take some time... done. Building format(s) --all --cnffile /etc/texmf/fmt.d/10texlive-latex-base.cnf. This may take some time... done. Setting up texlive-pictures (2009-11) ... /usr/sbin/update-language-def: line 779: printf: missing unicode digit for \u Setting up texlive-fonts-extra (2009-10ubuntu1) ... /usr/sbin/update-language-def: line 779: printf: missing unicode digit for \u Setting up texlive-fonts-recommended (2009-11) ... /usr/sbin/update-language-def: line 779: printf: missing unicode digit for \u Processing triggers for tex-common ... /usr/sbin/update-language-def: line 779: printf: missing unicode digit for \u Running mktexlsr. This may take some time... done. Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Setting up texlive-latex-extra (2009-10ubuntu1) ... /usr/sbin/update-language-def: line 779: printf: missing unicode digit for \u Setting up texlive-latex-recommended (2009-11) ... /usr/sbin/update-language-def: line 779: printf: missing unicode digit for \u Processing triggers for libc-bin ... ldconfig deferred processing now taking place Processing triggers for tex-common ... /usr/sbin/update-language-def: line 779: printf: missing unicode digit for \u Running mktexlsr. This may take some time... done. Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.13-2ubuntu1 make_3.81-8ubuntu1 dpkg-dev_1.16.0~ubuntu8 gcc-4.6_4.6.0-6ubuntu3 g++-4.6_4.6.0-6ubuntu3 binutils_2.21.51.20110421-0ubuntu6 libstdc++6_4.6.0-6ubuntu3 libstdc++6-4.6-dev_4.6.0-6ubuntu3 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::quilt gpgv: Signature made Thu Apr 21 19:57:52 2011 UTC using RSA key ID 49881AD3 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./coccinelle_0.2.5.deb-3.dsc dpkg-source: info: extracting coccinelle in coccinelle-0.2.5.deb dpkg-source: info: unpacking coccinelle_0.2.5.deb.orig.tar.gz dpkg-source: info: unpacking coccinelle_0.2.5.deb-3.debian.tar.gz dpkg-source: info: applying pycaml-build-check.diff dpkg-source: info: applying python-string-regression-fix.diff dpkg-buildpackage: export CFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export CPPFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: export CXXFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export FFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export LDFLAGS from dpkg-buildflags (origin: vendor): -Wl,-Bsymbolic-functions dpkg-buildpackage: source package coccinelle dpkg-buildpackage: source version 0.2.5.deb-3 dpkg-source --before-build coccinelle-0.2.5.deb dpkg-buildpackage: host architecture armel /usr/bin/fakeroot debian/rules clean dh --with ocaml clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make CLEANSUBDIRS=\$\(MAKESUBDIRS\) distclean make[2]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' Makefile.config is missing. Have you run ./configure? if [ -d tools ] ; then /usr/bin/make -C tools distclean ; fi make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/tools' rm -f spp gitgrep splitpatch extract_c_and_res rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/tools' make -C docs distclean make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/docs' rm -f spatch.1 make -C manual distclean make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/docs/manual' rm -f *.aux *.dvi *.haux *.htoc *.log *.out *~ rm -f main-diff.* rm -f *.aux \ *.bbl \ *.blg \ *.dvi \ *.log \ *.out \ *.toc rm -f manual.pdf cocci_syntax.pdf options.pdf rm -f *.pdf *.html *.gif *.css make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/docs/manual' make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/docs' set -e; for i in commons globals ctl parsing_cocci parsing_c engine popl09 extra python ocaml; do /usr/bin/make -C $i clean; done make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/commons' rm -f commons.top rm -f dllcommons_backtrace.so rm -f gmon.out rm -f *.cm[iox] *.o *.a *.cma *.cmxa *.annot rm -f *~ .*~ #*# for i in ocamlextra ocollection; do (cd $i; \ rm -f *.cm[iox] *.o *.a *.cma *.cmxa *.annot *~ .*~ ; \ cd ..; ) \ done make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/commons' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/globals' rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f *~ .*~ gmon.out #*# make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/globals' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/ctl' ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/ctl' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/ctl' rm -f ctl.cma ctl.cmxa ctl.a ctl.top rm -f *.cm[iox] *.o *.annot rm -f *~ .*~ #*# make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/ctl' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/parsing_cocci' ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I *.mli *.ml > .depend Bad -I option: adjacency.mli: Not a directory rm -f cocci_parser.cma rm -f cocci_parser.cmxa cocci_parser.a rm -f cocci_parser rm -f *.cm[iox] *.o *.annot rm -f *~ .*~ #*# make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/parsing_cocci' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/parsing_c' rm -f parsing_c.top rm -f lexer_c.ml rm -f parser_c.ml parser_c.mli parser_c.output rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f *~ .*~ gmon.out #*# make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/parsing_c' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/engine' rm -f cocciengine.top rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f *~ .*~ gmon.out #*# make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/engine' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/popl09' ocamldep -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/popl09' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/popl09' rm -f popl.cma popl.top rm -f popl.cmxa popl.a rm -f *.cm[iox] *.o *.annot rm -f *~ .*~ #*# make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/popl09' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/extra' rm -f extra.byte extra.opt rm -f extra.top rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f *~ .*~ gmon.out #*# make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/extra' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/python' ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/python' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/python' rm -f coccipython.cma rm -f coccipython.cmxa coccipython.a rm -f coccipython rm -f coccipython.byte rm -f rm -f *.cm[iox] *.o *.annot rm -f *~ .*~ #*# make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/python' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/ocaml' rm -f cocciocaml.top rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f *~ .*~ gmon.out #*# make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/ocaml' /usr/bin/make -C demos/spp clean make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/demos/spp' rm -f test.o test.c.i test2.o test2.c.i make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/demos/spp' rm -f spatch spatch.opt spatch.top make -C docs clean make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/docs' rm -f spatch.1 make -C manual clean make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/docs/manual' rm -f *.aux *.dvi *.haux *.htoc *.log *.out *~ rm -f main-diff.* rm -f *.aux \ *.bbl \ *.blg \ *.dvi \ *.log \ *.out \ *.toc make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/docs/manual' make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/docs' rm -f scripts/spatch scripts/spatch.byte scripts/spatch.opt rm -f gmon.out rm -f *.cm[iox] *.o *.annot rm -f *~ .*~ *.exe #*# set -e; for i in commons globals ctl parsing_cocci parsing_c engine popl09 extra python ocaml; do /usr/bin/make -C $i distclean; done make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/commons' rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/commons' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/globals' rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/globals' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/ctl' rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/ctl' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/parsing_cocci' rm -f lexer_cocci.ml lexer_script.ml parser_cocci_menhir.ml parser_cocci_menhir.mli rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/parsing_cocci' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/parsing_c' rm -f .depend rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/parsing_c' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/engine' rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/engine' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/popl09' rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/popl09' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/extra' rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/extra' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/python' /usr/bin/make -C coccilib distclean make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/python/coccilib' set -e; for i in coccigui; do /usr/bin/make -C $i clean; done make[5]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/python/coccilib/coccigui' rm -f *.pyc make[5]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/python/coccilib/coccigui' rm -f *.pyc make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/python/coccilib' rm -f .depend rm -f pycocci.ml make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/python' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/ocaml' rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/ocaml' rm -f .depend rm -f Makefile.config rm -f globals/config.ml test.ml rm -f TAGS rm -f tests/SCORE_actual.sexp rm -f tests/SCORE_best_of_both.sexp find -name ".#*1.*" | xargs rm -f make[2]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' rm -rf texmf-var texmf-config make[1]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' "dh_ocamlinit -d" dh_clean debian/rules build dh --with ocaml build dh_testdir dh_ocamlinit debian/rules override_dh_auto_configure make[1]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' ./configure --prefix=/usr --no-opt Checking your configuration. OCaml (the wonderful language) is present. OCaml >= 3.11 is present. OCaml scripting activated. make (gnu version) is present. python is present ocamlfind is present 'pycaml' library is present in /usr/lib/ocaml/pycaml 'menhirLib' library is present in /usr/lib/ocaml/menhirLib 'sexplib' library is present in /usr/lib/ocaml/sexplib ---------------------------------------------------------------------- All seems fine for coccinelle. To compile coccinelle type: $ make depend $ make all Or alternatively, for the optimized version: $ make all.opt If you want both, you could use: $ make world To install type: $ make install Then, to test coccinelle simply type: $ spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c To use the python SmPL feature you may have to set some environment variables. However, they are automatically set by the front-end installed in /usr/bin. For bash do: export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/lib export PYTHONPATH=$PYTHONPATH:/usr/share/coccinelle/python ---------------------------------------------------------------------- Compilation configuration coccinelle target prefix: /usr (you can use --prefix to override it) Generating Makefile.config Support for python scripting: yes Support for ocaml scripting: yes Modifying globals/config.ml ---------------------------------------------------------------------- Runtime dependency Support for external ocaml library in ocaml scripting: yes (ocamlfind found) make[1]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' debian/rules override_dh_auto_build make[1]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make BYTECODE_STATIC="" MANDIR=/usr/share/man depend make[2]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' echo "let foo_ctl () = failwith \"there is no foo_ctl formula\"" \ > test.ml ocamldep -I commons -I commons/ocamlextra -I globals -I ctl -I parsing_cocci -I parsing_c -I engine -I popl09 -I extra -I python -I ocaml *.mli *.ml > .depend set -e; for i in commons globals ctl parsing_cocci parsing_c engine popl09 extra python ocaml; do /usr/bin/make -C $i depend; done make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/commons' ocamldep -I ocamlextra -I ocollection *.mli *.ml > .depend for i in ocamlextra ocollection; do ocamldep -I ocamlextra -I ocollection $i/*.ml $i/*.mli >> .depend; done make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/commons' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/globals' ocamldep -I ../commons *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/globals' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/ctl' ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/ctl' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/ctl' ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/ctl' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/parsing_cocci' ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/parsing_cocci' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/parsing_cocci' ocamllex lexer_cocci.mll 210 states, 2778 transitions, table size 12372 bytes 2318 additional bytes used for bindings ocamllex lexer_script.mll 16 states, 265 transitions, table size 1156 bytes menhir --table parser_cocci_menhir.mly Warning: you are using the standard library and/or the %inline keyword. We recommend switching on --infer in order to avoid obscure type error messages. ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/parsing_cocci' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/parsing_c' ocamllex lexer_c.mll 415 states, 14846 transitions, table size 61874 bytes 5171 additional bytes used for bindings ocamlyacc -v parser_c.mly ocamldep -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/parsing_c' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/engine' ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/engine' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/popl09' ocamldep -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/popl09' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/popl09' ocamldep -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/popl09' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/extra' ocamldep -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/extra' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/python' ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/python' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/ocaml' ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/ocaml' make[2]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' # make all.opt does not build documentation mkdir texmf-var mkdir texmf-config TEXMFVAR="/build/buildd/coccinelle-0.2.5.deb/texmf-var" TEXMFCONFIG="/build/buildd/coccinelle-0.2.5.deb/texmf-config" /usr/bin/make BYTECODE_STATIC="" MANDIR=/usr/share/man -C docs all make[2]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/docs' sed "s|SHAREDIR|/usr/share/coccinelle|g" spatch.1.in > spatch.1 make -C manual all make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/docs/manual' pdflatex main.tex This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) entering extended mode (./main.tex LaTeX2e <2009/09/24> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, loaded. (/usr/share/texmf-texlive/tex/latex/base/report.cls Document Class: report 2007/10/19 v1.4h Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size10.clo)) (/usr/share/texmf-texlive/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texmf-texlive/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texmf-texlive/tex/latex/psnfss/times.sty) (/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty) (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty (/usr/share/texmf-texlive/tex/latex/base/utf8.def (/usr/share/texmf-texlive/tex/latex/base/t1enc.dfu) (/usr/share/texmf-texlive/tex/latex/base/ot1enc.dfu) (/usr/share/texmf-texlive/tex/latex/base/omsenc.dfu))) (/usr/share/texmf-texlive/tex/latex/base/fontenc.sty (/usr/share/texmf-texlive/tex/latex/base/t1enc.def)) (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty)) (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty) (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty)) (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texmf-texlive/tex/latex/ifsym/ifsym.sty (/usr/share/texmf-texlive/tex/latex/tools/calc.sty)) (/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty (/usr/share/texmf-texlive/tex/latex/graphics/trig.sty) (/etc/texmf/tex/latex/config/graphics.cfg) (/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def)) (/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty)) (/usr/share/texmf-texlive/tex/latex/graphics/epsfig.sty) (/usr/share/texmf-texlive/tex/latex/subfigure/subfigure.sty **************************************** * Local config file subfigure.cfg used * **************************************** (/usr/share/texmf-texlive/tex/latex/subfigure/subfigure.cfg)) (/usr/share/texmf-texlive/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texmf-texlive/tex/generic/xypic/xy.sty (/usr/share/texmf-texlive/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/share/texmf-texlive/tex/generic/xypic/xyrecat.tex) (/usr/share/texmf-texlive/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.7 <1999/02/16> Copyright (c) 1991-1998 by Kristoffer H. Rose Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, direction, utility macros; pictures: \xy, positions, objects, decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.3 (/usr/share/texmf-texlive/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.7 curve, circles, loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.7 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.3 (/usr/share/texmf-texlive/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.3 loaded) loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.6 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.3 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.3 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.4 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.7 loaded) loaded)) (/usr/share/texmf-texlive/tex/latex/fancyvrb/fancyvrb.sty Style option: `fancyvrb' v2.7a, with DG/SPQR fixes, and firstline=lastline fix <2008/02/07> (tvz)) (/usr/share/texmf-texlive/tex/latex/moreverb/moreverb.sty (/usr/share/texmf-texlive/tex/latex/tools/verbatim.sty)) (/usr/share/texmf-texlive/tex/latex/base/alltt.sty) (/usr/share/texmf-texlive/tex/latex/ltxmisc/boxedminipage.sty) (/usr/share/texmf-texlive/tex/latex/tools/xspace.sty) (/usr/share/texmf-texlive/tex/latex/ltxmisc/endnotes.sty) (/usr/share/texmf-texlive/tex/latex/multirow/multirow.sty) (/usr/share/texmf-texlive/tex/latex/listings/listings.sty (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty) (/usr/share/texmf-texlive/tex/latex/listings/listings.cfg)) (/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty) (/usr/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty) (/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty (/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty)) (/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def) (/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/infwarerr.sty)) (/usr/share/texmf-texlive/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty)) Implicit mode ON; LaTeX internals redefined (/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/bitset.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/ifluatex.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/ltxcmds.sty)))) (/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty)) *hyperref using default driver hpdftex* (/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def) (/usr/share/texmf-texlive/tex/latex/graphics/color.sty (/etc/texmf/tex/latex/config/color.cfg) (/usr/share/texmf-texlive/tex/latex/graphics/dvipsnam.def)) (./macros_common.tex) (./macros_options.tex) (./macros_listing_cocci.tex (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty) (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros.tex) No file main.aux. (/usr/share/texmf-texlive/tex/latex/psnfss/t1ptm.fd) (/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty (/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty)) (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd) (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd) [1{/var/lib/texmf/fonts/m ap/pdftex/updmap/pdftex.map}]pdfTeX warning (ext4): destination with the same i dentifier (name{page.1}) has been already used, duplicate ignored \relax l.116 \chapter *{Foreword} [1] (/usr/share/texmf-texlive/tex/latex/psnfss/omsptm.fd) LaTeX Warning: Reference `part:usermanual' on page 2 undefined on input line 12 1. LaTeX Warning: Reference `part:refmanual' on page 2 undefined on input line 122 . (/usr/share/texmf-texlive/tex/latex/psnfss/t1pcr.fd) Underfull \hbox (badness 10000) in paragraph at lines 135--138 [2] [3] (./introduction.tex Chapter 1. ) (./installing.tex [4] Chapter 2. ) (./tutorial.tex [5] Chapter 3. ) [6] Chapter 4. (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02878pt too wide) in paragraph at lines 17--73 [][] [7] Underfull \hbox (badness 10000) in paragraph at lines 77--83 [8] Underfull \hbox (badness 10000) in paragraph at lines 142--146 Underfull \hbox (badness 10000) in paragraph at lines 147--153 Underfull \hbox (badness 10000) in paragraph at lines 154--175 Underfull \hbox (badness 10000) in paragraph at lines 178--194 [9] Underfull \hbox (badness 10000) in paragraph at lines 205--212 Underfull \hbox (badness 10000) in paragraph at lines 213--238 [10] Underfull \hbox (badness 10000) in paragraph at lines 262--265 [11] Overfull \hbox (565.25523pt too wide) in paragraph at lines 341--381 [][] [12] Underfull \hbox (badness 10000) in paragraph at lines 385--394 Underfull \hbox (badness 10000) in paragraph at lines 411--422 [13] Underfull \hbox (badness 10000) in paragraph at lines 436--487 ) (./tips.tex Overfull \hbox (6.12321pt too wide) in paragraph at lines 14--18 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like []\T1/pcr/m/ n/10 bar = *(foo)\T1/ptm/m/n/10 , you will end up with []\T1/pcr/m/n/10 bar = r eadb((foo)) [14]) (./isomorphisms.tex [15] Chapter 5. ) (./parsing.tex [16] Chapter 6. ) (./workflow.tex [17] Chapter 7. ) (./advanced.tex [18] Chapter 8. ) [19] [20] Chapter 9. (./cocci_syntax.tex (/usr/share/texmf-texlive/tex/latex/psnfss/t1phv.fd) Overfull \hbox (6.40387pt too wide) in paragraph at lines 75--109 [] [21] [22] [23] LaTeX Warning: Reference `types' on page 24 undefined on input line 270. [24]pdfTeX warning (ext4): destination with the same identifier (name{script\\p rotect\040\\T1\\textunderscore\040metadecl}) has been already used, duplicate i gnored \relax l.324 ...},\T{id}) <{}< \T{rulename\_id}.\T{id} ;} [25] [26] Overfull \hbox (47.81136pt too wide) in paragraph at lines 567--569 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [27] [28] [29] Overfull \hbox (2.84467pt too wide) in paragraph at lines 744--786 [] [30] [31]) [32] Chapter 10. (./spatch_options.tex Overfull \hbox (40.85385pt too wide) in paragraph at lines 39--42 []\T1/pcr/m/n/10 spatch -sp_file foo.cocci -dir foodir -include_headers\T1/ptm/ m/n/10 : Ap-ply the se-man-tic patch \T1/pcr/m/n/10 foo.cocci (/usr/share/texmf-texlive/tex/latex/ifsym/uifgeo.fd) [33] [34] Overfull \hbox (53.96228pt too wide) in paragraph at lines 182--183 \T1/ptm/m/n/10 that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us -ing the script \T1/pcr/m/n/10 coccinelle/scripts/ glimpseindex_cocci.sh\T1/ptm /m/n/10 . [35] [36] [37] [38] [39] Overfull \hbox (4.86494pt too wide) in paragraph at lines 506--507 \T1/pcr/m/n/10 foo.cocci -dir /var/linuxes/linux-next/drivers -patch /var/linux es/linux-next\T1/ptm/m/n/10 . A [40]) [41] [42] (./license.txt [43] [44] [45] [46]) No file main.bbl. [47] (./main.aux) kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ifgeob10 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ifgeob10 This is METAFONT, Version 2.718281 (TeX Live 2009/Debian) (/usr/share/texmf-texlive/fonts/source/public/ifsym/ifgeob10.mf (/usr/share/texmf-texlive/fonts/source/public/ifsym/ifgeo.gen [32] [48] [64] [80] [96] [112] [0] [1] [2] [3] [4] [33] [49] [65] [81] [97] [113] [34] [50] [66] [82] [98] [114] [35] [51] [67] [83] [99] [115] [36] [52] [68] [84] [100] [116] [37] [53] [69] [85] [101] [117] [38] [54] [70] [86] [102] [118] [47] [63] [79] [95] [111] [127] [5] [6] [7] [8] [9] [13] [14] [15] [26] [27] [28] [29] [30] [31] ) ) Font metrics written on ifgeob10.tfm. Output written on ifgeob10.600gf (67 characters, 15036 bytes). Transcript written on ifgeob10.log. mktexpk: /build/buildd/coccinelle-0.2.5.deb/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeob10.600pk: successfully generated. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information) kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ifgeo10 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ifgeo10 This is METAFONT, Version 2.718281 (TeX Live 2009/Debian) (/usr/share/texmf-texlive/fonts/source/public/ifsym/ifgeo10.mf (/usr/share/texmf-texlive/fonts/source/public/ifsym/ifgeo.gen [32] [48] [64] [80] [96] [112] [0] [1] [2] [3] [4] [33] [49] [65] [81] [97] [113] [34] [50] [66] [82] [98] [114] [35] [51] [67] [83] [99] [115] [36] [52] [68] [84] [100] [116] [37] [53] [69] [85] [101] [117] [38] [54] [70] [86] [102] [118] [47] [63] [79] [95] [111] [127] [5] [6] [7] [8] [9] [13] [14] [15] [26] [27] [28] [29] [30] [31] ) ) Font metrics written on ifgeo10.tfm. Output written on ifgeo10.600gf (67 characters, 15684 bytes). Transcript written on ifgeo10.log. mktexpk: /build/buildd/coccinelle-0.2.5.deb/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeo10.600pk: successfully generated. {/us r/share/texmf-texlive/fonts/enc/dvips/base/8r.enc} Output written on main.pdf (48 pages, 414936 bytes). Transcript written on main.log. pdflatex main.tex This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) entering extended mode (./main.tex LaTeX2e <2009/09/24> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, loaded. (/usr/share/texmf-texlive/tex/latex/base/report.cls Document Class: report 2007/10/19 v1.4h Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size10.clo)) (/usr/share/texmf-texlive/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texmf-texlive/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texmf-texlive/tex/latex/psnfss/times.sty) (/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty) (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty (/usr/share/texmf-texlive/tex/latex/base/utf8.def (/usr/share/texmf-texlive/tex/latex/base/t1enc.dfu) (/usr/share/texmf-texlive/tex/latex/base/ot1enc.dfu) (/usr/share/texmf-texlive/tex/latex/base/omsenc.dfu))) (/usr/share/texmf-texlive/tex/latex/base/fontenc.sty (/usr/share/texmf-texlive/tex/latex/base/t1enc.def)) (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty)) (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty) (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty)) (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texmf-texlive/tex/latex/ifsym/ifsym.sty (/usr/share/texmf-texlive/tex/latex/tools/calc.sty)) (/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty (/usr/share/texmf-texlive/tex/latex/graphics/trig.sty) (/etc/texmf/tex/latex/config/graphics.cfg) (/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def)) (/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty)) (/usr/share/texmf-texlive/tex/latex/graphics/epsfig.sty) (/usr/share/texmf-texlive/tex/latex/subfigure/subfigure.sty **************************************** * Local config file subfigure.cfg used * **************************************** (/usr/share/texmf-texlive/tex/latex/subfigure/subfigure.cfg)) (/usr/share/texmf-texlive/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texmf-texlive/tex/generic/xypic/xy.sty (/usr/share/texmf-texlive/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/share/texmf-texlive/tex/generic/xypic/xyrecat.tex) (/usr/share/texmf-texlive/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.7 <1999/02/16> Copyright (c) 1991-1998 by Kristoffer H. Rose Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, direction, utility macros; pictures: \xy, positions, objects, decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.3 (/usr/share/texmf-texlive/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.7 curve, circles, loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.7 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.3 (/usr/share/texmf-texlive/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.3 loaded) loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.6 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.3 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.3 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.4 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.7 loaded) loaded)) (/usr/share/texmf-texlive/tex/latex/fancyvrb/fancyvrb.sty Style option: `fancyvrb' v2.7a, with DG/SPQR fixes, and firstline=lastline fix <2008/02/07> (tvz)) (/usr/share/texmf-texlive/tex/latex/moreverb/moreverb.sty (/usr/share/texmf-texlive/tex/latex/tools/verbatim.sty)) (/usr/share/texmf-texlive/tex/latex/base/alltt.sty) (/usr/share/texmf-texlive/tex/latex/ltxmisc/boxedminipage.sty) (/usr/share/texmf-texlive/tex/latex/tools/xspace.sty) (/usr/share/texmf-texlive/tex/latex/ltxmisc/endnotes.sty) (/usr/share/texmf-texlive/tex/latex/multirow/multirow.sty) (/usr/share/texmf-texlive/tex/latex/listings/listings.sty (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty) (/usr/share/texmf-texlive/tex/latex/listings/listings.cfg)) (/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty) (/usr/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty) (/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty (/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty)) (/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def) (/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/infwarerr.sty)) (/usr/share/texmf-texlive/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty)) Implicit mode ON; LaTeX internals redefined (/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/bitset.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/ifluatex.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/ltxcmds.sty)))) (/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty)) *hyperref using default driver hpdftex* (/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def) (/usr/share/texmf-texlive/tex/latex/graphics/color.sty (/etc/texmf/tex/latex/config/color.cfg) (/usr/share/texmf-texlive/tex/latex/graphics/dvipsnam.def)) (./macros_common.tex) (./macros_options.tex) (./macros_listing_cocci.tex (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty) (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros.tex) (./main.aux) (/usr/share/texmf-texlive/tex/latex/psnfss/t1ptm.fd) (/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty (/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty)) (./main.out) (./main.out) (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd) (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd) [1{/var/lib/texmf/fonts/m ap/pdftex/updmap/pdftex.map}] (./main.toc (/usr/share/texmf-texlive/tex/latex/psnfss/t1pcr.fd)pdfTeX warning (ext4): dest ination with the same identifier (name{page.1}) has been already used, duplicat e ignored \relax l.33 ...berline {9.9}Expressions}{31}{section.9.9} [1]) [2] (/usr/share/texmf-texlive/tex/latex/psnfss/omsptm.fd) Underfull \hbox (badness 10000) in paragraph at lines 135--138 [3] [4] (./introduction.tex Chapter 1. ) (./installing.tex [5] Chapter 2. ) (./tutorial.tex [6] Chapter 3. ) [7] Chapter 4. (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02878pt too wide) in paragraph at lines 17--73 [][] [8] Underfull \hbox (badness 10000) in paragraph at lines 77--83 [9] Underfull \hbox (badness 10000) in paragraph at lines 142--146 Underfull \hbox (badness 10000) in paragraph at lines 147--153 Underfull \hbox (badness 10000) in paragraph at lines 154--175 Underfull \hbox (badness 10000) in paragraph at lines 178--194 [10] Underfull \hbox (badness 10000) in paragraph at lines 205--212 Underfull \hbox (badness 10000) in paragraph at lines 213--238 [11] Underfull \hbox (badness 10000) in paragraph at lines 262--265 [12] Overfull \hbox (565.25523pt too wide) in paragraph at lines 341--381 [][] [13] Underfull \hbox (badness 10000) in paragraph at lines 385--394 Underfull \hbox (badness 10000) in paragraph at lines 411--422 [14] Underfull \hbox (badness 10000) in paragraph at lines 436--487 ) (./tips.tex Overfull \hbox (6.12321pt too wide) in paragraph at lines 14--18 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like []\T1/pcr/m/ n/10 bar = *(foo)\T1/ptm/m/n/10 , you will end up with []\T1/pcr/m/n/10 bar = r eadb((foo)) [15]) (./isomorphisms.tex [16] Chapter 5. ) (./parsing.tex [17] Chapter 6. ) (./workflow.tex [18] Chapter 7. ) (./advanced.tex [19] Chapter 8. ) [20] [21] Chapter 9. (./cocci_syntax.tex (/usr/share/texmf-texlive/tex/latex/psnfss/t1phv.fd) Overfull \hbox (6.40387pt too wide) in paragraph at lines 75--109 [] [22] [23] [24] [25]pdfTeX warning (ext4): destination with the same identifier (name{script\\protect\040\\T1\\textunderscore\040metadecl}) has been already us ed, duplicate ignored \relax l.324 ...},\T{id}) <{}< \T{rulename\_id}.\T{id} ;} [26] [27] Overfull \hbox (47.81136pt too wide) in paragraph at lines 567--569 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [28] [29] [30] Overfull \hbox (2.84467pt too wide) in paragraph at lines 744--786 [] [31] [32]) [33] Chapter 10. (./spatch_options.tex Overfull \hbox (40.85385pt too wide) in paragraph at lines 39--42 []\T1/pcr/m/n/10 spatch -sp_file foo.cocci -dir foodir -include_headers\T1/ptm/ m/n/10 : Ap-ply the se-man-tic patch \T1/pcr/m/n/10 foo.cocci (/usr/share/texmf-texlive/tex/latex/ifsym/uifgeo.fd) [34] [35] Overfull \hbox (53.96228pt too wide) in paragraph at lines 182--183 \T1/ptm/m/n/10 that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us -ing the script \T1/pcr/m/n/10 coccinelle/scripts/ glimpseindex_cocci.sh\T1/ptm /m/n/10 . [36] [37] [38] [39] [40] Overfull \hbox (4.86494pt too wide) in paragraph at lines 506--507 \T1/pcr/m/n/10 foo.cocci -dir /var/linuxes/linux-next/drivers -patch /var/linux es/linux-next\T1/ptm/m/n/10 . A [41]) [42] [43] (./license.txt [44] [45] [46] [47]) No file main.bbl. [48] (./main.aux) LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information) {/us r/share/texmf-texlive/fonts/enc/dvips/base/8r.enc} Output written on main.pdf (49 pages, 443741 bytes). Transcript written on main.log. mv main.pdf manual.pdf pdflatex main_grammar.tex This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) entering extended mode (./main_grammar.tex LaTeX2e <2009/09/24> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, loaded. (/usr/share/texmf-texlive/tex/latex/base/article.cls Document Class: article 2007/10/19 v1.4h Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size10.clo)) (/usr/share/texmf-texlive/tex/latex/psnfss/times.sty) (/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty) (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty (/usr/share/texmf-texlive/tex/latex/base/utf8.def (/usr/share/texmf-texlive/tex/latex/base/t1enc.dfu) (/usr/share/texmf-texlive/tex/latex/base/ot1enc.dfu) (/usr/share/texmf-texlive/tex/latex/base/omsenc.dfu))) (/usr/share/texmf-texlive/tex/latex/base/fontenc.sty (/usr/share/texmf-texlive/tex/latex/base/t1enc.def)) (/usr/share/texmf-texlive/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texmf-texlive/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texmf-texlive/tex/latex/base/alltt.sty) (/usr/share/texmf-texlive/tex/latex/tools/xspace.sty) (/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty) (/usr/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty) (/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty (/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty)) (/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def) (/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/infwarerr.sty)) (/usr/share/texmf-texlive/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty)) Implicit mode ON; LaTeX internals redefined (/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/bitset.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/ifluatex.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/ltxcmds.sty)))) (/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty)) *hyperref using default driver hpdftex* (/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def) (/usr/share/texmf-texlive/tex/latex/listings/listings.sty (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty) (/usr/share/texmf-texlive/tex/latex/listings/listings.cfg)) (/usr/share/texmf-texlive/tex/latex/graphics/color.sty (/etc/texmf/tex/latex/config/color.cfg) (/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def) (/usr/share/texmf-texlive/tex/latex/graphics/dvipsnam.def)) (/usr/share/texmf-texlive/tex/latex/multirow/multirow.sty) (./macros_listing_cocci.tex (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty) (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros_common.tex) (./macros.tex) No file main_grammar.aux. (/usr/share/texmf-texlive/tex/latex/psnfss/t1ptm.fd) (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty (/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty)) (/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (./cocci_syntax.tex (/usr/share/texmf-texlive/tex/latex/psnfss/t1phv.fd) (/usr/share/texmf-texlive/tex/latex/psnfss/t1pcr.fd) Overfull \hbox (6.40143pt too wide) in paragraph at lines 75--109 [] [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] (/usr/share/texmf-texlive/tex/latex/psnfss/omsptm.fd) [2] [3] LaTeX Warning: Reference `types' on page 4 undefined on input line 270. [4]pdfTeX warning (ext4): destination with the same identifier (name{script\\pr otect\040\\T1\\textunderscore\040metadecl}) has been already used, duplicate ig nored \relax l.324 ...},\T{id}) <{}< \T{rulename\_id}.\T{id} ;} [5] [6] Overfull \hbox (47.81136pt too wide) in paragraph at lines 567--569 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [7] [8] [9] Overfull \hbox (2.84222pt too wide) in paragraph at lines 744--786 [] [10] [11]) [12] (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02878pt too wide) in paragraph at lines 17--73 [][] [13] Underfull \hbox (badness 10000) in paragraph at lines 77--83 [14] Underfull \hbox (badness 10000) in paragraph at lines 142--146 Underfull \hbox (badness 10000) in paragraph at lines 147--153 Underfull \hbox (badness 10000) in paragraph at lines 154--175 Underfull \hbox (badness 10000) in paragraph at lines 178--194 [15] Underfull \hbox (badness 10000) in paragraph at lines 205--212 Underfull \hbox (badness 10000) in paragraph at lines 213--238 [16] Underfull \hbox (badness 10000) in paragraph at lines 262--265 [17] Overfull \hbox (565.25523pt too wide) in paragraph at lines 341--381 [][] [18] Underfull \hbox (badness 10000) in paragraph at lines 385--394 Underfull \hbox (badness 10000) in paragraph at lines 411--422 [19] Underfull \hbox (badness 10000) in paragraph at lines 436--487 ) [20] (./tips.tex Overfull \hbox (6.12321pt too wide) in paragraph at lines 14--18 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like []\T1/pcr/m/ n/10 bar = *(foo)\T1/ptm/m/n/10 , you will end up with []\T1/pcr/m/n/10 bar = r eadb((foo)) ) [21] (./main_grammar.aux (./examples.aux) (./tips.aux)) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information){/usr/share/texmf-texlive/f onts/enc/dvips/base/8r.enc}< /usr/share/texmf-texlive/fonts/type1/urw/helvetic/uhvr8a.pfb> Output written on main_grammar.pdf (21 pages, 333515 bytes). Transcript written on main_grammar.log. pdflatex main_grammar.tex This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) entering extended mode (./main_grammar.tex LaTeX2e <2009/09/24> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, loaded. (/usr/share/texmf-texlive/tex/latex/base/article.cls Document Class: article 2007/10/19 v1.4h Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size10.clo)) (/usr/share/texmf-texlive/tex/latex/psnfss/times.sty) (/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty) (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty (/usr/share/texmf-texlive/tex/latex/base/utf8.def (/usr/share/texmf-texlive/tex/latex/base/t1enc.dfu) (/usr/share/texmf-texlive/tex/latex/base/ot1enc.dfu) (/usr/share/texmf-texlive/tex/latex/base/omsenc.dfu))) (/usr/share/texmf-texlive/tex/latex/base/fontenc.sty (/usr/share/texmf-texlive/tex/latex/base/t1enc.def)) (/usr/share/texmf-texlive/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texmf-texlive/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texmf-texlive/tex/latex/base/alltt.sty) (/usr/share/texmf-texlive/tex/latex/tools/xspace.sty) (/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty) (/usr/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty) (/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty (/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty)) (/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def) (/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/infwarerr.sty)) (/usr/share/texmf-texlive/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty)) Implicit mode ON; LaTeX internals redefined (/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/bitset.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty (/usr/share/texmf-texlive/tex/generic/oberdiek/ifluatex.sty) (/usr/share/texmf-texlive/tex/generic/oberdiek/ltxcmds.sty)))) (/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty)) *hyperref using default driver hpdftex* (/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def) (/usr/share/texmf-texlive/tex/latex/listings/listings.sty (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty) (/usr/share/texmf-texlive/tex/latex/listings/listings.cfg)) (/usr/share/texmf-texlive/tex/latex/graphics/color.sty (/etc/texmf/tex/latex/config/color.cfg) (/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def) (/usr/share/texmf-texlive/tex/latex/graphics/dvipsnam.def)) (/usr/share/texmf-texlive/tex/latex/multirow/multirow.sty) (./macros_listing_cocci.tex (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty) (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros_common.tex) (./macros.tex) (./main_grammar.aux (./examples.aux) (./tips.aux)) (/usr/share/texmf-texlive/tex/latex/psnfss/t1ptm.fd) (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty (/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty)) (./main_grammar.out ) (./main_grammar.out) (/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (./cocci_syntax.tex (/usr/share/texmf-texlive/tex/latex/psnfss/t1phv.fd) (/usr/share/texmf-texlive/tex/latex/psnfss/t1pcr.fd) Overfull \hbox (6.40143pt too wide) in paragraph at lines 75--109 [] [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] (/usr/share/texmf-texlive/tex/latex/psnfss/omsptm.fd) [2] [3] [4]pdfTeX warning (ext4): destination with the same identifier (name{script\\protect\040\\T1\\te xtunderscore\040metadecl}) has been already used, duplicate ignored \relax l.324 ...},\T{id}) <{}< \T{rulename\_id}.\T{id} ;} [5] [6] Overfull \hbox (47.81136pt too wide) in paragraph at lines 567--569 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [7] [8] [9] Overfull \hbox (2.84222pt too wide) in paragraph at lines 744--786 [] [10] [11]) [12] (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02878pt too wide) in paragraph at lines 17--73 [][] [13] Underfull \hbox (badness 10000) in paragraph at lines 77--83 [14] Underfull \hbox (badness 10000) in paragraph at lines 142--146 Underfull \hbox (badness 10000) in paragraph at lines 147--153 Underfull \hbox (badness 10000) in paragraph at lines 154--175 Underfull \hbox (badness 10000) in paragraph at lines 178--194 [15] Underfull \hbox (badness 10000) in paragraph at lines 205--212 Underfull \hbox (badness 10000) in paragraph at lines 213--238 [16] Underfull \hbox (badness 10000) in paragraph at lines 262--265 [17] Overfull \hbox (565.25523pt too wide) in paragraph at lines 341--381 [][] [18] Underfull \hbox (badness 10000) in paragraph at lines 385--394 Underfull \hbox (badness 10000) in paragraph at lines 411--422 [19] Underfull \hbox (badness 10000) in paragraph at lines 436--487 ) [20] (./tips.tex Overfull \hbox (6.12321pt too wide) in paragraph at lines 14--18 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like []\T1/pcr/m/ n/10 bar = *(foo)\T1/ptm/m/n/10 , you will end up with []\T1/pcr/m/n/10 bar = r eadb((foo)) ) [21] (./main_grammar.aux (./examples.aux) (./tips.aux)) ) (see the transcript file for additional information){/usr/share/texmf-texlive/f onts/enc/dvips/base/8r.enc}< /usr/share/texmf-texlive/fonts/type1/urw/helvetic/uhvr8a.pfb> Output written on main_grammar.pdf (21 pages, 338684 bytes). Transcript written on main_grammar.log. pdflatex main_options.tex This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) entering extended mode (./main_options.tex LaTeX2e <2009/09/24> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, loaded. (/usr/share/texmf-texlive/tex/latex/base/article.cls Document Class: article 2007/10/19 v1.4h Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size10.clo)) (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty (/usr/share/texmf-texlive/tex/latex/base/utf8.def (/usr/share/texmf-texlive/tex/latex/base/t1enc.dfu) (/usr/share/texmf-texlive/tex/latex/base/ot1enc.dfu) (/usr/share/texmf-texlive/tex/latex/base/omsenc.dfu))) (/usr/share/texmf-texlive/tex/latex/base/fontenc.sty (/usr/share/texmf-texlive/tex/latex/base/t1enc.def)) (/usr/share/texmf-texlive/tex/latex/base/ifthen.sty) (/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty) (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty)) (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty) (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty)) (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texmf-texlive/tex/latex/tools/xspace.sty) (/usr/share/texmf-texlive/tex/latex/ifsym/ifsym.sty (/usr/share/texmf-texlive/tex/latex/tools/calc.sty)) (./macros_options.tex) (./macros.tex) No file main_options.aux. (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd) (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd) LaTeX Warning: No \author given. (./spatch_options.tex (/usr/share/texmf-texlive/tex/latex/base/t1cmtt.fd) (/usr/share/texmf-texlive/tex/latex/base/omscmr.fd) Overfull \hbox (4.27425pt too wide) in paragraph at lines 39--42 []\T1/cmtt/m/n/10 spatch -sp_file foo.cocci -dir foodir -include_headers\T1/cmr /m/n/10 : Ap-ply the se-man-tic patch \T1/cmtt/m/n/10 foo.cocci (/usr/share/texmf-texlive/tex/latex/ifsym/uifgeo.fd) [1{/var/lib/texmf/fonts/ma p/pdftex/updmap/pdftex.map}] [2] [3] [4] [5] [6] (/usr/share/texmf-texlive/tex/latex/base/t1cmss.fd) [7] [8]) [9] (./main_options.aux) kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecss1000 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecss1000 This is METAFONT, Version 2.718281 (TeX Live 2009/Debian) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecss1000.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecss.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrligtb.mf Ok) ) ) ) Font metrics written on ecss1000.tfm. Output written on ecss1000.600gf (256 characters, 46240 bytes). Transcript written on ecss1000.log. mktexpk: /build/buildd/coccinelle-0.2.5.deb/texmf-var/fonts/pk/ljfour/jknappen/ec/ecss1000.600pk: successfully generated. ) (see the transcript file for additional information) kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecti1000 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecti1000 This is METAFONT, Version 2.718281 (TeX Live 2009/Debian) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecti1000.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecti.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/extextit.mf Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exileast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exilwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exilig.mf Ok [25] [26] [27] [28] [29] [30] [31]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exitalp.mf Ok [38] [63] [190]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exillett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exidigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exiligtb.mf Ok) ) ) ) Font metrics written on ecti1000.tfm. Output written on ecti1000.600gf (256 characters, 53436 bytes). Transcript written on ecti1000.log. mktexpk: /build/buildd/coccinelle-0.2.5.deb/texmf-var/fonts/pk/ljfour/jknappen/ec/ecti1000.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecbx1000 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecbx1000 This is METAFONT, Version 2.718281 (TeX Live 2009/Debian) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecbx1000.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecbx.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrligtb.mf Ok) ) ) ) Font metrics written on ecbx1000.tfm. Output written on ecbx1000.600gf (256 characters, 49884 bytes). Transcript written on ecbx1000.log. mktexpk: /build/buildd/coccinelle-0.2.5.deb/texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx1000.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecbx1200 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecbx1200 This is METAFONT, Version 2.718281 (TeX Live 2009/Debian) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecbx1200.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecbx.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrligtb.mf Ok) ) ) ) Font metrics written on ecbx1200.tfm. Output written on ecbx1200.600gf (256 characters, 59240 bytes). Transcript written on ecbx1200.log. mktexpk: /build/buildd/coccinelle-0.2.5.deb/texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx1200.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ectt1000 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ectt1000 This is METAFONT, Version 2.718281 (TeX Live 2009/Debian) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ectt1000.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ectt.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exmligtb.mf Ok) ) ) ) Font metrics written on ectt1000.tfm. Output written on ectt1000.600gf (256 characters, 43852 bytes). Transcript written on ectt1000.log. mktexpk: /build/buildd/coccinelle-0.2.5.deb/texmf-var/fonts/pk/ljfour/jknappen/ec/ectt1000.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecrm1000 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecrm1000 This is METAFONT, Version 2.718281 (TeX Live 2009/Debian) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecrm1000.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecrm.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrligtb.mf Ok) ) ) ) (some charht values had to be adjusted by as much as 0.06586pt) Font metrics written on ecrm1000.tfm. Output written on ecrm1000.600gf (256 characters, 51204 bytes). Transcript written on ecrm1000.log. mktexpk: /build/buildd/coccinelle-0.2.5.deb/texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1000.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecbx1440 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecbx1440 This is METAFONT, Version 2.718281 (TeX Live 2009/Debian) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecbx1440.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecbx.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrligtb.mf Ok) ) ) ) (some charht values had to be adjusted by as much as 0.10997pt) Font metrics written on ecbx1440.tfm. Output written on ecbx1440.600gf (256 characters, 70784 bytes). Transcript written on ecbx1440.log. mktexpk: /build/buildd/coccinelle-0.2.5.deb/texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx1440.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecrm1200 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecrm1200 This is METAFONT, Version 2.718281 (TeX Live 2009/Debian) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecrm1200.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecrm.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrligtb.mf Ok) ) ) ) (some charht values had to be adjusted by as much as 0.07143pt) Font metrics written on ecrm1200.tfm. Output written on ecrm1200.600gf (256 characters, 60340 bytes). Transcript written on ecrm1200.log. mktexpk: /build/buildd/coccinelle-0.2.5.deb/texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1200.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecrm1728 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecrm1728 This is METAFONT, Version 2.718281 (TeX Live 2009/Debian) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecrm1728.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/ecrm.mf (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exruwest.mf Ok [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlwest.mf Ok [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrueast.mf Ok [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrleast.mf Ok [158] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exbraces.mf Ok [94] [126] [23] [40] [41] [60] [124] [62] [91] [93] [92] [123] [125] [95] [127] [32]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/expunct.mf Ok [14] [15] [19] [20] [13] [18] [33] [39] [42] [43] [44] [46] [47] [58] [59] [61] [96] [189] [17] [45] [16] [21] [22]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrulett.mf Ok [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrllett.mf Ok [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texmf-texlive/fonts/source/jknappen/ec/exrligtb.mf Ok) ) ) ) (some charht values had to be adjusted by as much as 0.0972pt) Font metrics written on ecrm1728.tfm. Output written on ecrm1728.600gf (256 characters, 84628 bytes). Transcript written on ecrm1728.log. mktexpk: /build/buildd/coccinelle-0.2.5.deb/texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1728.600pk: successfully generated. Output written on main_options.pdf (9 pages, 137572 bytes). Transcript written on main_options.log. pdflatex main_options.tex This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) entering extended mode (./main_options.tex LaTeX2e <2009/09/24> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, loaded. (/usr/share/texmf-texlive/tex/latex/base/article.cls Document Class: article 2007/10/19 v1.4h Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size10.clo)) (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty (/usr/share/texmf-texlive/tex/latex/base/utf8.def (/usr/share/texmf-texlive/tex/latex/base/t1enc.dfu) (/usr/share/texmf-texlive/tex/latex/base/ot1enc.dfu) (/usr/share/texmf-texlive/tex/latex/base/omsenc.dfu))) (/usr/share/texmf-texlive/tex/latex/base/fontenc.sty (/usr/share/texmf-texlive/tex/latex/base/t1enc.def)) (/usr/share/texmf-texlive/tex/latex/base/ifthen.sty) (/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty) (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty)) (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty) (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty)) (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texmf-texlive/tex/latex/tools/xspace.sty) (/usr/share/texmf-texlive/tex/latex/ifsym/ifsym.sty (/usr/share/texmf-texlive/tex/latex/tools/calc.sty)) (./macros_options.tex) (./macros.tex) (./main_options.aux) (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd) (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd) LaTeX Warning: No \author given. (./spatch_options.tex (/usr/share/texmf-texlive/tex/latex/base/t1cmtt.fd) (/usr/share/texmf-texlive/tex/latex/base/omscmr.fd) Overfull \hbox (4.27425pt too wide) in paragraph at lines 39--42 []\T1/cmtt/m/n/10 spatch -sp_file foo.cocci -dir foodir -include_headers\T1/cmr /m/n/10 : Ap-ply the se-man-tic patch \T1/cmtt/m/n/10 foo.cocci (/usr/share/texmf-texlive/tex/latex/ifsym/uifgeo.fd) [1{/var/lib/texmf/fonts/ma p/pdftex/updmap/pdftex.map}] [2] [3] [4] [5] [6] (/usr/share/texmf-texlive/tex/latex/base/t1cmss.fd) [7] [8]) [9] (./main_options.aux) ) (see the transcript file for additional information) Output written on main_options.pdf (9 pages, 137572 bytes). Transcript written on main_options.log. mv main_options.pdf options.pdf make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/docs/manual' make[2]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/docs' /usr/bin/make BYTECODE_STATIC="" MANDIR=/usr/share/man all make[2]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make subdirs make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' for D in commons globals ctl parsing_cocci parsing_c engine popl09 extra python ocaml; do /usr/bin/make $D || exit 1 ; done make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make -C commons OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/commons' ocamlc -I ocamlextra -I ocollection -c ocamlextra/dumper.mli ocamlc -I ocamlextra -I ocollection -c ocamlextra/dumper.ml ocamlc -I ocamlextra -I ocollection -c ocamlextra/ANSITerminal.mli ocamlc -I ocamlextra -I ocollection -c ocamlextra/ANSITerminal.ml ocamlc -I ocamlextra -I ocollection -c ocamlextra/setb.mli ocamlc -I ocamlextra -I ocollection -c ocamlextra/setb.ml ocamlc -I ocamlextra -I ocollection -c ocamlextra/mapb.ml ocamlc -I ocamlextra -I ocollection -c ocamlextra/setPt.ml ocamlc -I ocamlextra -I ocollection -c common.mli ocamlc -I ocamlextra -I ocollection -c common.ml ocamlc -I ocamlextra -I ocollection -c common_extra.ml ocamlc -I ocamlextra -I ocollection -c interfaces.ml ocamlc -I ocamlextra -I ocollection -c objet.mli ocamlc -I ocamlextra -I ocollection -c objet.ml ocamlc -I ocamlextra -I ocollection -c ocollection.mli ocamlc -I ocamlextra -I ocollection -c ocollection.ml ocamlc -I ocamlextra -I ocollection -c seti.ml ocamlc -I ocamlextra -I ocollection -c oset.mli ocamlc -I ocamlextra -I ocollection -c oset.ml ocamlc -I ocamlextra -I ocollection -c oassoc.mli ocamlc -I ocamlextra -I ocollection -c oassoc.ml ocamlc -I ocamlextra -I ocollection -c osequence.mli ocamlc -I ocamlextra -I ocollection -c osequence.ml ocamlc -I ocamlextra -I ocollection -c ograph.mli ocamlc -I ocamlextra -I ocollection -c ograph.ml ocamlc -I ocamlextra -I ocollection -c ocollection/oseti.ml ocamlc -I ocamlextra -I ocollection -c ocollection/oseth.ml ocamlc -I ocamlextra -I ocollection -c ocollection/osetb.ml ocamlc -I ocamlextra -I ocollection -c ocollection/osetpt.ml ocamlc -I ocamlextra -I ocollection -c ocollection/oassocb.ml ocamlc -I ocamlextra -I ocollection -c ocollection/oassoch.ml ocamlc -I ocamlextra -I ocollection -c ocollection/oassoc_buffer.mli ocamlc -I ocamlextra -I ocollection -c ocollection/oassoc_buffer.ml ocamlc -I ocamlextra -I ocollection -c ocollection/oassoc_cache.mli ocamlc -I ocamlextra -I ocollection -c ocollection/oassoc_cache.ml ocamlc -I ocamlextra -I ocollection -c ocollection/oassocid.ml ocamlc -I ocamlextra -I ocollection -c oarray.mli ocamlc -I ocamlextra -I ocollection -c oarray.ml ocamlc -I ocamlextra -I ocollection -c ocollection/ograph2way.mli ocamlc -I ocamlextra -I ocollection -c ocollection/ograph2way.ml ocamlc -I ocamlextra -I ocollection -c ograph_simple.mli ocamlc -I ocamlextra -I ocollection -c ograph_simple.ml ocamlc -I ocamlextra -I ocollection -c ograph_extended.mli ocamlc -I ocamlextra -I ocollection -c ograph_extended.ml ocamlc -I ocamlextra -I ocollection -c ofullcommon.ml ocamlc -I ocamlextra -I ocollection -c glimpse.ml ocamlc -I ocamlextra -I ocollection -c parser_combinators.mli ocamlc -I ocamlextra -I ocollection -c parser_combinators.ml ocamlc -I ocamlextra -I ocollection -c ocamlextra/enum.mli ocamlc -I ocamlextra -I ocollection -c ocamlextra/enum.ml ocamlc -I ocamlextra -I ocollection -c ocamlextra/dynArray.mli ocamlc -I ocamlextra -I ocollection -c ocamlextra/dynArray.ml ocamlc -I ocamlextra -I ocollection -c ocamlextra/suffix_tree.mli ocamlc -I ocamlextra -I ocollection -c ocamlextra/suffix_tree.ml ocamlc -I ocamlextra -I ocollection -c ocamlextra/suffix_tree_ext.mli ocamlc -I ocamlextra -I ocollection -c ocamlextra/suffix_tree_ext.ml ocamlc -I ocamlextra -I ocollection -a -o commons.cma ocamlextra/dumper.cmo ocamlextra/ANSITerminal.cmo ocamlextra/setb.cmo ocamlextra/mapb.cmo ocamlextra/setPt.cmo common.cmo common_extra.cmo interfaces.cmo objet.cmo ocollection.cmo seti.cmo oset.cmo oassoc.cmo osequence.cmo ograph.cmo ocollection/oseti.cmo ocollection/oseth.cmo ocollection/osetb.cmo ocollection/osetpt.cmo ocollection/oassocb.cmo ocollection/oassoch.cmo ocollection/oassoc_buffer.cmo ocollection/oassoc_cache.cmo ocollection/oassocid.cmo oarray.cmo ocollection/ograph2way.cmo ograph_simple.cmo ograph_extended.cmo ofullcommon.cmo glimpse.cmo parser_combinators.cmo ocamlextra/enum.cmo ocamlextra/dynArray.cmo ocamlextra/suffix_tree.cmo ocamlextra/suffix_tree_ext.cmo make[5]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/commons' make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make -C globals OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/globals' ocamlc -I ../commons -c flag.ml ocamlc -I ../commons -c config.ml ocamlc -I ../commons -c iteration.mli ocamlc -I ../commons -c iteration.ml ocamlc -I ../commons -a -o globals.cma flag.cmo config.cmo iteration.cmo make[5]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/globals' make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make -C ctl OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/ctl' ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -c flag_ctl.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -c ast_ctl.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -c pretty_print_ctl.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -c pretty_print_ctl.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -c ctl_engine.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -c ctl_engine.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -c wrapper_ctl.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -c wrapper_ctl.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -a -o ctl.cma flag_ctl.cmo ast_ctl.cmo pretty_print_ctl.cmo ctl_engine.cmo wrapper_ctl.cmo make[5]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/ctl' make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make -C parsing_cocci OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/parsing_cocci' ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c flag_parsing_cocci.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c type_cocci.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c type_cocci.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast_cocci.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast_cocci.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast0_cocci.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast0_cocci.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c pretty_print_cocci.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c pretty_print_cocci.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unparse_ast0.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unparse_ast0.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast0_types.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast0.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast0.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c compute_lines.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c compute_lines.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c comm_assoc.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c comm_assoc.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_pattern.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_pattern.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_compile.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_compile.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c single_statement.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c single_statement.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c simple_assignments.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c simple_assignments.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast0toast.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast0toast.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c check_meta.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c check_meta.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c top_level.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c top_level.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c type_infer.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c type_infer.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c test_exps.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c test_exps.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unitary_ast0.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unitary_ast0.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c arity.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c arity.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c index.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c index.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c context_neg.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c context_neg.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjust_pragmas.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjust_pragmas.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c insert_plus.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c insert_plus.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c function_prototypes.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c function_prototypes.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unify_ast.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unify_ast.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c semantic_cocci.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c data.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c data.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c free_vars.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c free_vars.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c safe_for_multi_decls.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c safe_for_multi_decls.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parse_aux.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c disjdistr.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c disjdistr.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parser_cocci_menhir.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c lexer_cocci.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parser_cocci_menhir.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c lexer_script.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c get_constants2.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c get_constants2.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c id_utils.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c id_utils.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjacency.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjacency.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parse_cocci.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parse_cocci.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/menhirLib -a -o cocci_parser.cma /usr/lib/ocaml/menhirLib/menhirLib.cmo flag_parsing_cocci.cmo type_cocci.cmo ast_cocci.cmo ast0_cocci.cmo pretty_print_cocci.cmo unparse_ast0.cmo visitor_ast0_types.cmo visitor_ast.cmo visitor_ast0.cmo compute_lines.cmo comm_assoc.cmo iso_pattern.cmo iso_compile.cmo single_statement.cmo simple_assignments.cmo ast0toast.cmo check_meta.cmo top_level.cmo type_infer.cmo test_exps.cmo unitary_ast0.cmo arity.cmo index.cmo context_neg.cmo adjust_pragmas.cmo insert_plus.cmo function_prototypes.cmo unify_ast.cmo semantic_cocci.cmo data.cmo free_vars.cmo safe_for_multi_decls.cmo parse_aux.cmo disjdistr.cmo lexer_cocci.cmo parser_cocci_menhir.cmo lexer_script.cmo get_constants2.cmo id_utils.cmo adjacency.cmo parse_cocci.cmo make[5]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/parsing_cocci' make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make -C parsing_c OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/parsing_c' ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c flag_parsing_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_stat.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c ast_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c visitor_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c visitor_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lib_parsing_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c_build.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c_build.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c pretty_print_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c pretty_print_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c semantic_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lexer_parser.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lexer_parser.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parser_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parser_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lexer_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_helpers.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_helpers.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_views_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_views_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_token_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_token_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_hacks.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_hacks.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_analysis_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_analysis_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_cocci.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_cocci.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parse_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_hrule.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_hrule.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_recovery_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_recovery_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_consistency_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_consistency_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parse_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_ast_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_ast_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_annoter_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_annoter_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c comment_annotater_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c comment_annotater_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c compare_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c compare_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c test_parsing_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c test_parsing_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -a -o parsing_c.cma flag_parsing_c.cmo parsing_stat.cmo token_c.cmo ast_c.cmo control_flow_c.cmo visitor_c.cmo lib_parsing_c.cmo control_flow_c_build.cmo pretty_print_c.cmo semantic_c.cmo lexer_parser.cmo parser_c.cmo lexer_c.cmo token_helpers.cmo token_views_c.cmo cpp_token_c.cmo parsing_hacks.cmo cpp_analysis_c.cmo unparse_cocci.cmo unparse_c.cmo unparse_hrule.cmo parsing_recovery_c.cmo parsing_consistency_c.cmo parse_c.cmo type_c.cmo cpp_ast_c.cmo type_annoter_c.cmo comment_annotater_c.cmo compare_c.cmo test_parsing_c.cmo make[5]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/parsing_c' make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make -C engine OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/engine' ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c flag_matcher.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c lib_engine.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pretty_print_engine.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pretty_print_engine.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_exhaustive_pattern.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_reachability.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_reachability.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c c_vs_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c c_vs_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c isomorphisms_c_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c cocci_vs_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c cocci_vs_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pattern_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pattern_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c sgrep.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c transformation_c.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c transformation_c.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c asttomember.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c asttomember.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c asttoctl2.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c asttoctl2.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctltotex.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctltotex.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c postprocess_transinfo.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c postprocess_transinfo.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctlcocci_integration.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctlcocci_integration.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -a -o cocciengine.cma flag_matcher.cmo lib_engine.cmo pretty_print_engine.cmo check_exhaustive_pattern.cmo check_reachability.cmo c_vs_c.cmo isomorphisms_c_c.cmo cocci_vs_c.cmo pattern_c.cmo sgrep.cmo transformation_c.cmo asttomember.cmo asttoctl2.cmo ctltotex.cmo postprocess_transinfo.cmo ctlcocci_integration.cmo make[5]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/engine' make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make -C popl09 OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/popl09' ocamlc -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c ast_popl.ml ocamlc -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c asttopopl.mli ocamlc -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c asttopopl.ml ocamlc -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c insert_quantifiers.mli ocamlc -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c insert_quantifiers.ml ocamlc -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c pretty_print_popl.mli ocamlc -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c pretty_print_popl.ml ocamlc -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c flag_popl.ml ocamlc -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popltoctl.mli ocamlc -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popltoctl.ml ocamlc -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popl.mli ocamlc -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popl.ml ocamlc -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -a -o popl.cma ast_popl.cmo asttopopl.cmo insert_quantifiers.cmo pretty_print_popl.cmo flag_popl.cmo popltoctl.cmo popl.cmo make[5]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/popl09' make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make -C extra OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/extra' ocamlc -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c classic_patch.mli ocamlc -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c classic_patch.ml ocamlc -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c kbuild.mli ocamlc -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c kbuild.ml ocamlc -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c maintainers.mli ocamlc -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c maintainers.ml ocamlc -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -a -o extra.cma classic_patch.cmo kbuild.cmo maintainers.cmo make[5]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/extra' make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make -C python OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/python' ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I /usr/lib/ocaml/pycaml -c pycocci_aux.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I /usr/lib/ocaml/pycaml -c pycocci_aux.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I /usr/lib/ocaml/pycaml -c pycocci.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I /usr/lib/ocaml/pycaml -c pycocci.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I /usr/lib/ocaml/pycaml -a -o coccipython.cma pycocci_aux.cmo pycocci.cmo make[5]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/python' make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make -C ocaml OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/ocaml' ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -c coccilib.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -c coccilib.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -c ocamlcocci_aux.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -c ocamlcocci_aux.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -c prepare_ocamlcocci.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -c prepare_ocamlcocci.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -c run_ocamlcocci.mli ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -c run_ocamlcocci.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -a -o cocciocaml.cma coccilib.cmo ocamlcocci_aux.cmo prepare_ocamlcocci.cmo run_ocamlcocci.cmo make[5]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/ocaml' make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make -C commons sexp OCAMLCFLAGS="" make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/commons' /usr/bin/make INCLUDESEXTRA="-I /usr/lib/ocaml/sexplib -I ../ocamltarzan/lib-sexp -I ../../ocamltarzan/lib-sexp" commons_sexp.cma make[5]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/commons' ocamlc -I ocamlextra -I ocollection -I /usr/lib/ocaml/sexplib -I ../ocamltarzan/lib-sexp -I ../../ocamltarzan/lib-sexp -c sexp_common.ml ocamlc -I ocamlextra -I ocollection -I /usr/lib/ocaml/sexplib -I ../ocamltarzan/lib-sexp -I ../../ocamltarzan/lib-sexp -a -o commons_sexp.cma sexp_common.cmo make[5]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/commons' make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/commons' make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make spatch make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make -C commons OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/commons' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/commons' /usr/bin/make -C globals OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/globals' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/globals' /usr/bin/make -C ctl OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/ctl' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/ctl' /usr/bin/make -C parsing_cocci OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/parsing_cocci' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/parsing_cocci' /usr/bin/make -C parsing_c OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/parsing_c' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/parsing_c' /usr/bin/make -C engine OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/engine' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/engine' /usr/bin/make -C popl09 OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/popl09' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/popl09' /usr/bin/make -C extra OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/extra' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/extra' /usr/bin/make -C python OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/python' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/python' /usr/bin/make -C ocaml OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-0.2.5.deb/ocaml' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb/ocaml' ocamlc -I commons -I commons/ocamlextra -I globals -I ctl -I parsing_cocci -I parsing_c -I engine -I popl09 -I extra -I python -I ocaml -I /usr/lib/ocaml/sexplib -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pycaml -c flag_cocci.ml ocamlc -I commons -I commons/ocamlextra -I globals -I ctl -I parsing_cocci -I parsing_c -I engine -I popl09 -I extra -I python -I ocaml -I /usr/lib/ocaml/sexplib -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pycaml -c cocci.mli ocamlc -I commons -I commons/ocamlextra -I globals -I ctl -I parsing_cocci -I parsing_c -I engine -I popl09 -I extra -I python -I ocaml -I /usr/lib/ocaml/sexplib -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pycaml -c cocci.ml ocamlc -I commons -I commons/ocamlextra -I globals -I ctl -I parsing_cocci -I parsing_c -I engine -I popl09 -I extra -I python -I ocaml -I /usr/lib/ocaml/sexplib -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pycaml -c testing.mli ocamlc -I commons -I commons/ocamlextra -I globals -I ctl -I parsing_cocci -I parsing_c -I engine -I popl09 -I extra -I python -I ocaml -I /usr/lib/ocaml/sexplib -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pycaml -c testing.ml ocamlc -I commons -I commons/ocamlextra -I globals -I ctl -I parsing_cocci -I parsing_c -I engine -I popl09 -I extra -I python -I ocaml -I /usr/lib/ocaml/sexplib -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pycaml -c test.ml ocamlc -I commons -I commons/ocamlextra -I globals -I ctl -I parsing_cocci -I parsing_c -I engine -I popl09 -I extra -I python -I ocaml -I /usr/lib/ocaml/sexplib -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pycaml -c main.ml ocamlc -I commons -I commons/ocamlextra -I globals -I ctl -I parsing_cocci -I parsing_c -I engine -I popl09 -I extra -I python -I ocaml -I /usr/lib/ocaml/sexplib -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pycaml -o spatch str.cma unix.cma bigarray.cma nums.cma pycaml.cma dynlink.cma sexplib.cma commons/commons.cma commons/commons_sexp.cma globals/globals.cma ctl/ctl.cma parsing_cocci/cocci_parser.cma parsing_c/parsing_c.cma engine/cocciengine.cma popl09/popl.cma extra/extra.cma python/coccipython.cma ocaml/cocciocaml.cma flag_cocci.cmo cocci.cmo testing.cmo test.cmo main.cmo make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' cp scripts/spatch.sh scripts/spatch.tmp2 sed "s|SHAREDIR|/usr/share/coccinelle|g" scripts/spatch.tmp2 > scripts/spatch.tmp sed "s|LIBDIR|/usr/lib|g" scripts/spatch.tmp > scripts/spatch rm -f scripts/spatch.tmp2 scripts/spatch.tmp cp scripts/spatch.sh scripts/spatch.opt.tmp2 sed "s|SHAREDIR|/usr/share/coccinelle|g" scripts/spatch.opt.tmp2 \ > scripts/spatch.opt.tmp sed "s|LIBDIR|/usr/lib|g" scripts/spatch.opt.tmp \ > scripts/spatch.opt rm -f scripts/spatch.opt.tmp scripts/spatch.opt.tmp2 cp scripts/spatch.sh scripts/spatch.byte.tmp3 sed "s|\.opt||" scripts/spatch.byte.tmp3 > scripts/spatch.byte.tmp2 sed "s|SHAREDIR|/usr/share/coccinelle|g" scripts/spatch.byte.tmp2 \ > scripts/spatch.byte.tmp sed "s|LIBDIR|/usr/lib|g" scripts/spatch.byte.tmp \ > scripts/spatch.byte rm -f scripts/spatch.byte.tmp3 \ scripts/spatch.byte.tmp2 \ scripts/spatch.byte.tmp make[2]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' make[1]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' debian/rules override_dh_auto_test make[1]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' # Nothing make[1]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/fakeroot debian/rules binary-arch dh --with ocaml binary-arch dh_testroot -a dh_prep -a dh_installdirs -a debian/rules override_dh_auto_install make[1]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' /usr/bin/make DESTDIR=/build/buildd/coccinelle-0.2.5.deb/debian/coccinelle BYTECODE_STATIC="" MANDIR=/usr/share/man install install-bash make[2]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' mkdir -p /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/bin mkdir -p /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/lib mkdir -p /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle/ocaml mkdir -p /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle/commons mkdir -p /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle/globals mkdir -p /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle/parsing_c mkdir -p /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/man/man1 install -c -m 644 standard.h /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle install -c -m 644 standard.iso /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle install -c -m 644 ocaml/coccilib.cmi /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle/ocaml/ install -c -m 644 parsing_c/*.cmi /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle/parsing_c/ install -c -m 644 commons/*.cmi /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle/commons/ install -c -m 644 globals/iteration.cmi /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle/globals/ install -c -m 644 docs/spatch.1 /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/man/man1/ make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' mkdir -p /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle/python/coccilib/coccigui install -c -m 644 python/coccilib/*.py \ /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle/python/coccilib install -c -m 644 python/coccilib/coccigui/*.py \ /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle/python/coccilib/coccigui install -c -m 644 python/coccilib/coccigui/pygui.glade \ /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle/python/coccilib/coccigui install -c -m 644 python/coccilib/coccigui/pygui.gladep \ /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle/python/coccilib/coccigui if [ -f pycaml/dllpycaml_stubs.so ]; then \ install -c -m 755 pycaml/dllpycaml_stubs.so /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/lib ; fi make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' make[3]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' install -c -m 755 spatch /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle install -c -m 755 scripts/spatch.byte /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/bin/spatch make[3]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' You can also install spatch by copying the program spatch (available in this directory) anywhere you want and give it the right options to find its configuration files. mkdir -p /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/etc/bash_completion.d install -c -m 644 scripts/spatch.bash_completion \ /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/etc/bash_completion.d/spatch make[2]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' # install the wrapper script, i dont like upstreams one rm /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/bin/spatch* install /build/buildd/coccinelle-0.2.5.deb/debian/spatch /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/bin/ # move binary into /usr/lib/coccinelle mv /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/coccinelle/spatch* \ /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/lib/coccinelle/spatch # Vim files install -d /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/vim/addons/ftdetect /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/vim/addons/syntax cp /build/buildd/coccinelle-0.2.5.deb/editors/vim/ftdetect/cocci.vim /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/vim/addons/ftdetect/ cp /build/buildd/coccinelle-0.2.5.deb/editors/vim/syntax/cocci.vim /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/vim/addons/syntax/ install -d /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/vim/registry cp /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle.yaml /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/vim/registry/ # Emacs files cp /build/buildd/coccinelle-0.2.5.deb/editors/emacs/cocci.el /build/buildd/coccinelle-0.2.5.deb/debian/coccinelle/usr/share/emacs/site-lisp/ make[1]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_installexamples -a dh_installman -a dh_installcatalogs -a dh_installcron -a dh_installdebconf -a dh_installemacsen -a dh_installifupdown -a dh_installinfo -a dh_pysupport -a dh_installinit -a Duplicate specification "O=s" for option "O" dh_installmenu -a dh_installmime -a dh_installmodules -a dh_installlogcheck -a dh_installlogrotate -a dh_installpam -a dh_installppp -a dh_installudev -a dh_installwm -a dh_installxfonts -a dh_installgsettings -a dh_bugfiles -a dh_ucf -a dh_lintian -a dh_gconf -a dh_icons -a dh_perl -a dh_usrlocal -a dh_link -a debian/rules override_dh_compress make[1]: Entering directory `/build/buildd/coccinelle-0.2.5.deb' dh_compress -X.pdf -X.cocci -X.c make[1]: Leaving directory `/build/buildd/coccinelle-0.2.5.deb' dh_fixperms -a dh_strip -a dh_strip debug symbol extraction: all non-arch-all packages for this build platform armel: coccinelle dh_strip debug symbol extraction: packages to act on: coccinelle dh_strip debug symbol extraction: ignored packages: coccinelle is already stripped, ignoring dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_ocaml -a W: coccinelle doesn't resolve dependency on unit Wrapper_ctl W: coccinelle doesn't resolve dependency on unit Ast_ctl W: coccinelle doesn't resolve dependency on unit Oassocb W: coccinelle doesn't resolve dependency on unit Free_vars W: coccinelle doesn't resolve dependency on unit Comm_assoc W: coccinelle doesn't resolve dependency on unit Ctlcocci_integration W: coccinelle doesn't resolve dependency on unit Mapb W: coccinelle doesn't resolve dependency on unit Visitor_ast0 W: coccinelle doesn't resolve dependency on unit Adjacency W: coccinelle doesn't resolve dependency on unit Parse_aux W: coccinelle doesn't resolve dependency on unit Ast_cocci W: coccinelle doesn't resolve dependency on unit Config W: coccinelle doesn't resolve dependency on unit Popl W: coccinelle doesn't resolve dependency on unit Ast0_cocci W: coccinelle doesn't resolve dependency on unit Id_utils W: coccinelle doesn't resolve dependency on unit Cocci W: coccinelle doesn't resolve dependency on unit Safe_for_multi_decls W: coccinelle doesn't resolve dependency on unit Flag_cocci W: coccinelle doesn't resolve dependency on unit Pycocci_aux W: coccinelle doesn't resolve dependency on unit Simple_assignments W: coccinelle doesn't resolve dependency on unit Oseti W: coccinelle doesn't resolve dependency on unit Pretty_print_cocci W: coccinelle doesn't resolve dependency on unit Pattern_c W: coccinelle doesn't resolve dependency on unit Prepare_ocamlcocci W: coccinelle doesn't resolve dependency on unit Function_prototypes W: coccinelle doesn't resolve dependency on unit Type_infer W: coccinelle doesn't resolve dependency on unit Run_ocamlcocci W: coccinelle doesn't resolve dependency on unit Get_constants2 W: coccinelle doesn't resolve dependency on unit Dumper W: coccinelle doesn't resolve dependency on unit Compute_lines W: coccinelle doesn't resolve dependency on unit Lib_engine W: coccinelle doesn't resolve dependency on unit Unparse_ast0 W: coccinelle doesn't resolve dependency on unit Top_level W: coccinelle doesn't resolve dependency on unit Oassoch W: coccinelle doesn't resolve dependency on unit Pretty_print_ctl W: coccinelle doesn't resolve dependency on unit Asttopopl W: coccinelle doesn't resolve dependency on unit Parser_cocci_menhir W: coccinelle doesn't resolve dependency on unit Ograph2way W: coccinelle doesn't resolve dependency on unit Data W: coccinelle doesn't resolve dependency on unit Adjust_pragmas W: coccinelle doesn't resolve dependency on unit Check_meta W: coccinelle doesn't resolve dependency on unit Setb W: coccinelle doesn't resolve dependency on unit Visitor_ast0_types W: coccinelle doesn't resolve dependency on unit Single_statement W: coccinelle doesn't resolve dependency on unit Transformation_c W: coccinelle doesn't resolve dependency on unit Testing W: coccinelle doesn't resolve dependency on unit Annot W: coccinelle doesn't resolve dependency on unit Insert_plus W: coccinelle doesn't resolve dependency on unit Asttoctl2 W: coccinelle doesn't resolve dependency on unit Visitor_ast W: coccinelle doesn't resolve dependency on unit C_vs_c W: coccinelle doesn't resolve dependency on unit Ast0toast W: coccinelle doesn't resolve dependency on unit SetPt W: coccinelle doesn't resolve dependency on unit Disjdistr W: coccinelle doesn't resolve dependency on unit Kbuild W: coccinelle doesn't resolve dependency on unit Ocamlcocci_aux W: coccinelle doesn't resolve dependency on unit Main W: coccinelle doesn't resolve dependency on unit Check_reachability W: coccinelle doesn't resolve dependency on unit Test_exps W: coccinelle doesn't resolve dependency on unit Ctl_engine W: coccinelle doesn't resolve dependency on unit ANSITerminal W: coccinelle doesn't resolve dependency on unit Asttomember W: coccinelle doesn't resolve dependency on unit Cocci_vs_c W: coccinelle doesn't resolve dependency on unit Arity W: coccinelle doesn't resolve dependency on unit Flag_popl W: coccinelle doesn't resolve dependency on unit Popltoctl W: coccinelle doesn't resolve dependency on unit Pycocci W: coccinelle doesn't resolve dependency on unit Osetb W: coccinelle doesn't resolve dependency on unit Flag_matcher W: coccinelle doesn't resolve dependency on unit Unitary_ast0 W: coccinelle doesn't resolve dependency on unit Test W: coccinelle doesn't resolve dependency on unit Postprocess_transinfo W: coccinelle doesn't resolve dependency on unit Pretty_print_engine W: coccinelle doesn't resolve dependency on unit Parse_cocci W: coccinelle doesn't resolve dependency on unit Iso_compile W: coccinelle doesn't resolve dependency on unit Flag W: coccinelle doesn't resolve dependency on unit Lexer_cocci W: coccinelle doesn't resolve dependency on unit Context_neg W: coccinelle doesn't resolve dependency on unit Type_cocci W: coccinelle doesn't resolve dependency on unit Oassoc_buffer W: coccinelle doesn't resolve dependency on unit Flag_ctl W: coccinelle doesn't resolve dependency on unit Insert_quantifiers W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci W: coccinelle doesn't resolve dependency on unit Iso_pattern W: coccinelle doesn't resolve dependency on unit Semantic_cocci W: coccinelle doesn't resolve dependency on unit Ctltotex W: coccinelle doesn't resolve dependency on unit Index W: coccinelle doesn't resolve dependency on unit Ast_popl W: coccinelle doesn't resolve dependency on unit Lexer_script dh_gencontrol -a dpkg-gencontrol: warning: Depends field of package coccinelle: unknown substitution variable ${shlibs:Depends} dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 98 pkgstriptranslations: processing control file: ./debian/coccinelle/DEBIAN/control, package coccinelle, directory ./debian/coccinelle pkgstriptranslations: coccinelle does not contain translations, skipping pkgstriptranslations: no translation files, not creating tarball pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/coccinelle/DEBIAN/control, package coccinelle, directory debian/coccinelle pkgstripfiles: Truncating changelog to topmost ten records dpkg-deb: warning: 'debian/coccinelle/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `coccinelle' in `../coccinelle_0.2.5.deb-3_armel.deb'. dpkg-genchanges -B -mUbuntu/armel Build Daemon >../coccinelle_0.2.5.deb-3_armel.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build coccinelle-0.2.5.deb dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20110518-1147 chroot-autobuild/build/buildd/coccinelle_0.2.5.deb-3_armel.deb: new debian package, version 2.0. size 1545676 bytes: control archive= 7787 bytes. 70 bytes, 2 lines conffiles 787 bytes, 16 lines control 20878 bytes, 247 lines md5sums 188 bytes, 7 lines * postinst #!/bin/sh 191 bytes, 7 lines * prerm #!/bin/sh Package: coccinelle Version: 0.2.5.deb-3 Architecture: armel Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 5876 Depends: libpycaml-ocaml-866g5, ocaml-base-nox-3.12.0, python, python-support (>= 0.90.0), python-gobject, python-gtk2, python-glade2, ocaml-findlib Suggests: vim-addon-manager Section: devel Priority: optional Homepage: http://coccinelle.lip6.fr 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. chroot-autobuild/build/buildd/coccinelle_0.2.5.deb-3_armel.deb: drwxr-xr-x root/root 0 2011-05-18 11:46 ./ drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/ drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/bin/ -rwxr-xr-x root/root 119 2011-05-18 11:46 ./usr/bin/spatch drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/ drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/emacs/ drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/emacs/site-lisp/ -rw-r--r-- root/root 11218 2011-05-18 11:46 ./usr/share/emacs/site-lisp/cocci.el drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/vim/ drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/vim/addons/ drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/vim/addons/ftdetect/ -rw-r--r-- root/root 367 2011-05-18 11:46 ./usr/share/vim/addons/ftdetect/cocci.vim drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/vim/addons/syntax/ -rw-r--r-- root/root 1248 2011-05-18 11:46 ./usr/share/vim/addons/syntax/cocci.vim drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/vim/registry/ -rw-r--r-- root/root 144 2011-05-18 11:46 ./usr/share/vim/registry/coccinelle.yaml drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/man/ drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/man/man1/ -rw-r--r-- root/root 2181 2011-05-18 11:46 ./usr/share/man/man1/spatch.1.gz drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/coccinelle/ drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/coccinelle/globals/ -rw-r--r-- root/root 1188 2011-05-18 11:46 ./usr/share/coccinelle/globals/iteration.cmi drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/coccinelle/ocaml/ -rw-r--r-- root/root 1748 2011-05-18 11:46 ./usr/share/coccinelle/ocaml/coccilib.cmi drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/coccinelle/commons/ -rw-r--r-- root/root 1354 2011-05-18 11:46 ./usr/share/coccinelle/commons/glimpse.cmi -rw-r--r-- root/root 87711 2011-05-18 11:46 ./usr/share/coccinelle/commons/common.cmi -rw-r--r-- root/root 4067 2011-05-18 11:46 ./usr/share/coccinelle/commons/ograph_simple.cmi -rw-r--r-- root/root 7276 2011-05-18 11:46 ./usr/share/coccinelle/commons/osequence.cmi -rw-r--r-- root/root 2845 2011-05-18 11:46 ./usr/share/coccinelle/commons/seti.cmi -rw-r--r-- root/root 3051 2011-05-18 11:46 ./usr/share/coccinelle/commons/ograph.cmi -rw-r--r-- root/root 679 2011-05-18 11:46 ./usr/share/coccinelle/commons/common_extra.cmi -rw-r--r-- root/root 5457 2011-05-18 11:46 ./usr/share/coccinelle/commons/sexp_common.cmi -rw-r--r-- root/root 7487 2011-05-18 11:46 ./usr/share/coccinelle/commons/oarray.cmi -rw-r--r-- root/root 4626 2011-05-18 11:46 ./usr/share/coccinelle/commons/ocollection.cmi -rw-r--r-- root/root 170730 2011-05-18 11:46 ./usr/share/coccinelle/commons/ofullcommon.cmi -rw-r--r-- root/root 3695 2011-05-18 11:46 ./usr/share/coccinelle/commons/parser_combinators.cmi -rw-r--r-- root/root 8293 2011-05-18 11:46 ./usr/share/coccinelle/commons/ograph_extended.cmi -rw-r--r-- root/root 7676 2011-05-18 11:46 ./usr/share/coccinelle/commons/oset.cmi -rw-r--r-- root/root 1439 2011-05-18 11:46 ./usr/share/coccinelle/commons/objet.cmi -rw-r--r-- root/root 2201 2011-05-18 11:46 ./usr/share/coccinelle/commons/interfaces.cmi -rw-r--r-- root/root 6909 2011-05-18 11:46 ./usr/share/coccinelle/commons/oassoc.cmi -rw-r--r-- root/root 15163 2011-05-18 11:46 ./usr/share/coccinelle/standard.iso drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/coccinelle/python/ drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/ -rw-r--r-- root/root 24 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/__init__.py -rw-r--r-- root/root 588 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/elems.py -rw-r--r-- root/root 557 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/trac.py -rw-r--r-- root/root 2948 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/output.py -rw-r--r-- root/root 161 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/report.py -rw-r--r-- root/root 1136 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/org.py drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/coccigui/ -rw-r--r-- root/root 4953 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/coccigui/pygui.glade -rw-r--r-- root/root 24 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/coccigui/__init__.py -rw-r--r-- root/root 9798 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/coccigui/vimeditor.py -rw-r--r-- root/root 27180 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/coccigui/vimcom.py -rw-r--r-- root/root 599 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/coccigui/pycoccimodel.py -rw-r--r-- root/root 4613 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/coccigui/coccigui.py -rw-r--r-- root/root 271 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/coccigui/pygui.gladep -rw-r--r-- root/root 9168 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/coccigui/vim.py -rw-r--r-- root/root 4364 2011-05-18 11:46 ./usr/share/coccinelle/python/coccilib/coccigui/vimembed.py drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/ -rw-r--r-- root/root 1211 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/compare_c.cmi -rw-r--r-- root/root 637 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/parsing_consistency_c.cmi -rw-r--r-- root/root 1714 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/cpp_token_c.cmi -rw-r--r-- root/root 3709 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/token_helpers.cmi -rw-r--r-- root/root 3905 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/parse_c.cmi -rw-r--r-- root/root 2751 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/type_c.cmi -rw-r--r-- root/root 5264 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/flag_parsing_c.cmi -rw-r--r-- root/root 959 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/cpp_analysis_c.cmi -rw-r--r-- root/root 3485 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/lexer_c.cmi -rw-r--r-- root/root 4584 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/parsing_stat.cmi -rw-r--r-- root/root 13240 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/visitor_c.cmi -rw-r--r-- root/root 2170 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/lexer_parser.cmi -rw-r--r-- root/root 452 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/semantic_c.cmi -rw-r--r-- root/root 1949 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/control_flow_c_build.cmi -rw-r--r-- root/root 22133 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/ast_c.cmi -rw-r--r-- root/root 1085 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/unparse_c.cmi -rw-r--r-- root/root 5664 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/pretty_print_c.cmi -rw-r--r-- root/root 834 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/parsing_recovery_c.cmi -rw-r--r-- root/root 757 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/comment_annotater_c.cmi -rw-r--r-- root/root 2383 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/parsing_hacks.cmi -rw-r--r-- root/root 769 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/unparse_hrule.cmi -rw-r--r-- root/root 3415 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/token_views_c.cmi -rw-r--r-- root/root 849 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/token_c.cmi -rw-r--r-- root/root 2243 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/cpp_ast_c.cmi -rw-r--r-- root/root 1485 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/unparse_cocci.cmi -rw-r--r-- root/root 1393 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/test_parsing_c.cmi -rw-r--r-- root/root 1802 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/type_annoter_c.cmi -rw-r--r-- root/root 5203 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/control_flow_c.cmi -rw-r--r-- root/root 8821 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/lib_parsing_c.cmi -rw-r--r-- root/root 8551 2011-05-18 11:46 ./usr/share/coccinelle/parsing_c/parser_c.cmi -rw-r--r-- root/root 21601 2011-05-18 11:46 ./usr/share/coccinelle/standard.h drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/doc/ drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/doc/coccinelle/ -rw-r--r-- root/root 1409 2010-06-18 23:17 ./usr/share/doc/coccinelle/readme.txt drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/doc/coccinelle/examples/ -rw-r--r-- root/root 15 2008-09-25 23:56 ./usr/share/doc/coccinelle/examples/foo.cocci -rw-r--r-- root/root 1081 2007-09-04 15:34 ./usr/share/doc/coccinelle/examples/itimer.res -rw-r--r-- root/root 670 2008-04-20 09:56 ./usr/share/doc/coccinelle/examples/printloc.cocci -rw-r--r-- root/root 73 2009-02-28 01:46 ./usr/share/doc/coccinelle/examples/platform_ifdef.cocci -rw-r--r-- root/root 847 2010-05-17 14:55 ./usr/share/doc/coccinelle/examples/orgmode.cocci -rw-r--r-- root/root 947 2007-09-04 15:34 ./usr/share/doc/coccinelle/examples/itimer.c -rw-r--r-- root/root 281 2010-01-26 06:54 ./usr/share/doc/coccinelle/examples/vm.cocci -rw-r--r-- root/root 697 2010-06-18 16:25 ./usr/share/doc/coccinelle/examples/ocaml.cocci -rw-r--r-- root/root 4810 2007-02-07 20:57 ./usr/share/doc/coccinelle/examples/usb_submit_urb.c -rw-r--r-- root/root 182 2009-02-19 16:42 ./usr/share/doc/coccinelle/examples/macro_fix_standard.h -rw-r--r-- root/root 154 2007-07-09 08:04 ./usr/share/doc/coccinelle/examples/foobar.c drwxr-xr-x root/root 0 2011-04-02 08:38 ./usr/share/doc/coccinelle/examples/ocaml/ -rw-r--r-- root/root 413 2010-06-20 15:23 ./usr/share/doc/coccinelle/examples/ocaml/pg.cocci -rw-r--r-- root/root 614 2010-06-20 01:52 ./usr/share/doc/coccinelle/examples/ocaml/dbm.cocci -rw-r--r-- root/root 81 2010-06-20 01:52 ./usr/share/doc/coccinelle/examples/ocaml/dbm.c -rw-r--r-- root/root 81 2010-06-20 01:46 ./usr/share/doc/coccinelle/examples/ocaml/pg.c -rw-r--r-- root/root 276 2009-02-19 01:34 ./usr/share/doc/coccinelle/examples/ifdef_skip_tag.c -rw-r--r-- root/root 92 2007-12-29 10:00 ./usr/share/doc/coccinelle/examples/not.res drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/doc/coccinelle/examples/demo_rule9/ -rw-r--r-- root/root 7589 2007-11-01 09:43 ./usr/share/doc/coccinelle/examples/demo_rule9/g_NCR5380.res.gz -rw-r--r-- root/root 461 2007-11-01 09:43 ./usr/share/doc/coccinelle/examples/demo_rule9/rule9_2.cocci -rw-r--r-- root/root 377446 2007-11-01 09:43 ./usr/share/doc/coccinelle/examples/demo_rule9/sym53c8xx.c -rw-r--r-- root/root 4070 2007-11-01 09:43 ./usr/share/doc/coccinelle/examples/demo_rule9/README -rw-r--r-- root/root 1184 2007-11-01 09:43 ./usr/share/doc/coccinelle/examples/demo_rule9/rule9.cocci -rw-r--r-- root/root 102534 2007-11-01 09:43 ./usr/share/doc/coccinelle/examples/demo_rule9/sym53c8xx.res.gz -rw-r--r-- root/root 610 2007-11-01 09:43 ./usr/share/doc/coccinelle/examples/demo_rule9/rule9_3.cocci -rw-r--r-- root/root 1092 2007-11-01 09:43 ./usr/share/doc/coccinelle/examples/demo_rule9/rule9_5.cocci -rw-r--r-- root/root 24346 2007-11-01 09:43 ./usr/share/doc/coccinelle/examples/demo_rule9/scsiglue.c -rw-r--r-- root/root 51543 2007-11-01 09:43 ./usr/share/doc/coccinelle/examples/demo_rule9/nsp_cs.c -rw-r--r-- root/root 26040 2007-11-01 09:43 ./usr/share/doc/coccinelle/examples/demo_rule9/g_NCR5380.c -rw-r--r-- root/root 786 2007-11-01 09:43 ./usr/share/doc/coccinelle/examples/demo_rule9/rule9_4.cocci -rw-r--r-- root/root 461 2007-11-01 09:43 ./usr/share/doc/coccinelle/examples/demo_rule9/rule9_1.cocci -rw-r--r-- root/root 13794 2007-11-01 09:43 ./usr/share/doc/coccinelle/examples/demo_rule9/nsp_cs.res.gz -rw-r--r-- root/root 6902 2007-11-01 09:43 ./usr/share/doc/coccinelle/examples/demo_rule9/scsiglue.res.gz -rw-r--r-- root/root 45 2009-03-20 18:31 ./usr/share/doc/coccinelle/examples/foo.c -rw-r--r-- root/root 181 2010-07-24 21:01 ./usr/share/doc/coccinelle/examples/camltococci.cocci drwxr-xr-x root/root 0 2011-04-02 08:38 ./usr/share/doc/coccinelle/examples/janitorings/ -rw-r--r-- root/root 187 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/string-array-decl-opti.cocci -rw-r--r-- root/root 1551 2007-09-14 00:29 ./usr/share/doc/coccinelle/examples/janitorings/netdev_priv.cocci -rw-r--r-- root/root 104 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/list_for_each_safe.sgrep -rw-r--r-- root/root 5707 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/kzalloc-orig.cocci -rw-r--r-- root/root 1033 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/alloc_page.cocci -rw-r--r-- root/root 14 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/BUG_ON.sgrep -rw-r--r-- root/root 706 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/remove_cast_kmalloc.cocci -rw-r--r-- root/root 165 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/bad_zero-orig.cocci -rw-r--r-- root/root 120 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/netdev_find_allocfunc.c -rw-r--r-- root/root 104 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/kcalloc_un.cocci -rw-r--r-- root/root 1160 2007-07-30 08:58 ./usr/share/doc/coccinelle/examples/janitorings/static_initfunc.cocci -rw-r--r-- root/root 156 2007-07-30 08:58 ./usr/share/doc/coccinelle/examples/janitorings/static_initfunc.c -rw-r--r-- root/root 74 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/netdev_priv2.cocci -rw-r--r-- root/root 137 2007-08-27 21:27 ./usr/share/doc/coccinelle/examples/janitorings/list_for_each.c -rw-r--r-- root/root 239 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/string-array-decl-opti.c -rw-r--r-- root/root 190 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/netdev_find_allocfunc.sgrep -rw-r--r-- root/root 1604 2007-07-27 16:06 ./usr/share/doc/coccinelle/examples/janitorings/ARRAY_SIZE.cocci -rw-r--r-- root/root 5683 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/kzalloc.cocci -rw-r--r-- root/root 274 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/BUG_ON.cocci -rw-r--r-- root/root 42 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/bad_zero_affect.cocci -rw-r--r-- root/root 85 2007-08-28 21:30 ./usr/share/doc/coccinelle/examples/janitorings/list_for_each_safe.c -rw-r--r-- root/root 343 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/useless_cast.cocci -rw-r--r-- root/root 66 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/set_current_state.cocci -rw-r--r-- root/root 758 2007-08-27 21:27 ./usr/share/doc/coccinelle/examples/janitorings/list_for_each.cocci -rw-r--r-- root/root 224 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/netdev_priv.c -rw-r--r-- root/root 2633 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/is_power_of_2.cocci -rw-r--r-- root/root 934 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/clear_page.cocci -rw-r--r-- root/root 506 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/useless_cast.c -rw-r--r-- root/root 138 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/kzalloc-fix.cocci -rw-r--r-- root/root 637 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/netdev_priv_dangerous.sgrep -rw-r--r-- root/root 366 2007-07-30 08:58 ./usr/share/doc/coccinelle/examples/janitorings/bad_zero.cocci -rw-r--r-- root/root 126 2007-07-25 13:01 ./usr/share/doc/coccinelle/examples/janitorings/bad_zero.c -rw-r--r-- root/root 157 2007-03-08 16:02 ./usr/share/doc/coccinelle/examples/ioctl_multiple_rules.c drwxr-xr-x root/root 0 2011-04-02 08:38 ./usr/share/doc/coccinelle/examples/sgrep/ -rw-r--r-- root/root 158 2007-06-05 08:27 ./usr/share/doc/coccinelle/examples/sgrep/a_and_b.c -rw-r--r-- root/root 158 2007-06-04 18:18 ./usr/share/doc/coccinelle/examples/sgrep/a_and_b.sgrep -rw-r--r-- root/root 173 2007-06-01 11:52 ./usr/share/doc/coccinelle/examples/sgrep/README -rw-r--r-- root/root 1593 2007-06-01 11:52 ./usr/share/doc/coccinelle/examples/sgrep/null.sgrep -rw-r--r-- root/root 95 2007-06-01 13:16 ./usr/share/doc/coccinelle/examples/sgrep/simple.c -rw-r--r-- root/root 2043 2007-06-01 11:52 ./usr/share/doc/coccinelle/examples/sgrep/free.sgrep -rw-r--r-- root/root 599 2007-06-01 11:52 ./usr/share/doc/coccinelle/examples/sgrep/device_id.sgrep -rw-r--r-- root/root 292 2007-06-03 13:14 ./usr/share/doc/coccinelle/examples/sgrep/run.sh -rw-r--r-- root/root 1031 2007-07-27 12:24 ./usr/share/doc/coccinelle/examples/sgrep/dangerous_GFP_KERNEL.sgrep -rw-r--r-- root/root 282 2007-06-01 11:52 ./usr/share/doc/coccinelle/examples/sgrep/intr4.sgrep -rw-r--r-- root/root 126 2007-06-01 13:16 ./usr/share/doc/coccinelle/examples/sgrep/simple.sgrep -rw-r--r-- root/root 137 2007-06-04 16:39 ./usr/share/doc/coccinelle/examples/sgrep/dangerous_GFP_KERNEL2.sgrep -rw-r--r-- root/root 66 2007-06-01 11:52 ./usr/share/doc/coccinelle/examples/sgrep/double_cast.sgrep -rw-r--r-- root/root 78 2007-06-01 11:52 ./usr/share/doc/coccinelle/examples/sgrep/dangerous_arith_pointer_cast.sgrep -rw-r--r-- root/root 156 2007-03-08 16:02 ./usr/share/doc/coccinelle/examples/type_fields.c -rw-r--r-- root/root 55 2007-02-07 19:35 ./usr/share/doc/coccinelle/examples/simple.c -rw-r--r-- root/root 55 2010-01-26 06:54 ./usr/share/doc/coccinelle/examples/vm.c -rw-r--r-- root/root 223 2007-05-25 09:16 ./usr/share/doc/coccinelle/examples/ioctl_multiple_rules.cocci -rw-r--r-- root/root 122 2008-03-14 10:29 ./usr/share/doc/coccinelle/examples/posmult.c -rw-r--r-- root/root 269 2007-05-25 09:16 ./usr/share/doc/coccinelle/examples/interprocedural_adhoc.cocci -rw-r--r-- root/root 210 2006-11-23 13:21 ./usr/share/doc/coccinelle/examples/xxx_info.c -rw-r--r-- root/root 4776 2009-02-19 16:42 ./usr/share/doc/coccinelle/examples/macro_parsing_problem.c -rw-r--r-- root/root 59 2007-03-08 16:02 ./usr/share/doc/coccinelle/examples/type_fields.cocci -rw-r--r-- root/root 402 2009-09-19 09:27 ./usr/share/doc/coccinelle/examples/virt.cocci -rw-r--r-- root/root 177 2007-03-08 16:02 ./usr/share/doc/coccinelle/examples/interprocedural_adhoc.c -rw-r--r-- root/root 103 2007-07-25 11:53 ./usr/share/doc/coccinelle/examples/headers2.iso -rw-r--r-- root/root 409 2007-02-07 21:07 ./usr/share/doc/coccinelle/examples/video_usercopy.cocci -rw-r--r-- root/root 15 2009-09-19 09:27 ./usr/share/doc/coccinelle/examples/virt.c -rw-r--r-- root/root 175 2009-05-09 14:59 ./usr/share/doc/coccinelle/examples/change_all_param.c -rw-r--r-- root/root 1168 2007-07-09 08:04 ./usr/share/doc/coccinelle/examples/proc_info.cocci -rw-r--r-- root/root 270 2006-12-05 08:59 ./usr/share/doc/coccinelle/examples/usb_submit_urb.cocci -rw-r--r-- root/root 31 2010-01-10 00:07 ./usr/share/doc/coccinelle/examples/regexp2.c -rw-r--r-- root/root 185 2007-07-27 12:24 ./usr/share/doc/coccinelle/examples/check_region.cocci -rw-r--r-- root/root 1257 2007-09-04 15:34 ./usr/share/doc/coccinelle/examples/itimer.patch -rw-r--r-- root/root 1024 2007-09-06 15:42 ./usr/share/doc/coccinelle/examples/itimerfullfunc.sgrep -rw-r--r-- root/root 1956 2011-01-09 15:07 ./usr/share/doc/coccinelle/examples/iteration.cocci -rw-r--r-- root/root 137 2009-09-22 12:35 ./usr/share/doc/coccinelle/examples/regexp.c -rw-r--r-- root/root 61 2010-07-24 21:01 ./usr/share/doc/coccinelle/examples/pythontococci.res -rw-r--r-- root/root 37 2008-04-20 09:56 ./usr/share/doc/coccinelle/examples/printloc.c -rwxr-xr-x root/root 198 2007-02-27 16:16 ./usr/share/doc/coccinelle/examples/launch.sh -rw-r--r-- root/root 107 2007-12-29 10:00 ./usr/share/doc/coccinelle/examples/not.c -rw-r--r-- root/root 329 2006-11-23 13:21 ./usr/share/doc/coccinelle/examples/check_region.c -rw-r--r-- root/root 241 2007-09-04 15:34 ./usr/share/doc/coccinelle/examples/itimer.cocci -rw-r--r-- root/root 64 2009-05-05 12:07 ./usr/share/doc/coccinelle/examples/python_regexp.c -rw-r--r-- root/root 597 2006-11-23 13:21 ./usr/share/doc/coccinelle/examples/video_usercopy.c -rw-r--r-- root/root 200 2009-04-05 08:45 ./usr/share/doc/coccinelle/examples/initial_final.cocci -rw-r--r-- root/root 669 2010-01-09 16:50 ./usr/share/doc/coccinelle/examples/regexp.cocci -rw-r--r-- root/root 163 2009-02-28 01:46 ./usr/share/doc/coccinelle/examples/platform_ifdef.c -rw-r--r-- root/root 165 2007-07-11 09:29 ./usr/share/doc/coccinelle/examples/iso-kzalloc.cocci -rw-r--r-- root/root 251 2008-04-18 19:12 ./usr/share/doc/coccinelle/examples/unsigned.cocci -rw-r--r-- root/root 91 2010-06-20 21:24 ./usr/share/doc/coccinelle/examples/ocaml2.c -rw-r--r-- root/root 41 2010-06-18 14:19 ./usr/share/doc/coccinelle/examples/ocaml1.c drwxr-xr-x root/root 0 2011-04-02 08:38 ./usr/share/doc/coccinelle/examples/spp/ -rw-r--r-- root/root 253 2009-05-18 12:00 ./usr/share/doc/coccinelle/examples/spp/Makefile -rw-r--r-- root/root 441 2010-05-25 14:46 ./usr/share/doc/coccinelle/examples/spp/test -rw-r--r-- root/root 102 2009-05-18 07:39 ./usr/share/doc/coccinelle/examples/spp/test.c -rw-r--r-- root/root 53 2009-05-18 07:39 ./usr/share/doc/coccinelle/examples/spp/test.cocci -rw-r--r-- root/root 49 2009-05-18 07:39 ./usr/share/doc/coccinelle/examples/spp/test2.c -rw-r--r-- root/root 62 2009-05-18 07:39 ./usr/share/doc/coccinelle/examples/spp/test.h -rw-r--r-- root/root 80 2009-05-18 07:39 ./usr/share/doc/coccinelle/examples/spp/testpy.cocci -rw-r--r-- root/root 101 2007-07-09 08:07 ./usr/share/doc/coccinelle/examples/iso-kzalloc.c -rw-r--r-- root/root 264 2008-03-28 15:06 ./usr/share/doc/coccinelle/examples/pycocci.c -rw-r--r-- root/root 61 2010-07-24 21:01 ./usr/share/doc/coccinelle/examples/camltococci.res -rw-r--r-- root/root 3118 2007-05-15 09:33 ./usr/share/doc/coccinelle/examples/proc_info.c -rw-r--r-- root/root 1161 2010-06-20 21:24 ./usr/share/doc/coccinelle/examples/ocaml2.cocci -rw-r--r-- root/root 36 2010-07-24 21:01 ./usr/share/doc/coccinelle/examples/camltococci.c -rw-r--r-- root/root 579 2009-05-09 14:59 ./usr/share/doc/coccinelle/examples/change_all_param.cocci -rw-r--r-- root/root 1177 2007-07-27 12:54 ./usr/share/doc/coccinelle/examples/headers.cocci -rw-r--r-- root/root 321 2009-11-05 13:25 ./usr/share/doc/coccinelle/examples/first.cocci -rw-r--r-- root/root 525 2010-01-27 17:57 ./usr/share/doc/coccinelle/examples/orgmode2.cocci -rw-r--r-- root/root 348 2010-06-18 14:19 ./usr/share/doc/coccinelle/examples/ocaml1.cocci -rw-r--r-- root/root 434 2009-05-05 12:26 ./usr/share/doc/coccinelle/examples/python_regexp.cocci drwxr-xr-x root/root 0 2011-04-02 08:38 ./usr/share/doc/coccinelle/examples/manual/ -rw-r--r-- root/root 106 2007-03-13 17:26 ./usr/share/doc/coccinelle/examples/manual/already_tagged.c -rw-r--r-- root/root 38 2007-03-12 12:19 ./usr/share/doc/coccinelle/examples/manual/get_put.cocci -rw-r--r-- root/root 79 2007-03-12 12:19 ./usr/share/doc/coccinelle/examples/manual/get_put_ver1.c -rw-r--r-- root/root 73 2007-03-12 12:19 ./usr/share/doc/coccinelle/examples/manual/already_tagged.cocci -rw-r--r-- root/root 65 2007-03-12 12:19 ./usr/share/doc/coccinelle/examples/manual/get_put_full.c -rw-r--r-- root/root 67 2007-03-12 12:19 ./usr/share/doc/coccinelle/examples/manual/get_put_full.cocci -rw-r--r-- root/root 65 2007-03-12 12:19 ./usr/share/doc/coccinelle/examples/manual/get_put.c -rw-r--r-- root/root 41 2010-06-18 14:19 ./usr/share/doc/coccinelle/examples/ocaml.c -rw-r--r-- root/root 45 2009-11-05 13:25 ./usr/share/doc/coccinelle/examples/first.c -rw-r--r-- root/root 50 2007-07-25 11:53 ./usr/share/doc/coccinelle/examples/headers.iso -rw-r--r-- root/root 2037 2008-04-18 19:12 ./usr/share/doc/coccinelle/examples/unsigned.txt.gz -rw-r--r-- root/root 217 2010-07-24 21:01 ./usr/share/doc/coccinelle/examples/pythontococci.cocci -rw-r--r-- root/root 220 2006-12-01 17:14 ./usr/share/doc/coccinelle/examples/xxx_info.cocci -rw-r--r-- root/root 24 2009-09-22 15:51 ./usr/share/doc/coccinelle/examples/orgmode.c -rw-r--r-- root/root 390 2007-03-08 16:02 ./usr/share/doc/coccinelle/examples/ctr_unit_test.c -rw-r--r-- root/root 1332 2007-05-25 09:16 ./usr/share/doc/coccinelle/examples/ctr_unit_test.cocci -rw-r--r-- root/root 111 2007-02-07 21:20 ./usr/share/doc/coccinelle/examples/foobar.cocci -rw-r--r-- root/root 242 2008-03-14 10:29 ./usr/share/doc/coccinelle/examples/posmult.cocci -rw-r--r-- root/root 70 2010-01-10 00:07 ./usr/share/doc/coccinelle/examples/regexp2.cocci -rw-r--r-- root/root 40 2007-02-27 16:16 ./usr/share/doc/coccinelle/examples/simple.cocci -rw-r--r-- root/root 36 2010-07-24 21:01 ./usr/share/doc/coccinelle/examples/pythontococci.c -rw-r--r-- root/root 88 2007-12-29 10:00 ./usr/share/doc/coccinelle/examples/not.cocci -rw-r--r-- root/root 334 2008-03-28 15:06 ./usr/share/doc/coccinelle/examples/pycocci.cocci -rw-r--r-- root/root 137572 2011-05-18 11:32 ./usr/share/doc/coccinelle/options.pdf -rw-r--r-- root/root 1047 2010-06-18 23:15 ./usr/share/doc/coccinelle/authors.txt -rw-r--r-- root/root 98 2009-09-08 15:29 ./usr/share/doc/coccinelle/TODO.Debian -rw-r--r-- root/root 338684 2011-05-18 11:30 ./usr/share/doc/coccinelle/main_grammar.pdf -rw-r--r-- root/root 443741 2011-05-18 11:29 ./usr/share/doc/coccinelle/manual.pdf -rw-r--r-- root/root 502 2009-04-16 16:30 ./usr/share/doc/coccinelle/credits.txt -rw-r--r-- root/root 1424 2011-05-18 11:47 ./usr/share/doc/coccinelle/changelog.Debian.gz -rw-r--r-- root/root 5762 2010-12-26 22:41 ./usr/share/doc/coccinelle/copyright drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/python-support/ -rw-r--r-- root/root 695 2011-05-18 11:46 ./usr/share/python-support/coccinelle.private drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/share/doc-base/ -rw-r--r-- root/root 132 2010-10-07 07:59 ./usr/share/doc-base/coccinelle-options -rw-r--r-- root/root 137 2010-10-07 07:59 ./usr/share/doc-base/coccinelle-grammar -rw-r--r-- root/root 138 2010-10-07 07:59 ./usr/share/doc-base/coccinelle-manual drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/lib/ drwxr-xr-x root/root 0 2011-05-18 11:46 ./usr/lib/coccinelle/ -rwxr-xr-x root/root 2816884 2011-05-18 11:46 ./usr/lib/coccinelle/spatch drwxr-xr-x root/root 0 2011-05-18 11:46 ./etc/ drwxr-xr-x root/root 0 2011-05-18 11:46 ./etc/emacs/ drwxr-xr-x root/root 0 2011-05-18 11:46 ./etc/emacs/site-start.d/ -rw-r--r-- root/root 256 2011-05-18 11:46 ./etc/emacs/site-start.d/50coccinelle.el drwxr-xr-x root/root 0 2011-05-18 11:46 ./etc/bash_completion.d/ -rw-r--r-- root/root 3120 2011-05-18 11:46 ./etc/bash_completion.d/spatch coccinelle_0.2.5.deb-3_armel.changes: Format: 1.8 Date: Thu, 21 Apr 2011 15:05:03 +0200 Source: coccinelle Binary: coccinelle Architecture: armel Version: 0.2.5.deb-3 Distribution: oneiric Urgency: low Maintainer: Ubuntu/armel Build Daemon Changed-By: Stéphane Glondu Description: coccinelle - semantic patching tool for C Changes: coccinelle (0.2.5.deb-3) unstable; urgency=low . * Team upload * Compile in bytecode only on non-natdynlink architectures (fixes FTBFS) Checksums-Sha1: 45bdc860fcaf33544e17124bc26011a2100a3834 1545676 coccinelle_0.2.5.deb-3_armel.deb Checksums-Sha256: ccb16b3d2b6294fec5838b89385878b8cbec5f3fd29e24a2bd01d3c13b736d86 1545676 coccinelle_0.2.5.deb-3_armel.deb Files: 138ea1affb48114525daeb3768ffcb23 1545676 devel optional coccinelle_0.2.5.deb-3_armel.deb ****************************************************************************** Built successfully Purging chroot-autobuild/build/buildd/coccinelle-0.2.5.deb ------------------------------------------------------------------------------ /usr/bin/sudo dpkg --purge libxmu6 groff-base libx11-data fontconfig-config ttf-dejavu-core gettext file zlib1g-dev libxaw7 libmenhir-ocaml-dev libtype-conv-camlp4-dev libxpm4 texlive-common x11-common libcroco3 python-support libfindlib-ocaml camlp4 libfreetype6 libjpeg62 texlive-latex-recommended texlive-pictures python2.7 ocaml-interp libpycaml-ocaml libxcb1 tex-common libexpat1-dev html2text debhelper libfontconfig1 ocaml-base-nox texlive-fonts-extra python libncurses5-dev ocaml-native-compilers libpoppler13 ocaml-nox libmagic1 libexpat1 libssl-dev texlive-latex-extra bsdmainutils libxau6 menhir texlive-fonts-recommended libx11-6 dh-ocaml mime-support libxt6 libpycaml-ocaml-dev libxdmcp6 texlive-base libkpathsea5 texlive-doc-base po-debconf libxml2 liblcms1 ed man-db python-dev libice6 intltool-debian python2.7-dev ocaml-findlib libpython2.7 luatex texlive-latex-base ucf gettext-base libunistring0 libsm6 libpipeline1 libxext6 texlive-binaries libsexplib-camlp4-dev libsqlite3-0 preview-latex-style (Reading database ... 41833 files and directories currently installed.) Removing libmenhir-ocaml-dev ... Removing python-support ... Purging configuration files for python-support ... Removing texlive-latex-recommended ... Purging configuration files for texlive-latex-recommended ... Removing debhelper ... Removing texlive-fonts-extra ... Purging configuration files for texlive-fonts-extra ... Removing ocaml-native-compilers ... Removing texlive-latex-extra ... Purging configuration files for texlive-latex-extra ... Removing menhir ... Removing texlive-fonts-recommended ... Purging configuration files for texlive-fonts-recommended ... Removing dh-ocaml ... Removing libpycaml-ocaml-dev ... Removing po-debconf ... Removing man-db ... Purging configuration files for man-db ... Removing catpages as well as /var/cache/man hierarchy. Removing python-dev ... Removing intltool-debian ... Removing python2.7-dev ... Removing texlive-latex-base ... Purging configuration files for texlive-latex-base ... Removing libpipeline1 ... Purging configuration files for libpipeline1 ... Removing libsexplib-camlp4-dev ... Removing preview-latex-style ... Purging configuration files for preview-latex-style ... Removing groff-base ... Purging configuration files for groff-base ... Removing gettext ... Removing file ... Removing libtype-conv-camlp4-dev ... Removing libcroco3 ... Purging configuration files for libcroco3 ... Removing camlp4 ... Removing texlive-pictures ... Purging configuration files for texlive-pictures ... Removing libpycaml-ocaml ... Removing libexpat1-dev ... Removing html2text ... Purging configuration files for html2text ... Removing python ... Purging configuration files for python ... Removing ocaml-nox ... Purging configuration files for ocaml-nox ... Removing libmagic1 ... Purging configuration files for libmagic1 ... Removing libssl-dev ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing texlive-base ... Purging configuration files for texlive-base ... Removing texlive-doc-base ... Purging configuration files for texlive-doc-base ... Removing ocaml-findlib ... Purging configuration files for ocaml-findlib ... Removing libpython2.7 ... Purging configuration files for libpython2.7 ... Removing luatex ... Removing gettext-base ... Removing libunistring0 ... Purging configuration files for libunistring0 ... Removing texlive-binaries ... Removing zlib1g-dev ... Removing libxaw7 ... Purging configuration files for libxaw7 ... Removing libxpm4 ... Purging configuration files for libxpm4 ... Removing texlive-common ... Removing libfindlib-ocaml ... Purging configuration files for libfindlib-ocaml ... Removing python2.7 ... Purging configuration files for python2.7 ... Removing ocaml-interp ... Purging configuration files for ocaml-interp ... Removing tex-common ... Purging configuration files for tex-common ... Removing ocaml-base-nox ... Removing libncurses5-dev ... Removing libpoppler13 ... Purging configuration files for libpoppler13 ... Removing mime-support ... Purging configuration files for mime-support ... Removing libkpathsea5 ... Purging configuration files for libkpathsea5 ... Removing libxml2 ... Purging configuration files for libxml2 ... Removing liblcms1 ... Purging configuration files for liblcms1 ... Removing ed ... Removing libsqlite3-0 ... Purging configuration files for libsqlite3-0 ... Removing libxmu6 ... Purging configuration files for libxmu6 ... Removing libjpeg62 ... Removing libfontconfig1 ... Purging configuration files for libfontconfig1 ... Removing libexpat1 ... Purging configuration files for libexpat1 ... Removing libxt6 ... Purging configuration files for libxt6 ... Removing libsm6 ... Purging configuration files for libsm6 ... Removing libxext6 ... Purging configuration files for libxext6 ... Removing fontconfig-config ... Purging configuration files for fontconfig-config ... Removing ttf-dejavu-core ... Removing libfreetype6 ... Purging configuration files for libfreetype6 ... Removing libx11-6 ... Purging configuration files for libx11-6 ... Removing libice6 ... Purging configuration files for libice6 ... Removing ucf ... Purging configuration files for ucf ... Removing libx11-data ... Removing x11-common ... Purging configuration files for x11-common ... Removing libxcb1 ... Purging configuration files for libxcb1 ... Removing libxau6 ... Purging configuration files for libxau6 ... Removing libxdmcp6 ... Purging configuration files for libxdmcp6 ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place ****************************************************************************** Finished at 20110518-1148 Build needed 00:20:17, 34952k disk space Can't open average time db /var/debbuild/avg-build-times Can't open average space db /var/debbuild/avg-build-space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', '77484907d1fdccfe57021c96e00bd58cc24cd2cb'] Scanning for processes to kill in build /home/buildd/build-77484907d1fdccfe57021c96e00bd58cc24cd2cb/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '77484907d1fdccfe57021c96e00bd58cc24cd2cb'] Unmounting chroot for build 77484907d1fdccfe57021c96e00bd58cc24cd2cb... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '77484907d1fdccfe57021c96e00bd58cc24cd2cb'] Removing build 77484907d1fdccfe57021c96e00bd58cc24cd2cb