RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: 2.6.38-1208-omap4 #11-Ubuntu SMP PREEMPT Fri Apr 15 16:34:35 UTC 2011 armv7l Buildd toolchain package versions: launchpad-buildd_110~0.IS.08.04 python-lpbuildd_110~0.IS.08.04 bzr_2.3.4-0ubuntu1. Syncing the system clock with the buildd NTP service... 19 Dec 01:31:13 ntpdate[7466]: adjust time server 10.211.37.1 offset -0.004767 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '190e54548e054bbb44f61cc27fa9da3437873b23', '/home/buildd/filecache-default/f998171f34ac6b7faf204cb26fea84903da07d61'] Unpacking chroot for build 190e54548e054bbb44f61cc27fa9da3437873b23 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '190e54548e054bbb44f61cc27fa9da3437873b23'] Mounting chroot for build 190e54548e054bbb44f61cc27fa9da3437873b23 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '190e54548e054bbb44f61cc27fa9da3437873b23', 'deb http://ftpmaster.internal/ubuntu precise main universe'] Overriding sources.list in build-190e54548e054bbb44f61cc27fa9da3437873b23 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '190e54548e054bbb44f61cc27fa9da3437873b23', 'armel'] Updating debian chroot for build 190e54548e054bbb44f61cc27fa9da3437873b23 Ign http://ftpmaster.internal precise InRelease Get:1 http://ftpmaster.internal precise Release.gpg [198 B] Get:2 http://ftpmaster.internal precise Release [49.6 kB] Get:3 http://ftpmaster.internal precise/main armel Packages [1239 kB] Get:4 http://ftpmaster.internal precise/universe armel Packages [4551 kB] Get:5 http://ftpmaster.internal precise/main TranslationIndex [3502 B] Get:6 http://ftpmaster.internal precise/universe TranslationIndex [2712 B] Get:7 http://ftpmaster.internal precise/main Translation-en [716 kB] Get:8 http://ftpmaster.internal precise/universe Translation-en [3301 kB] Fetched 9863 kB in 28s (345 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: bsdutils busybox-initramfs cpp-4.6 dpkg dpkg-dev g++-4.6 gcc-4.6 gcc-4.6-base grep ifupdown libacl1 libattr1 libblkid1 libdpkg-perl libgcc1 libgomp1 libmount1 libstdc++6 libstdc++6-4.6-dev libudev0 libuuid1 linux-libc-dev mount perl perl-base perl-modules python2.7-minimal udev util-linux 29 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 30.3 MB of archives. After this operation, 541 kB disk space will be freed. WARNING: The following packages cannot be authenticated! dpkg grep libgomp1 gcc-4.6-base libgcc1 cpp-4.6 libstdc++6-4.6-dev g++-4.6 gcc-4.6 libstdc++6 libuuid1 libblkid1 libmount1 mount perl perl-base perl-modules util-linux bsdutils libattr1 libacl1 libudev0 python2.7-minimal busybox-initramfs ifupdown udev dpkg-dev libdpkg-perl linux-libc-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ precise/main dpkg armel 1.16.1.2ubuntu5 [1752 kB] Get:2 http://ftpmaster.internal/ubuntu/ precise/main grep armel 2.10-1 [227 kB] Get:3 http://ftpmaster.internal/ubuntu/ precise/main libgomp1 armel 4.6.2-9ubuntu1 [23.6 kB] Get:4 http://ftpmaster.internal/ubuntu/ precise/main gcc-4.6-base armel 4.6.2-9ubuntu1 [16.1 kB] Get:5 http://ftpmaster.internal/ubuntu/ precise/main libgcc1 armel 1:4.6.2-9ubuntu1 [22.0 kB] Get:6 http://ftpmaster.internal/ubuntu/ precise/main cpp-4.6 armel 4.6.2-9ubuntu1 [4099 kB] Get:7 http://ftpmaster.internal/ubuntu/ precise/main libstdc++6-4.6-dev armel 4.6.2-9ubuntu1 [1691 kB] Get:8 http://ftpmaster.internal/ubuntu/ precise/main g++-4.6 armel 4.6.2-9ubuntu1 [4975 kB] Get:9 http://ftpmaster.internal/ubuntu/ precise/main gcc-4.6 armel 4.6.2-9ubuntu1 [4532 kB] Get:10 http://ftpmaster.internal/ubuntu/ precise/main libstdc++6 armel 4.6.2-9ubuntu1 [269 kB] Get:11 http://ftpmaster.internal/ubuntu/ precise/main libuuid1 armel 2.20.1-1ubuntu1 [13.4 kB] Get:12 http://ftpmaster.internal/ubuntu/ precise/main libblkid1 armel 2.20.1-1ubuntu1 [64.4 kB] Get:13 http://ftpmaster.internal/ubuntu/ precise/main libmount1 armel 2.20.1-1ubuntu1 [60.4 kB] Get:14 http://ftpmaster.internal/ubuntu/ precise/main mount armel 2.20.1-1ubuntu1 [155 kB] Get:15 http://ftpmaster.internal/ubuntu/ precise/main perl armel 5.14.2-6ubuntu1 [3619 kB] Get:16 http://ftpmaster.internal/ubuntu/ precise/main perl-base armel 5.14.2-6ubuntu1 [1348 kB] Get:17 http://ftpmaster.internal/ubuntu/ precise/main perl-modules all 5.14.2-6ubuntu1 [3369 kB] Get:18 http://ftpmaster.internal/ubuntu/ precise/main util-linux armel 2.20.1-1ubuntu1 [572 kB] Get:19 http://ftpmaster.internal/ubuntu/ precise/main bsdutils armel 1:2.20.1-1ubuntu1 [39.7 kB] Get:20 http://ftpmaster.internal/ubuntu/ precise/main libattr1 armel 1:2.4.46-5ubuntu1 [9142 B] Get:21 http://ftpmaster.internal/ubuntu/ precise/main libacl1 armel 2.2.51-5ubuntu1 [14.3 kB] Get:22 http://ftpmaster.internal/ubuntu/ precise/main libudev0 armel 175-0ubuntu3 [26.4 kB] Get:23 http://ftpmaster.internal/ubuntu/ precise/main python2.7-minimal armel 2.7.2-9 [1488 kB] Get:24 http://ftpmaster.internal/ubuntu/ precise/main busybox-initramfs armel 1:1.18.5-1ubuntu2 [156 kB] Get:25 http://ftpmaster.internal/ubuntu/ precise/main ifupdown armel 0.7~alpha5.1ubuntu6 [43.4 kB] Get:26 http://ftpmaster.internal/ubuntu/ precise/main udev armel 175-0ubuntu3 [293 kB] Get:27 http://ftpmaster.internal/ubuntu/ precise/main dpkg-dev armel 1.16.1.2ubuntu5 [468 kB] Get:28 http://ftpmaster.internal/ubuntu/ precise/main libdpkg-perl armel 1.16.1.2ubuntu5 [181 kB] Get:29 http://ftpmaster.internal/ubuntu/ precise/main linux-libc-dev armel 3.2.0-5.11 [818 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 30.3 MB in 7s (4132 kB/s) (Reading database ... 14124 files and directories currently installed.) Preparing to replace dpkg 1.16.1.2ubuntu4 (using .../dpkg_1.16.1.2ubuntu5_armel.deb) ... Unpacking replacement dpkg ... Setting up dpkg (1.16.1.2ubuntu5) ... (Reading database ... 14124 files and directories currently installed.) Preparing to replace grep 2.9-2 (using .../archives/grep_2.10-1_armel.deb) ... Unpacking replacement grep ... Setting up grep (2.10-1) ... (Reading database ... 14124 files and directories currently installed.) Preparing to replace libgomp1 4.6.2-7ubuntu1 (using .../libgomp1_4.6.2-9ubuntu1_armel.deb) ... Unpacking replacement libgomp1 ... Preparing to replace gcc-4.6-base 4.6.2-7ubuntu1 (using .../gcc-4.6-base_4.6.2-9ubuntu1_armel.deb) ... Unpacking replacement gcc-4.6-base ... Setting up gcc-4.6-base (4.6.2-9ubuntu1) ... (Reading database ... 14124 files and directories currently installed.) Preparing to replace libgcc1 1:4.6.2-7ubuntu1 (using .../libgcc1_1%3a4.6.2-9ubuntu1_armel.deb) ... Unpacking replacement libgcc1 ... Setting up libgcc1 (1:4.6.2-9ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14124 files and directories currently installed.) Preparing to replace cpp-4.6 4.6.2-7ubuntu1 (using .../cpp-4.6_4.6.2-9ubuntu1_armel.deb) ... Unpacking replacement cpp-4.6 ... Preparing to replace libstdc++6-4.6-dev 4.6.2-7ubuntu1 (using .../libstdc++6-4.6-dev_4.6.2-9ubuntu1_armel.deb) ... Unpacking replacement libstdc++6-4.6-dev ... Preparing to replace g++-4.6 4.6.2-7ubuntu1 (using .../g++-4.6_4.6.2-9ubuntu1_armel.deb) ... Unpacking replacement g++-4.6 ... Preparing to replace gcc-4.6 4.6.2-7ubuntu1 (using .../gcc-4.6_4.6.2-9ubuntu1_armel.deb) ... Unpacking replacement gcc-4.6 ... Preparing to replace libstdc++6 4.6.2-7ubuntu1 (using .../libstdc++6_4.6.2-9ubuntu1_armel.deb) ... Unpacking replacement libstdc++6 ... Setting up libstdc++6 (4.6.2-9ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14124 files and directories currently installed.) Preparing to replace libuuid1 2.19.1-2ubuntu3 (using .../libuuid1_2.20.1-1ubuntu1_armel.deb) ... Unpacking replacement libuuid1 ... Setting up libuuid1 (2.20.1-1ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14124 files and directories currently installed.) Preparing to replace libblkid1 2.19.1-2ubuntu3 (using .../libblkid1_2.20.1-1ubuntu1_armel.deb) ... Unpacking replacement libblkid1 ... Setting up libblkid1 (2.20.1-1ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14124 files and directories currently installed.) Preparing to replace libmount1 2.19.1-2ubuntu3 (using .../libmount1_2.20.1-1ubuntu1_armel.deb) ... Unpacking replacement libmount1 ... Setting up libmount1 (2.20.1-1ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14124 files and directories currently installed.) Preparing to replace mount 2.19.1-2ubuntu3 (using .../mount_2.20.1-1ubuntu1_armel.deb) ... Unpacking replacement mount ... Setting up mount (2.20.1-1ubuntu1) ... (Reading database ... 14124 files and directories currently installed.) Preparing to replace perl 5.14.2-6 (using .../perl_5.14.2-6ubuntu1_armel.deb) ... Unpacking replacement perl ... Preparing to replace perl-base 5.14.2-6 (using .../perl-base_5.14.2-6ubuntu1_armel.deb) ... Unpacking replacement perl-base ... Setting up perl-base (5.14.2-6ubuntu1) ... (Reading database ... 14124 files and directories currently installed.) Preparing to replace perl-modules 5.14.2-6 (using .../perl-modules_5.14.2-6ubuntu1_all.deb) ... Unpacking replacement perl-modules ... Preparing to replace util-linux 2.19.1-2ubuntu3 (using .../util-linux_2.20.1-1ubuntu1_armel.deb) ... Unpacking replacement util-linux ... Setting up util-linux (2.20.1-1ubuntu1) ... (Reading database ... 14117 files and directories currently installed.) Preparing to replace bsdutils 1:2.19.1-2ubuntu3 (using .../bsdutils_1%3a2.20.1-1ubuntu1_armel.deb) ... Unpacking replacement bsdutils ... Setting up bsdutils (1:2.20.1-1ubuntu1) ... (Reading database ... 14117 files and directories currently installed.) Preparing to replace libattr1 1:2.4.46-3ubuntu1 (using .../libattr1_1%3a2.4.46-5ubuntu1_armel.deb) ... Unpacking replacement libattr1 ... Setting up libattr1 (1:2.4.46-5ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14117 files and directories currently installed.) Preparing to replace libacl1 2.2.51-4ubuntu1 (using .../libacl1_2.2.51-5ubuntu1_armel.deb) ... Unpacking replacement libacl1 ... Setting up libacl1 (2.2.51-5ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 14117 files and directories currently installed.) Preparing to replace libudev0 175-0ubuntu2 (using .../libudev0_175-0ubuntu3_armel.deb) ... Unpacking replacement libudev0 ... Preparing to replace python2.7-minimal 2.7.2-8build1 (using .../python2.7-minimal_2.7.2-9_armel.deb) ... Unpacking replacement python2.7-minimal ... Setting up python2.7-minimal (2.7.2-9) ... (Reading database ... 14117 files and directories currently installed.) Preparing to replace busybox-initramfs 1:1.18.5-1ubuntu1 (using .../busybox-initramfs_1%3a1.18.5-1ubuntu2_armel.deb) ... Unpacking replacement busybox-initramfs ... Preparing to replace ifupdown 0.7~alpha5.1ubuntu5 (using .../ifupdown_0.7~alpha5.1ubuntu6_armel.deb) ... Unpacking replacement ifupdown ... Preparing to replace udev 175-0ubuntu2 (using .../udev_175-0ubuntu3_armel.deb) ... Adding 'diversion of /sbin/udevadm to /sbin/udevadm.upgrade by fake-udev' Unpacking replacement udev ... Preparing to replace dpkg-dev 1.16.1.2ubuntu4 (using .../dpkg-dev_1.16.1.2ubuntu5_armel.deb) ... Unpacking replacement dpkg-dev ... Preparing to replace libdpkg-perl 1.16.1.2ubuntu4 (using .../libdpkg-perl_1.16.1.2ubuntu5_armel.deb) ... Unpacking replacement libdpkg-perl ... Preparing to replace linux-libc-dev 3.2.0-4.10 (using .../linux-libc-dev_3.2.0-5.11_armel.deb) ... Unpacking replacement linux-libc-dev ... Setting up libgomp1 (4.6.2-9ubuntu1) ... Setting up cpp-4.6 (4.6.2-9ubuntu1) ... Setting up gcc-4.6 (4.6.2-9ubuntu1) ... Setting up libudev0 (175-0ubuntu3) ... Setting up busybox-initramfs (1:1.18.5-1ubuntu2) ... Setting up ifupdown (0.7~alpha5.1ubuntu6) ... Setting up udev (175-0ubuntu3) ... invoke-rc.d: policy-rc.d denied execution of restart. Removing 'diversion of /sbin/udevadm to /sbin/udevadm.upgrade by fake-udev' update-initramfs: deferring update (trigger activated) Setting up linux-libc-dev (3.2.0-5.11) ... Setting up perl-modules (5.14.2-6ubuntu1) ... Setting up perl (5.14.2-6ubuntu1) ... Setting up libdpkg-perl (1.16.1.2ubuntu5) ... Setting up dpkg-dev (1.16.1.2ubuntu5) ... Setting up g++-4.6 (4.6.2-9ubuntu1) ... Setting up libstdc++6-4.6-dev (4.6.2-9ubuntu1) ... 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', '190e54548e054bbb44f61cc27fa9da3437873b23', 'armel', 'precise', '--nolog', '--batch', '--archive=ubuntu', '--dist=precise', '--purpose=PRIMARY', '--architecture=armel', '--comp=universe', 'coccinelle_1.0.0~rc7.deb-5ubuntu1.dsc'] Initiating build 190e54548e054bbb44f61cc27fa9da3437873b23 with 2 processor cores. Automatic build of coccinelle_1.0.0~rc7.deb-5ubuntu1 on nihal by sbuild/armel 1.170.5 Build started at 20111219-0135 ****************************************************************************** coccinelle_1.0.0~rc7.deb-5ubuntu1.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 8.9.7~), dh-ocaml (>= 0.9.4~), ocaml-nox (>= 3.11.1-3~), libpycaml-ocaml-dev (>= 0.82-13~), python (>= 2.6.6-3~), menhir (>= 20090204.dfsg), libmenhir-ocaml-dev (>= 20090204.dfsg), ocaml-findlib, ocaml-best-compilers, libsexplib-camlp4-dev, libpcre-ocaml-dev, texlive-fonts-extra, texlive-fonts-recommended, texlive-latex-base, texlive-latex-extra, texlive-latex-recommended 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 libsexplib-camlp4-dev: missing libpcre-ocaml-dev: missing texlive-fonts-extra: missing texlive-fonts-recommended: missing texlive-latex-base: missing texlive-latex-extra: missing texlive-latex-recommended: 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 libsexplib-camlp4-dev libpcre-ocaml-dev texlive-fonts-extra texlive-fonts-recommended texlive-latex-base texlive-latex-extra texlive-latex-recommended 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 libdb4.8 libexpat1 libexpat1-dev libfindlib-ocaml libfontconfig1 libfreetype6 libgettextpo0 libice6 libjpeg8 libkpathsea5 liblcms1 libmagic1 libncurses5-dev libpaper-utils libpaper1 libpcre-ocaml libpcre3-dev libpcrecpp0 libpipeline1 libpoppler19 libpycaml-ocaml libpython2.7 libsm6 libssl-dev libtinfo-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 python2.7-doc perl-tk ghostscript xpdf-reader pdf-viewer gv postscript-viewer cm-super texpower dot2tex Recommended packages: curl wget lynx-cur libssl-doc xml-core texlive-luatex libfindlib-ocaml-dev 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 libdb4.8 libexpat1 libexpat1-dev libfindlib-ocaml libfontconfig1 libfreetype6 libgettextpo0 libice6 libjpeg8 libkpathsea5 liblcms1 libmagic1 libmenhir-ocaml-dev libncurses5-dev libpaper-utils libpaper1 libpcre-ocaml libpcre-ocaml-dev libpcre3-dev libpcrecpp0 libpipeline1 libpoppler19 libpycaml-ocaml libpycaml-ocaml-dev libpython2.7 libsexplib-camlp4-dev libsm6 libssl-dev libtinfo-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 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, 85 newly installed, 0 to remove and 0 not upgraded. Need to get 182 MB of archives. After this operation, 505 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libdb4.8 libexpat1 libpipeline1 libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libxext6 libxml2 libcroco3 libfreetype6 ucf ttf-dejavu-core fontconfig-config libfontconfig1 libunistring0 libgettextpo0 x11-common libice6 libjpeg8 liblcms1 libpcrecpp0 libsm6 libxt6 libxmu6 libxpm4 libxaw7 libmagic1 file mime-support python2.7 python bsdmainutils ed gettext-base groff-base man-db ocaml-base-nox libtinfo-dev libncurses5-dev ocaml-interp ocaml-nox camlp4 html2text gettext intltool-debian po-debconf debhelper libexpat1-dev libfindlib-ocaml libkpathsea5 libmenhir-ocaml-dev libpaper1 libpaper-utils libpcre-ocaml libpcre3-dev ocaml-findlib libpcre-ocaml-dev libpoppler19 libpython2.7 libpycaml-ocaml zlib1g-dev libssl-dev python2.7-dev python-dev libpycaml-ocaml-dev luatex menhir 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/ precise/main libdb4.8 armel 4.8.30-11 [570 kB] Get:2 http://ftpmaster.internal/ubuntu/ precise/main libexpat1 armel 2.0.1-7.2 [102 kB] Get:3 http://ftpmaster.internal/ubuntu/ precise/main libpipeline1 armel 1.2.0-5 [20.7 kB] Get:4 http://ftpmaster.internal/ubuntu/ precise/main libxau6 armel 1:1.0.6-4 [7142 B] Get:5 http://ftpmaster.internal/ubuntu/ precise/main libxdmcp6 armel 1:1.1.0-4 [11.0 kB] Get:6 http://ftpmaster.internal/ubuntu/ precise/main libxcb1 armel 1.7-4 [33.2 kB] Get:7 http://ftpmaster.internal/ubuntu/ precise/main libx11-data armel 2:1.4.4-4 [172 kB] Get:8 http://ftpmaster.internal/ubuntu/ precise/main libx11-6 armel 2:1.4.4-4 [682 kB] Get:9 http://ftpmaster.internal/ubuntu/ precise/main libxext6 armel 2:1.3.0-3 [27.9 kB] Get:10 http://ftpmaster.internal/ubuntu/ precise/main libxml2 armel 2.7.8.dfsg-5ubuntu1 [551 kB] Get:11 http://ftpmaster.internal/ubuntu/ precise/main libcroco3 armel 0.6.2-2 [81.1 kB] Get:12 http://ftpmaster.internal/ubuntu/ precise/main libfreetype6 armel 2.4.8-1 [270 kB] Get:13 http://ftpmaster.internal/ubuntu/ precise/main ucf all 3.0025+nmu2ubuntu1 [54.4 kB] Get:14 http://ftpmaster.internal/ubuntu/ precise/main ttf-dejavu-core armel 2.33-2 [1550 kB] Get:15 http://ftpmaster.internal/ubuntu/ precise/main fontconfig-config armel 2.8.0-3ubuntu2 [44.5 kB] Get:16 http://ftpmaster.internal/ubuntu/ precise/main libfontconfig1 armel 2.8.0-3ubuntu2 [106 kB] Get:17 http://ftpmaster.internal/ubuntu/ precise/main libunistring0 armel 0.9.3-5 [394 kB] Get:18 http://ftpmaster.internal/ubuntu/ precise/main libgettextpo0 armel 0.18.1.1-5ubuntu3 [99.4 kB] Get:19 http://ftpmaster.internal/ubuntu/ precise/main x11-common armel 1:7.6+7ubuntu7 [56.6 kB] Get:20 http://ftpmaster.internal/ubuntu/ precise/main libice6 armel 2:1.0.7-2 [37.9 kB] Get:21 http://ftpmaster.internal/ubuntu/ precise/main libjpeg8 armel 8c-2ubuntu4 [112 kB] Get:22 http://ftpmaster.internal/ubuntu/ precise/main liblcms1 armel 1.19.dfsg-1ubuntu3 [88.4 kB] Get:23 http://ftpmaster.internal/ubuntu/ precise/main libpcrecpp0 armel 8.12-4 [13.2 kB] Get:24 http://ftpmaster.internal/ubuntu/ precise/main libsm6 armel 2:1.2.0-2 [15.1 kB] Get:25 http://ftpmaster.internal/ubuntu/ precise/main libxt6 armel 1:1.1.1-2 [146 kB] Get:26 http://ftpmaster.internal/ubuntu/ precise/main libxmu6 armel 2:1.1.0-3 [42.8 kB] Get:27 http://ftpmaster.internal/ubuntu/ precise/main libxpm4 armel 1:3.5.9-4 [31.3 kB] Get:28 http://ftpmaster.internal/ubuntu/ precise/main libxaw7 armel 2:1.0.9-3 [156 kB] Get:29 http://ftpmaster.internal/ubuntu/ precise/main libmagic1 armel 5.09-2 [213 kB] Get:30 http://ftpmaster.internal/ubuntu/ precise/main file armel 5.09-2 [18.9 kB] Get:31 http://ftpmaster.internal/ubuntu/ precise/main mime-support all 3.51-1ubuntu1 [30.7 kB] Get:32 http://ftpmaster.internal/ubuntu/ precise/main python2.7 armel 2.7.2-9 [2510 kB] Get:33 http://ftpmaster.internal/ubuntu/ precise/main python all 2.7.2-9ubuntu1 [168 kB] Get:34 http://ftpmaster.internal/ubuntu/ precise/main bsdmainutils armel 8.2.3 [194 kB] Get:35 http://ftpmaster.internal/ubuntu/ precise/main ed armel 1.5-3 [52.1 kB] Get:36 http://ftpmaster.internal/ubuntu/ precise/main gettext-base armel 0.18.1.1-5ubuntu3 [54.7 kB] Get:37 http://ftpmaster.internal/ubuntu/ precise/main groff-base armel 1.21-6 [934 kB] Get:38 http://ftpmaster.internal/ubuntu/ precise/main man-db armel 2.6.0.2-3 [671 kB] Get:39 http://ftpmaster.internal/ubuntu/ precise/main ocaml-base-nox armel 3.12.1-2ubuntu2 [427 kB] Get:40 http://ftpmaster.internal/ubuntu/ precise/main libtinfo-dev armel 5.9-4 [84.1 kB] Get:41 http://ftpmaster.internal/ubuntu/ precise/main libncurses5-dev armel 5.9-4 [194 kB] Get:42 http://ftpmaster.internal/ubuntu/ precise/main ocaml-interp armel 3.12.1-2ubuntu2 [258 kB] Get:43 http://ftpmaster.internal/ubuntu/ precise/main ocaml-nox armel 3.12.1-2ubuntu2 [6991 kB] Get:44 http://ftpmaster.internal/ubuntu/ precise/main camlp4 armel 3.12.1-2ubuntu2 [18.6 MB] Get:45 http://ftpmaster.internal/ubuntu/ precise/main html2text armel 1.3.2a-15 [94.3 kB] Get:46 http://ftpmaster.internal/ubuntu/ precise/main gettext armel 0.18.1.1-5ubuntu3 [1050 kB] Get:47 http://ftpmaster.internal/ubuntu/ precise/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:48 http://ftpmaster.internal/ubuntu/ precise/main po-debconf armel 1.0.16+nmu1ubuntu1 [211 kB] Get:49 http://ftpmaster.internal/ubuntu/ precise/main debhelper armel 8.9.9ubuntu1 [477 kB] Get:50 http://ftpmaster.internal/ubuntu/ precise/main libexpat1-dev armel 2.0.1-7.2 [181 kB] Get:51 http://ftpmaster.internal/ubuntu/ precise/main libfindlib-ocaml armel 1.2.7+debian-1build2 [94.9 kB] Get:52 http://ftpmaster.internal/ubuntu/ precise/main libkpathsea5 armel 2009-11ubuntu2 [49.9 kB] Get:53 http://ftpmaster.internal/ubuntu/ precise/universe libmenhir-ocaml-dev armel 20110201.dfsg-1build2 [49.9 kB] Get:54 http://ftpmaster.internal/ubuntu/ precise/main libpaper1 armel 1.1.24+nmu1 [13.0 kB] Get:55 http://ftpmaster.internal/ubuntu/ precise/main libpaper-utils armel 1.1.24+nmu1 [8626 B] Get:56 http://ftpmaster.internal/ubuntu/ precise/universe libpcre-ocaml armel 6.2.3-1 [9026 B] Get:57 http://ftpmaster.internal/ubuntu/ precise/main libpcre3-dev armel 8.12-4 [218 kB] Get:58 http://ftpmaster.internal/ubuntu/ precise/main ocaml-findlib armel 1.2.7+debian-1build2 [221 kB] Get:59 http://ftpmaster.internal/ubuntu/ precise/universe libpcre-ocaml-dev armel 6.2.3-1 [70.9 kB] Get:60 http://ftpmaster.internal/ubuntu/ precise/main libpoppler19 armel 0.18.2-0ubuntu2 [639 kB] Get:61 http://ftpmaster.internal/ubuntu/ precise/main libpython2.7 armel 2.7.2-9 [997 kB] Get:62 http://ftpmaster.internal/ubuntu/ precise/universe libpycaml-ocaml armel 0.82-14 [14.7 kB] Get:63 http://ftpmaster.internal/ubuntu/ precise/main zlib1g-dev armel 1:1.2.3.4.dfsg-3ubuntu4 [159 kB] Get:64 http://ftpmaster.internal/ubuntu/ precise/main libssl-dev armel 1.0.0e-2ubuntu4 [1223 kB] Get:65 http://ftpmaster.internal/ubuntu/ precise/main python2.7-dev armel 2.7.2-9 [4497 kB] Get:66 http://ftpmaster.internal/ubuntu/ precise/main python-dev all 2.7.2-9ubuntu1 [1006 B] Get:67 http://ftpmaster.internal/ubuntu/ precise/universe libpycaml-ocaml-dev armel 0.82-14 [301 kB] Get:68 http://ftpmaster.internal/ubuntu/ precise/main luatex armel 0.70.1-1ubuntu1 [2193 kB] Get:69 http://ftpmaster.internal/ubuntu/ precise/universe menhir armel 20110201.dfsg-1build2 [409 kB] Get:70 http://ftpmaster.internal/ubuntu/ precise/main ocaml-native-compilers armel 3.12.1-2ubuntu2 [2967 kB] Get:71 http://ftpmaster.internal/ubuntu/ precise/main tex-common all 2.10 [709 kB] Get:72 http://ftpmaster.internal/ubuntu/ precise/main preview-latex-style all 11.86-2ubuntu1 [108 kB] Get:73 http://ftpmaster.internal/ubuntu/ precise/main texlive-common all 2009-15 [94.4 kB] Get:74 http://ftpmaster.internal/ubuntu/ precise/main texlive-doc-base all 2009-2 [1339 kB] Get:75 http://ftpmaster.internal/ubuntu/ precise/main texlive-binaries armel 2009-11ubuntu2 [7317 kB] Get:76 http://ftpmaster.internal/ubuntu/ precise/main texlive-base all 2009-15 [14.7 MB] Get:77 http://ftpmaster.internal/ubuntu/ precise/main texlive-fonts-extra all 2009-10ubuntu1 [83.5 MB] Get:78 http://ftpmaster.internal/ubuntu/ precise/main texlive-fonts-recommended all 2009-15 [7247 kB] Get:79 http://ftpmaster.internal/ubuntu/ precise/main texlive-latex-base all 2009-15 [1406 kB] Get:80 http://ftpmaster.internal/ubuntu/ precise/main texlive-pictures all 2009-15 [856 kB] Get:81 http://ftpmaster.internal/ubuntu/ precise/main texlive-latex-extra all 2009-10ubuntu1 [4717 kB] Get:82 http://ftpmaster.internal/ubuntu/ precise/main texlive-latex-recommended all 2009-15 [6752 kB] Get:83 http://ftpmaster.internal/ubuntu/ precise/main dh-ocaml all 1.0.2 [87.5 kB] Get:84 http://ftpmaster.internal/ubuntu/ precise/universe libtype-conv-camlp4-dev armel 3.0.4-1 [111 kB] Get:85 http://ftpmaster.internal/ubuntu/ precise/universe libsexplib-camlp4-dev armel 7.0.4-1 [401 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 182 MB in 57s (3185 kB/s) Selecting previously unselected package libdb4.8. (Reading database ... 14117 files and directories currently installed.) Unpacking libdb4.8 (from .../libdb4.8_4.8.30-11_armel.deb) ... Selecting previously unselected package libexpat1. Unpacking libexpat1 (from .../libexpat1_2.0.1-7.2_armel.deb) ... Selecting previously unselected package libpipeline1. Unpacking libpipeline1 (from .../libpipeline1_1.2.0-5_armel.deb) ... Selecting previously unselected package libxau6. Unpacking libxau6 (from .../libxau6_1%3a1.0.6-4_armel.deb) ... Selecting previously unselected package libxdmcp6. Unpacking libxdmcp6 (from .../libxdmcp6_1%3a1.1.0-4_armel.deb) ... Selecting previously unselected package libxcb1. Unpacking libxcb1 (from .../libxcb1_1.7-4_armel.deb) ... Selecting previously unselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.4.4-4_armel.deb) ... Selecting previously unselected package libx11-6. Unpacking libx11-6 (from .../libx11-6_2%3a1.4.4-4_armel.deb) ... Selecting previously unselected package libxext6. Unpacking libxext6 (from .../libxext6_2%3a1.3.0-3_armel.deb) ... Selecting previously unselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-5ubuntu1_armel.deb) ... Selecting previously unselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-2_armel.deb) ... Selecting previously unselected package libfreetype6. Unpacking libfreetype6 (from .../libfreetype6_2.4.8-1_armel.deb) ... Selecting previously unselected package ucf. Unpacking ucf (from .../ucf_3.0025+nmu2ubuntu1_all.deb) ... Moving old data out of the way Selecting previously unselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-2_armel.deb) ... Selecting previously unselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.8.0-3ubuntu2_armel.deb) ... Selecting previously unselected package libfontconfig1. Unpacking libfontconfig1 (from .../libfontconfig1_2.8.0-3ubuntu2_armel.deb) ... Selecting previously unselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-5_armel.deb) ... Selecting previously unselected package libgettextpo0. Unpacking libgettextpo0 (from .../libgettextpo0_0.18.1.1-5ubuntu3_armel.deb) ... Selecting previously unselected package x11-common. Unpacking x11-common (from .../x11-common_1%3a7.6+7ubuntu7_armel.deb) ... Selecting previously unselected package libice6. Unpacking libice6 (from .../libice6_2%3a1.0.7-2_armel.deb) ... Selecting previously unselected package libjpeg8. Unpacking libjpeg8 (from .../libjpeg8_8c-2ubuntu4_armel.deb) ... Selecting previously unselected package liblcms1. Unpacking liblcms1 (from .../liblcms1_1.19.dfsg-1ubuntu3_armel.deb) ... Selecting previously unselected package libpcrecpp0. Unpacking libpcrecpp0 (from .../libpcrecpp0_8.12-4_armel.deb) ... Selecting previously unselected package libsm6. Unpacking libsm6 (from .../libsm6_2%3a1.2.0-2_armel.deb) ... Selecting previously unselected package libxt6. Unpacking libxt6 (from .../libxt6_1%3a1.1.1-2_armel.deb) ... Selecting previously unselected package libxmu6. Unpacking libxmu6 (from .../libxmu6_2%3a1.1.0-3_armel.deb) ... Selecting previously unselected package libxpm4. Unpacking libxpm4 (from .../libxpm4_1%3a3.5.9-4_armel.deb) ... Selecting previously unselected package libxaw7. Unpacking libxaw7 (from .../libxaw7_2%3a1.0.9-3_armel.deb) ... Selecting previously unselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.09-2_armel.deb) ... Selecting previously unselected package file. Unpacking file (from .../archives/file_5.09-2_armel.deb) ... Selecting previously unselected package mime-support. Unpacking mime-support (from .../mime-support_3.51-1ubuntu1_all.deb) ... Selecting previously unselected package python2.7. Unpacking python2.7 (from .../python2.7_2.7.2-9_armel.deb) ... Selecting previously unselected package python. Unpacking python (from .../python_2.7.2-9ubuntu1_all.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.2.3_armel.deb) ... Selecting previously unselected package ed. Unpacking ed (from .../archives/ed_1.5-3_armel.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-5ubuntu3_armel.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-6_armel.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.0.2-3_armel.deb) ... Selecting previously unselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-2ubuntu2_armel.deb) ... Selecting previously unselected package libtinfo-dev. Unpacking libtinfo-dev (from .../libtinfo-dev_5.9-4_armel.deb) ... Selecting previously unselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.9-4_armel.deb) ... Selecting previously unselected package ocaml-interp. Unpacking ocaml-interp (from .../ocaml-interp_3.12.1-2ubuntu2_armel.deb) ... Selecting previously unselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_3.12.1-2ubuntu2_armel.deb) ... Selecting previously unselected package camlp4. Unpacking camlp4 (from .../camlp4_3.12.1-2ubuntu2_armel.deb) ... Selecting previously unselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_armel.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-5ubuntu3_armel.deb) ... Selecting previously unselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously unselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu1ubuntu1_armel.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_8.9.9ubuntu1_armel.deb) ... Selecting previously unselected package libexpat1-dev. Unpacking libexpat1-dev (from .../libexpat1-dev_2.0.1-7.2_armel.deb) ... Selecting previously unselected package libfindlib-ocaml. Unpacking libfindlib-ocaml (from .../libfindlib-ocaml_1.2.7+debian-1build2_armel.deb) ... Selecting previously unselected package libkpathsea5. Unpacking libkpathsea5 (from .../libkpathsea5_2009-11ubuntu2_armel.deb) ... Selecting previously unselected package libmenhir-ocaml-dev. Unpacking libmenhir-ocaml-dev (from .../libmenhir-ocaml-dev_20110201.dfsg-1build2_armel.deb) ... Selecting previously unselected package libpaper1. Unpacking libpaper1 (from .../libpaper1_1.1.24+nmu1_armel.deb) ... Selecting previously unselected package libpaper-utils. Unpacking libpaper-utils (from .../libpaper-utils_1.1.24+nmu1_armel.deb) ... Selecting previously unselected package libpcre-ocaml. Unpacking libpcre-ocaml (from .../libpcre-ocaml_6.2.3-1_armel.deb) ... Selecting previously unselected package libpcre3-dev. Unpacking libpcre3-dev (from .../libpcre3-dev_8.12-4_armel.deb) ... Selecting previously unselected package ocaml-findlib. Unpacking ocaml-findlib (from .../ocaml-findlib_1.2.7+debian-1build2_armel.deb) ... Selecting previously unselected package libpcre-ocaml-dev. Unpacking libpcre-ocaml-dev (from .../libpcre-ocaml-dev_6.2.3-1_armel.deb) ... Selecting previously unselected package libpoppler19. Unpacking libpoppler19 (from .../libpoppler19_0.18.2-0ubuntu2_armel.deb) ... Selecting previously unselected package libpython2.7. Unpacking libpython2.7 (from .../libpython2.7_2.7.2-9_armel.deb) ... Selecting previously unselected package libpycaml-ocaml. Unpacking libpycaml-ocaml (from .../libpycaml-ocaml_0.82-14_armel.deb) ... Selecting previously unselected package zlib1g-dev. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3ubuntu4_armel.deb) ... Selecting previously unselected package libssl-dev. Unpacking libssl-dev (from .../libssl-dev_1.0.0e-2ubuntu4_armel.deb) ... Selecting previously unselected package python2.7-dev. Unpacking python2.7-dev (from .../python2.7-dev_2.7.2-9_armel.deb) ... Selecting previously unselected package python-dev. Unpacking python-dev (from .../python-dev_2.7.2-9ubuntu1_all.deb) ... Selecting previously unselected package libpycaml-ocaml-dev. Unpacking libpycaml-ocaml-dev (from .../libpycaml-ocaml-dev_0.82-14_armel.deb) ... Selecting previously unselected package luatex. Unpacking luatex (from .../luatex_0.70.1-1ubuntu1_armel.deb) ... Selecting previously unselected package menhir. Unpacking menhir (from .../menhir_20110201.dfsg-1build2_armel.deb) ... Selecting previously unselected package ocaml-native-compilers. Unpacking ocaml-native-compilers (from .../ocaml-native-compilers_3.12.1-2ubuntu2_armel.deb) ... Selecting previously unselected package tex-common. Unpacking tex-common (from .../tex-common_2.10_all.deb) ... Selecting previously unselected package preview-latex-style. Unpacking preview-latex-style (from .../preview-latex-style_11.86-2ubuntu1_all.deb) ... Selecting previously unselected package texlive-common. Unpacking texlive-common (from .../texlive-common_2009-15_all.deb) ... Selecting previously unselected package texlive-doc-base. Unpacking texlive-doc-base (from .../texlive-doc-base_2009-2_all.deb) ... Selecting previously unselected package texlive-binaries. Unpacking texlive-binaries (from .../texlive-binaries_2009-11ubuntu2_armel.deb) ... Selecting previously unselected package texlive-base. Unpacking texlive-base (from .../texlive-base_2009-15_all.deb) ... Selecting previously unselected package texlive-fonts-extra. Unpacking texlive-fonts-extra (from .../texlive-fonts-extra_2009-10ubuntu1_all.deb) ... Selecting previously unselected package texlive-fonts-recommended. Unpacking texlive-fonts-recommended (from .../texlive-fonts-recommended_2009-15_all.deb) ... Selecting previously unselected package texlive-latex-base. Unpacking texlive-latex-base (from .../texlive-latex-base_2009-15_all.deb) ... Selecting previously unselected package texlive-pictures. Unpacking texlive-pictures (from .../texlive-pictures_2009-15_all.deb) ... Selecting previously unselected package texlive-latex-extra. Unpacking texlive-latex-extra (from .../texlive-latex-extra_2009-10ubuntu1_all.deb) ... Selecting previously unselected package texlive-latex-recommended. Unpacking texlive-latex-recommended (from .../texlive-latex-recommended_2009-15_all.deb) ... Selecting previously unselected package dh-ocaml. Unpacking dh-ocaml (from .../dh-ocaml_1.0.2_all.deb) ... Selecting previously unselected package libtype-conv-camlp4-dev. Unpacking libtype-conv-camlp4-dev (from .../libtype-conv-camlp4-dev_3.0.4-1_armel.deb) ... Selecting previously unselected package libsexplib-camlp4-dev. Unpacking libsexplib-camlp4-dev (from .../libsexplib-camlp4-dev_7.0.4-1_armel.deb) ... Setting up libdb4.8 (4.8.30-11) ... Setting up libexpat1 (2.0.1-7.2) ... Setting up libpipeline1 (1.2.0-5) ... Setting up libxau6 (1:1.0.6-4) ... Setting up libxdmcp6 (1:1.1.0-4) ... Setting up libxcb1 (1.7-4) ... Setting up libx11-data (2:1.4.4-4) ... Setting up libx11-6 (2:1.4.4-4) ... Setting up libxext6 (2:1.3.0-3) ... Setting up libxml2 (2.7.8.dfsg-5ubuntu1) ... Setting up libcroco3 (0.6.2-2) ... Setting up libfreetype6 (2.4.8-1) ... Setting up ucf (3.0025+nmu2ubuntu1) ... Setting up ttf-dejavu-core (2.33-2) ... Setting up fontconfig-config (2.8.0-3ubuntu2) ... Setting up libfontconfig1 (2.8.0-3ubuntu2) ... Setting up libunistring0 (0.9.3-5) ... Setting up libgettextpo0 (0.18.1.1-5ubuntu3) ... Setting up x11-common (1:7.6+7ubuntu7) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6 (2:1.0.7-2) ... Setting up libjpeg8 (8c-2ubuntu4) ... Setting up liblcms1 (1.19.dfsg-1ubuntu3) ... Setting up libpcrecpp0 (8.12-4) ... Setting up libsm6 (2:1.2.0-2) ... Setting up libxt6 (1:1.1.1-2) ... Setting up libxmu6 (2:1.1.0-3) ... Setting up libxpm4 (1:3.5.9-4) ... Setting up libxaw7 (2:1.0.9-3) ... Setting up libmagic1 (5.09-2) ... Setting up file (5.09-2) ... 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.2-9) ... Setting up python (2.7.2-9ubuntu1) ... Setting up bsdmainutils (8.2.3) ... 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-3) ... Setting up gettext-base (0.18.1.1-5ubuntu3) ... Setting up groff-base (1.21-6) ... Setting up man-db (2.6.0.2-3) ... Building database of manual pages ... Setting up ocaml-base-nox (3.12.1-2ubuntu2) ... Setting up libtinfo-dev (5.9-4) ... Setting up libncurses5-dev (5.9-4) ... Setting up ocaml-interp (3.12.1-2ubuntu2) ... Setting up ocaml-nox (3.12.1-2ubuntu2) ... Setting up camlp4 (3.12.1-2ubuntu2) ... Setting up html2text (1.3.2a-15) ... Setting up gettext (0.18.1.1-5ubuntu3) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu1ubuntu1) ... Setting up debhelper (8.9.9ubuntu1) ... Setting up libexpat1-dev (2.0.1-7.2) ... Setting up libfindlib-ocaml (1.2.7+debian-1build2) ... Setting up libkpathsea5 (2009-11ubuntu2) ... Setting up libmenhir-ocaml-dev (20110201.dfsg-1build2) ... Setting up libpaper1 (1.1.24+nmu1) ... Creating config file /etc/papersize with new version Setting up libpaper-utils (1.1.24+nmu1) ... Setting up libpcre-ocaml (6.2.3-1) ... Setting up libpcre3-dev (8.12-4) ... Setting up ocaml-findlib (1.2.7+debian-1build2) ... Setting up libpcre-ocaml-dev (6.2.3-1) ... Setting up libpoppler19 (0.18.2-0ubuntu2) ... Setting up libpython2.7 (2.7.2-9) ... Setting up libpycaml-ocaml (0.82-14) ... Setting up zlib1g-dev (1:1.2.3.4.dfsg-3ubuntu4) ... Setting up libssl-dev (1.0.0e-2ubuntu4) ... Setting up python2.7-dev (2.7.2-9) ... Setting up python-dev (2.7.2-9ubuntu1) ... Setting up libpycaml-ocaml-dev (0.82-14) ... Setting up luatex (0.70.1-1ubuntu1) ... texlive-base is not ready, cannot create formats Setting up menhir (20110201.dfsg-1build2) ... Setting up ocaml-native-compilers (3.12.1-2ubuntu2) ... Setting up tex-common (2.10) ... 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 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-15) ... Setting up texlive-doc-base (2009-2) ... Setting up texlive-binaries (2009-11ubuntu2) ... 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.2) ... Setting up libtype-conv-camlp4-dev (3.0.4-1) ... Setting up libsexplib-camlp4-dev (7.0.4-1) ... Processing triggers for tex-common ... Running mktexlsr. This may take some time... done. Setting up texlive-base (2009-15) ... Creating config file /etc/texmf/dvips/config/config.ps with new version Creating config file /etc/texmf/tex/generic/config/pdftexconfig.tex with new version Creating config file /etc/texmf/dvipdfmx/dvipdfmx.cfg with new version Creating config file /etc/texmf/xdvi/XDvi with new version 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 ... 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-15) ... 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-15) ... Setting up texlive-fonts-extra (2009-10ubuntu1) ... Setting up texlive-fonts-recommended (2009-15) ... Processing triggers for tex-common ... 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) ... Setting up texlive-latex-recommended (2009-15) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Processing triggers for tex-common ... 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-23ubuntu1 make_3.81-8.1ubuntu1 dpkg-dev_1.16.1.2ubuntu5 gcc-4.6_4.6.2-9ubuntu1 g++-4.6_4.6.2-9ubuntu1 binutils_2.22-2ubuntu1 libstdc++6-4.6-dev_4.6.2-9ubuntu1 libstdc++6_4.6.2-9ubuntu1 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::quilt gpgv: Signature made Mon Dec 19 00:46:04 2011 UTC using DSA key ID AA97FD59 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./coccinelle_1.0.0~rc7.deb-5ubuntu1.dsc dpkg-source: info: extracting coccinelle in coccinelle-1.0.0~rc7.deb dpkg-source: info: unpacking coccinelle_1.0.0~rc7.deb.orig.tar.gz dpkg-source: info: unpacking coccinelle_1.0.0~rc7.deb-5ubuntu1.debian.tar.gz dpkg-source: info: applying pycaml-build-check.diff dpkg-source: info: applying pdf-docs-build.diff dpkg-buildpackage: export CFLAGS from dpkg-buildflags (origin: vendor): -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Wformat-security dpkg-buildpackage: export CPPFLAGS from dpkg-buildflags (origin: vendor): -D_FORTIFY_SOURCE=2 dpkg-buildpackage: export CXXFLAGS from dpkg-buildflags (origin: vendor): -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Wformat-security dpkg-buildpackage: export FFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export LDFLAGS from dpkg-buildflags (origin: vendor): -Wl,-Bsymbolic-functions -Wl,-z,relro dpkg-buildpackage: source package coccinelle dpkg-buildpackage: source version 1.0.0~rc7.deb-5ubuntu1 dpkg-source --before-build coccinelle-1.0.0~rc7.deb dpkg-buildpackage: host architecture armel /usr/bin/fakeroot debian/rules clean dh clean --with ocaml,python2 dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' /usr/bin/make CLEANSUBDIRS=\$\(MAKESUBDIRS\) distclean make[2]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.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-1.0.0~rc7.deb/tools' /usr/bin/make -C docs distclean make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/docs' rm -f spatch.1 make -C manual distclean make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/docs/manual' make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.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-1.0.0~rc7.deb/commons' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/globals' rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f *~ .*~ gmon.out #*# make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/globals' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/ctl' ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/ctl' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/ctl' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_cocci' ocamldep *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_cocci' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_cocci' 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-1.0.0~rc7.deb/parsing_cocci' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/parsing_c' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/engine' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/popl09' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/popl09' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/extra' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/python' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/python' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/ocaml' /usr/bin/make -C demos/spp clean make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/demos/spp' rm -f test.o test.c.i test2.o test2.c.i make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/demos/spp' rm -f spatch spatch.opt spatch.top /usr/bin/make -C docs clean make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/docs' rm -f spatch.1 make -C manual clean make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/docs/manual' make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/docs' /usr/bin/make -C ocaml cleandoc make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/ocaml' rm -rf ../docs/html ../docs/man make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/ocaml' 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-1.0.0~rc7.deb/commons' rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/commons' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/globals' rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/globals' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/ctl' rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/ctl' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_cocci' rm -f lexer_cocci.ml lexer_cli.ml lexer_script.ml parser_cocci_menhir.ml parser_cocci_menhir.mli rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_cocci' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_c' rm -f .depend rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_c' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/engine' rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/engine' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/popl09' rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/popl09' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/extra' rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/extra' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/python' /usr/bin/make -C coccilib distclean make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/python/coccilib' set -e; for i in coccigui; do /usr/bin/make -C $i clean; done make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/python/coccilib/coccigui' rm -f *.pyc make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/python/coccilib/coccigui' rm -f *.pyc make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/python/coccilib' rm -f .depend rm -f pycocci.ml make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/python' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/ocaml' rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb' rm -rf texmf-var texmf-config make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' "dh_ocamlinit -d" dh_clean debian/rules build dh build --with ocaml,python2 dh_testdir dh_ocamlinit debian/rules override_dh_auto_configure make[1]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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 'pcre-ocaml' library is present in /usr/lib/ocaml/pcre ---------------------------------------------------------------------- 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 Support for regexp: pcre Modifying globals/config.ml ---------------------------------------------------------------------- Runtime dependency Support for external ocaml library in ocaml scripting: yes (ocamlfind found) make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' debian/rules override_dh_auto_build-arch make[1]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' /usr/bin/make BYTECODE_STATIC="" MANDIR=/usr/share/man depend make[2]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.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-1.0.0~rc7.deb/commons' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/globals' ocamldep -I ../commons -I /usr/lib/ocaml/pcre *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/globals' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/ctl' ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/ctl' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/ctl' ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/ctl' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_cocci' ocamldep *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_cocci' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_cocci' ocamllex lexer_cocci.mll 216 states, 2876 transitions, table size 12800 bytes 2368 additional bytes used for bindings ocamllex lexer_cli.mll 14 states, 681 transitions, table size 2808 bytes 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 *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_cocci' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_c' ocamllex lexer_c.mll 432 states, 14898 transitions, table size 62184 bytes 5273 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-1.0.0~rc7.deb/parsing_c' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/engine' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/popl09' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/popl09' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/extra' ocamldep -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/extra' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/python' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/ocaml' make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' # make all.opt does not build documentation /usr/bin/make BYTECODE_STATIC="" MANDIR=/usr/share/man -C docs all make[2]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/docs/manual' make[3]: Nothing to be done for `all'. make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/docs/manual' make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/docs' dh_auto_build --parallel -- BYTECODE_STATIC="" MANDIR=/usr/share/man all make[2]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' cp scripts/spatch.sh scripts/spatch.tmp2 cp scripts/spatch.sh scripts/spatch.opt.tmp2 sed "s|SHAREDIR|/usr/share/coccinelle|g" scripts/spatch.tmp2 > scripts/spatch.tmp sed "s|SHAREDIR|/usr/share/coccinelle|g" scripts/spatch.opt.tmp2 \ > scripts/spatch.opt.tmp sed "s|LIBDIR|/usr/lib|g" scripts/spatch.tmp > scripts/spatch sed "s|LIBDIR|/usr/lib|g" scripts/spatch.opt.tmp \ > scripts/spatch.opt rm -f scripts/spatch.tmp2 scripts/spatch.tmp cp scripts/spatch.sh scripts/spatch.byte.tmp3 rm -f scripts/spatch.opt.tmp scripts/spatch.opt.tmp2 make subdirs 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 make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' for D in commons globals ctl parsing_cocci parsing_c engine popl09 extra python ocaml; do make $D || exit 1 ; done rm -f scripts/spatch.byte.tmp3 \ scripts/spatch.byte.tmp2 \ scripts/spatch.byte.tmp make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make -C commons OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/commons' ocamlc -I ocamlextra -I ocollection -c ocamlextra/dumper.mli ocamlc -I ocamlextra -I ocollection -c ocamlextra/ANSITerminal.mli ocamlc -I ocamlextra -I ocollection -c ocamlextra/setb.mli 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 objet.mli ocamlc -I ocamlextra -I ocollection -c parser_combinators.mli ocamlc -I ocamlextra -I ocollection -c ocamlextra/enum.mli ocamlc -I ocamlextra -I ocollection -c ocamlextra/suffix_tree.mli ocamlc -I ocamlextra -I ocollection -c ocamlextra/suffix_tree_ext.mli ocamlc -I ocamlextra -I ocollection -c ocamlextra/dumper.ml ocamlc -I ocamlextra -I ocollection -c ocamlextra/ANSITerminal.ml ocamlc -I ocamlextra -I ocollection -c ocamlextra/setb.ml ocamlc -I ocamlextra -I ocollection -c ocollection.mli ocamlc -I ocamlextra -I ocollection -c seti.ml ocamlc -I ocamlextra -I ocollection -c oassoc.mli ocamlc -I ocamlextra -I ocollection -c glimpse.ml ocamlc -I ocamlextra -I ocollection -c parser_combinators.ml 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/suffix_tree.ml 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.ml ocamlc -I ocamlextra -I ocollection -c ocollection.ml ocamlc -I ocamlextra -I ocollection -c oset.mli ocamlc -I ocamlextra -I ocollection -c oassoc.ml ocamlc -I ocamlextra -I ocollection -c osequence.mli ocamlc -I ocamlextra -I ocollection -c ograph.mli 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_cache.mli ocamlc -I ocamlextra -I ocollection -c ocollection/oassocid.ml ocamlc -I ocamlextra -I ocollection -c oarray.mli ocamlc -I ocamlextra -I ocollection -c ocollection/ograph2way.mli ocamlc -I ocamlextra -I ocollection -c ograph_simple.mli ocamlc -I ocamlextra -I ocollection -c ograph_extended.mli ocamlc -I ocamlextra -I ocollection -c ofullcommon.ml ocamlc -I ocamlextra -I ocollection -c ocamlextra/dynArray.ml ocamlc -I ocamlextra -I ocollection -c ocamlextra/suffix_tree_ext.ml ocamlc -I ocamlextra -I ocollection -c oset.ml ocamlc -I ocamlextra -I ocollection -c osequence.ml ocamlc -I ocamlextra -I ocollection -c ograph.ml ocamlc -I ocamlextra -I ocollection -c ocollection/oassoc_buffer.ml ocamlc -I ocamlextra -I ocollection -c ocollection/oassoc_cache.ml ocamlc -I ocamlextra -I ocollection -c oarray.ml ocamlc -I ocamlextra -I ocollection -c ocollection/ograph2way.ml ocamlc -I ocamlextra -I ocollection -c ograph_simple.ml ocamlc -I ocamlextra -I ocollection -c ograph_extended.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-1.0.0~rc7.deb/commons' make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make -C globals OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/globals' ocamlc -I ../commons -I /usr/lib/ocaml/pcre -c flag.ml ocamlc -I ../commons -I /usr/lib/ocaml/pcre -c config.ml ocamlc -I ../commons -I /usr/lib/ocaml/pcre -c iteration.mli ocamlc -I ../commons -I /usr/lib/ocaml/pcre -c regexp.ml ocamlc -I ../commons -I /usr/lib/ocaml/pcre -c iteration.ml ocamlc -I ../commons -I /usr/lib/ocaml/pcre -a -o globals.cma flag.cmo config.cmo iteration.cmo regexp.cmo make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/globals' make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make -C ctl OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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 ctl_engine.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.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-1.0.0~rc7.deb/ctl' make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make -C parsing_cocci OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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 semantic_cocci.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c lexer_cli.ml ocamlc -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c command_line.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 command_line.ml 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 pretty_print_cocci.mli 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 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 compute_lines.mli 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 single_statement.mli 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 ast0toast.mli 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 top_level.mli 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 test_exps.mli 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 arity.mli 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 context_neg.mli 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 insert_plus.mli 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 unify_ast.mli 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 free_vars.mli 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 disjdistr.mli 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 adjacency.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.ml 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_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 compute_lines.ml 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 simple_assignments.ml 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.ml 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.ml 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.ml 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.ml 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.ml 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.ml 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 data.ml 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.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.ml 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 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 visitor_ast0.ml 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 single_statement.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 id_utils.ml 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 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 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_cli.cmo lexer_script.cmo get_constants2.cmo id_utils.cmo adjacency.cmo parse_cocci.cmo command_line.cmo make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_cocci' make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make -C parsing_c OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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 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 compare_c.mli 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 ast_c.ml 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 control_flow_c.mli 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 unparse_cocci.mli 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 parsing_recovery_c.mli 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 type_c.mli 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 comment_annotater_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 control_flow_c_build.mli 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 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_views_c.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 unparse_hrule.ml 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.ml 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 comment_annotater_c.ml 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 token_helpers.ml 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 control_flow_c_build.ml 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 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 cpp_analysis_c.mli 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 parsing_hacks.ml 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_c.mli 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 cpp_ast_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 compare_c.ml 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 -c unparse_c.ml 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 -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-1.0.0~rc7.deb/parsing_c' make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make -C engine OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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 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 c_vs_c.mli 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 pattern_c.mli 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 asttomember.mli 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 ctltotex.mli 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 ctlcocci_integration.mli 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 check_reachability.ml 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 cocci_vs_c.ml 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 transformation_c.ml 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.ml 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.ml 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 -c pretty_print_engine.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 transformation_c.cmo asttomember.cmo asttoctl2.cmo ctltotex.cmo postprocess_transinfo.cmo ctlcocci_integration.cmo make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/engine' make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make -C popl09 OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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 flag_popl.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 asttopopl.mli 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 pretty_print_popl.mli 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 asttopopl.ml 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.ml 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.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-1.0.0~rc7.deb/popl09' make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make -C extra OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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 kbuild.mli 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 classic_patch.ml 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.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-1.0.0~rc7.deb/extra' make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make -C python OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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.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.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-1.0.0~rc7.deb/python' make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make -C ocaml OCAMLCFLAGS="" all make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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 ocamlcocci_aux.mli 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 run_ocamlcocci.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.ml 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.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-1.0.0~rc7.deb/ocaml' make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make -C commons sexp OCAMLCFLAGS="" make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/commons' 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-1.0.0~rc7.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-1.0.0~rc7.deb/commons' make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/commons' make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make spatch make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make -C commons OCAMLCFLAGS="" all make -C globals OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/commons' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/commons' make -C ctl OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/globals' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/globals' make -C parsing_cocci OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/ctl' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/ctl' make -C parsing_c OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_cocci' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_cocci' make -C engine OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_c' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/parsing_c' make -C popl09 OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/popl09' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/popl09' make -C extra OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/engine' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/engine' make -C python OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/extra' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/extra' make -C ocaml OCAMLCFLAGS="" all make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/python' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/python' 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 -I /usr/lib/ocaml/pcre -c cocci.mli make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb/ocaml' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.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 -I /usr/lib/ocaml/pcre -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 -I /usr/lib/ocaml/pcre -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 -I /usr/lib/ocaml/pcre -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 -I /usr/lib/ocaml/pcre -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 -I /usr/lib/ocaml/pcre -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 -I /usr/lib/ocaml/pcre -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 -I /usr/lib/ocaml/pcre -o spatch str.cma unix.cma bigarray.cma nums.cma pycaml.cma dynlink.cma pcre.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-1.0.0~rc7.deb' make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' debian/rules override_dh_auto_build-indep make[1]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' mkdir texmf-var mkdir texmf-config TEXMFVAR="/build/buildd/coccinelle-1.0.0~rc7.deb/texmf-var" TEXMFCONFIG="/build/buildd/coccinelle-1.0.0~rc7.deb/texmf-config" /usr/bin/make BYTECODE_STATIC="" MANDIR=/usr/share/man -C docs/manual all-pdf make[2]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.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 279. [24] [25pdfTeX warning (ext4): destination with the same identifier (name{scrip t\\protect\040\\T1\\textunderscore\040metadecl}) has been already used, duplica te ignored \AtBegShi@Output ...ipout \box \AtBeginShipoutBox \fi \fi l.414 ] [26] Overfull \hbox (47.81136pt too wide) in paragraph at lines 625--627 []\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 806--850 [] [30] [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 188--189 \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 526--527 \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) 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-1.0.0~rc7.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-1.0.0~rc7.deb/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeo10.600pk: successfully generated. {/usr/share/texmf-texlive/fonts/enc/dvips/base/8r.enc}< /usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmsy7.pfb> Output written on main.pdf (49 pages, 422248 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] [26pdfTeX warning (ext4): destination with the same identif ier (name{script\\protect\040\\T1\\textunderscore\040metadecl}) has been alread y used, duplicate ignored \AtBegShi@Output ...ipout \box \AtBeginShipoutBox \fi \fi l.414 ] [27] Overfull \hbox (47.81136pt too wide) in paragraph at lines 625--627 []\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 806--850 [] [31] [32] [33]) [34] 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) [35] [36] Overfull \hbox (53.96228pt too wide) in paragraph at lines 188--189 \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 . [37] [38] [39] [40] [41] Overfull \hbox (4.86494pt too wide) in paragraph at lines 526--527 \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 [42]) [43] [44] (./license.txt [45] [46] [47] [48]) No file main.bbl. [49] (./main.aux) LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information) {/usr/share/texmf-texlive/fonts/enc/dvips/base/8r.enc}< /usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmsy7.pfb> Output written on main.pdf (50 pages, 451275 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 279. [4] [5pdfTeX warning (ext4): destination with the same identifier (name{script\ \protect\040\\T1\\textunderscore\040metadecl}) has been already used, duplicate ignored \AtBegShi@Output ...ipout \box \AtBeginShipoutBox \fi \fi l.414 ] [6] Overfull \hbox (47.81136pt too wide) in paragraph at lines 625--627 []\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 806--850 [] [10] [11] [12]) [13] (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02878pt too wide) in paragraph at lines 17--73 [][] [14] Underfull \hbox (badness 10000) in paragraph at lines 77--83 [15] 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 [16] Underfull \hbox (badness 10000) in paragraph at lines 205--212 Underfull \hbox (badness 10000) in paragraph at lines 213--238 [17] Underfull \hbox (badness 10000) in paragraph at lines 262--265 [18] Overfull \hbox (565.25523pt too wide) in paragraph at lines 341--381 [][] [19] Underfull \hbox (badness 10000) in paragraph at lines 385--394 Underfull \hbox (badness 10000) in paragraph at lines 411--422 [20] Underfull \hbox (badness 10000) in paragraph at lines 436--487 ) [21] (./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)) ) [22] (./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 (22 pages, 338952 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] [5pdfTeX warn ing (ext4): destination with the same identifier (name{script\\protect\040\\T1\ \textunderscore\040metadecl}) has been already used, duplicate ignored \AtBegShi@Output ...ipout \box \AtBeginShipoutBox \fi \fi l.414 ] [6] Overfull \hbox (47.81136pt too wide) in paragraph at lines 625--627 []\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 806--850 [] [10] [11] [12]) [13] (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02878pt too wide) in paragraph at lines 17--73 [][] [14] Underfull \hbox (badness 10000) in paragraph at lines 77--83 [15] 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 [16] Underfull \hbox (badness 10000) in paragraph at lines 205--212 Underfull \hbox (badness 10000) in paragraph at lines 213--238 [17] Underfull \hbox (badness 10000) in paragraph at lines 262--265 [18] Overfull \hbox (565.25523pt too wide) in paragraph at lines 341--381 [][] [19] Underfull \hbox (badness 10000) in paragraph at lines 385--394 Underfull \hbox (badness 10000) in paragraph at lines 411--422 [20] Underfull \hbox (badness 10000) in paragraph at lines 436--487 ) [21] (./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)) ) [22] (./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 (22 pages, 344626 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] [10] (./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, 46224 bytes). Transcript written on ecss1000.log. mktexpk: /build/buildd/coccinelle-1.0.0~rc7.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, 53420 bytes). Transcript written on ecti1000.log. mktexpk: /build/buildd/coccinelle-1.0.0~rc7.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, 49864 bytes). Transcript written on ecbx1000.log. mktexpk: /build/buildd/coccinelle-1.0.0~rc7.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, 59220 bytes). Transcript written on ecbx1200.log. mktexpk: /build/buildd/coccinelle-1.0.0~rc7.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, 43832 bytes). Transcript written on ectt1000.log. mktexpk: /build/buildd/coccinelle-1.0.0~rc7.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, 51184 bytes). Transcript written on ecrm1000.log. mktexpk: /build/buildd/coccinelle-1.0.0~rc7.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, 70764 bytes). Transcript written on ecbx1440.log. mktexpk: /build/buildd/coccinelle-1.0.0~rc7.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, 60320 bytes). Transcript written on ecrm1200.log. mktexpk: /build/buildd/coccinelle-1.0.0~rc7.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, 84608 bytes). Transcript written on ecrm1728.log. mktexpk: /build/buildd/coccinelle-1.0.0~rc7.deb/texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1728.600pk: successfully generated. Output written on main_options.pdf (10 pages, 140388 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] [10] (./main_options.aux) ) (see the transcript file for additional information) Output written on main_options.pdf (10 pages, 140388 bytes). Transcript written on main_options.log. mv main_options.pdf options.pdf make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/docs/manual' make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' debian/rules override_dh_auto_test make[1]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' # Nothing make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' /usr/bin/fakeroot debian/rules binary-arch dh binary-arch --with ocaml,python2 dh_testroot -a dh_prep -a dh_installdirs -a debian/rules override_dh_auto_install-arch make[1]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' /usr/bin/make DESTDIR=/build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle BYTECODE_STATIC="" MANDIR=/usr/share/man install install-bash make[2]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' mkdir -p /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/man/man1 mkdir -p /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/man/man3 install -c -m 644 docs/spatch.1 /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/man/man1/ install -c -m 644 docs/Coccilib.3cocci /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/man/man3/ mkdir -p /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/bin mkdir -p /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/lib mkdir -p /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle/ocaml mkdir -p /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle/commons mkdir -p /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle/globals mkdir -p /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle/parsing_c install -c -m 644 standard.h /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle install -c -m 644 standard.iso /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle install -c -m 644 ocaml/coccilib.cmi /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle/ocaml/ install -c -m 644 parsing_c/*.cmi /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle/parsing_c/ install -c -m 644 commons/*.cmi /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle/commons/ install -c -m 644 globals/iteration.cmi /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle/globals/ make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' mkdir -p /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle/python/coccilib/coccigui install -c -m 644 python/coccilib/*.py \ /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle/python/coccilib install -c -m 644 python/coccilib/coccigui/*.py \ /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle/python/coccilib/coccigui install -c -m 644 python/coccilib/coccigui/pygui.glade \ /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle/python/coccilib/coccigui install -c -m 644 python/coccilib/coccigui/pygui.gladep \ /build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/debian/coccinelle/usr/lib ; fi make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' install -c -m 755 spatch /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle install -c -m 755 scripts/spatch.byte /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/bin/spatch make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.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-1.0.0~rc7.deb/debian/coccinelle/etc/bash_completion.d install -c -m 644 scripts/spatch.bash_completion \ /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/etc/bash_completion.d/spatch make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' # install the wrapper script, i dont like upstreams one rm /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/bin/spatch* install /build/buildd/coccinelle-1.0.0~rc7.deb/debian/spatch /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/bin/ # move binary into /usr/lib/coccinelle mv /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/coccinelle/spatch* \ /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/lib/coccinelle/spatch # Vim files install -d /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/vim/addons/ftdetect /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/vim/addons/syntax cp /build/buildd/coccinelle-1.0.0~rc7.deb/editors/vim/ftdetect/cocci.vim /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/vim/addons/ftdetect/ cp /build/buildd/coccinelle-1.0.0~rc7.deb/editors/vim/syntax/cocci.vim /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/vim/addons/syntax/ install -d /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/vim/registry cp /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle.yaml /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/vim/registry/ # Emacs files cp /build/buildd/coccinelle-1.0.0~rc7.deb/editors/emacs/cocci.el /build/buildd/coccinelle-1.0.0~rc7.deb/debian/coccinelle/usr/share/emacs/site-lisp/ make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.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_installinit -a 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_python2 -a dh_usrlocal -a dh_link -a debian/rules override_dh_compress make[1]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' dh_compress -X.pdf -X.cocci -X.c make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.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 Config W: coccinelle doesn't resolve dependency on unit Pycocci W: coccinelle doesn't resolve dependency on unit Top_level W: coccinelle doesn't resolve dependency on unit Id_utils W: coccinelle doesn't resolve dependency on unit Lexer_cli W: coccinelle doesn't resolve dependency on unit Asttoctl2 W: coccinelle doesn't resolve dependency on unit Main 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 Pycocci_aux W: coccinelle doesn't resolve dependency on unit Ast_cocci W: coccinelle doesn't resolve dependency on unit Oseti W: coccinelle doesn't resolve dependency on unit Simple_assignments 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 Popl W: coccinelle doesn't resolve dependency on unit Prepare_ocamlcocci W: coccinelle doesn't resolve dependency on unit Ast0_cocci W: coccinelle doesn't resolve dependency on unit Flag_cocci 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 Ctltotex 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 Unparse_ast0 W: coccinelle doesn't resolve dependency on unit Type_cocci 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 Visitor_ast0_types W: coccinelle doesn't resolve dependency on unit Asttopopl W: coccinelle doesn't resolve dependency on unit Lexer_cocci W: coccinelle doesn't resolve dependency on unit Ograph2way 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 Flag_parsing_cocci 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 Visitor_ast W: coccinelle doesn't resolve dependency on unit C_vs_c W: coccinelle doesn't resolve dependency on unit Popltoctl 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 Parser_cocci_menhir 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 Regexp W: coccinelle doesn't resolve dependency on unit Cocci_vs_c 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 Arity W: coccinelle doesn't resolve dependency on unit Flag_popl W: coccinelle doesn't resolve dependency on unit Flag_matcher W: coccinelle doesn't resolve dependency on unit Osetb 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 Command_line W: coccinelle doesn't resolve dependency on unit Lib_engine 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 Parse_aux W: coccinelle doesn't resolve dependency on unit Flag W: coccinelle doesn't resolve dependency on unit Context_neg W: coccinelle doesn't resolve dependency on unit Data W: coccinelle doesn't resolve dependency on unit Oassoc_buffer W: coccinelle doesn't resolve dependency on unit Insert_quantifiers W: coccinelle doesn't resolve dependency on unit Flag_ctl W: coccinelle doesn't resolve dependency on unit Lexer_script 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 Ast_popl W: coccinelle doesn't resolve dependency on unit Index dh_gencontrol -a dpkg-gencontrol: warning: Depends field of package coccinelle: unknown substitution variable ${shlibs:Depends} dh_md5sums -a debian/rules override_dh_builddeb make[1]: Entering directory `/build/buildd/coccinelle-1.0.0~rc7.deb' dh_builddeb -- -Zxz INFO: pkgstriptranslations version 110 pkgstriptranslations: processing coccinelle (in debian/coccinelle); do_strip: , oemstrip: pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com pkgstripfiles: processing control file: debian/coccinelle/DEBIAN/control, package coccinelle, directory debian/coccinelle pkgstripfiles: Truncating usr/share/doc/coccinelle/changelog.Debian.gz to topmost ten records pkgstripfiles: PNG optimization for package coccinelle took 0 s 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_1.0.0~rc7.deb-5ubuntu1_armel.deb'. make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb' dpkg-genchanges -B -mUbuntu/armel Build Daemon >../coccinelle_1.0.0~rc7.deb-5ubuntu1_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-1.0.0~rc7.deb dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20111219-0150 chroot-autobuild/build/buildd/coccinelle_1.0.0~rc7.deb-5ubuntu1_armel.deb: new debian package, version 2.0. size 481762 bytes: control archive= 3393 bytes. 70 bytes, 2 lines conffiles 858 bytes, 17 lines control 6411 bytes, 81 lines md5sums 181 bytes, 9 lines * postinst #!/bin/sh 257 bytes, 14 lines * prerm #!/bin/sh Package: coccinelle Version: 1.0.0~rc7.deb-5ubuntu1 Architecture: armel Maintainer: Ubuntu Developers Installed-Size: 3601 Pre-Depends: dpkg (>= 1.15.6~) Depends: libpcre-ocaml-t3rk4, libpycaml-ocaml-866g5, ocaml-base-nox-3.12.1, python (>= 2.7.1-0ubuntu2), python-gobject, python-gtk2, python-glade2, ocaml-findlib Suggests: vim-addon-manager, coccinelle-doc 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. Original-Maintainer: Debian OCaml Maintainers chroot-autobuild/build/buildd/coccinelle_1.0.0~rc7.deb-5ubuntu1_armel.deb: drwxr-xr-x root/root 0 2011-12-19 01:50 ./ drwxr-xr-x root/root 0 2011-12-19 01:50 ./etc/ drwxr-xr-x root/root 0 2011-12-19 01:49 ./etc/bash_completion.d/ -rw-r--r-- root/root 3120 2011-12-19 01:49 ./etc/bash_completion.d/spatch drwxr-xr-x root/root 0 2011-12-19 01:50 ./etc/emacs/ drwxr-xr-x root/root 0 2011-12-19 01:50 ./etc/emacs/site-start.d/ -rw-r--r-- root/root 256 2011-12-19 01:50 ./etc/emacs/site-start.d/50coccinelle.el drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/ drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/lib/ drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/lib/coccinelle/ -rwxr-xr-x root/root 2969399 2011-12-19 01:49 ./usr/lib/coccinelle/spatch drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/bin/ -rwxr-xr-x root/root 119 2011-12-19 01:49 ./usr/bin/spatch drwxr-xr-x root/root 0 2011-12-19 01:50 ./usr/share/ drwxr-xr-x root/root 0 2011-12-19 01:50 ./usr/share/python/ drwxr-xr-x root/root 0 2011-12-19 01:50 ./usr/share/python/runtime.d/ -rwxr-xr-x root/root 142 2011-12-19 01:50 ./usr/share/python/runtime.d/coccinelle.rtupdate drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/doc/ drwxr-xr-x root/root 0 2011-12-19 01:50 ./usr/share/doc/coccinelle/ -rw-r--r-- root/root 1409 2010-06-18 23:17 ./usr/share/doc/coccinelle/readme.txt -rw-r--r-- root/root 5762 2011-12-06 22:37 ./usr/share/doc/coccinelle/copyright -rw-r--r-- root/root 98 2011-12-06 22:37 ./usr/share/doc/coccinelle/TODO.Debian -rw-r--r-- root/root 502 2009-04-16 16:30 ./usr/share/doc/coccinelle/credits.txt -rw-r--r-- root/root 1183 2011-12-19 01:50 ./usr/share/doc/coccinelle/changelog.Debian.gz -rw-r--r-- root/root 1047 2010-06-18 23:15 ./usr/share/doc/coccinelle/authors.txt drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/coccinelle/ drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/coccinelle/python/ drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/ -rw-r--r-- root/root 2948 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/output.py -rw-r--r-- root/root 161 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/report.py drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/coccigui/ -rw-r--r-- root/root 4613 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/coccigui/coccigui.py -rw-r--r-- root/root 9168 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/coccigui/vim.py -rw-r--r-- root/root 4364 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/coccigui/vimembed.py -rw-r--r-- root/root 9798 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/coccigui/vimeditor.py -rw-r--r-- root/root 27180 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/coccigui/vimcom.py -rw-r--r-- root/root 271 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/coccigui/pygui.gladep -rw-r--r-- root/root 4953 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/coccigui/pygui.glade -rw-r--r-- root/root 24 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/coccigui/__init__.py -rw-r--r-- root/root 599 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/coccigui/pycoccimodel.py -rw-r--r-- root/root 588 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/elems.py -rw-r--r-- root/root 1114 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/org.py -rw-r--r-- root/root 24 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/__init__.py -rw-r--r-- root/root 557 2011-12-19 01:49 ./usr/share/coccinelle/python/coccilib/trac.py -rw-r--r-- root/root 21601 2011-12-19 01:49 ./usr/share/coccinelle/standard.h drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/ -rw-r--r-- root/root 1852 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/type_annoter_c.cmi -rw-r--r-- root/root 6083 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/pretty_print_c.cmi -rw-r--r-- root/root 5253 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/control_flow_c.cmi -rw-r--r-- root/root 2293 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/cpp_ast_c.cmi -rw-r--r-- root/root 452 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/semantic_c.cmi -rw-r--r-- root/root 807 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/comment_annotater_c.cmi -rw-r--r-- root/root 9827 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/lib_parsing_c.cmi -rw-r--r-- root/root 1009 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/cpp_analysis_c.cmi -rw-r--r-- root/root 1764 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/cpp_token_c.cmi -rw-r--r-- root/root 3759 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/token_helpers.cmi -rw-r--r-- root/root 22271 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/ast_c.cmi -rw-r--r-- root/root 3724 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/lexer_c.cmi -rw-r--r-- root/root 3955 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/parse_c.cmi -rw-r--r-- root/root 13620 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/visitor_c.cmi -rw-r--r-- root/root 2170 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/lexer_parser.cmi -rw-r--r-- root/root 4584 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/parsing_stat.cmi -rw-r--r-- root/root 849 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/token_c.cmi -rw-r--r-- root/root 1393 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/test_parsing_c.cmi -rw-r--r-- root/root 2801 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/type_c.cmi -rw-r--r-- root/root 2433 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/parsing_hacks.cmi -rw-r--r-- root/root 1999 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/control_flow_c_build.cmi -rw-r--r-- root/root 1211 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/compare_c.cmi -rw-r--r-- root/root 819 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/unparse_hrule.cmi -rw-r--r-- root/root 8601 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/parser_c.cmi -rw-r--r-- root/root 1576 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/unparse_cocci.cmi -rw-r--r-- root/root 3465 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/token_views_c.cmi -rw-r--r-- root/root 687 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/parsing_consistency_c.cmi -rw-r--r-- root/root 5415 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/flag_parsing_c.cmi -rw-r--r-- root/root 884 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/parsing_recovery_c.cmi -rw-r--r-- root/root 1135 2011-12-19 01:49 ./usr/share/coccinelle/parsing_c/unparse_c.cmi drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/coccinelle/commons/ -rw-r--r-- root/root 4067 2011-12-19 01:49 ./usr/share/coccinelle/commons/ograph_simple.cmi -rw-r--r-- root/root 7676 2011-12-19 01:49 ./usr/share/coccinelle/commons/oset.cmi -rw-r--r-- root/root 1354 2011-12-19 01:49 ./usr/share/coccinelle/commons/glimpse.cmi -rw-r--r-- root/root 3051 2011-12-19 01:49 ./usr/share/coccinelle/commons/ograph.cmi -rw-r--r-- root/root 7487 2011-12-19 01:49 ./usr/share/coccinelle/commons/oarray.cmi -rw-r--r-- root/root 2845 2011-12-19 01:49 ./usr/share/coccinelle/commons/seti.cmi -rw-r--r-- root/root 4626 2011-12-19 01:49 ./usr/share/coccinelle/commons/ocollection.cmi -rw-r--r-- root/root 8293 2011-12-19 01:49 ./usr/share/coccinelle/commons/ograph_extended.cmi -rw-r--r-- root/root 7276 2011-12-19 01:49 ./usr/share/coccinelle/commons/osequence.cmi -rw-r--r-- root/root 171034 2011-12-19 01:49 ./usr/share/coccinelle/commons/ofullcommon.cmi -rw-r--r-- root/root 1439 2011-12-19 01:49 ./usr/share/coccinelle/commons/objet.cmi -rw-r--r-- root/root 2201 2011-12-19 01:49 ./usr/share/coccinelle/commons/interfaces.cmi -rw-r--r-- root/root 679 2011-12-19 01:49 ./usr/share/coccinelle/commons/common_extra.cmi -rw-r--r-- root/root 3695 2011-12-19 01:49 ./usr/share/coccinelle/commons/parser_combinators.cmi -rw-r--r-- root/root 6909 2011-12-19 01:49 ./usr/share/coccinelle/commons/oassoc.cmi -rw-r--r-- root/root 5508 2011-12-19 01:49 ./usr/share/coccinelle/commons/sexp_common.cmi -rw-r--r-- root/root 88015 2011-12-19 01:49 ./usr/share/coccinelle/commons/common.cmi drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/coccinelle/ocaml/ -rw-r--r-- root/root 2464 2011-12-19 01:49 ./usr/share/coccinelle/ocaml/coccilib.cmi drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/coccinelle/globals/ -rw-r--r-- root/root 1188 2011-12-19 01:49 ./usr/share/coccinelle/globals/iteration.cmi -rw-r--r-- root/root 15163 2011-12-19 01:49 ./usr/share/coccinelle/standard.iso drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/vim/ drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/vim/registry/ -rw-r--r-- root/root 144 2011-12-19 01:49 ./usr/share/vim/registry/coccinelle.yaml drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/vim/addons/ drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/vim/addons/ftdetect/ -rw-r--r-- root/root 367 2011-12-19 01:49 ./usr/share/vim/addons/ftdetect/cocci.vim drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/vim/addons/syntax/ -rw-r--r-- root/root 1248 2011-12-19 01:49 ./usr/share/vim/addons/syntax/cocci.vim drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/man/ drwxr-xr-x root/root 0 2011-12-19 01:50 ./usr/share/man/man3/ -rw-r--r-- root/root 1621 2011-12-19 01:50 ./usr/share/man/man3/Coccilib.3cocci.gz drwxr-xr-x root/root 0 2011-12-19 01:50 ./usr/share/man/man1/ -rw-r--r-- root/root 2185 2011-12-19 01:50 ./usr/share/man/man1/spatch.1.gz drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/emacs/ drwxr-xr-x root/root 0 2011-12-19 01:49 ./usr/share/emacs/site-lisp/ -rw-r--r-- root/root 11218 2011-12-19 01:49 ./usr/share/emacs/site-lisp/cocci.el coccinelle_1.0.0~rc7.deb-5ubuntu1_armel.changes: Format: 1.8 Date: Sun, 18 Dec 2011 18:41:11 -0600 Source: coccinelle Binary: coccinelle coccinelle-doc Architecture: armel Version: 1.0.0~rc7.deb-5ubuntu1 Distribution: precise Urgency: low Maintainer: Ubuntu/armel Build Daemon Changed-By: Micah Gersten Description: coccinelle - semantic patching tool for C coccinelle-doc - documentation for coccinelle Changes: coccinelle (1.0.0~rc7.deb-5ubuntu1) precise; urgency=low . * Add Pre-Depends on dpkg 1.15.6~ for xz deb compression, this is needed until after the 12.04 LTS - update debian/control Checksums-Sha1: 9f0ab6c35a7695b1c8d5f10f06c898cd6e6ed15a 481762 coccinelle_1.0.0~rc7.deb-5ubuntu1_armel.deb Checksums-Sha256: e1947da431790613a5549d42b1d03d2a857c37386b6c7204ebdfdc59245e04e9 481762 coccinelle_1.0.0~rc7.deb-5ubuntu1_armel.deb Files: f39b570332fadc48203e3baf6fdd2ccd 481762 devel optional coccinelle_1.0.0~rc7.deb-5ubuntu1_armel.deb Original-Maintainer: Debian OCaml Maintainers ****************************************************************************** Built successfully Purging chroot-autobuild/build/buildd/coccinelle-1.0.0~rc7.deb ------------------------------------------------------------------------------ /usr/bin/sudo dpkg --purge libxmu6 groff-base libx11-data libpcre-ocaml-dev fontconfig-config ttf-dejavu-core gettext file zlib1g-dev libxaw7 libmenhir-ocaml-dev libtype-conv-camlp4-dev libxpm4 texlive-common x11-common libdb4.8 libcroco3 libfindlib-ocaml camlp4 libpcre3-dev libgettextpo0 libfreetype6 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 libtinfo-dev ocaml-nox libmagic1 libexpat1 libssl-dev texlive-latex-extra bsdmainutils libxau6 libpcrecpp0 menhir texlive-fonts-recommended libx11-6 dh-ocaml mime-support libpoppler19 libxt6 libpycaml-ocaml-dev libxdmcp6 texlive-base libkpathsea5 texlive-doc-base po-debconf libpaper1 libxml2 libjpeg8 liblcms1 libpcre-ocaml ed libpaper-utils python-dev man-db 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 preview-latex-style (Reading database ... 41935 files and directories currently installed.) Removing libpcre-ocaml-dev ... Removing libmenhir-ocaml-dev ... Removing libpcre3-dev ... 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 libpcrecpp0 ... Purging configuration files for libpcrecpp0 ... Removing menhir ... Removing texlive-fonts-recommended ... Purging configuration files for texlive-fonts-recommended ... Removing dh-ocaml ... Removing libpycaml-ocaml-dev ... Removing libpcre-ocaml ... Removing python-dev ... Removing man-db ... Purging configuration files for man-db ... Removing catpages as well as /var/cache/man hierarchy. 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 file ... Removing libtype-conv-camlp4-dev ... 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 po-debconf ... Removing libpaper-utils ... Removing intltool-debian ... Removing ocaml-findlib ... Purging configuration files for ocaml-findlib ... Removing libpython2.7 ... Purging configuration files for libpython2.7 ... Removing luatex ... Removing texlive-binaries ... Removing gettext ... 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 libgettextpo0 ... 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 libtinfo-dev ... Removing mime-support ... Purging configuration files for mime-support ... Removing libpoppler19 ... Purging configuration files for libpoppler19 ... Removing libkpathsea5 ... Purging configuration files for libkpathsea5 ... Removing libpaper1 ... Purging configuration files for libpaper1 ... Removing libjpeg8 ... Removing liblcms1 ... Purging configuration files for liblcms1 ... Removing ed ... Removing gettext-base ... Removing libunistring0 ... Purging configuration files for libunistring0 ... Removing libxmu6 ... Purging configuration files for libxmu6 ... Removing libdb4.8 ... Removing libcroco3 ... Purging configuration files for libcroco3 ... Removing libfontconfig1 ... Purging configuration files for libfontconfig1 ... Removing libexpat1 ... Purging configuration files for libexpat1 ... Removing libxt6 ... Purging configuration files for libxt6 ... Removing libxml2 ... Purging configuration files for libxml2 ... 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 ... invoke-rc.d: policy-rc.d denied execution of stop. 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 20111219-0154 Build needed 00:06:44, 32748k 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', '190e54548e054bbb44f61cc27fa9da3437873b23'] Scanning for processes to kill in build /home/buildd/build-190e54548e054bbb44f61cc27fa9da3437873b23/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '190e54548e054bbb44f61cc27fa9da3437873b23'] Unmounting chroot for build 190e54548e054bbb44f61cc27fa9da3437873b23... none /home/buildd/build-190e54548e054bbb44f61cc27fa9da3437873b23/chroot-autobuild/proc proc rw,relatime 0 0 none /home/buildd/build-190e54548e054bbb44f61cc27fa9da3437873b23/chroot-autobuild/dev/pts devpts rw,relatime,mode=600 0 0 none /home/buildd/build-190e54548e054bbb44f61cc27fa9da3437873b23/chroot-autobuild/sys sysfs rw,relatime 0 0 none /home/buildd/build-190e54548e054bbb44f61cc27fa9da3437873b23/chroot-autobuild/dev/shm tmpfs rw,relatime 0 0 RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '190e54548e054bbb44f61cc27fa9da3437873b23'] Removing build 190e54548e054bbb44f61cc27fa9da3437873b23