RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: 2.6.38-1209-omap4 #20-Ubuntu SMP PREEMPT Wed Jan 4 19:45:37 UTC 2012 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... 23 Jan 22:04:49 ntpdate[10594]: adjust time server 10.211.37.1 offset -0.000987 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'b6252b7b017c38ee7307a02c2409ce6fcb602b3d', '/home/buildd/filecache-default/3538e6f15efdc0f6c9bd10dfa6ea4eb037cee434'] Unpacking chroot for build b6252b7b017c38ee7307a02c2409ce6fcb602b3d RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'b6252b7b017c38ee7307a02c2409ce6fcb602b3d'] Mounting chroot for build b6252b7b017c38ee7307a02c2409ce6fcb602b3d RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'b6252b7b017c38ee7307a02c2409ce6fcb602b3d', 'deb http://ftpmaster.internal/ubuntu precise main universe'] Overriding sources.list in build-b6252b7b017c38ee7307a02c2409ce6fcb602b3d RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'b6252b7b017c38ee7307a02c2409ce6fcb602b3d', 'armhf'] Updating debian chroot for build b6252b7b017c38ee7307a02c2409ce6fcb602b3d 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 armhf Packages [1251 kB] Get:4 http://ftpmaster.internal precise/universe armhf Packages [4505 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 [729 kB] Get:8 http://ftpmaster.internal precise/universe Translation-en [3354 kB] Fetched 9895 kB in 26s (379 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: apt binutils cpp cpp-4.6 g++ g++-4.6 gcc gcc-4.6 gcc-4.6-base ifupdown libapt-pkg4.11 libc-bin libc-dev-bin libc6 libc6-dev libdbus-1-3 libdrm-intel1 libdrm-nouveau1a libdrm-radeon1 libdrm2 libgcc1 libglib2.0-0 libgomp1 libssl1.0.0 libstdc++6 libstdc++6-4.6-dev libusb-0.1-4 linux-libc-dev lsb-base multiarch-support patch pkgbinarymangler python2.7-minimal upstart 34 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 31.7 MB of archives. After this operation, 1498 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libdbus-1-3 lsb-base ifupdown upstart libc6-dev libc-dev-bin linux-libc-dev libgomp1 gcc-4.6-base libgcc1 cpp-4.6 libstdc++6-4.6-dev g++-4.6 gcc-4.6 libstdc++6 binutils libc-bin libc6 libusb-0.1-4 libssl1.0.0 libdrm2 libdrm-intel1 libdrm-nouveau1a libdrm-radeon1 libglib2.0-0 libapt-pkg4.11 apt multiarch-support python2.7-minimal cpp gcc g++ patch pkgbinarymangler Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ precise/main libdbus-1-3 armhf 1.4.16-1ubuntu4 [116 kB] Get:2 http://ftpmaster.internal/ubuntu/ precise/main lsb-base armhf 4.0-0ubuntu19 [10.2 kB] Get:3 http://ftpmaster.internal/ubuntu/ precise/main ifupdown armhf 0.7~beta2ubuntu3 [44.1 kB] Get:4 http://ftpmaster.internal/ubuntu/ precise/main upstart armhf 1.4-0ubuntu2 [290 kB] Get:5 http://ftpmaster.internal/ubuntu/ precise/main libc6-dev armhf 2.13-24ubuntu4 [2161 kB] Get:6 http://ftpmaster.internal/ubuntu/ precise/main libc-dev-bin armhf 2.13-24ubuntu4 [72.1 kB] Get:7 http://ftpmaster.internal/ubuntu/ precise/main linux-libc-dev armhf 3.2.0-10.17 [819 kB] Get:8 http://ftpmaster.internal/ubuntu/ precise/main libgomp1 armhf 4.6.2-12ubuntu1 [23.6 kB] Get:9 http://ftpmaster.internal/ubuntu/ precise/main gcc-4.6-base armhf 4.6.2-12ubuntu1 [15.8 kB] Get:10 http://ftpmaster.internal/ubuntu/ precise/main libgcc1 armhf 1:4.6.2-12ubuntu1 [22.0 kB] Get:11 http://ftpmaster.internal/ubuntu/ precise/main cpp-4.6 armhf 4.6.2-12ubuntu1 [4102 kB] Get:12 http://ftpmaster.internal/ubuntu/ precise/main libstdc++6-4.6-dev armhf 4.6.2-12ubuntu1 [1693 kB] Get:13 http://ftpmaster.internal/ubuntu/ precise/main g++-4.6 armhf 4.6.2-12ubuntu1 [4977 kB] Get:14 http://ftpmaster.internal/ubuntu/ precise/main gcc-4.6 armhf 4.6.2-12ubuntu1 [4536 kB] Get:15 http://ftpmaster.internal/ubuntu/ precise/main libstdc++6 armhf 4.6.2-12ubuntu1 [269 kB] Get:16 http://ftpmaster.internal/ubuntu/ precise/main binutils armhf 2.22-4ubuntu1 [2258 kB] Get:17 http://ftpmaster.internal/ubuntu/ precise/main libc-bin armhf 2.13-24ubuntu4 [1017 kB] Get:18 http://ftpmaster.internal/ubuntu/ precise/main libc6 armhf 2.13-24ubuntu4 [3854 kB] Get:19 http://ftpmaster.internal/ubuntu/ precise/main libusb-0.1-4 armhf 2:0.1.12-20 [15.5 kB] Get:20 http://ftpmaster.internal/ubuntu/ precise/main libssl1.0.0 armhf 1.0.0e-3ubuntu1 [783 kB] Get:21 http://ftpmaster.internal/ubuntu/ precise/main libdrm2 armhf 2.4.30-1ubuntu1 [20.9 kB] Get:22 http://ftpmaster.internal/ubuntu/ precise/main libdrm-intel1 armhf 2.4.30-1ubuntu1 [51.2 kB] Get:23 http://ftpmaster.internal/ubuntu/ precise/main libdrm-nouveau1a armhf 2.4.30-1ubuntu1 [11.4 kB] Get:24 http://ftpmaster.internal/ubuntu/ precise/main libdrm-radeon1 armhf 2.4.30-1ubuntu1 [12.0 kB] Get:25 http://ftpmaster.internal/ubuntu/ precise/main libglib2.0-0 armhf 2.31.12-0ubuntu1 [1021 kB] Get:26 http://ftpmaster.internal/ubuntu/ precise/main libapt-pkg4.11 armhf 0.8.16~exp5ubuntu14.2 [821 kB] Get:27 http://ftpmaster.internal/ubuntu/ precise/main apt armhf 0.8.16~exp5ubuntu14.2 [1027 kB] Get:28 http://ftpmaster.internal/ubuntu/ precise/main multiarch-support armhf 2.13-24ubuntu4 [4480 B] Get:29 http://ftpmaster.internal/ubuntu/ precise/main python2.7-minimal armhf 2.7.2-13ubuntu4 [1489 kB] Get:30 http://ftpmaster.internal/ubuntu/ precise/main cpp armhf 4:4.6.2-4ubuntu1 [27.8 kB] Get:31 http://ftpmaster.internal/ubuntu/ precise/main gcc armhf 4:4.6.2-4ubuntu1 [5132 B] Get:32 http://ftpmaster.internal/ubuntu/ precise/main g++ armhf 4:4.6.2-4ubuntu1 [1458 B] Get:33 http://ftpmaster.internal/ubuntu/ precise/main patch armhf 2.6.1-2.1 [77.6 kB] Get:34 http://ftpmaster.internal/ubuntu/ precise/main pkgbinarymangler all 113 [29.3 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 31.7 MB in 7s (4037 kB/s) (Reading database ... 11525 files and directories currently installed.) Preparing to replace libdbus-1-3 1.4.16-1ubuntu2 (using .../libdbus-1-3_1.4.16-1ubuntu4_armhf.deb) ... Unpacking replacement libdbus-1-3 ... Preparing to replace lsb-base 4.0-0ubuntu17 (using .../lsb-base_4.0-0ubuntu19_armhf.deb) ... Unpacking replacement lsb-base ... Setting up lsb-base (4.0-0ubuntu19) ... (Reading database ... 11525 files and directories currently installed.) Preparing to replace ifupdown 0.7~alpha5.1ubuntu6 (using .../ifupdown_0.7~beta2ubuntu3_armhf.deb) ... Unpacking replacement ifupdown ... Preparing to replace upstart 1.4-0ubuntu1 (using .../upstart_1.4-0ubuntu2_armhf.deb) ... Unpacking replacement upstart ... Preparing to replace libc6-dev 2.13-24ubuntu2 (using .../libc6-dev_2.13-24ubuntu4_armhf.deb) ... Unpacking replacement libc6-dev ... Preparing to replace libc-dev-bin 2.13-24ubuntu2 (using .../libc-dev-bin_2.13-24ubuntu4_armhf.deb) ... Unpacking replacement libc-dev-bin ... Preparing to replace linux-libc-dev 3.2.0-7.13 (using .../linux-libc-dev_3.2.0-10.17_armhf.deb) ... Unpacking replacement linux-libc-dev ... Preparing to replace libgomp1 4.6.2-10ubuntu1 (using .../libgomp1_4.6.2-12ubuntu1_armhf.deb) ... Unpacking replacement libgomp1 ... Preparing to replace gcc-4.6-base 4.6.2-10ubuntu1 (using .../gcc-4.6-base_4.6.2-12ubuntu1_armhf.deb) ... Unpacking replacement gcc-4.6-base ... Setting up gcc-4.6-base (4.6.2-12ubuntu1) ... (Reading database ... 11525 files and directories currently installed.) Preparing to replace libgcc1 1:4.6.2-10ubuntu1 (using .../libgcc1_1%3a4.6.2-12ubuntu1_armhf.deb) ... Unpacking replacement libgcc1 ... Setting up libgcc1 (1:4.6.2-12ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 11525 files and directories currently installed.) Preparing to replace cpp-4.6 4.6.2-10ubuntu1 (using .../cpp-4.6_4.6.2-12ubuntu1_armhf.deb) ... Unpacking replacement cpp-4.6 ... Preparing to replace libstdc++6-4.6-dev 4.6.2-10ubuntu1 (using .../libstdc++6-4.6-dev_4.6.2-12ubuntu1_armhf.deb) ... Unpacking replacement libstdc++6-4.6-dev ... Preparing to replace g++-4.6 4.6.2-10ubuntu1 (using .../g++-4.6_4.6.2-12ubuntu1_armhf.deb) ... Unpacking replacement g++-4.6 ... Preparing to replace gcc-4.6 4.6.2-10ubuntu1 (using .../gcc-4.6_4.6.2-12ubuntu1_armhf.deb) ... Unpacking replacement gcc-4.6 ... Preparing to replace libstdc++6 4.6.2-10ubuntu1 (using .../libstdc++6_4.6.2-12ubuntu1_armhf.deb) ... Unpacking replacement libstdc++6 ... Setting up libstdc++6 (4.6.2-12ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 11525 files and directories currently installed.) Preparing to replace binutils 2.22-3ubuntu1 (using .../binutils_2.22-4ubuntu1_armhf.deb) ... Unpacking replacement binutils ... Preparing to replace libc-bin 2.13-24ubuntu2 (using .../libc-bin_2.13-24ubuntu4_armhf.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.13-24ubuntu4) ... Installing new version of config file /etc/bindresvport.blacklist ... (Reading database ... 11525 files and directories currently installed.) Preparing to replace libc6 2.13-24ubuntu2 (using .../libc6_2.13-24ubuntu4_armhf.deb) ... Unpacking replacement libc6 ... Setting up libc6 (2.13-24ubuntu4) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 11525 files and directories currently installed.) Preparing to replace libusb-0.1-4 2:0.1.12-19 (using .../libusb-0.1-4_2%3a0.1.12-20_armhf.deb) ... Unpacking replacement libusb-0.1-4 ... Setting up libusb-0.1-4 (2:0.1.12-20) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 11523 files and directories currently installed.) Preparing to replace libssl1.0.0 1.0.0e-2ubuntu4 (using .../libssl1.0.0_1.0.0e-3ubuntu1_armhf.deb) ... Unpacking replacement libssl1.0.0 ... Setting up libssl1.0.0 (1.0.0e-3ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 11523 files and directories currently installed.) Preparing to replace libdrm2 2.4.29-1ubuntu1 (using .../libdrm2_2.4.30-1ubuntu1_armhf.deb) ... Unpacking replacement libdrm2 ... Preparing to replace libdrm-intel1 2.4.29-1ubuntu1 (using .../libdrm-intel1_2.4.30-1ubuntu1_armhf.deb) ... Unpacking replacement libdrm-intel1 ... Preparing to replace libdrm-nouveau1a 2.4.29-1ubuntu1 (using .../libdrm-nouveau1a_2.4.30-1ubuntu1_armhf.deb) ... Unpacking replacement libdrm-nouveau1a ... Preparing to replace libdrm-radeon1 2.4.29-1ubuntu1 (using .../libdrm-radeon1_2.4.30-1ubuntu1_armhf.deb) ... Unpacking replacement libdrm-radeon1 ... Preparing to replace libglib2.0-0 2.31.6-0ubuntu1 (using .../libglib2.0-0_2.31.12-0ubuntu1_armhf.deb) ... Unpacking replacement libglib2.0-0 ... Preparing to replace libapt-pkg4.11 0.8.16~exp5ubuntu14.1 (using .../libapt-pkg4.11_0.8.16~exp5ubuntu14.2_armhf.deb) ... Unpacking replacement libapt-pkg4.11 ... Setting up libapt-pkg4.11 (0.8.16~exp5ubuntu14.2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 11566 files and directories currently installed.) Preparing to replace apt 0.8.16~exp5ubuntu14.1 (using .../apt_0.8.16~exp5ubuntu14.2_armhf.deb) ... Unpacking replacement apt ... Setting up apt (0.8.16~exp5ubuntu14.2) ... Installing new version of config file /etc/cron.daily/apt ... gpg: key 437D05B5: "Ubuntu Archive Automatic Signing Key " not changed gpg: key FBB75451: "Ubuntu CD Image Automatic Signing Key " not changed gpg: Total number processed: 2 gpg: unchanged: 2 (Reading database ... 11566 files and directories currently installed.) Preparing to replace multiarch-support 2.13-24ubuntu2 (using .../multiarch-support_2.13-24ubuntu4_armhf.deb) ... Unpacking replacement multiarch-support ... Setting up multiarch-support (2.13-24ubuntu4) ... (Reading database ... 11566 files and directories currently installed.) Preparing to replace python2.7-minimal 2.7.2-9 (using .../python2.7-minimal_2.7.2-13ubuntu4_armhf.deb) ... Unpacking replacement python2.7-minimal ... Setting up python2.7-minimal (2.7.2-13ubuntu4) ... (Reading database ... 11566 files and directories currently installed.) Preparing to replace cpp 4:4.6.2-2ubuntu1 (using .../cpp_4%3a4.6.2-4ubuntu1_armhf.deb) ... Unpacking replacement cpp ... Preparing to replace gcc 4:4.6.2-2ubuntu1 (using .../gcc_4%3a4.6.2-4ubuntu1_armhf.deb) ... Removing old gcc doc directory. Unpacking replacement gcc ... Preparing to replace g++ 4:4.6.2-2ubuntu1 (using .../g++_4%3a4.6.2-4ubuntu1_armhf.deb) ... Unpacking replacement g++ ... Preparing to replace patch 2.6.1-2 (using .../patch_2.6.1-2.1_armhf.deb) ... Unpacking replacement patch ... Preparing to replace pkgbinarymangler 111 (using .../pkgbinarymangler_113_all.deb) ... Unpacking replacement pkgbinarymangler ... Setting up libdbus-1-3 (1.4.16-1ubuntu4) ... Setting up libc-dev-bin (2.13-24ubuntu4) ... Setting up linux-libc-dev (3.2.0-10.17) ... Setting up libc6-dev (2.13-24ubuntu4) ... Setting up libgomp1 (4.6.2-12ubuntu1) ... Setting up cpp-4.6 (4.6.2-12ubuntu1) ... Setting up binutils (2.22-4ubuntu1) ... Setting up gcc-4.6 (4.6.2-12ubuntu1) ... Setting up libdrm2 (2.4.30-1ubuntu1) ... Setting up libdrm-intel1 (2.4.30-1ubuntu1) ... Setting up libdrm-nouveau1a (2.4.30-1ubuntu1) ... Setting up libdrm-radeon1 (2.4.30-1ubuntu1) ... Setting up libglib2.0-0 (2.31.12-0ubuntu1) ... No schema files found: doing nothing. Setting up cpp (4:4.6.2-4ubuntu1) ... Setting up gcc (4:4.6.2-4ubuntu1) ... Setting up patch (2.6.1-2.1) ... Setting up pkgbinarymangler (113) ... Setting up libstdc++6-4.6-dev (4.6.2-12ubuntu1) ... Setting up g++-4.6 (4.6.2-12ubuntu1) ... Setting up g++ (4:4.6.2-4ubuntu1) ... Setting up ifupdown (0.7~beta2ubuntu3) ... Installing new version of config file /etc/init/networking.conf ... Installing new version of config file /etc/init/network-interface.conf ... Installing new version of config file /etc/init/network-interface-security.conf ... Setting up upstart (1.4-0ubuntu2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'b6252b7b017c38ee7307a02c2409ce6fcb602b3d', 'armhf', 'precise', '--nolog', '--batch', '--archive=ubuntu', '--dist=precise', '--purpose=PRIMARY', '--architecture=armhf', '--comp=universe', 'coccinelle_1.0.0~rc7.deb-5ubuntu2.dsc'] Initiating build b6252b7b017c38ee7307a02c2409ce6fcb602b3d with 2 processor cores. Automatic build of coccinelle_1.0.0~rc7.deb-5ubuntu2 on meissa by sbuild/armhf 1.170.5 Build started at 20120123-2207 ****************************************************************************** coccinelle_1.0.0~rc7.deb-5ubuntu2.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 libexpat1 libexpat1-dev libfindlib-ocaml libfontconfig1 libfreetype6 libgettextpo0 libice6 libjpeg-turbo8 libjpeg8 libkpathsea5 liblcms2-2 libmagic1 libncurses5-dev libpaper-utils libpaper1 libpcre-ocaml libpcre3-dev libpcrecpp0 libpipeline1 libpoppler19 libpycaml-ocaml libpython2.7 libsm6 libsqlite3-0 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 liblcms2-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 libexpat1 libexpat1-dev libfindlib-ocaml libfontconfig1 libfreetype6 libgettextpo0 libice6 libjpeg-turbo8 libjpeg8 libkpathsea5 liblcms2-2 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 libsqlite3-0 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, 86 newly installed, 0 to remove and 0 not upgraded. Need to get 205 MB of archives. After this operation, 527 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libexpat1 libsqlite3-0 libpipeline1 libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libxext6 libxml2 libcroco3 libfreetype6 ucf ttf-dejavu-core fontconfig-config libfontconfig1 libunistring0 libgettextpo0 x11-common libice6 libjpeg-turbo8 liblcms2-2 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 libjpeg8 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 libexpat1 armhf 2.0.1-7.2 [102 kB] Get:2 http://ftpmaster.internal/ubuntu/ precise/main libsqlite3-0 armhf 3.7.9-2ubuntu1 [282 kB] Get:3 http://ftpmaster.internal/ubuntu/ precise/main libpipeline1 armhf 1.2.0-5 [20.7 kB] Get:4 http://ftpmaster.internal/ubuntu/ precise/main libxau6 armhf 1:1.0.6-4 [7150 B] Get:5 http://ftpmaster.internal/ubuntu/ precise/main libxdmcp6 armhf 1:1.1.0-4 [11.0 kB] Get:6 http://ftpmaster.internal/ubuntu/ precise/main libxcb1 armhf 1.7-4 [33.2 kB] Get:7 http://ftpmaster.internal/ubuntu/ precise/main libx11-data armhf 2:1.4.4-4 [172 kB] Get:8 http://ftpmaster.internal/ubuntu/ precise/main libx11-6 armhf 2:1.4.4-4 [685 kB] Get:9 http://ftpmaster.internal/ubuntu/ precise/main libxext6 armhf 2:1.3.0-3 [27.8 kB] Get:10 http://ftpmaster.internal/ubuntu/ precise/main libxml2 armhf 2.7.8.dfsg-5.1ubuntu3 [548 kB] Get:11 http://ftpmaster.internal/ubuntu/ precise/main libcroco3 armhf 0.6.2-2 [80.9 kB] Get:12 http://ftpmaster.internal/ubuntu/ precise/main libfreetype6 armhf 2.4.8-1 [271 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 armhf 2.33-2 [1550 kB] Get:15 http://ftpmaster.internal/ubuntu/ precise/main fontconfig-config armhf 2.8.0-3ubuntu2 [44.5 kB] Get:16 http://ftpmaster.internal/ubuntu/ precise/main libfontconfig1 armhf 2.8.0-3ubuntu2 [106 kB] Get:17 http://ftpmaster.internal/ubuntu/ precise/main libunistring0 armhf 0.9.3-5 [393 kB] Get:18 http://ftpmaster.internal/ubuntu/ precise/main libgettextpo0 armhf 0.18.1.1-5ubuntu3 [99.4 kB] Get:19 http://ftpmaster.internal/ubuntu/ precise/main x11-common armhf 1:7.6+7ubuntu7 [56.6 kB] Get:20 http://ftpmaster.internal/ubuntu/ precise/main libice6 armhf 2:1.0.7-2 [37.7 kB] Get:21 http://ftpmaster.internal/ubuntu/ precise/main libjpeg-turbo8 armhf 1.1.90+svn733-0ubuntu4 [83.4 kB] Get:22 http://ftpmaster.internal/ubuntu/ precise/main liblcms2-2 armhf 2.2+git20110628-2ubuntu3 [113 kB] Get:23 http://ftpmaster.internal/ubuntu/ precise/main libpcrecpp0 armhf 8.12-4 [13.2 kB] Get:24 http://ftpmaster.internal/ubuntu/ precise/main libsm6 armhf 2:1.2.0-2 [15.1 kB] Get:25 http://ftpmaster.internal/ubuntu/ precise/main libxt6 armhf 1:1.1.1-2 [144 kB] Get:26 http://ftpmaster.internal/ubuntu/ precise/main libxmu6 armhf 2:1.1.0-3 [43.0 kB] Get:27 http://ftpmaster.internal/ubuntu/ precise/main libxpm4 armhf 1:3.5.9-4 [31.2 kB] Get:28 http://ftpmaster.internal/ubuntu/ precise/main libxaw7 armhf 2:1.0.9-3 [156 kB] Get:29 http://ftpmaster.internal/ubuntu/ precise/main libmagic1 armhf 5.09-2 [213 kB] Get:30 http://ftpmaster.internal/ubuntu/ precise/main file armhf 5.09-2 [19.0 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 armhf 2.7.2-13ubuntu4 [2580 kB] Get:33 http://ftpmaster.internal/ubuntu/ precise/main python all 2.7.2-9ubuntu2 [168 kB] Get:34 http://ftpmaster.internal/ubuntu/ precise/main bsdmainutils armhf 8.2.3 [193 kB] Get:35 http://ftpmaster.internal/ubuntu/ precise/main ed armhf 1.5-3 [52.3 kB] Get:36 http://ftpmaster.internal/ubuntu/ precise/main gettext-base armhf 0.18.1.1-5ubuntu3 [54.7 kB] Get:37 http://ftpmaster.internal/ubuntu/ precise/main groff-base armhf 1.21-6 [926 kB] Get:38 http://ftpmaster.internal/ubuntu/ precise/main man-db armhf 2.6.0.2-3 [673 kB] Get:39 http://ftpmaster.internal/ubuntu/ precise/main ocaml-base-nox armhf 3.12.1-2ubuntu2 [428 kB] Get:40 http://ftpmaster.internal/ubuntu/ precise/main libtinfo-dev armhf 5.9-4 [84.0 kB] Get:41 http://ftpmaster.internal/ubuntu/ precise/main libncurses5-dev armhf 5.9-4 [192 kB] Get:42 http://ftpmaster.internal/ubuntu/ precise/main ocaml-interp armhf 3.12.1-2ubuntu2 [258 kB] Get:43 http://ftpmaster.internal/ubuntu/ precise/main ocaml-nox armhf 3.12.1-2ubuntu2 [6990 kB] Get:44 http://ftpmaster.internal/ubuntu/ precise/main camlp4 armhf 3.12.1-2ubuntu2 [18.6 MB] Get:45 http://ftpmaster.internal/ubuntu/ precise/main html2text armhf 1.3.2a-15 [85.8 kB] Get:46 http://ftpmaster.internal/ubuntu/ precise/main gettext armhf 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 armhf 1.0.16+nmu1ubuntu1 [211 kB] Get:49 http://ftpmaster.internal/ubuntu/ precise/main debhelper armhf 9.20120115ubuntu1 [616 kB] Get:50 http://ftpmaster.internal/ubuntu/ precise/main libexpat1-dev armhf 2.0.1-7.2 [181 kB] Get:51 http://ftpmaster.internal/ubuntu/ precise/main libfindlib-ocaml armhf 1.2.7+debian-1build3 [94.7 kB] Get:52 http://ftpmaster.internal/ubuntu/ precise/main libjpeg8 armhf 8c-2ubuntu6 [1952 B] Get:53 http://ftpmaster.internal/ubuntu/ precise/main libkpathsea5 armhf 2009-11ubuntu2 [49.9 kB] Get:54 http://ftpmaster.internal/ubuntu/ precise/universe libmenhir-ocaml-dev armhf 20110201.dfsg-1build2 [50.2 kB] Get:55 http://ftpmaster.internal/ubuntu/ precise/main libpaper1 armhf 1.1.24+nmu1 [13.0 kB] Get:56 http://ftpmaster.internal/ubuntu/ precise/main libpaper-utils armhf 1.1.24+nmu1 [8576 B] Get:57 http://ftpmaster.internal/ubuntu/ precise/universe libpcre-ocaml armhf 6.2.3-1 [9022 B] Get:58 http://ftpmaster.internal/ubuntu/ precise/main libpcre3-dev armhf 8.12-4 [218 kB] Get:59 http://ftpmaster.internal/ubuntu/ precise/main ocaml-findlib armhf 1.2.7+debian-1build3 [221 kB] Get:60 http://ftpmaster.internal/ubuntu/ precise/universe libpcre-ocaml-dev armhf 6.2.3-1 [71.3 kB] Get:61 http://ftpmaster.internal/ubuntu/ precise/main libpoppler19 armhf 0.18.3-0ubuntu3 [636 kB] Get:62 http://ftpmaster.internal/ubuntu/ precise/main libpython2.7 armhf 2.7.2-13ubuntu4 [1008 kB] Get:63 http://ftpmaster.internal/ubuntu/ precise/universe libpycaml-ocaml armhf 0.82-14 [14.7 kB] Get:64 http://ftpmaster.internal/ubuntu/ precise/main zlib1g-dev armhf 1:1.2.3.4.dfsg-3ubuntu4 [158 kB] Get:65 http://ftpmaster.internal/ubuntu/ precise/main libssl-dev armhf 1.0.0e-3ubuntu1 [1218 kB] Get:66 http://ftpmaster.internal/ubuntu/ precise/main python2.7-dev armhf 2.7.2-13ubuntu4 [27.7 MB] Get:67 http://ftpmaster.internal/ubuntu/ precise/main python-dev all 2.7.2-9ubuntu2 [1006 B] Get:68 http://ftpmaster.internal/ubuntu/ precise/universe libpycaml-ocaml-dev armhf 0.82-14 [301 kB] Get:69 http://ftpmaster.internal/ubuntu/ precise/main luatex armhf 0.70.1-1ubuntu1 [2187 kB] Get:70 http://ftpmaster.internal/ubuntu/ precise/universe menhir armhf 20110201.dfsg-1build2 [410 kB] Get:71 http://ftpmaster.internal/ubuntu/ precise/main ocaml-native-compilers armhf 3.12.1-2ubuntu2 [2968 kB] Get:72 http://ftpmaster.internal/ubuntu/ precise/main tex-common all 2.10 [709 kB] Get:73 http://ftpmaster.internal/ubuntu/ precise/main preview-latex-style all 11.86-2ubuntu1 [108 kB] Get:74 http://ftpmaster.internal/ubuntu/ precise/main texlive-common all 2009-15 [94.4 kB] Get:75 http://ftpmaster.internal/ubuntu/ precise/main texlive-doc-base all 2009-2 [1339 kB] Get:76 http://ftpmaster.internal/ubuntu/ precise/main texlive-binaries armhf 2009-11ubuntu2 [7306 kB] Get:77 http://ftpmaster.internal/ubuntu/ precise/main texlive-base all 2009-15 [14.7 MB] Get:78 http://ftpmaster.internal/ubuntu/ precise/main texlive-fonts-extra all 2009-10ubuntu1 [83.5 MB] Get:79 http://ftpmaster.internal/ubuntu/ precise/main texlive-fonts-recommended all 2009-15 [7247 kB] Get:80 http://ftpmaster.internal/ubuntu/ precise/main texlive-latex-base all 2009-15 [1406 kB] Get:81 http://ftpmaster.internal/ubuntu/ precise/main texlive-pictures all 2009-15 [856 kB] Get:82 http://ftpmaster.internal/ubuntu/ precise/main texlive-latex-extra all 2009-10ubuntu1 [4717 kB] Get:83 http://ftpmaster.internal/ubuntu/ precise/main texlive-latex-recommended all 2009-15 [6752 kB] Get:84 http://ftpmaster.internal/ubuntu/ precise/main dh-ocaml all 1.0.3 [89.4 kB] Get:85 http://ftpmaster.internal/ubuntu/ precise/universe libtype-conv-camlp4-dev armhf 3.0.4-1 [111 kB] Get:86 http://ftpmaster.internal/ubuntu/ precise/universe libsexplib-camlp4-dev armhf 7.0.4-1 [403 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 205 MB in 48s (4207 kB/s) Selecting previously unselected package libexpat1. (Reading database ... 11565 files and directories currently installed.) Unpacking libexpat1 (from .../libexpat1_2.0.1-7.2_armhf.deb) ... Selecting previously unselected package libsqlite3-0. Unpacking libsqlite3-0 (from .../libsqlite3-0_3.7.9-2ubuntu1_armhf.deb) ... Selecting previously unselected package libpipeline1. Unpacking libpipeline1 (from .../libpipeline1_1.2.0-5_armhf.deb) ... Selecting previously unselected package libxau6. Unpacking libxau6 (from .../libxau6_1%3a1.0.6-4_armhf.deb) ... Selecting previously unselected package libxdmcp6. Unpacking libxdmcp6 (from .../libxdmcp6_1%3a1.1.0-4_armhf.deb) ... Selecting previously unselected package libxcb1. Unpacking libxcb1 (from .../libxcb1_1.7-4_armhf.deb) ... Selecting previously unselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.4.4-4_armhf.deb) ... Selecting previously unselected package libx11-6. Unpacking libx11-6 (from .../libx11-6_2%3a1.4.4-4_armhf.deb) ... Selecting previously unselected package libxext6. Unpacking libxext6 (from .../libxext6_2%3a1.3.0-3_armhf.deb) ... Selecting previously unselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-5.1ubuntu3_armhf.deb) ... Selecting previously unselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-2_armhf.deb) ... Selecting previously unselected package libfreetype6. Unpacking libfreetype6 (from .../libfreetype6_2.4.8-1_armhf.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_armhf.deb) ... Selecting previously unselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.8.0-3ubuntu2_armhf.deb) ... Selecting previously unselected package libfontconfig1. Unpacking libfontconfig1 (from .../libfontconfig1_2.8.0-3ubuntu2_armhf.deb) ... Selecting previously unselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-5_armhf.deb) ... Selecting previously unselected package libgettextpo0. Unpacking libgettextpo0 (from .../libgettextpo0_0.18.1.1-5ubuntu3_armhf.deb) ... Selecting previously unselected package x11-common. Unpacking x11-common (from .../x11-common_1%3a7.6+7ubuntu7_armhf.deb) ... Selecting previously unselected package libice6. Unpacking libice6 (from .../libice6_2%3a1.0.7-2_armhf.deb) ... Selecting previously unselected package libjpeg-turbo8. Unpacking libjpeg-turbo8 (from .../libjpeg-turbo8_1.1.90+svn733-0ubuntu4_armhf.deb) ... Selecting previously unselected package liblcms2-2. Unpacking liblcms2-2 (from .../liblcms2-2_2.2+git20110628-2ubuntu3_armhf.deb) ... Selecting previously unselected package libpcrecpp0. Unpacking libpcrecpp0 (from .../libpcrecpp0_8.12-4_armhf.deb) ... Selecting previously unselected package libsm6. Unpacking libsm6 (from .../libsm6_2%3a1.2.0-2_armhf.deb) ... Selecting previously unselected package libxt6. Unpacking libxt6 (from .../libxt6_1%3a1.1.1-2_armhf.deb) ... Selecting previously unselected package libxmu6. Unpacking libxmu6 (from .../libxmu6_2%3a1.1.0-3_armhf.deb) ... Selecting previously unselected package libxpm4. Unpacking libxpm4 (from .../libxpm4_1%3a3.5.9-4_armhf.deb) ... Selecting previously unselected package libxaw7. Unpacking libxaw7 (from .../libxaw7_2%3a1.0.9-3_armhf.deb) ... Selecting previously unselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.09-2_armhf.deb) ... Selecting previously unselected package file. Unpacking file (from .../archives/file_5.09-2_armhf.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-13ubuntu4_armhf.deb) ... Selecting previously unselected package python. Unpacking python (from .../python_2.7.2-9ubuntu2_all.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.2.3_armhf.deb) ... Selecting previously unselected package ed. Unpacking ed (from .../archives/ed_1.5-3_armhf.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-5ubuntu3_armhf.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-6_armhf.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.0.2-3_armhf.deb) ... Selecting previously unselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-2ubuntu2_armhf.deb) ... Selecting previously unselected package libtinfo-dev. Unpacking libtinfo-dev (from .../libtinfo-dev_5.9-4_armhf.deb) ... Selecting previously unselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.9-4_armhf.deb) ... Selecting previously unselected package ocaml-interp. Unpacking ocaml-interp (from .../ocaml-interp_3.12.1-2ubuntu2_armhf.deb) ... Selecting previously unselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_3.12.1-2ubuntu2_armhf.deb) ... Selecting previously unselected package camlp4. Unpacking camlp4 (from .../camlp4_3.12.1-2ubuntu2_armhf.deb) ... Selecting previously unselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_armhf.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-5ubuntu3_armhf.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_armhf.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20120115ubuntu1_armhf.deb) ... Selecting previously unselected package libexpat1-dev. Unpacking libexpat1-dev (from .../libexpat1-dev_2.0.1-7.2_armhf.deb) ... Selecting previously unselected package libfindlib-ocaml. Unpacking libfindlib-ocaml (from .../libfindlib-ocaml_1.2.7+debian-1build3_armhf.deb) ... Selecting previously unselected package libjpeg8. Unpacking libjpeg8 (from .../libjpeg8_8c-2ubuntu6_armhf.deb) ... Selecting previously unselected package libkpathsea5. Unpacking libkpathsea5 (from .../libkpathsea5_2009-11ubuntu2_armhf.deb) ... Selecting previously unselected package libmenhir-ocaml-dev. Unpacking libmenhir-ocaml-dev (from .../libmenhir-ocaml-dev_20110201.dfsg-1build2_armhf.deb) ... Selecting previously unselected package libpaper1. Unpacking libpaper1 (from .../libpaper1_1.1.24+nmu1_armhf.deb) ... Selecting previously unselected package libpaper-utils. Unpacking libpaper-utils (from .../libpaper-utils_1.1.24+nmu1_armhf.deb) ... Selecting previously unselected package libpcre-ocaml. Unpacking libpcre-ocaml (from .../libpcre-ocaml_6.2.3-1_armhf.deb) ... Selecting previously unselected package libpcre3-dev. Unpacking libpcre3-dev (from .../libpcre3-dev_8.12-4_armhf.deb) ... Selecting previously unselected package ocaml-findlib. Unpacking ocaml-findlib (from .../ocaml-findlib_1.2.7+debian-1build3_armhf.deb) ... Selecting previously unselected package libpcre-ocaml-dev. Unpacking libpcre-ocaml-dev (from .../libpcre-ocaml-dev_6.2.3-1_armhf.deb) ... Selecting previously unselected package libpoppler19. Unpacking libpoppler19 (from .../libpoppler19_0.18.3-0ubuntu3_armhf.deb) ... Selecting previously unselected package libpython2.7. Unpacking libpython2.7 (from .../libpython2.7_2.7.2-13ubuntu4_armhf.deb) ... Selecting previously unselected package libpycaml-ocaml. Unpacking libpycaml-ocaml (from .../libpycaml-ocaml_0.82-14_armhf.deb) ... Selecting previously unselected package zlib1g-dev. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3ubuntu4_armhf.deb) ... Selecting previously unselected package libssl-dev. Unpacking libssl-dev (from .../libssl-dev_1.0.0e-3ubuntu1_armhf.deb) ... Selecting previously unselected package python2.7-dev. Unpacking python2.7-dev (from .../python2.7-dev_2.7.2-13ubuntu4_armhf.deb) ... Selecting previously unselected package python-dev. Unpacking python-dev (from .../python-dev_2.7.2-9ubuntu2_all.deb) ... Selecting previously unselected package libpycaml-ocaml-dev. Unpacking libpycaml-ocaml-dev (from .../libpycaml-ocaml-dev_0.82-14_armhf.deb) ... Selecting previously unselected package luatex. Unpacking luatex (from .../luatex_0.70.1-1ubuntu1_armhf.deb) ... Selecting previously unselected package menhir. Unpacking menhir (from .../menhir_20110201.dfsg-1build2_armhf.deb) ... Selecting previously unselected package ocaml-native-compilers. Unpacking ocaml-native-compilers (from .../ocaml-native-compilers_3.12.1-2ubuntu2_armhf.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_armhf.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.3_all.deb) ... Selecting previously unselected package libtype-conv-camlp4-dev. Unpacking libtype-conv-camlp4-dev (from .../libtype-conv-camlp4-dev_3.0.4-1_armhf.deb) ... Selecting previously unselected package libsexplib-camlp4-dev. Unpacking libsexplib-camlp4-dev (from .../libsexplib-camlp4-dev_7.0.4-1_armhf.deb) ... Setting up libexpat1 (2.0.1-7.2) ... Setting up libsqlite3-0 (3.7.9-2ubuntu1) ... 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-5.1ubuntu3) ... 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 libjpeg-turbo8 (1.1.90+svn733-0ubuntu4) ... Setting up liblcms2-2 (2.2+git20110628-2ubuntu3) ... 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-13ubuntu4) ... Setting up python (2.7.2-9ubuntu2) ... 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 (9.20120115ubuntu1) ... Setting up libexpat1-dev (2.0.1-7.2) ... Setting up libfindlib-ocaml (1.2.7+debian-1build3) ... Setting up libjpeg8 (8c-2ubuntu6) ... 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-1build3) ... Setting up libpcre-ocaml-dev (6.2.3-1) ... Setting up libpoppler19 (0.18.3-0ubuntu3) ... Setting up libpython2.7 (2.7.2-13ubuntu4) ... 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-3ubuntu1) ... Setting up python2.7-dev (2.7.2-13ubuntu4) ... Setting up python-dev (2.7.2-9ubuntu2) ... 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.3) ... 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-24ubuntu4 make_3.81-8.1ubuntu1 dpkg-dev_1.16.1.2ubuntu5 gcc-4.6_4.6.2-12ubuntu1 g++-4.6_4.6.2-12ubuntu1 binutils_2.22-4ubuntu1 libstdc++6-4.6-dev_4.6.2-12ubuntu1 libstdc++6_4.6.2-12ubuntu1 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::quilt gpgv: Signature made Wed Dec 21 04:22:26 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-5ubuntu2.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-5ubuntu2.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-5ubuntu2 dpkg-source --before-build coccinelle-1.0.0~rc7.deb dpkg-buildpackage: host architecture armhf /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_ocamlclean 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/globals' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/globals' 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 -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/engine' make[4]: Nothing to be done for `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]: 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/python' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc7.deb/python' make -C ocaml 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' 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, 422244 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, 451271 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, 339049 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, 344723 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, 140316 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, 140316 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 armhf: 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 Simple_assignments W: coccinelle doesn't resolve dependency on unit Oseti W: coccinelle doesn't resolve dependency on unit Pretty_print_cocci W: coccinelle doesn't resolve dependency on unit Pattern_c W: coccinelle doesn't resolve dependency on unit 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 Flag_parsing_cocci W: coccinelle doesn't resolve dependency on unit Setb 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 Osetb W: coccinelle doesn't resolve dependency on unit Flag_matcher W: coccinelle doesn't resolve dependency on unit Unitary_ast0 W: coccinelle doesn't resolve dependency on unit Test W: coccinelle doesn't resolve dependency on unit 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 Flag_ctl W: coccinelle doesn't resolve dependency on unit Insert_quantifiers 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 Index W: coccinelle doesn't resolve dependency on unit Ast_popl 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 113 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-5ubuntu2_armhf.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-5ubuntu2_armhf.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 20120123-2219 chroot-autobuild/build/buildd/coccinelle_1.0.0~rc7.deb-5ubuntu2_armhf.deb: new debian package, version 2.0. size 482270 bytes: control archive= 3390 bytes. 70 bytes, 2 lines conffiles 857 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-5ubuntu2 Architecture: armhf 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-5ubuntu2_armhf.deb: drwxr-xr-x root/root 0 2012-01-23 22:18 ./ drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/ drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/bin/ -rwxr-xr-x root/root 119 2012-01-23 22:18 ./usr/bin/spatch drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/ drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/man/ drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/man/man3/ -rw-r--r-- root/root 1621 2012-01-23 22:18 ./usr/share/man/man3/Coccilib.3cocci.gz drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/man/man1/ -rw-r--r-- root/root 2185 2012-01-23 22:18 ./usr/share/man/man1/spatch.1.gz drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/coccinelle/ drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/coccinelle/globals/ -rw-r--r-- root/root 1188 2012-01-23 22:18 ./usr/share/coccinelle/globals/iteration.cmi -rw-r--r-- root/root 21601 2012-01-23 22:18 ./usr/share/coccinelle/standard.h drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/coccinelle/python/ drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/ -rw-r--r-- root/root 2948 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/output.py -rw-r--r-- root/root 588 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/elems.py -rw-r--r-- root/root 557 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/trac.py -rw-r--r-- root/root 1114 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/org.py -rw-r--r-- root/root 24 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/__init__.py drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/coccigui/ -rw-r--r-- root/root 4364 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/coccigui/vimembed.py -rw-r--r-- root/root 599 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/coccigui/pycoccimodel.py -rw-r--r-- root/root 4953 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/coccigui/pygui.glade -rw-r--r-- root/root 271 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/coccigui/pygui.gladep -rw-r--r-- root/root 9168 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/coccigui/vim.py -rw-r--r-- root/root 27180 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/coccigui/vimcom.py -rw-r--r-- root/root 24 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/coccigui/__init__.py -rw-r--r-- root/root 4613 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/coccigui/coccigui.py -rw-r--r-- root/root 9798 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/coccigui/vimeditor.py -rw-r--r-- root/root 161 2012-01-23 22:18 ./usr/share/coccinelle/python/coccilib/report.py drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/coccinelle/ocaml/ -rw-r--r-- root/root 2464 2012-01-23 22:18 ./usr/share/coccinelle/ocaml/coccilib.cmi drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/ -rw-r--r-- root/root 1135 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/unparse_c.cmi -rw-r--r-- root/root 2801 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/type_c.cmi -rw-r--r-- root/root 8601 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/parser_c.cmi -rw-r--r-- root/root 13620 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/visitor_c.cmi -rw-r--r-- root/root 849 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/token_c.cmi -rw-r--r-- root/root 2433 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/parsing_hacks.cmi -rw-r--r-- root/root 819 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/unparse_hrule.cmi -rw-r--r-- root/root 22271 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/ast_c.cmi -rw-r--r-- root/root 9827 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/lib_parsing_c.cmi -rw-r--r-- root/root 1211 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/compare_c.cmi -rw-r--r-- root/root 4584 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/parsing_stat.cmi -rw-r--r-- root/root 5415 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/flag_parsing_c.cmi -rw-r--r-- root/root 2293 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/cpp_ast_c.cmi -rw-r--r-- root/root 1009 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/cpp_analysis_c.cmi -rw-r--r-- root/root 1852 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/type_annoter_c.cmi -rw-r--r-- root/root 452 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/semantic_c.cmi -rw-r--r-- root/root 1764 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/cpp_token_c.cmi -rw-r--r-- root/root 1999 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/control_flow_c_build.cmi -rw-r--r-- root/root 884 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/parsing_recovery_c.cmi -rw-r--r-- root/root 3759 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/token_helpers.cmi -rw-r--r-- root/root 5253 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/control_flow_c.cmi -rw-r--r-- root/root 6083 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/pretty_print_c.cmi -rw-r--r-- root/root 2170 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/lexer_parser.cmi -rw-r--r-- root/root 3955 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/parse_c.cmi -rw-r--r-- root/root 1576 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/unparse_cocci.cmi -rw-r--r-- root/root 3465 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/token_views_c.cmi -rw-r--r-- root/root 3724 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/lexer_c.cmi -rw-r--r-- root/root 807 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/comment_annotater_c.cmi -rw-r--r-- root/root 687 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/parsing_consistency_c.cmi -rw-r--r-- root/root 1393 2012-01-23 22:18 ./usr/share/coccinelle/parsing_c/test_parsing_c.cmi drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/coccinelle/commons/ -rw-r--r-- root/root 1439 2012-01-23 22:18 ./usr/share/coccinelle/commons/objet.cmi -rw-r--r-- root/root 7276 2012-01-23 22:18 ./usr/share/coccinelle/commons/osequence.cmi -rw-r--r-- root/root 1354 2012-01-23 22:18 ./usr/share/coccinelle/commons/glimpse.cmi -rw-r--r-- root/root 4067 2012-01-23 22:18 ./usr/share/coccinelle/commons/ograph_simple.cmi -rw-r--r-- root/root 171034 2012-01-23 22:18 ./usr/share/coccinelle/commons/ofullcommon.cmi -rw-r--r-- root/root 6909 2012-01-23 22:18 ./usr/share/coccinelle/commons/oassoc.cmi -rw-r--r-- root/root 4626 2012-01-23 22:18 ./usr/share/coccinelle/commons/ocollection.cmi -rw-r--r-- root/root 3695 2012-01-23 22:18 ./usr/share/coccinelle/commons/parser_combinators.cmi -rw-r--r-- root/root 2845 2012-01-23 22:18 ./usr/share/coccinelle/commons/seti.cmi -rw-r--r-- root/root 5508 2012-01-23 22:18 ./usr/share/coccinelle/commons/sexp_common.cmi -rw-r--r-- root/root 7487 2012-01-23 22:18 ./usr/share/coccinelle/commons/oarray.cmi -rw-r--r-- root/root 7676 2012-01-23 22:18 ./usr/share/coccinelle/commons/oset.cmi -rw-r--r-- root/root 2201 2012-01-23 22:18 ./usr/share/coccinelle/commons/interfaces.cmi -rw-r--r-- root/root 3051 2012-01-23 22:18 ./usr/share/coccinelle/commons/ograph.cmi -rw-r--r-- root/root 8293 2012-01-23 22:18 ./usr/share/coccinelle/commons/ograph_extended.cmi -rw-r--r-- root/root 679 2012-01-23 22:18 ./usr/share/coccinelle/commons/common_extra.cmi -rw-r--r-- root/root 88015 2012-01-23 22:18 ./usr/share/coccinelle/commons/common.cmi -rw-r--r-- root/root 15163 2012-01-23 22:18 ./usr/share/coccinelle/standard.iso drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/python/ drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/python/runtime.d/ -rwxr-xr-x root/root 142 2012-01-23 22:18 ./usr/share/python/runtime.d/coccinelle.rtupdate drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/vim/ drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/vim/registry/ -rw-r--r-- root/root 144 2012-01-23 22:18 ./usr/share/vim/registry/coccinelle.yaml drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/vim/addons/ drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/vim/addons/syntax/ -rw-r--r-- root/root 1248 2012-01-23 22:18 ./usr/share/vim/addons/syntax/cocci.vim drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/vim/addons/ftdetect/ -rw-r--r-- root/root 367 2012-01-23 22:18 ./usr/share/vim/addons/ftdetect/cocci.vim drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/emacs/ drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/emacs/site-lisp/ -rw-r--r-- root/root 11218 2012-01-23 22:18 ./usr/share/emacs/site-lisp/cocci.el drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/share/doc/coccinelle/ -rw-r--r-- root/root 1208 2012-01-23 22:19 ./usr/share/doc/coccinelle/changelog.Debian.gz -rw-r--r-- root/root 1409 2010-06-18 23:17 ./usr/share/doc/coccinelle/readme.txt -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 5762 2011-12-06 22:37 ./usr/share/doc/coccinelle/copyright -rw-r--r-- root/root 1047 2010-06-18 23:15 ./usr/share/doc/coccinelle/authors.txt drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/lib/ drwxr-xr-x root/root 0 2012-01-23 22:18 ./usr/lib/coccinelle/ -rwxr-xr-x root/root 2969399 2012-01-23 22:18 ./usr/lib/coccinelle/spatch drwxr-xr-x root/root 0 2012-01-23 22:18 ./etc/ drwxr-xr-x root/root 0 2012-01-23 22:18 ./etc/emacs/ drwxr-xr-x root/root 0 2012-01-23 22:18 ./etc/emacs/site-start.d/ -rw-r--r-- root/root 256 2012-01-23 22:18 ./etc/emacs/site-start.d/50coccinelle.el drwxr-xr-x root/root 0 2012-01-23 22:18 ./etc/bash_completion.d/ -rw-r--r-- root/root 3120 2012-01-23 22:18 ./etc/bash_completion.d/spatch coccinelle_1.0.0~rc7.deb-5ubuntu2_armhf.changes: Format: 1.8 Date: Tue, 20 Dec 2011 22:17:56 -0600 Source: coccinelle Binary: coccinelle coccinelle-doc Architecture: armhf Version: 1.0.0~rc7.deb-5ubuntu2 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-5ubuntu2) precise; urgency=low . * Use >=1.15.6 for the dpkg Pre-Depends as the fix to use a backported dpkg hasn't landed in LP yet - update debian/control Checksums-Sha1: 7ef9342be89e2ec25819c91ea5fecdf635247afa 482270 coccinelle_1.0.0~rc7.deb-5ubuntu2_armhf.deb Checksums-Sha256: 7c5dd184193dfefdea54bd511ad98ed5539169a8eda9fc07892b9b7356795d2f 482270 coccinelle_1.0.0~rc7.deb-5ubuntu2_armhf.deb Files: 65d2196f4a850454194efa64ce1dcd7d 482270 devel optional coccinelle_1.0.0~rc7.deb-5ubuntu2_armhf.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 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 liblcms2-2 mime-support libpoppler19 libxt6 libpycaml-ocaml-dev libxdmcp6 libjpeg-turbo8 texlive-base libkpathsea5 texlive-doc-base po-debconf libpaper1 libxml2 libjpeg8 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 libsqlite3-0 preview-latex-style (Reading database ... 39443 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 ed ... Removing gettext-base ... Removing libunistring0 ... Purging configuration files for libunistring0 ... Removing libsqlite3-0 ... Purging configuration files for libsqlite3-0 ... Removing libxmu6 ... Purging configuration files for libxmu6 ... Removing libcroco3 ... Purging configuration files for libcroco3 ... Removing libfontconfig1 ... Purging configuration files for libfontconfig1 ... Removing libexpat1 ... Purging configuration files for libexpat1 ... Removing liblcms2-2 ... Purging configuration files for liblcms2-2 ... Removing libxt6 ... Purging configuration files for libxt6 ... Removing libjpeg-turbo8 ... Purging configuration files for libjpeg-turbo8 ... 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 20120123-2220 Build needed 00:07:02, 32744k 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', 'b6252b7b017c38ee7307a02c2409ce6fcb602b3d'] Scanning for processes to kill in build /home/buildd/build-b6252b7b017c38ee7307a02c2409ce6fcb602b3d/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'b6252b7b017c38ee7307a02c2409ce6fcb602b3d'] Unmounting chroot for build b6252b7b017c38ee7307a02c2409ce6fcb602b3d... none /home/buildd/build-b6252b7b017c38ee7307a02c2409ce6fcb602b3d/chroot-autobuild/proc proc rw,relatime 0 0 none /home/buildd/build-b6252b7b017c38ee7307a02c2409ce6fcb602b3d/chroot-autobuild/dev/pts devpts rw,relatime,mode=600,ptmxmode=000 0 0 none /home/buildd/build-b6252b7b017c38ee7307a02c2409ce6fcb602b3d/chroot-autobuild/sys sysfs rw,relatime 0 0 none /home/buildd/build-b6252b7b017c38ee7307a02c2409ce6fcb602b3d/chroot-autobuild/dev/shm tmpfs rw,relatime 0 0 RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'b6252b7b017c38ee7307a02c2409ce6fcb602b3d'] Removing build b6252b7b017c38ee7307a02c2409ce6fcb602b3d