RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: 2.6.24-32-xen #1 SMP Thu Jul 12 14:30:40 UTC 2012 x86_64 Buildd toolchain package versions: launchpad-buildd_113~0.IS.08.04 python-lpbuildd_113~0.IS.08.04 bzr-builder_0.7.2+bzr156-0ubuntu1~1.IS.8.04 bzr_2.4.0-0ubuntu2~11.IS.8.04. Syncing the system clock with the buildd NTP service... 23 Aug 07:54:11 ntpdate[3411]: step time server 10.211.37.1 offset -156290.199940 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '1374b002a90ff96f7c652c480c255373d2617fa1', '/home/buildd/filecache-default/d07a71733518179e223854cc698007b6272c37c0'] Uncompressing the tarball... Unpacking chroot for build 1374b002a90ff96f7c652c480c255373d2617fa1 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '1374b002a90ff96f7c652c480c255373d2617fa1'] Mounting chroot for build 1374b002a90ff96f7c652c480c255373d2617fa1 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '1374b002a90ff96f7c652c480c255373d2617fa1', 'deb http://ppa.launchpad.net/npalix/coccinelle/ubuntu maverick main', 'deb http://ftpmaster.internal/ubuntu maverick main restricted universe multiverse', 'deb http://ftpmaster.internal/ubuntu maverick-security main restricted universe multiverse', 'deb http://ftpmaster.internal/ubuntu maverick-updates main restricted universe multiverse'] Overriding sources.list in build-1374b002a90ff96f7c652c480c255373d2617fa1 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '1374b002a90ff96f7c652c480c255373d2617fa1', 'i386'] Updating debian chroot for build 1374b002a90ff96f7c652c480c255373d2617fa1 Get:1 http://ftpmaster.internal maverick Release.gpg [198B] Ign http://ftpmaster.internal/ubuntu/ maverick/main Translation-en Ign http://ftpmaster.internal/ubuntu/ maverick/multiverse Translation-en Ign http://ftpmaster.internal/ubuntu/ maverick/restricted Translation-en Ign http://ftpmaster.internal/ubuntu/ maverick/universe Translation-en Get:2 http://ftpmaster.internal maverick-security Release.gpg [198B] Ign http://ftpmaster.internal/ubuntu/ maverick-security/main Translation-en Ign http://ftpmaster.internal/ubuntu/ maverick-security/multiverse Translation-en Ign http://ftpmaster.internal/ubuntu/ maverick-security/restricted Translation-en Ign http://ftpmaster.internal/ubuntu/ maverick-security/universe Translation-en Get:3 http://ftpmaster.internal maverick-updates Release.gpg [198B] Ign http://ftpmaster.internal/ubuntu/ maverick-updates/main Translation-en Ign http://ftpmaster.internal/ubuntu/ maverick-updates/multiverse Translation-en Ign http://ftpmaster.internal/ubuntu/ maverick-updates/restricted Translation-en Ign http://ftpmaster.internal/ubuntu/ maverick-updates/universe Translation-en Get:4 http://ftpmaster.internal maverick Release [39.8kB] Get:5 http://ppa.launchpad.net maverick Release.gpg [316B] Get:6 http://ftpmaster.internal maverick-security Release [39.8kB] Ign http://ppa.launchpad.net/npalix/coccinelle/ubuntu/ maverick/main Translation-en Get:7 http://ftpmaster.internal maverick-updates Release [39.8kB] Get:8 http://ppa.launchpad.net maverick Release [9745B] Ign http://ppa.launchpad.net maverick Release Get:9 http://ppa.launchpad.net maverick/main i386 Packages [676B] Get:10 http://ftpmaster.internal maverick/main i386 Packages [1492kB] Get:11 http://ftpmaster.internal maverick/restricted i386 Packages [5992B] Get:12 http://ftpmaster.internal maverick/universe i386 Packages [5791kB] Get:13 http://ftpmaster.internal maverick/multiverse i386 Packages [183kB] Get:14 http://ftpmaster.internal maverick-security/main i386 Packages [330kB] Get:15 http://ftpmaster.internal maverick-security/restricted i386 Packages [14B] Get:16 http://ftpmaster.internal maverick-security/universe i386 Packages [115kB] Get:17 http://ftpmaster.internal maverick-security/multiverse i386 Packages [4041B] Get:18 http://ftpmaster.internal maverick-updates/main i386 Packages [467kB] Get:19 http://ftpmaster.internal maverick-updates/restricted i386 Packages [1797B] Get:20 http://ftpmaster.internal maverick-updates/universe i386 Packages [202kB] Get:21 http://ftpmaster.internal maverick-updates/multiverse i386 Packages [5479B] Fetched 8728kB in 14s (586kB/s) Reading package lists... W: GPG error: http://ppa.launchpad.net maverick Release: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY 1624804B84ACD041 Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: apt apt-transport-https bsdutils bzip2 ca-certificates cpp-4.4 dpkg dpkg-dev g++-4.4 gcc-4.4 gcc-4.4-base ifupdown initramfs-tools initramfs-tools-bin initscripts libblkid1 libbz2-1.0 libc-bin libc-dev-bin libc6 libc6-dev libcurl3-gnutls libdbus-1-3 libdpkg-perl libdrm-intel1 libdrm-nouveau1 libdrm-radeon1 libdrm2 libglib2.0-0 libgnutls26 libgssapi-krb5-2 libk5crypto3 libkrb5-3 libkrb5support0 libldap-2.4-2 libpam-modules libpam-runtime libpam0g libplymouth2 libpng12-0 libssl0.9.8 libstdc++6-4.4-dev libudev0 libuuid1 linux-libc-dev login mount openssl passwd perl perl-base perl-modules plymouth python-minimal sysv-rc sysvinit-utils tar tzdata udev upstart util-linux 61 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 47.4MB of archives. After this operation, 3391kB disk space will be freed. WARNING: The following packages cannot be authenticated! dpkg login mount perl-modules libc-dev-bin libc6-dev libc-bin libc6 linux-libc-dev tzdata bzip2 libbz2-1.0 perl perl-base tar sysvinit-utils sysv-rc libpam0g libpam-modules passwd initscripts libdbus-1-3 libudev0 ifupdown upstart util-linux bsdutils python-minimal apt libssl0.9.8 libuuid1 libblkid1 libpam-runtime initramfs-tools initramfs-tools-bin libglib2.0-0 udev libdrm2 libdrm-intel1 libdrm-nouveau1 libdrm-radeon1 plymouth libpng12-0 libplymouth2 openssl ca-certificates g++-4.4 libstdc++6-4.4-dev gcc-4.4 cpp-4.4 gcc-4.4-base libgnutls26 libk5crypto3 libgssapi-krb5-2 libkrb5-3 libkrb5support0 libldap-2.4-2 libcurl3-gnutls apt-transport-https dpkg-dev libdpkg-perl Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ maverick-security/main dpkg i386 1.15.8.4ubuntu3.1 [2073kB] Get:2 http://ftpmaster.internal/ubuntu/ maverick-security/main login i386 1:4.1.4.2-1ubuntu3.2 [315kB] Get:3 http://ftpmaster.internal/ubuntu/ maverick-updates/main mount i386 2.17.2-0ubuntu1.10.10.2 [174kB] Get:4 http://ftpmaster.internal/ubuntu/ maverick-security/main perl-modules all 5.10.1-12ubuntu2.1 [3491kB] Get:5 http://ftpmaster.internal/ubuntu/ maverick-security/main libc-dev-bin i386 2.12.1-0ubuntu10.4 [216kB] Get:6 http://ftpmaster.internal/ubuntu/ maverick-security/main libc6-dev i386 2.12.1-0ubuntu10.4 [4923kB] Get:7 http://ftpmaster.internal/ubuntu/ maverick-security/main libc-bin i386 2.12.1-0ubuntu10.4 [740kB] Get:8 http://ftpmaster.internal/ubuntu/ maverick-security/main libc6 i386 2.12.1-0ubuntu10.4 [3929kB] Get:9 http://ftpmaster.internal/ubuntu/ maverick-security/main linux-libc-dev i386 2.6.35-1032.67 [835kB] Get:10 http://ftpmaster.internal/ubuntu/ maverick-updates/main tzdata all 2012b-0ubuntu0.10.10 [636kB] Get:11 http://ftpmaster.internal/ubuntu/ maverick-security/main bzip2 i386 1.0.5-4ubuntu1.1 [47.3kB] Get:12 http://ftpmaster.internal/ubuntu/ maverick-security/main libbz2-1.0 i386 1.0.5-4ubuntu1.1 [45.3kB] Get:13 http://ftpmaster.internal/ubuntu/ maverick-security/main perl i386 5.10.1-12ubuntu2.1 [3762kB] Get:14 http://ftpmaster.internal/ubuntu/ maverick-security/main perl-base i386 5.10.1-12ubuntu2.1 [971kB] Get:15 http://ftpmaster.internal/ubuntu/ maverick-updates/main tar i386 1.23-2ubuntu2 [403kB] Get:16 http://ftpmaster.internal/ubuntu/ maverick-updates/main sysvinit-utils i386 2.87dsf-4ubuntu19.2 [111kB] Get:17 http://ftpmaster.internal/ubuntu/ maverick-updates/main sysv-rc all 2.87dsf-4ubuntu19.2 [79.7kB] Get:18 http://ftpmaster.internal/ubuntu/ maverick-security/main libpam0g i386 1.1.1-4ubuntu2.4 [91.8kB] Get:19 http://ftpmaster.internal/ubuntu/ maverick-security/main libpam-modules i386 1.1.1-4ubuntu2.4 [336kB] Get:20 http://ftpmaster.internal/ubuntu/ maverick-security/main passwd i386 1:4.1.4.2-1ubuntu3.2 [875kB] Get:21 http://ftpmaster.internal/ubuntu/ maverick-updates/main initscripts i386 2.87dsf-4ubuntu19.2 [74.4kB] Get:22 http://ftpmaster.internal/ubuntu/ maverick-security/main libdbus-1-3 i386 1.4.0-0ubuntu1.3 [130kB] Get:23 http://ftpmaster.internal/ubuntu/ maverick-updates/main libudev0 i386 162-2.2 [126kB] Get:24 http://ftpmaster.internal/ubuntu/ maverick-security/main ifupdown i386 0.6.10ubuntu3.1 [57.5kB] Get:25 http://ftpmaster.internal/ubuntu/ maverick-updates/main upstart i386 0.6.6-4 [190kB] Get:26 http://ftpmaster.internal/ubuntu/ maverick-updates/main util-linux i386 2.17.2-0ubuntu1.10.10.2 [527kB] Get:27 http://ftpmaster.internal/ubuntu/ maverick-updates/main bsdutils i386 1:2.17.2-0ubuntu1.10.10.2 [80.3kB] Get:28 http://ftpmaster.internal/ubuntu/ maverick-updates/main python-minimal all 2.6.6-2ubuntu2 [35.7kB] Get:29 http://ftpmaster.internal/ubuntu/ maverick-security/main apt i386 0.8.3ubuntu7.3 [2077kB] Get:30 http://ftpmaster.internal/ubuntu/ maverick-security/main libssl0.9.8 i386 0.9.8o-1ubuntu4.6 [867kB] Get:31 http://ftpmaster.internal/ubuntu/ maverick-updates/main libuuid1 i386 2.17.2-0ubuntu1.10.10.2 [61.7kB] Get:32 http://ftpmaster.internal/ubuntu/ maverick-updates/main libblkid1 i386 2.17.2-0ubuntu1.10.10.2 [111kB] Get:33 http://ftpmaster.internal/ubuntu/ maverick-security/main libpam-runtime all 1.1.1-4ubuntu2.4 [86.1kB] Get:34 http://ftpmaster.internal/ubuntu/ maverick-updates/main initramfs-tools all 0.98.1ubuntu6.1 [106kB] Get:35 http://ftpmaster.internal/ubuntu/ maverick-updates/main initramfs-tools-bin i386 0.98.1ubuntu6.1 [65.5kB] Get:36 http://ftpmaster.internal/ubuntu/ maverick-updates/main libglib2.0-0 i386 2.26.1-0ubuntu1 [1381kB] Get:37 http://ftpmaster.internal/ubuntu/ maverick-updates/main udev i386 162-2.2 [428kB] Get:38 http://ftpmaster.internal/ubuntu/ maverick-updates/main libdrm2 i386 2.4.21-1ubuntu2.1 [30.7kB] Get:39 http://ftpmaster.internal/ubuntu/ maverick-updates/main libdrm-intel1 i386 2.4.21-1ubuntu2.1 [31.4kB] Get:40 http://ftpmaster.internal/ubuntu/ maverick-updates/main libdrm-nouveau1 i386 2.4.21-1ubuntu2.1 [21.4kB] Get:41 http://ftpmaster.internal/ubuntu/ maverick-updates/main libdrm-radeon1 i386 2.4.21-1ubuntu2.1 [22.2kB] Get:42 http://ftpmaster.internal/ubuntu/ maverick-updates/main plymouth i386 0.8.2-2ubuntu5.1 [113kB] Get:43 http://ftpmaster.internal/ubuntu/ maverick-security/main libpng12-0 i386 1.2.44-1ubuntu0.4 [177kB] Get:44 http://ftpmaster.internal/ubuntu/ maverick-updates/main libplymouth2 i386 0.8.2-2ubuntu5.1 [89.5kB] Get:45 http://ftpmaster.internal/ubuntu/ maverick-security/main openssl i386 0.9.8o-1ubuntu4.6 [400kB] Get:46 http://ftpmaster.internal/ubuntu/ maverick-security/main ca-certificates all 20090814ubuntu0.10.10.1 [146kB] Get:47 http://ftpmaster.internal/ubuntu/ maverick-security/main g++-4.4 i386 4.4.4-14ubuntu5.1 [4775kB] Get:48 http://ftpmaster.internal/ubuntu/ maverick-security/main libstdc++6-4.4-dev i386 4.4.4-14ubuntu5.1 [1494kB] Get:49 http://ftpmaster.internal/ubuntu/ maverick-security/main gcc-4.4 i386 4.4.4-14ubuntu5.1 [3069kB] Get:50 http://ftpmaster.internal/ubuntu/ maverick-security/main cpp-4.4 i386 4.4.4-14ubuntu5.1 [3606kB] Get:51 http://ftpmaster.internal/ubuntu/ maverick-security/main gcc-4.4-base i386 4.4.4-14ubuntu5.1 [125kB] Get:52 http://ftpmaster.internal/ubuntu/ maverick-security/main libgnutls26 i386 2.8.6-1ubuntu0.1 [381kB] Get:53 http://ftpmaster.internal/ubuntu/ maverick-security/main libk5crypto3 i386 1.8.1+dfsg-5ubuntu0.8 [97.1kB] Get:54 http://ftpmaster.internal/ubuntu/ maverick-security/main libgssapi-krb5-2 i386 1.8.1+dfsg-5ubuntu0.8 [121kB] Get:55 http://ftpmaster.internal/ubuntu/ maverick-security/main libkrb5-3 i386 1.8.1+dfsg-5ubuntu0.8 [349kB] Get:56 http://ftpmaster.internal/ubuntu/ maverick-security/main libkrb5support0 i386 1.8.1+dfsg-5ubuntu0.8 [43.5kB] Get:57 http://ftpmaster.internal/ubuntu/ maverick-security/main libldap-2.4-2 i386 2.4.23-0ubuntu3.7 [200kB] Get:58 http://ftpmaster.internal/ubuntu/ maverick-security/main libcurl3-gnutls i386 7.21.0-1ubuntu1.3 [260kB] Get:59 http://ftpmaster.internal/ubuntu/ maverick-security/main apt-transport-https i386 0.8.3ubuntu7.3 [92.5kB] Get:60 http://ftpmaster.internal/ubuntu/ maverick-security/main dpkg-dev all 1.15.8.4ubuntu3.1 [772kB] Get:61 http://ftpmaster.internal/ubuntu/ maverick-security/main libdpkg-perl all 1.15.8.4ubuntu3.1 [505kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 47.4MB in 56s (833kB/s) (Reading database ... 13493 files and directories currently installed.) Preparing to replace dpkg 1.15.8.4ubuntu3 (using .../dpkg_1.15.8.4ubuntu3.1_i386.deb) ... Unpacking replacement dpkg ... Setting up dpkg (1.15.8.4ubuntu3.1) ... (Reading database ... 13493 files and directories currently installed.) Preparing to replace login 1:4.1.4.2-1ubuntu3 (using .../login_1%3a4.1.4.2-1ubuntu3.2_i386.deb) ... Unpacking replacement login ... Setting up login (1:4.1.4.2-1ubuntu3.2) ... (Reading database ... 13493 files and directories currently installed.) Preparing to replace mount 2.17.2-0ubuntu1 (using .../mount_2.17.2-0ubuntu1.10.10.2_i386.deb) ... Unpacking replacement mount ... Setting up mount (2.17.2-0ubuntu1.10.10.2) ... (Reading database ... 13493 files and directories currently installed.) Preparing to replace perl-modules 5.10.1-12ubuntu2 (using .../perl-modules_5.10.1-12ubuntu2.1_all.deb) ... Unpacking replacement perl-modules ... Preparing to replace libc-dev-bin 2.12.1-0ubuntu6 (using .../libc-dev-bin_2.12.1-0ubuntu10.4_i386.deb) ... Unpacking replacement libc-dev-bin ... Preparing to replace libc6-dev 2.12.1-0ubuntu6 (using .../libc6-dev_2.12.1-0ubuntu10.4_i386.deb) ... Unpacking replacement libc6-dev ... Preparing to replace libc-bin 2.12.1-0ubuntu6 (using .../libc-bin_2.12.1-0ubuntu10.4_i386.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.12.1-0ubuntu10.4) ... (Reading database ... 13493 files and directories currently installed.) Preparing to replace libc6 2.12.1-0ubuntu6 (using .../libc6_2.12.1-0ubuntu10.4_i386.deb) ... Unpacking replacement libc6 ... Setting up libc6 (2.12.1-0ubuntu10.4) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13493 files and directories currently installed.) Preparing to replace linux-libc-dev 2.6.35-1022.33 (using .../linux-libc-dev_2.6.35-1032.67_i386.deb) ... Unpacking replacement linux-libc-dev ... Preparing to replace tzdata 2010l-1 (using .../tzdata_2012b-0ubuntu0.10.10_all.deb) ... Unpacking replacement tzdata ... Setting up tzdata (2012b-0ubuntu0.10.10) ... Current default time zone: 'Etc/UTC' Local time is now: Tue Aug 21 12:32:43 UTC 2012. Universal Time is now: Tue Aug 21 12:32:43 UTC 2012. Run 'dpkg-reconfigure tzdata' if you wish to change it. (Reading database ... 13517 files and directories currently installed.) Preparing to replace bzip2 1.0.5-4ubuntu1 (using .../bzip2_1.0.5-4ubuntu1.1_i386.deb) ... Unpacking replacement bzip2 ... Preparing to replace libbz2-1.0 1.0.5-4ubuntu1 (using .../libbz2-1.0_1.0.5-4ubuntu1.1_i386.deb) ... Unpacking replacement libbz2-1.0 ... Setting up libbz2-1.0 (1.0.5-4ubuntu1.1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13517 files and directories currently installed.) Preparing to replace perl 5.10.1-12ubuntu2 (using .../perl_5.10.1-12ubuntu2.1_i386.deb) ... Unpacking replacement perl ... Preparing to replace perl-base 5.10.1-12ubuntu2 (using .../perl-base_5.10.1-12ubuntu2.1_i386.deb) ... Unpacking replacement perl-base ... Setting up perl-base (5.10.1-12ubuntu2.1) ... (Reading database ... 13517 files and directories currently installed.) Preparing to replace tar 1.23-2 (using .../tar_1.23-2ubuntu2_i386.deb) ... Unpacking replacement tar ... Setting up tar (1.23-2ubuntu2) ... (Reading database ... 13517 files and directories currently installed.) Preparing to replace sysvinit-utils 2.87dsf-4ubuntu18 (using .../sysvinit-utils_2.87dsf-4ubuntu19.2_i386.deb) ... Unpacking replacement sysvinit-utils ... Preparing to replace sysv-rc 2.87dsf-4ubuntu18 (using .../sysv-rc_2.87dsf-4ubuntu19.2_all.deb) ... Unpacking replacement sysv-rc ... Preparing to replace libpam0g 1.1.1-4ubuntu1 (using .../libpam0g_1.1.1-4ubuntu2.4_i386.deb) ... Unpacking replacement libpam0g ... Setting up libpam0g (1.1.1-4ubuntu2.4) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13517 files and directories currently installed.) Preparing to replace libpam-modules 1.1.1-4ubuntu1 (using .../libpam-modules_1.1.1-4ubuntu2.4_i386.deb) ... Unpacking replacement libpam-modules ... Setting up libpam-modules (1.1.1-4ubuntu2.4) ... (Reading database ... 13517 files and directories currently installed.) Preparing to replace passwd 1:4.1.4.2-1ubuntu3 (using .../passwd_1%3a4.1.4.2-1ubuntu3.2_i386.deb) ... Unpacking replacement passwd ... Setting up passwd (1:4.1.4.2-1ubuntu3.2) ... (Reading database ... 13517 files and directories currently installed.) Preparing to replace initscripts 2.87dsf-4ubuntu18 (using .../initscripts_2.87dsf-4ubuntu19.2_i386.deb) ... Unpacking replacement initscripts ... Preparing to replace libdbus-1-3 1.4.0-0ubuntu1 (using .../libdbus-1-3_1.4.0-0ubuntu1.3_i386.deb) ... Unpacking replacement libdbus-1-3 ... Preparing to replace libudev0 162-2 (using .../libudev0_162-2.2_i386.deb) ... Unpacking replacement libudev0 ... Preparing to replace ifupdown 0.6.10ubuntu3 (using .../ifupdown_0.6.10ubuntu3.1_i386.deb) ... Unpacking replacement ifupdown ... Preparing to replace upstart 0.6.6-3 (using .../upstart_0.6.6-4_i386.deb) ... Unpacking replacement upstart ... Preparing to replace util-linux 2.17.2-0ubuntu1 (using .../util-linux_2.17.2-0ubuntu1.10.10.2_i386.deb) ... Unpacking replacement util-linux ... Setting up libdbus-1-3 (1.4.0-0ubuntu1.3) ... Setting up libudev0 (162-2.2) ... Setting up sysvinit-utils (2.87dsf-4ubuntu19.2) ... Setting up sysv-rc (2.87dsf-4ubuntu19.2) ... Setting up initscripts (2.87dsf-4ubuntu19.2) ... Installing new version of config file /etc/init.d/sendsigs ... Installing new version of config file /etc/init.d/umountroot ... Setting up upstart (0.6.6-4) ... Setting up util-linux (2.17.2-0ubuntu1.10.10.2) ... Setting up ifupdown (0.6.10ubuntu3.1) ... Installing new version of config file /etc/init/network-interface-security.conf ... Installing new version of config file /etc/init/network-interface.conf ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13517 files and directories currently installed.) Preparing to replace bsdutils 1:2.17.2-0ubuntu1 (using .../bsdutils_1%3a2.17.2-0ubuntu1.10.10.2_i386.deb) ... Unpacking replacement bsdutils ... Setting up bsdutils (1:2.17.2-0ubuntu1.10.10.2) ... (Reading database ... 13517 files and directories currently installed.) Preparing to replace python-minimal 2.6.6-2ubuntu1 (using .../python-minimal_2.6.6-2ubuntu2_all.deb) ... Unpacking replacement python-minimal ... Setting up python-minimal (2.6.6-2ubuntu2) ... (Reading database ... 13517 files and directories currently installed.) Preparing to replace apt 0.8.3ubuntu7 (using .../apt_0.8.3ubuntu7.3_i386.deb) ... Unpacking replacement apt ... Setting up apt (0.8.3ubuntu7.3) ... 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 Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13517 files and directories currently installed.) Preparing to replace libssl0.9.8 0.9.8o-1ubuntu4 (using .../libssl0.9.8_0.9.8o-1ubuntu4.6_i386.deb) ... Unpacking replacement libssl0.9.8 ... Setting up libssl0.9.8 (0.9.8o-1ubuntu4.6) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13517 files and directories currently installed.) Preparing to replace libuuid1 2.17.2-0ubuntu1 (using .../libuuid1_2.17.2-0ubuntu1.10.10.2_i386.deb) ... Unpacking replacement libuuid1 ... Setting up libuuid1 (2.17.2-0ubuntu1.10.10.2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13517 files and directories currently installed.) Preparing to replace libblkid1 2.17.2-0ubuntu1 (using .../libblkid1_2.17.2-0ubuntu1.10.10.2_i386.deb) ... Unpacking replacement libblkid1 ... Setting up libblkid1 (2.17.2-0ubuntu1.10.10.2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13517 files and directories currently installed.) Preparing to replace libpam-runtime 1.1.1-4ubuntu1 (using .../libpam-runtime_1.1.1-4ubuntu2.4_all.deb) ... Unpacking replacement libpam-runtime ... Setting up libpam-runtime (1.1.1-4ubuntu2.4) ... (Reading database ... 13517 files and directories currently installed.) Preparing to replace initramfs-tools 0.98.1ubuntu6 (using .../initramfs-tools_0.98.1ubuntu6.1_all.deb) ... Unpacking replacement initramfs-tools ... Preparing to replace initramfs-tools-bin 0.98.1ubuntu6 (using .../initramfs-tools-bin_0.98.1ubuntu6.1_i386.deb) ... Unpacking replacement initramfs-tools-bin ... Preparing to replace libglib2.0-0 2.26.0-0ubuntu1 (using .../libglib2.0-0_2.26.1-0ubuntu1_i386.deb) ... Unpacking replacement libglib2.0-0 ... Preparing to replace udev 162-2 (using .../archives/udev_162-2.2_i386.deb) ... Adding 'local diversion of /sbin/udevadm to /sbin/udevadm.upgrade' Unpacking replacement udev ... Preparing to replace libdrm2 2.4.21-1ubuntu2 (using .../libdrm2_2.4.21-1ubuntu2.1_i386.deb) ... Unpacking replacement libdrm2 ... Preparing to replace libdrm-intel1 2.4.21-1ubuntu2 (using .../libdrm-intel1_2.4.21-1ubuntu2.1_i386.deb) ... Unpacking replacement libdrm-intel1 ... Preparing to replace libdrm-nouveau1 2.4.21-1ubuntu2 (using .../libdrm-nouveau1_2.4.21-1ubuntu2.1_i386.deb) ... Unpacking replacement libdrm-nouveau1 ... Preparing to replace libdrm-radeon1 2.4.21-1ubuntu2 (using .../libdrm-radeon1_2.4.21-1ubuntu2.1_i386.deb) ... Unpacking replacement libdrm-radeon1 ... Preparing to replace plymouth 0.8.2-2ubuntu5 (using .../plymouth_0.8.2-2ubuntu5.1_i386.deb) ... Unpacking replacement plymouth ... Preparing to replace libpng12-0 1.2.44-1 (using .../libpng12-0_1.2.44-1ubuntu0.4_i386.deb) ... Unpacking replacement libpng12-0 ... Preparing to replace libplymouth2 0.8.2-2ubuntu5 (using .../libplymouth2_0.8.2-2ubuntu5.1_i386.deb) ... Unpacking replacement libplymouth2 ... Preparing to replace openssl 0.9.8o-1ubuntu4 (using .../openssl_0.9.8o-1ubuntu4.6_i386.deb) ... Unpacking replacement openssl ... Preparing to replace ca-certificates 20090814 (using .../ca-certificates_20090814ubuntu0.10.10.1_all.deb) ... Unpacking replacement ca-certificates ... Preparing to replace g++-4.4 4.4.4-14ubuntu5 (using .../g++-4.4_4.4.4-14ubuntu5.1_i386.deb) ... Unpacking replacement g++-4.4 ... Preparing to replace libstdc++6-4.4-dev 4.4.4-14ubuntu5 (using .../libstdc++6-4.4-dev_4.4.4-14ubuntu5.1_i386.deb) ... Unpacking replacement libstdc++6-4.4-dev ... Preparing to replace gcc-4.4 4.4.4-14ubuntu5 (using .../gcc-4.4_4.4.4-14ubuntu5.1_i386.deb) ... Unpacking replacement gcc-4.4 ... Preparing to replace cpp-4.4 4.4.4-14ubuntu5 (using .../cpp-4.4_4.4.4-14ubuntu5.1_i386.deb) ... Unpacking replacement cpp-4.4 ... Preparing to replace gcc-4.4-base 4.4.4-14ubuntu5 (using .../gcc-4.4-base_4.4.4-14ubuntu5.1_i386.deb) ... Unpacking replacement gcc-4.4-base ... Preparing to replace libgnutls26 2.8.6-1 (using .../libgnutls26_2.8.6-1ubuntu0.1_i386.deb) ... Unpacking replacement libgnutls26 ... Preparing to replace libk5crypto3 1.8.1+dfsg-5 (using .../libk5crypto3_1.8.1+dfsg-5ubuntu0.8_i386.deb) ... Unpacking replacement libk5crypto3 ... Preparing to replace libgssapi-krb5-2 1.8.1+dfsg-5 (using .../libgssapi-krb5-2_1.8.1+dfsg-5ubuntu0.8_i386.deb) ... Unpacking replacement libgssapi-krb5-2 ... Preparing to replace libkrb5-3 1.8.1+dfsg-5 (using .../libkrb5-3_1.8.1+dfsg-5ubuntu0.8_i386.deb) ... Unpacking replacement libkrb5-3 ... Preparing to replace libkrb5support0 1.8.1+dfsg-5 (using .../libkrb5support0_1.8.1+dfsg-5ubuntu0.8_i386.deb) ... Unpacking replacement libkrb5support0 ... Preparing to replace libldap-2.4-2 2.4.23-0ubuntu3 (using .../libldap-2.4-2_2.4.23-0ubuntu3.7_i386.deb) ... Unpacking replacement libldap-2.4-2 ... Preparing to replace libcurl3-gnutls 7.21.0-1ubuntu1 (using .../libcurl3-gnutls_7.21.0-1ubuntu1.3_i386.deb) ... Unpacking replacement libcurl3-gnutls ... Preparing to replace apt-transport-https 0.8.3ubuntu7 (using .../apt-transport-https_0.8.3ubuntu7.3_i386.deb) ... Unpacking replacement apt-transport-https ... Preparing to replace dpkg-dev 1.15.8.4ubuntu3 (using .../dpkg-dev_1.15.8.4ubuntu3.1_all.deb) ... Unpacking replacement dpkg-dev ... Preparing to replace libdpkg-perl 1.15.8.4ubuntu3 (using .../libdpkg-perl_1.15.8.4ubuntu3.1_all.deb) ... Unpacking replacement libdpkg-perl ... Setting up libc-dev-bin (2.12.1-0ubuntu10.4) ... Setting up linux-libc-dev (2.6.35-1032.67) ... Setting up libc6-dev (2.12.1-0ubuntu10.4) ... Setting up bzip2 (1.0.5-4ubuntu1.1) ... Setting up initramfs-tools-bin (0.98.1ubuntu6.1) ... Setting up libglib2.0-0 (2.26.1-0ubuntu1) ... Setting up libdrm2 (2.4.21-1ubuntu2.1) ... Setting up libdrm-intel1 (2.4.21-1ubuntu2.1) ... Setting up libdrm-nouveau1 (2.4.21-1ubuntu2.1) ... Setting up libdrm-radeon1 (2.4.21-1ubuntu2.1) ... Setting up libpng12-0 (1.2.44-1ubuntu0.4) ... Setting up libplymouth2 (0.8.2-2ubuntu5.1) ... Setting up openssl (0.9.8o-1ubuntu4.6) ... Setting up ca-certificates (20090814ubuntu0.10.10.1) ... Updating certificates in /etc/ssl/certs... WARNING: Skipping duplicate certificate ca-certificates.crt 0 added, 1 removed; done. Running hooks in /etc/ca-certificates/update.d....done. Setting up gcc-4.4-base (4.4.4-14ubuntu5.1) ... Setting up cpp-4.4 (4.4.4-14ubuntu5.1) ... Setting up gcc-4.4 (4.4.4-14ubuntu5.1) ... Setting up libgnutls26 (2.8.6-1ubuntu0.1) ... Setting up libkrb5support0 (1.8.1+dfsg-5ubuntu0.8) ... Setting up libk5crypto3 (1.8.1+dfsg-5ubuntu0.8) ... Setting up libkrb5-3 (1.8.1+dfsg-5ubuntu0.8) ... Setting up libgssapi-krb5-2 (1.8.1+dfsg-5ubuntu0.8) ... Setting up libldap-2.4-2 (2.4.23-0ubuntu3.7) ... Setting up libcurl3-gnutls (7.21.0-1ubuntu1.3) ... Setting up apt-transport-https (0.8.3ubuntu7.3) ... Setting up perl-modules (5.10.1-12ubuntu2.1) ... Setting up udev (162-2.2) ... Removing 'local diversion of /sbin/udevadm to /sbin/udevadm.upgrade' update-initramfs: deferring update (trigger activated) Setting up initramfs-tools (0.98.1ubuntu6.1) ... update-initramfs: deferring update (trigger activated) Setting up plymouth (0.8.2-2ubuntu5.1) ... update-initramfs: deferring update (trigger activated) Setting up g++-4.4 (4.4.4-14ubuntu5.1) ... Setting up perl (5.10.1-12ubuntu2.1) ... Setting up libstdc++6-4.4-dev (4.4.4-14ubuntu5.1) ... Setting up libdpkg-perl (1.15.8.4ubuntu3.1) ... Setting up dpkg-dev (1.15.8.4ubuntu3.1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Processing triggers for initramfs-tools ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', '1374b002a90ff96f7c652c480c255373d2617fa1', 'i386', 'maverick', '--nolog', '--batch', '--archive=ubuntu', '--dist=maverick', '-A', '--purpose=PPA', '--architecture=i386', '--comp=main', 'coccinelle_1.0.0-rc15~1010npalix1.dsc'] Initiating build 1374b002a90ff96f7c652c480c255373d2617fa1 with 2 jobs across 2 processor cores. Automatic build of coccinelle_1.0.0-rc15~1010npalix1 on fermium by sbuild/i386 1.170.5 Build started at 20120821-1236 ****************************************************************************** coccinelle_1.0.0-rc15~1010npalix1.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7.0.50~), dh-ocaml, pkg-config (>= 0.9.0), ocaml-nox (>= 3.11.0), ocaml-best-compilers, ocaml-findlib, pycaml (>= 0.82-10) | libpycaml-ocaml-dev (>= 0.82-13), python-dev, python-support (>= 0.6), menhir (>= 20090204.dfsg), libmenhir-ocaml-dev (>= 20090204.dfsg), libsexplib-camlp4-dev, libpcre-ocaml-dev, texlive-latex-base, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-fonts-extra Checking for already installed source dependencies... debhelper: missing dh-ocaml: missing pkg-config: missing ocaml-nox: missing ocaml-best-compilers: missing ocaml-findlib: missing pycaml: missing libpycaml-ocaml-dev: missing python-dev: missing python-support: missing menhir: missing libmenhir-ocaml-dev: missing libsexplib-camlp4-dev: missing libpcre-ocaml-dev: missing texlive-latex-base: missing texlive-latex-recommended: missing texlive-latex-extra: missing texlive-fonts-recommended: missing texlive-fonts-extra: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper dh-ocaml pkg-config ocaml-nox ocaml-best-compilers ocaml-findlib pycaml python-dev python-support menhir libmenhir-ocaml-dev libsexplib-camlp4-dev libpcre-ocaml-dev texlive-latex-base texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended texlive-fonts-extra Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bsdmainutils camlp4 ed file fontconfig-config gettext gettext-base groff-base html2text intltool-debian libcroco3 libexpat1 libfindlib-ocaml libfindlib-ocaml-dev libfontconfig1 libfreetype6 libice6 libjpeg62 libkpathsea5 liblcms1 libmagic1 libncurses5-dev libpcre-ocaml libpcre3-dev libpcrecpp0 libpoppler7 libpopt0 libpycaml-ocaml libpycaml-ocaml-dev libpython2.6 libsm6 libsqlite3-0 libssl-dev libtype-conv-camlp4-dev libunistring0 libx11-6 libx11-data libxau6 libxaw7 libxcb1 libxdmcp6 libxext6 libxml2 libxmu6 libxpm4 libxt6 luatex man-db mime-support ocaml-base-nox ocaml-interp ocaml-native-compilers po-debconf preview-latex-style python python2.6 python2.6-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 gettext-doc groff liblcms-utils less www-browser ocaml-findlib-wizard ocaml-doc libgdbm-dev tuareg-mode ocaml-mode libmail-box-perl python-doc python-tk python-profiler python2.6-doc python2.6-profiler perl-tk ghostscript xpdf-reader pdf-viewer gv postscript-viewer cm-super texpower Recommended packages: curl wget lynx xml-core texlive-luatex ledit readline-editor libmail-sendmail-perl doc-base lmodern texlive-fonts-extra-doc texlive-fonts-recommended-doc tipa texlive-latex-base-doc texlive-latex-extra-doc texlive-latex-recommended-doc prosper latex-beamer latex-xcolor texlive-pictures-doc pgf The following NEW packages will be installed: bsdmainutils camlp4 debhelper dh-ocaml ed file fontconfig-config gettext gettext-base groff-base html2text intltool-debian libcroco3 libexpat1 libfindlib-ocaml libfindlib-ocaml-dev libfontconfig1 libfreetype6 libice6 libjpeg62 libkpathsea5 liblcms1 libmagic1 libmenhir-ocaml-dev libncurses5-dev libpcre-ocaml libpcre-ocaml-dev libpcre3-dev libpcrecpp0 libpoppler7 libpopt0 libpycaml-ocaml libpycaml-ocaml-dev libpython2.6 libsexplib-camlp4-dev libsm6 libsqlite3-0 libssl-dev libtype-conv-camlp4-dev libunistring0 libx11-6 libx11-data libxau6 libxaw7 libxcb1 libxdmcp6 libxext6 libxml2 libxmu6 libxpm4 libxt6 luatex man-db menhir mime-support ocaml-base-nox ocaml-findlib ocaml-interp ocaml-native-compilers ocaml-nox pkg-config po-debconf preview-latex-style python python-dev python-support python2.6 python2.6-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, 83 newly installed, 0 to remove and 0 not upgraded. Need to get 181MB of archives. After this operation, 534MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! x11-common libmagic1 file libexpat1 libpopt0 libsqlite3-0 mime-support python2.6 python ucf bsdmainutils ed ttf-dejavu-core fontconfig-config gettext-base groff-base libfreetype6 libfontconfig1 libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libxext6 libxml2 man-db python-support ocaml-base-nox libncurses5-dev ocaml-interp ocaml-nox camlp4 html2text libcroco3 libunistring0 gettext intltool-debian po-debconf debhelper libfindlib-ocaml libfindlib-ocaml-dev libice6 libjpeg62 libkpathsea5 liblcms1 libmenhir-ocaml-dev libpcre-ocaml libpcrecpp0 libpcre3-dev ocaml-findlib libpcre-ocaml-dev libpoppler7 libpython2.6 libpycaml-ocaml zlib1g-dev libssl-dev python2.6-dev python-dev libpycaml-ocaml-dev libsm6 libxt6 libxmu6 libxpm4 libxaw7 luatex menhir ocaml-native-compilers pkg-config 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/ maverick-security/main x11-common all 1:7.5+6ubuntu3.1 [309kB] Get:2 http://ftpmaster.internal/ubuntu/ maverick/main libmagic1 i386 5.03-5ubuntu1 [392kB] Get:3 http://ftpmaster.internal/ubuntu/ maverick/main file i386 5.03-5ubuntu1 [47.4kB] Get:4 http://ftpmaster.internal/ubuntu/ maverick/main libexpat1 i386 2.0.1-7ubuntu1 [139kB] Get:5 http://ftpmaster.internal/ubuntu/ maverick/main libpopt0 i386 1.16-1 [33.9kB] Get:6 http://ftpmaster.internal/ubuntu/ maverick-updates/main libsqlite3-0 i386 3.7.2-1ubuntu0.1 [381kB] Get:7 http://ftpmaster.internal/ubuntu/ maverick/main mime-support all 3.48-1ubuntu2 [34.7kB] Get:8 http://ftpmaster.internal/ubuntu/ maverick/main python2.6 i386 2.6.6-5ubuntu1 [2388kB] Get:9 http://ftpmaster.internal/ubuntu/ maverick-updates/main python all 2.6.6-2ubuntu2 [172kB] Get:10 http://ftpmaster.internal/ubuntu/ maverick/main ucf all 3.0025 [68.1kB] Get:11 http://ftpmaster.internal/ubuntu/ maverick/main bsdmainutils i386 8.0.11ubuntu1 [197kB] Get:12 http://ftpmaster.internal/ubuntu/ maverick/main ed i386 1.4-1build1 [58.5kB] Get:13 http://ftpmaster.internal/ubuntu/ maverick/main ttf-dejavu-core all 2.31-1 [1450kB] Get:14 http://ftpmaster.internal/ubuntu/ maverick/main fontconfig-config all 2.8.0-2ubuntu1 [205kB] Get:15 http://ftpmaster.internal/ubuntu/ maverick/main gettext-base i386 0.18.1.1-1ubuntu2 [77.2kB] Get:16 http://ftpmaster.internal/ubuntu/ maverick/main groff-base i386 1.20.1-10 [1090kB] Get:17 http://ftpmaster.internal/ubuntu/ maverick-security/main libfreetype6 i386 2.4.2-2ubuntu0.4 [360kB] Get:18 http://ftpmaster.internal/ubuntu/ maverick/main libfontconfig1 i386 2.8.0-2ubuntu1 [98.9kB] Get:19 http://ftpmaster.internal/ubuntu/ maverick/main libxau6 i386 1:1.0.6-1 [16.2kB] Get:20 http://ftpmaster.internal/ubuntu/ maverick/main libxdmcp6 i386 1:1.0.3-2 [18.4kB] Get:21 http://ftpmaster.internal/ubuntu/ maverick/main libxcb1 i386 1.6-1 [40.2kB] Get:22 http://ftpmaster.internal/ubuntu/ maverick/main libx11-data all 2:1.3.3-3ubuntu1 [215kB] Get:23 http://ftpmaster.internal/ubuntu/ maverick/main libx11-6 i386 2:1.3.3-3ubuntu1 [814kB] Get:24 http://ftpmaster.internal/ubuntu/ maverick/main libxext6 i386 2:1.1.2-1 [41.7kB] Get:25 http://ftpmaster.internal/ubuntu/ maverick-security/main libxml2 i386 2.7.7.dfsg-4ubuntu0.4 [824kB] Get:26 http://ftpmaster.internal/ubuntu/ maverick/main man-db i386 2.5.7-4 [960kB] Get:27 http://ftpmaster.internal/ubuntu/ maverick/main python-support all 1.0.9ubuntu1 [33.5kB] Get:28 http://ftpmaster.internal/ubuntu/ maverick/main ocaml-base-nox i386 3.11.2-1 [628kB] Get:29 http://ftpmaster.internal/ubuntu/ maverick/main libncurses5-dev i386 5.7+20100626-0ubuntu1 [1580kB] Get:30 http://ftpmaster.internal/ubuntu/ maverick/main ocaml-interp i386 3.11.2-1 [300kB] Get:31 http://ftpmaster.internal/ubuntu/ maverick/main ocaml-nox i386 3.11.2-1 [6982kB] Get:32 http://ftpmaster.internal/ubuntu/ maverick/main camlp4 i386 3.11.2-1 [14.3MB] Get:33 http://ftpmaster.internal/ubuntu/ maverick/main html2text i386 1.3.2a-15 [101kB] Get:34 http://ftpmaster.internal/ubuntu/ maverick/main libcroco3 i386 0.6.2-1 [92.5kB] Get:35 http://ftpmaster.internal/ubuntu/ maverick/main libunistring0 i386 0.9.3-1 [434kB] Get:36 http://ftpmaster.internal/ubuntu/ maverick/main gettext i386 0.18.1.1-1ubuntu2 [1205kB] Get:37 http://ftpmaster.internal/ubuntu/ maverick/main intltool-debian all 0.35.0+20060710.1 [31.6kB] Get:38 http://ftpmaster.internal/ubuntu/ maverick/main po-debconf all 1.0.16 [224kB] Get:39 http://ftpmaster.internal/ubuntu/ maverick/main debhelper all 8.0.0ubuntu1 [460kB] Get:40 http://ftpmaster.internal/ubuntu/ maverick/main libfindlib-ocaml i386 1.2.5+debian-1build1 [98.2kB] Get:41 http://ftpmaster.internal/ubuntu/ maverick/main libfindlib-ocaml-dev i386 1.2.5+debian-1build1 [134kB] Get:42 http://ftpmaster.internal/ubuntu/ maverick/main libice6 i386 2:1.0.6-1 [50.5kB] Get:43 http://ftpmaster.internal/ubuntu/ maverick/main libjpeg62 i386 6b-16.1 [88.1kB] Get:44 http://ftpmaster.internal/ubuntu/ maverick/main libkpathsea5 i386 2009-7 [129kB] Get:45 http://ftpmaster.internal/ubuntu/ maverick-security/main liblcms1 i386 1.18.dfsg-1ubuntu2.10.10.1 [102kB] Get:46 http://ftpmaster.internal/ubuntu/ maverick/universe libmenhir-ocaml-dev i386 20090505.dfsg-2build1 [49.8kB] Get:47 http://ftpmaster.internal/ubuntu/ maverick/universe libpcre-ocaml i386 6.0.1-3 [19.5kB] Get:48 http://ftpmaster.internal/ubuntu/ maverick/main libpcrecpp0 i386 8.02-1 [108kB] Get:49 http://ftpmaster.internal/ubuntu/ maverick/main libpcre3-dev i386 8.02-1 [279kB] Get:50 http://ftpmaster.internal/ubuntu/ maverick/main ocaml-findlib i386 1.2.5+debian-1build1 [207kB] Get:51 http://ftpmaster.internal/ubuntu/ maverick/universe libpcre-ocaml-dev i386 6.0.1-3 [78.3kB] Get:52 http://ftpmaster.internal/ubuntu/ maverick-updates/main libpoppler7 i386 0.14.3-0ubuntu1.2 [746kB] Get:53 http://ftpmaster.internal/ubuntu/ maverick/main libpython2.6 i386 2.6.6-5ubuntu1 [982kB] Get:54 http://ftpmaster.internal/ubuntu/ maverick/universe libpycaml-ocaml i386 0.82-13 [15.6kB] Get:55 http://ftpmaster.internal/ubuntu/ maverick/main zlib1g-dev i386 1:1.2.3.4.dfsg-3ubuntu1 [188kB] Get:56 http://ftpmaster.internal/ubuntu/ maverick-security/main libssl-dev i386 0.9.8o-1ubuntu4.6 [2013kB] Get:57 http://ftpmaster.internal/ubuntu/ maverick/main python2.6-dev i386 2.6.6-5ubuntu1 [4401kB] Get:58 http://ftpmaster.internal/ubuntu/ maverick-updates/main python-dev all 2.6.6-2ubuntu2 [958B] Get:59 http://ftpmaster.internal/ubuntu/ maverick/universe libpycaml-ocaml-dev i386 0.82-13 [287kB] Get:60 http://ftpmaster.internal/ubuntu/ maverick/main libsm6 i386 2:1.1.1-1 [24.3kB] Get:61 http://ftpmaster.internal/ubuntu/ maverick/main libxt6 i386 1:1.0.7-1 [176kB] Get:62 http://ftpmaster.internal/ubuntu/ maverick/main libxmu6 i386 2:1.0.5-1 [53.7kB] Get:63 http://ftpmaster.internal/ubuntu/ maverick/main libxpm4 i386 1:3.5.8-1 [42.3kB] Get:64 http://ftpmaster.internal/ubuntu/ maverick/main libxaw7 i386 2:1.0.7-1 [196kB] Get:65 http://ftpmaster.internal/ubuntu/ maverick/main luatex i386 0.60.1-1build2 [2024kB] Get:66 http://ftpmaster.internal/ubuntu/ maverick/universe menhir i386 20090505.dfsg-2build1 [391kB] Get:67 http://ftpmaster.internal/ubuntu/ maverick/main ocaml-native-compilers i386 3.11.2-1 [2661kB] Get:68 http://ftpmaster.internal/ubuntu/ maverick/main pkg-config i386 0.25-1 [57.7kB] Get:69 http://ftpmaster.internal/ubuntu/ maverick-security/main tex-common all 2.08ubuntu0.1 [725kB] Get:70 http://ftpmaster.internal/ubuntu/ maverick/main preview-latex-style all 11.85-1ubuntu1 [123kB] Get:71 http://ftpmaster.internal/ubuntu/ maverick/main texlive-common all 2009-10 [100kB] Get:72 http://ftpmaster.internal/ubuntu/ maverick/main texlive-doc-base all 2009-2 [1339kB] Get:73 http://ftpmaster.internal/ubuntu/ maverick/main texlive-binaries i386 2009-7 [7431kB] Get:74 http://ftpmaster.internal/ubuntu/ maverick/main texlive-base all 2009-10 [14.7MB] Get:75 http://ftpmaster.internal/ubuntu/ maverick/main texlive-fonts-extra all 2009-9ubuntu1 [83.5MB] Get:76 http://ftpmaster.internal/ubuntu/ maverick/main texlive-fonts-recommended all 2009-10 [7166kB] Get:77 http://ftpmaster.internal/ubuntu/ maverick/main texlive-latex-base all 2009-10 [1342kB] Get:78 http://ftpmaster.internal/ubuntu/ maverick/main texlive-pictures all 2009-10 [865kB] Get:79 http://ftpmaster.internal/ubuntu/ maverick/main texlive-latex-extra all 2009-9ubuntu1 [4724kB] Get:80 http://ftpmaster.internal/ubuntu/ maverick/main texlive-latex-recommended all 2009-10 [6587kB] Get:81 http://ftpmaster.internal/ubuntu/ maverick/main dh-ocaml all 0.9.3 [80.0kB] Get:82 http://ftpmaster.internal/ubuntu/ maverick/universe libtype-conv-camlp4-dev i386 1.7.1-1 [18.6kB] Get:83 http://ftpmaster.internal/ubuntu/ maverick/universe libsexplib-camlp4-dev i386 4.2.16-1build1 [132kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 181MB in 4min 29s (672kB/s) Selecting previously deselected package x11-common. (Reading database ... 13516 files and directories currently installed.) Unpacking x11-common (from .../x11-common_1%3a7.5+6ubuntu3.1_all.deb) ... Selecting previously deselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.03-5ubuntu1_i386.deb) ... Selecting previously deselected package file. Unpacking file (from .../file_5.03-5ubuntu1_i386.deb) ... Selecting previously deselected package libexpat1. Unpacking libexpat1 (from .../libexpat1_2.0.1-7ubuntu1_i386.deb) ... Selecting previously deselected package libpopt0. Unpacking libpopt0 (from .../libpopt0_1.16-1_i386.deb) ... Selecting previously deselected package libsqlite3-0. Unpacking libsqlite3-0 (from .../libsqlite3-0_3.7.2-1ubuntu0.1_i386.deb) ... Selecting previously deselected package mime-support. Unpacking mime-support (from .../mime-support_3.48-1ubuntu2_all.deb) ... Selecting previously deselected package python2.6. Unpacking python2.6 (from .../python2.6_2.6.6-5ubuntu1_i386.deb) ... Selecting previously deselected package python. Unpacking python (from .../python_2.6.6-2ubuntu2_all.deb) ... Selecting previously deselected package ucf. Unpacking ucf (from .../archives/ucf_3.0025_all.deb) ... Moving old data out of the way Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.0.11ubuntu1_i386.deb) ... Selecting previously deselected package ed. Unpacking ed (from .../ed_1.4-1build1_i386.deb) ... Selecting previously deselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.31-1_all.deb) ... Selecting previously deselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.8.0-2ubuntu1_all.deb) ... Selecting previously deselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-1ubuntu2_i386.deb) ... Selecting previously deselected package groff-base. Unpacking groff-base (from .../groff-base_1.20.1-10_i386.deb) ... Selecting previously deselected package libfreetype6. Unpacking libfreetype6 (from .../libfreetype6_2.4.2-2ubuntu0.4_i386.deb) ... Selecting previously deselected package libfontconfig1. Unpacking libfontconfig1 (from .../libfontconfig1_2.8.0-2ubuntu1_i386.deb) ... Selecting previously deselected package libxau6. Unpacking libxau6 (from .../libxau6_1%3a1.0.6-1_i386.deb) ... Selecting previously deselected package libxdmcp6. Unpacking libxdmcp6 (from .../libxdmcp6_1%3a1.0.3-2_i386.deb) ... Selecting previously deselected package libxcb1. Unpacking libxcb1 (from .../libxcb1_1.6-1_i386.deb) ... Selecting previously deselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.3.3-3ubuntu1_all.deb) ... Selecting previously deselected package libx11-6. Unpacking libx11-6 (from .../libx11-6_2%3a1.3.3-3ubuntu1_i386.deb) ... Selecting previously deselected package libxext6. Unpacking libxext6 (from .../libxext6_2%3a1.1.2-1_i386.deb) ... Selecting previously deselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.7.dfsg-4ubuntu0.4_i386.deb) ... Selecting previously deselected package man-db. Unpacking man-db (from .../man-db_2.5.7-4_i386.deb) ... Selecting previously deselected package python-support. Unpacking python-support (from .../python-support_1.0.9ubuntu1_all.deb) ... Selecting previously deselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.11.2-1_i386.deb) ... Selecting previously deselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.7+20100626-0ubuntu1_i386.deb) ... Selecting previously deselected package ocaml-interp. Unpacking ocaml-interp (from .../ocaml-interp_3.11.2-1_i386.deb) ... Selecting previously deselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_3.11.2-1_i386.deb) ... Selecting previously deselected package camlp4. Unpacking camlp4 (from .../camlp4_3.11.2-1_i386.deb) ... Selecting previously deselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_i386.deb) ... Selecting previously deselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-1_i386.deb) ... Selecting previously deselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-1_i386.deb) ... Selecting previously deselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-1ubuntu2_i386.deb) ... Selecting previously deselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously deselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16_all.deb) ... Selecting previously deselected package debhelper. Unpacking debhelper (from .../debhelper_8.0.0ubuntu1_all.deb) ... Selecting previously deselected package libfindlib-ocaml. Unpacking libfindlib-ocaml (from .../libfindlib-ocaml_1.2.5+debian-1build1_i386.deb) ... Selecting previously deselected package libfindlib-ocaml-dev. Unpacking libfindlib-ocaml-dev (from .../libfindlib-ocaml-dev_1.2.5+debian-1build1_i386.deb) ... Selecting previously deselected package libice6. Unpacking libice6 (from .../libice6_2%3a1.0.6-1_i386.deb) ... Selecting previously deselected package libjpeg62. Unpacking libjpeg62 (from .../libjpeg62_6b-16.1_i386.deb) ... Selecting previously deselected package libkpathsea5. Unpacking libkpathsea5 (from .../libkpathsea5_2009-7_i386.deb) ... Selecting previously deselected package liblcms1. Unpacking liblcms1 (from .../liblcms1_1.18.dfsg-1ubuntu2.10.10.1_i386.deb) ... Selecting previously deselected package libmenhir-ocaml-dev. Unpacking libmenhir-ocaml-dev (from .../libmenhir-ocaml-dev_20090505.dfsg-2build1_i386.deb) ... Selecting previously deselected package libpcre-ocaml. Unpacking libpcre-ocaml (from .../libpcre-ocaml_6.0.1-3_i386.deb) ... Selecting previously deselected package libpcrecpp0. Unpacking libpcrecpp0 (from .../libpcrecpp0_8.02-1_i386.deb) ... Selecting previously deselected package libpcre3-dev. Unpacking libpcre3-dev (from .../libpcre3-dev_8.02-1_i386.deb) ... Selecting previously deselected package ocaml-findlib. Unpacking ocaml-findlib (from .../ocaml-findlib_1.2.5+debian-1build1_i386.deb) ... Selecting previously deselected package libpcre-ocaml-dev. Unpacking libpcre-ocaml-dev (from .../libpcre-ocaml-dev_6.0.1-3_i386.deb) ... Selecting previously deselected package libpoppler7. Unpacking libpoppler7 (from .../libpoppler7_0.14.3-0ubuntu1.2_i386.deb) ... Selecting previously deselected package libpython2.6. Unpacking libpython2.6 (from .../libpython2.6_2.6.6-5ubuntu1_i386.deb) ... Selecting previously deselected package libpycaml-ocaml. Unpacking libpycaml-ocaml (from .../libpycaml-ocaml_0.82-13_i386.deb) ... Selecting previously deselected package zlib1g-dev. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3ubuntu1_i386.deb) ... Selecting previously deselected package libssl-dev. Unpacking libssl-dev (from .../libssl-dev_0.9.8o-1ubuntu4.6_i386.deb) ... Selecting previously deselected package python2.6-dev. Unpacking python2.6-dev (from .../python2.6-dev_2.6.6-5ubuntu1_i386.deb) ... Selecting previously deselected package python-dev. Unpacking python-dev (from .../python-dev_2.6.6-2ubuntu2_all.deb) ... Selecting previously deselected package libpycaml-ocaml-dev. Unpacking libpycaml-ocaml-dev (from .../libpycaml-ocaml-dev_0.82-13_i386.deb) ... Selecting previously deselected package libsm6. Unpacking libsm6 (from .../libsm6_2%3a1.1.1-1_i386.deb) ... Selecting previously deselected package libxt6. Unpacking libxt6 (from .../libxt6_1%3a1.0.7-1_i386.deb) ... Selecting previously deselected package libxmu6. Unpacking libxmu6 (from .../libxmu6_2%3a1.0.5-1_i386.deb) ... Selecting previously deselected package libxpm4. Unpacking libxpm4 (from .../libxpm4_1%3a3.5.8-1_i386.deb) ... Selecting previously deselected package libxaw7. Unpacking libxaw7 (from .../libxaw7_2%3a1.0.7-1_i386.deb) ... Selecting previously deselected package luatex. Unpacking luatex (from .../luatex_0.60.1-1build2_i386.deb) ... Selecting previously deselected package menhir. Unpacking menhir (from .../menhir_20090505.dfsg-2build1_i386.deb) ... Selecting previously deselected package ocaml-native-compilers. Unpacking ocaml-native-compilers (from .../ocaml-native-compilers_3.11.2-1_i386.deb) ... Selecting previously deselected package pkg-config. Unpacking pkg-config (from .../pkg-config_0.25-1_i386.deb) ... Selecting previously deselected package tex-common. Unpacking tex-common (from .../tex-common_2.08ubuntu0.1_all.deb) ... Selecting previously deselected package preview-latex-style. Unpacking preview-latex-style (from .../preview-latex-style_11.85-1ubuntu1_all.deb) ... Selecting previously deselected package texlive-common. Unpacking texlive-common (from .../texlive-common_2009-10_all.deb) ... Selecting previously deselected package texlive-doc-base. Unpacking texlive-doc-base (from .../texlive-doc-base_2009-2_all.deb) ... Selecting previously deselected package texlive-binaries. Unpacking texlive-binaries (from .../texlive-binaries_2009-7_i386.deb) ... Selecting previously deselected package texlive-base. Unpacking texlive-base (from .../texlive-base_2009-10_all.deb) ... Selecting previously deselected package texlive-fonts-extra. Unpacking texlive-fonts-extra (from .../texlive-fonts-extra_2009-9ubuntu1_all.deb) ... Selecting previously deselected package texlive-fonts-recommended. Unpacking texlive-fonts-recommended (from .../texlive-fonts-recommended_2009-10_all.deb) ... Selecting previously deselected package texlive-latex-base. Unpacking texlive-latex-base (from .../texlive-latex-base_2009-10_all.deb) ... Selecting previously deselected package texlive-pictures. Unpacking texlive-pictures (from .../texlive-pictures_2009-10_all.deb) ... Selecting previously deselected package texlive-latex-extra. Unpacking texlive-latex-extra (from .../texlive-latex-extra_2009-9ubuntu1_all.deb) ... Selecting previously deselected package texlive-latex-recommended. Unpacking texlive-latex-recommended (from .../texlive-latex-recommended_2009-10_all.deb) ... Selecting previously deselected package dh-ocaml. Unpacking dh-ocaml (from .../dh-ocaml_0.9.3_all.deb) ... Selecting previously deselected package libtype-conv-camlp4-dev. Unpacking libtype-conv-camlp4-dev (from .../libtype-conv-camlp4-dev_1.7.1-1_i386.deb) ... Selecting previously deselected package libsexplib-camlp4-dev. Unpacking libsexplib-camlp4-dev (from .../libsexplib-camlp4-dev_4.2.16-1build1_i386.deb) ... Setting up x11-common (1:7.5+6ubuntu3.1) ... Setting up libmagic1 (5.03-5ubuntu1) ... Setting up file (5.03-5ubuntu1) ... Setting up libexpat1 (2.0.1-7ubuntu1) ... Setting up libpopt0 (1.16-1) ... Setting up libsqlite3-0 (3.7.2-1ubuntu0.1) ... Setting up mime-support (3.48-1ubuntu2) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode. Setting up python2.6 (2.6.6-5ubuntu1) ... Setting up python (2.6.6-2ubuntu2) ... Setting up ucf (3.0025) ... Setting up bsdmainutils (8.0.11ubuntu1) ... 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.4-1build1) ... Setting up ttf-dejavu-core (2.31-1) ... Setting up fontconfig-config (2.8.0-2ubuntu1) ... Setting up gettext-base (0.18.1.1-1ubuntu2) ... Setting up groff-base (1.20.1-10) ... Setting up libfreetype6 (2.4.2-2ubuntu0.4) ... Setting up libfontconfig1 (2.8.0-2ubuntu1) ... Setting up libxau6 (1:1.0.6-1) ... Setting up libxdmcp6 (1:1.0.3-2) ... Setting up libxcb1 (1.6-1) ... Setting up libx11-data (2:1.3.3-3ubuntu1) ... Setting up libx11-6 (2:1.3.3-3ubuntu1) ... Setting up libxext6 (2:1.1.2-1) ... Setting up libxml2 (2.7.7.dfsg-4ubuntu0.4) ... Setting up man-db (2.5.7-4) ... Building database of manual pages ... Setting up python-support (1.0.9ubuntu1) ... Setting up ocaml-base-nox (3.11.2-1) ... Setting up libncurses5-dev (5.7+20100626-0ubuntu1) ... Setting up ocaml-interp (3.11.2-1) ... Setting up ocaml-nox (3.11.2-1) ... Setting up camlp4 (3.11.2-1) ... Setting up html2text (1.3.2a-15) ... Setting up libcroco3 (0.6.2-1) ... Setting up libunistring0 (0.9.3-1) ... Setting up gettext (0.18.1.1-1ubuntu2) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16) ... Setting up debhelper (8.0.0ubuntu1) ... Setting up libfindlib-ocaml (1.2.5+debian-1build1) ... Setting up libfindlib-ocaml-dev (1.2.5+debian-1build1) ... Setting up libice6 (2:1.0.6-1) ... Setting up libjpeg62 (6b-16.1) ... Setting up libkpathsea5 (2009-7) ... Setting up liblcms1 (1.18.dfsg-1ubuntu2.10.10.1) ... Setting up libmenhir-ocaml-dev (20090505.dfsg-2build1) ... Setting up libpcre-ocaml (6.0.1-3) ... Setting up libpcrecpp0 (8.02-1) ... Setting up libpcre3-dev (8.02-1) ... Setting up ocaml-findlib (1.2.5+debian-1build1) ... Setting up libpcre-ocaml-dev (6.0.1-3) ... Setting up libpoppler7 (0.14.3-0ubuntu1.2) ... Setting up libpython2.6 (2.6.6-5ubuntu1) ... Setting up libpycaml-ocaml (0.82-13) ... Setting up zlib1g-dev (1:1.2.3.4.dfsg-3ubuntu1) ... Setting up libssl-dev (0.9.8o-1ubuntu4.6) ... Setting up python2.6-dev (2.6.6-5ubuntu1) ... Setting up python-dev (2.6.6-2ubuntu2) ... Setting up libpycaml-ocaml-dev (0.82-13) ... Setting up libsm6 (2:1.1.1-1) ... Setting up libxt6 (1:1.0.7-1) ... Setting up libxmu6 (2:1.0.5-1) ... Setting up libxpm4 (1:3.5.8-1) ... Setting up libxaw7 (2:1.0.7-1) ... Setting up luatex (0.60.1-1build2) ... texlive-base is not ready, cannot create formats Setting up menhir (20090505.dfsg-2build1) ... Setting up ocaml-native-compilers (3.11.2-1) ... Setting up pkg-config (0.25-1) ... Setting up tex-common (2.08ubuntu0.1) ... 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.85-1ubuntu1) ... Setting up texlive-common (2009-10) ... Setting up texlive-doc-base (2009-2) ... Setting up texlive-binaries (2009-7) ... 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 (0.9.3) ... Setting up libtype-conv-camlp4-dev (1.7.1-1) ... Setting up libsexplib-camlp4-dev (4.2.16-1build1) ... Processing triggers for tex-common ... Running mktexlsr. This may take some time... done. Setting up texlive-base (2009-10) ... 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. 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-10) ... 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-10) ... Setting up texlive-fonts-extra (2009-9ubuntu1) ... Setting up texlive-fonts-recommended (2009-10) ... Processing triggers for tex-common ... Running mktexlsr. This may take some time... done. Running updmap-sys. This may take some time... done. Setting up texlive-latex-extra (2009-9ubuntu1) ... Setting up texlive-latex-recommended (2009-10) ... 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. Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.12.1-0ubuntu10.4 make_3.81-8 dpkg-dev_1.15.8.4ubuntu3.1 gcc-4.4_4.4.4-14ubuntu5.1 g++-4.4_4.4.4-14ubuntu5.1 binutils_2.20.51.20100908-0ubuntu2 libstdc++6-4.4-dev_4.4.4-14ubuntu5.1 libstdc++6_4.5.1-7ubuntu2 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::native gpgv: Signature made Sat Aug 18 08:04:28 2012 UTC using RSA key ID FBD3F698 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./coccinelle_1.0.0-rc15~1010npalix1.dsc dpkg-source: info: extracting coccinelle in coccinelle-1.0.0 dpkg-source: info: unpacking coccinelle_1.0.0-rc15~1010npalix1.tar.gz dpkg-buildpackage: export CFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export CPPFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: export CXXFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export FFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export LDFLAGS from dpkg-buildflags (origin: vendor): -Wl,-Bsymbolic-functions dpkg-buildpackage: source package coccinelle dpkg-buildpackage: source version 1.0.0-rc15~1010npalix1 dpkg-source --before-build coccinelle-1.0.0 dpkg-buildpackage: host architecture i386 /usr/bin/fakeroot debian/rules clean dh --with ocaml clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/build/buildd/coccinelle-1.0.0' /usr/bin/make CLEANSUBDIRS=\$\(MAKESUBDIRS\) distclean make[2]: Entering directory `/build/buildd/coccinelle-1.0.0' rm -f spatch spatch.opt spatch.top rm -rf _build _log rm -f scripts/spatch scripts/spatch.byte scripts/spatch.opt rm -f gmon.out ocamlprof.dump rm -f .depend rm -f *.cm[iox] *.o *.annot rm -f *~ .*~ *.exe #*# set -e; for i in ./bundles/extlib/ ./bundles/menhirLib/ ./bundles/pcre/ ./bundles/pycaml/ ./bundles/sexplib/ 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/bundles/extlib' rm -f .depend META extLib.cm[ioxa] extLib.[ao] \ extlib-1.5.2/*.cm[ioxa] extLib.cmxa \ .mli-marker rm -rf extlib-1.5.2 rm -f .prepare make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/bundles/extlib' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/bundles/menhirLib' rm -f menhirLib.cma menhirLib.cmxa META \ menhir-20120123/src/*.cm[ioxa] \ menhir-20120123/src/*.o \ menhir-20120123/src/*.annot \ menhir-20120123/src/engineTypes.mli menhir-20120123/src/tableFormat.mli \ menhirLib.cm[ioxa] menhirLib.[oa] \ .depend rm -rf menhir-20120123 rm -f .prepare make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/bundles/menhirLib' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/bundles/pcre' rm -f dllpcre_stubs.so libpcre_stubs.a pcre_stubs.o \ pcre.cma pcre.cmi pcre.cmo META \ pcre.a pcre.cmx pcre.cmxa pcre.o pcre.annot rm -rf pcre-ocaml-release-6.2.5 rm -f .prepare make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/bundles/pcre' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/bundles/pycaml' rm -f chemoelectric-pycaml-8614105/pycaml.mli pycaml.cm[aixo] chemoelectric-pycaml-8614105/pycaml.cm[aixo] \ pycaml.[ao] libpycaml_stubs.a pycaml_stubs.o dllpycaml_stubs.so libpycaml_stubs.so \ pycaml_ml.o pycaml.cmxa chemoelectric-pycaml-8614105/pycaml.annot rm -rf chemoelectric-pycaml-8614105 rm -f .prepare make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/bundles/pycaml' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/bundles/sexplib' rm -f sexplib.cma sexplib.cmxa META \ sexplib-7.0.5/lib/*.cm[ioxa] \ sexplib-7.0.5/lib/*.o \ sexplib-7.0.5/lib/parser.ml sexplib-7.0.5/lib/parser.mli \ sexplib-7.0.5/lib/lexer.ml sexplib-7.0.5/lib/lexer.mli \ sexplib.cm[ioxa] sexplib.[oa] \ .depend rm -rf sexplib-7.0.5 rm -f .prepare make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/bundles/sexplib' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/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 rm -f .depend rm -f commands.ml make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/commons' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/globals' rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f *~ .*~ gmon.out #*# rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/globals' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/ctl' rm -f ctl.cma ctl.cmxa ctl.a ctl.top rm -f *.cm[iox] *.o *.annot rm -f *~ .*~ #*# rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/ctl' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/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 *~ .*~ #*# rm -f .depend cleaning generated parsers and lexers rm -f lexer_cocci.ml lexer_cli.ml lexer_script.ml parser_cocci_menhir.ml parser_cocci_menhir.mli make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/parsing_cocci' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/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 #*# rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/parsing_c' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/engine' rm -f cocciengine.top rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f *~ .*~ gmon.out #*# rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/engine' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/popl09' rm -f popl.cma popl.top rm -f popl.cmxa popl.a rm -f *.cm[iox] *.o *.annot rm -f *~ .*~ #*# rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/popl09' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/extra' rm -f extra.byte extra.opt rm -f extra.top rm -f .depend rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f *~ .*~ gmon.out #*# make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/extra' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/python' /usr/bin/make -C coccilib distclean make[4]: Entering directory `/build/buildd/coccinelle-1.0.0/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/python/coccilib/coccigui' rm -f *.pyc make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0/python/coccilib/coccigui' rm -rf __pycache__ rm -f *.pyc make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0/python/coccilib' rm -f pycocci.ml rm -f *.cm[ioxa] *.o *.annot make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/python' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/ocaml' rm -f cocciocaml.top rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f *~ .*~ gmon.out #*# rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/ocaml' rm -f test.ml rm -f TAGS *.native *.byte *.d.native *.p.byte rm -f tests/SCORE_actual.sexp tests/SCORE_best_of_both.sexp find . -name ".#*1.*" | xargs rm -f rm -f spatch spatch.opt spatch.top cleaning configured files if test -z ""; then rm -f Makefile.config; fi rm -rf autom4te.cache rm -f config.status rm -f config.log rm -f version.ml rm -f globals/config.ml rm -f globals/regexp.ml python/pycocci.ml ocaml/prepare_ocamlcocci.ml rm -f scripts/spatch.sh rm -f aclocal.m4 run 'configure' again prior to building coccinelle make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0' rm -rf texmf-var texmf-config make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0' "dh_ocamlinit -d" dh_clean debian/rules build dh --with ocaml build dh_testdir dh_ocamlinit debian/rules override_dh_auto_configure make[1]: Entering directory `/build/buildd/coccinelle-1.0.0' ./configure --prefix=/usr --enable-release configure: configuring coccinelle 1.0.0-rc15 in /build/buildd/coccinelle-1.0.0 configure: determining version suffix checking for date... /bin/date configure: version suffix set to Tue, 21 Aug 2012 12:46:12 +0000 configure: this configure program uses pkg-config m4 macros configure: this configure program uses ocaml m4 macros (see setup/ocaml.m4) configure: this configure program uses custom m4 macros (see setup/cocci.m4) configure: some fake substitutions for required but unavailable programs may be used (see setup/fake*) configure: verifying basic tools checking for a BSD-compatible install... /usr/bin/install -c checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking how to run the C preprocessor... gcc -E checking for tar... /bin/tar checking for patch... /usr/bin/patch checking for patchelf... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking for ocamlc... /usr/bin/ocamlc OCaml version is 3.11.2 OCaml library path is /usr/lib/ocaml checking for ocamlopt... /usr/bin/ocamlopt checking for ocamlc.opt... /usr/bin/ocamlc.opt checking for ocamlopt.opt... /usr/bin/ocamlopt.opt checking for ocaml... /usr/bin/ocaml checking for ocamldep... /usr/bin/ocamldep checking for ocamlmktop... /usr/bin/ocamlmktop checking for ocamlmklib... /usr/bin/ocamlmklib checking for ocamldoc... /usr/bin/ocamldoc checking for ocamlbuild... /usr/bin/ocamlbuild checking that the OCaml version is at least 3.10... yes checking that the OCaml version is at least 3.11... yes checking for camlp4... /usr/bin/camlp4 checking for camlp4boot... no checking for camlp4o... /usr/bin/camlp4o checking for camlp4of... no checking for camlp4oof... no checking for camlp4orf... no checking for camlp4prof... no checking for camlp4r... /usr/bin/camlp4r checking for camlp4rf... no checking for ocamllex... /usr/bin/ocamllex checking for ocamllex.opt... /usr/bin/ocamllex.opt checking for ocamlyacc... /usr/bin/ocamlyacc checking for ocamlfind... /usr/bin/ocamlfind checking for ocamlprof... /usr/bin/ocamlprof configure: verifying basic ocaml modules configure: coccinelle may use external ocaml libraries in /build/buildd/coccinelle-1.0.0/bundles configure: the following OCaml packages should be provided by your ocaml installation checking for OCaml findlib package unix... found checking for OCaml findlib package bigarray... found checking for OCaml findlib package num... found checking for OCaml findlib package str... found configure: configuring package dynlink checking for OCaml findlib package dynlink... found configure: configuring package camlp4 checking for OCaml findlib package camlp4... found configure: configuring package menhirLib checking for OCaml findlib package menhirLib... found configure: verifying optional features checking for menhir... /usr/bin/menhir checking for python... /usr/bin/python checking python version... 2.6 found configure: python major version: 2 configure: looking for the corresponding python library checking for PYTHON... no configure: trying the default python library as fallback checking for PYTHON... no checking for PCRE... yes configure: configuring package pcre checking for OCaml findlib package pcre... found configure: support for pcre syntax is enabled checking for pdflatex... /usr/bin/pdflatex configure: the optimized version of coccinelle will not be build by default due to OCaml version 3.11.2 configure: creating ./config.status config.status: creating Makefile.config config.status: creating version.ml config.status: creating commons/commands.ml config.status: creating globals/config.ml config.status: creating globals/regexp.ml config.status: creating python/pycocci.ml config.status: creating ocaml/prepare_ocamlcocci.ml config.status: creating scripts/spatch.sh config.status: creating docs/spatch.1 config.status: creating myocamlbuild.ml configure: configuration completed ------------------------------------------------------------------------------ Summary configure flags: --prefix=/usr --enable-release findlib: /usr/bin/ocamlfind (an actual version is strongly recommended) menhir: /usr/bin/menhir (should be an optional tool) menhirLib module: yes (for local package use --disable-menhirLib) ocaml scripting: yes (overridable with --enable-ocaml) python scripting: no (overridable with --enable-python) pycaml module: (for local package use --disable-pycaml) pcre regexes: yes (overridable with --enable-pcre-syntax) pcre module: yes (for local package use --disable-pcre) pcre library: yes (requires the dev version of libpcre) release config: yes (strongly recommended to be 'yes', overridable with --enable-release) optimized spatch: no (overridable with --disable-opt) ------------------------------------------------------------------------------ Coccinelle can now be compiled and installed. If you compile coccinelle again after source code changes or configuration changes, you may need to run first: $ make clean To compile coccinelle, run: $ make all To install coccinelle, run: $ make install Then, to test coccinelle, run for example: $ spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c Or when coccinelle is not installed yet: $ COCCINELLE_HOME=/build/buildd/coccinelle-1.0.0 ./scripts/spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c ------------------------------------------------------------------------------ make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0' debian/rules override_dh_auto_build make[1]: Entering directory `/build/buildd/coccinelle-1.0.0' /usr/bin/make BYTECODE_STATIC="" MANDIR=/usr/share/man depend make[2]: Entering directory `/build/buildd/coccinelle-1.0.0' echo "let foo_ctl () = failwith \"there is no foo_ctl formula\"" \ > test.ml constructing .depend make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/commons' /usr/bin/ocamldep -I ocamlextra -I ocollection *.mli *.ml > .depend for i in ocamlextra ocollection; do /usr/bin/ocamldep -I ocamlextra -I ocollection $i/*.ml $i/*.mli >> .depend; done make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/commons' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/commons' /usr/bin/ocamldep -I ocamlextra -I ocollection *.mli *.ml > .depend for i in ocamlextra ocollection; do /usr/bin/ocamldep -I ocamlextra -I ocollection $i/*.ml $i/*.mli >> .depend; done make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/commons' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/globals' /usr/bin/ocamldep -I ../commons -I /usr/lib/ocaml/pcre *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/globals' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/globals' /usr/bin/ocamldep -I ../commons -I /usr/lib/ocaml/pcre *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/globals' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/ctl' /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/ctl' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/ctl' /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/ctl' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/parsing_cocci' /usr/bin/ocamllex.opt lexer_cocci.mll 226 states, 2889 transitions, table size 12912 bytes 2428 additional bytes used for bindings /usr/bin/ocamllex.opt lexer_cli.mll 14 states, 681 transitions, table size 2808 bytes /usr/bin/ocamllex.opt lexer_script.mll 16 states, 265 transitions, table size 1156 bytes /usr/bin/menhir --ocamlc "/usr/bin/ocamlc.opt" --ocamldep "/usr/bin/ocamldep" --table --base parser_cocci_menhir 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. /usr/bin/ocamldep *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/parsing_cocci' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/parsing_cocci' /usr/bin/ocamldep *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/parsing_cocci' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/parsing_c' /usr/bin/ocamllex.opt lexer_c.mll 432 states, 14898 transitions, table size 62184 bytes 11907 additional bytes used for bindings /usr/bin/ocamlyacc -v parser_c.mly 2 rules never reduced /usr/bin/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/parsing_c' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/parsing_c' /usr/bin/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/parsing_c' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/engine' /usr/bin/ocamldep *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/engine' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/engine' /usr/bin/ocamldep *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/engine' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/popl09' /usr/bin/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/popl09' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/popl09' /usr/bin/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/popl09' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/extra' /usr/bin/ocamldep *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/extra' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/extra' /usr/bin/ocamldep *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/extra' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/python' /usr/bin/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/python' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/python' /usr/bin/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/python' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/ocaml' /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/ocaml' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/ocaml' /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/ocaml' /usr/bin/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 make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0' /usr/bin/make BYTECODE_STATIC="" MANDIR=/usr/share/man all make[2]: Entering directory `/build/buildd/coccinelle-1.0.0' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0' make[3]: `.depend' is up to date. make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0' /usr/bin/make all-release make[3]: Entering directory `/build/buildd/coccinelle-1.0.0' building byte-only /usr/bin/make .depend make[4]: Entering directory `/build/buildd/coccinelle-1.0.0' make[4]: `.depend' is up to date. make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0' /usr/bin/make byte-only make[4]: Entering directory `/build/buildd/coccinelle-1.0.0' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0' make[5]: `.depend' is up to date. make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0' make[7]: Entering directory `/build/buildd/coccinelle-1.0.0/commons' /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/dumper.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/dumper.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/ANSITerminal.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/ANSITerminal.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/setb.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/setb.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/mapb.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/setPt.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c commands.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c common.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c common.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c common_extra.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c interfaces.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c objet.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c objet.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocollection.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocollection.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c seti.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c oset.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c oset.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c oassoc.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c oassoc.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c osequence.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c osequence.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ograph.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ograph.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocollection/oseti.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocollection/oseth.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocollection/osetb.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocollection/osetpt.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocollection/oassocb.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocollection/oassoch.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocollection/oassoc_buffer.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocollection/oassoc_buffer.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocollection/oassoc_cache.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocollection/oassoc_cache.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocollection/oassocid.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c oarray.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c oarray.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocollection/ograph2way.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocollection/ograph2way.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ograph_simple.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ograph_simple.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ograph_extended.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ograph_extended.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c glimpse.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c parser_combinators.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c parser_combinators.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/enum.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/enum.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/dynArray.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/dynArray.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/suffix_tree.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/suffix_tree.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/suffix_tree_ext.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/suffix_tree_ext.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -a -o commons.cma ocamlextra/dumper.cmo ocamlextra/ANSITerminal.cmo ocamlextra/setb.cmo ocamlextra/mapb.cmo ocamlextra/setPt.cmo commands.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 glimpse.cmo parser_combinators.cmo ocamlextra/enum.cmo ocamlextra/dynArray.cmo ocamlextra/suffix_tree.cmo ocamlextra/suffix_tree_ext.cmo make[7]: Leaving directory `/build/buildd/coccinelle-1.0.0/commons' make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0' make[7]: Entering directory `/build/buildd/coccinelle-1.0.0/globals' /usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib/ocaml/pcre -c config.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib/ocaml/pcre -c flag.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib/ocaml/pcre -c iteration.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib/ocaml/pcre -c iteration.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib/ocaml/pcre -c regexp_pcre.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib/ocaml/pcre -c regexp.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib/ocaml/pcre -a -o globals.cma config.cmo flag.cmo iteration.cmo regexp_pcre.cmo regexp.cmo make[7]: Leaving directory `/build/buildd/coccinelle-1.0.0/globals' make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0' make[7]: Entering directory `/build/buildd/coccinelle-1.0.0/ctl' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c flag_ctl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c ast_ctl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c pretty_print_ctl.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c pretty_print_ctl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c ctl_engine.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c ctl_engine.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c wrapper_ctl.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c wrapper_ctl.ml /usr/bin/ocamlc.opt -unsafe -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[7]: Leaving directory `/build/buildd/coccinelle-1.0.0/ctl' make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0' make[7]: Entering directory `/build/buildd/coccinelle-1.0.0/parsing_cocci' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c flag_parsing_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c type_cocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c type_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast_cocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast0_cocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast0_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c pretty_print_cocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c pretty_print_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unparse_ast0.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unparse_ast0.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast0_types.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast0.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast0.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c compute_lines.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c compute_lines.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c comm_assoc.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c comm_assoc.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_pattern.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_pattern.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_compile.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_compile.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c single_statement.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c single_statement.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c simple_assignments.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c simple_assignments.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c get_metas.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c get_metas.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast0toast.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast0toast.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c check_meta.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c check_meta.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c top_level.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c top_level.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c type_infer.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c type_infer.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c test_exps.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c test_exps.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unitary_ast0.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unitary_ast0.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c arity.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c arity.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c index.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c index.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c context_neg.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c context_neg.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjust_pragmas.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjust_pragmas.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c insert_plus.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c insert_plus.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c function_prototypes.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c function_prototypes.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unify_ast.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unify_ast.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c semantic_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c data.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c data.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c free_vars.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c free_vars.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c safe_for_multi_decls.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c safe_for_multi_decls.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parse_aux.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c disjdistr.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c disjdistr.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parser_cocci_menhir.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c lexer_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parser_cocci_menhir.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c lexer_cli.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c lexer_script.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c get_constants2.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c get_constants2.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c id_utils.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c id_utils.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjacency.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjacency.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parse_cocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parse_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c command_line.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c command_line.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/menhirLib -a -o cocci_parser.cma 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 get_metas.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[7]: Leaving directory `/build/buildd/coccinelle-1.0.0/parsing_cocci' make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0' make[7]: Entering directory `/build/buildd/coccinelle-1.0.0/parsing_c' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c flag_parsing_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_stat.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c ast_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c visitor_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c visitor_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lib_parsing_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c_build.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c_build.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c pretty_print_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c pretty_print_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c semantic_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lexer_parser.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lexer_parser.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parser_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parser_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lexer_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_helpers.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_helpers.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_views_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_views_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_token_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_token_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_hacks.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_hacks.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_analysis_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_analysis_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_cocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parse_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_hrule.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_hrule.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_recovery_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_recovery_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_consistency_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_consistency_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parse_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_ast_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_ast_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_annoter_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_annoter_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c comment_annotater_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c comment_annotater_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c compare_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c compare_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c test_parsing_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c test_parsing_c.ml /usr/bin/ocamlc.opt -unsafe -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[7]: Leaving directory `/build/buildd/coccinelle-1.0.0/parsing_c' make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0' make[7]: Entering directory `/build/buildd/coccinelle-1.0.0/engine' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c externalanalysis.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c externalanalysis.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c flag_matcher.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c lib_engine.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pretty_print_engine.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pretty_print_engine.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_exhaustive_pattern.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_reachability.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_reachability.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c c_vs_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c c_vs_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c isomorphisms_c_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c cocci_vs_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c cocci_vs_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pattern_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pattern_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c transformation_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c transformation_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c asttomember.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c asttomember.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c asttoctl2.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c asttoctl2.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctltotex.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctltotex.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c postprocess_transinfo.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c postprocess_transinfo.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctlcocci_integration.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctlcocci_integration.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -a -o cocciengine.cma externalanalysis.cmo 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[7]: Leaving directory `/build/buildd/coccinelle-1.0.0/engine' make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0' make[7]: Entering directory `/build/buildd/coccinelle-1.0.0/popl09' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c ast_popl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c asttopopl.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c asttopopl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c insert_quantifiers.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c insert_quantifiers.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c pretty_print_popl.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c pretty_print_popl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c flag_popl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popltoctl.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popltoctl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popl.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popl.ml /usr/bin/ocamlc.opt -unsafe -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[7]: Leaving directory `/build/buildd/coccinelle-1.0.0/popl09' make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0' make[7]: Entering directory `/build/buildd/coccinelle-1.0.0/extra' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c classic_patch.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c classic_patch.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c kbuild.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c kbuild.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c maintainers.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c maintainers.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -a -o extra.cma classic_patch.cmo kbuild.cmo maintainers.cmo make[7]: Leaving directory `/build/buildd/coccinelle-1.0.0/extra' make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0' make[7]: Entering directory `/build/buildd/coccinelle-1.0.0/python' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -c pycocci_aux.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -c pycocci_aux.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -c no_pycocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -c pycocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -c pycocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -a -o coccipython.cma pycocci_aux.cmo no_pycocci.cmo pycocci.cmo make[7]: Leaving directory `/build/buildd/coccinelle-1.0.0/python' make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0' make[7]: Entering directory `/build/buildd/coccinelle-1.0.0/ocaml' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c coccilib.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c coccilib.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c ocamlcocci_aux.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c ocamlcocci_aux.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c yes_prepare_ocamlcocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c prepare_ocamlcocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c prepare_ocamlcocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c run_ocamlcocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c run_ocamlcocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -a -o cocciocaml.cma coccilib.cmo ocamlcocci_aux.cmo yes_prepare_ocamlcocci.cmo prepare_ocamlcocci.cmo run_ocamlcocci.cmo make[7]: Leaving directory `/build/buildd/coccinelle-1.0.0/ocaml' make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0' make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0/commons' make[6]: Nothing to be done for `all'. make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0/commons' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0/globals' make[6]: Nothing to be done for `all'. make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0/globals' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0/ctl' make[6]: Nothing to be done for `all'. make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0/ctl' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0/parsing_cocci' make[6]: Nothing to be done for `all'. make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0/parsing_cocci' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0/parsing_c' make[6]: Nothing to be done for `all'. make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0/parsing_c' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0/engine' make[6]: Nothing to be done for `all'. make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0/engine' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0/popl09' make[6]: Nothing to be done for `all'. make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0/popl09' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0/extra' make[6]: Nothing to be done for `all'. make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0/extra' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0/python' make[6]: Nothing to be done for `all'. make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0/python' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0/ocaml' make[6]: Nothing to be done for `all'. make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0/ocaml' /usr/bin/ocamlc.opt -unsafe -I /usr/lib/ocaml -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c flag_cocci.ml /usr/bin/ocamlc.opt -unsafe -I /usr/lib/ocaml -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c cocci.mli /usr/bin/ocamlc.opt -unsafe -I /usr/lib/ocaml -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c cocci.ml /usr/bin/ocamlc.opt -unsafe -I /usr/lib/ocaml -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c testing.mli /usr/bin/ocamlc.opt -unsafe -I /usr/lib/ocaml -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c testing.ml /usr/bin/ocamlc.opt -unsafe -I /usr/lib/ocaml -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c test.ml /usr/bin/ocamlc.opt -unsafe -I /usr/lib/ocaml -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c main.ml /usr/bin/ocamlc.opt -unsafe -I /usr/lib/ocaml -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -custom -unsafe -ccopt -lpcre -dllib -lpcre_stubs -cclib -lpcre_stubs -o spatch str.cma unix.cma bigarray.cma nums.cma /usr/lib/ocaml/dynlink.cma /usr/lib/ocaml/pcre/pcre.cma commons/commons.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[5]: Leaving directory `/build/buildd/coccinelle-1.0.0' the compilation of spatch finished spatch can be installed or used make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0' /usr/bin/make preinstall make[4]: Entering directory `/build/buildd/coccinelle-1.0.0' cp scripts/spatch.sh scripts/spatch chmod +x scripts/spatch cp scripts/spatch.sh scripts/spatch.opt chmod +x scripts/spatch.opt cp scripts/spatch.sh scripts/spatch.byte chmod +x scripts/spatch.byte generated the wrapper scripts for spatch (the frontends) make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0' /usr/bin/make docs make[4]: Entering directory `/build/buildd/coccinelle-1.0.0' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0/docs' /usr/bin/make -C manual all make[6]: Entering directory `/build/buildd/coccinelle-1.0.0/docs/manual' /usr/bin/pdflatex -halt-on-error manual.tex This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) entering extended mode (./manual.tex LaTeX2e <2009/09/24> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, loaded. (./main.tex (/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) (./manual.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)) (./manual.out) (./manual.out) (../../version) (/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}] (./manual.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}{32}{section.9.9} [1]) [2] (../../version) (/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 76--108 [] [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 T he abstract syntax tree of a metavariable declared using {\tt] [27] Overfull \hbox (47.81136pt too wide) in paragraph at lines 647--649 []\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 828--872 [] [31] [32] [33]) [34] Chapter 10. (./spatch_options.tex Overfull \hbox (40.85385pt too wide) in paragraph at lines 40--43 []\T1/pcr/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/p tm/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 189--190 \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] [42] Overfull \hbox (4.86494pt too wide) in paragraph at lines 558--559 \T1/pcr/m/n/10 foo.cocci --dir /var/linuxes/linux-next/drivers --patch /var/lin uxes/linux-next\T1/ptm/m/n/10 . A [43]) [44] [45] (./license.txt [46] [47] [48] [49]) No file manual.bbl. [50] (./manual.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: /home/buildd/.texmf-var/fonts/pk/ljfour/public/ifsym/ifgeob10.600pk: successfully generated. ) ) (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: /home/buildd/.texmf-var/fonts/pk/ljfour/public/ifsym/ifgeo10.600pk: successfully generated. {/usr/share/texmf-texlive/fonts/enc/dvips/base /8r.enc} Output written on manual.pdf (51 pages, 456027 bytes). Transcript written on manual.log. /usr/bin/pdflatex -halt-on-error manual.tex This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) entering extended mode (./manual.tex LaTeX2e <2009/09/24> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, loaded. (./main.tex (/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) (./manual.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)) (./manual.out) (./manual.out) (../../version) (/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}] (./manual.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}{32}{section.9.9} [1]) [2] (../../version) (/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 76--108 [] [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 T he abstract syntax tree of a metavariable declared using {\tt] [27] Overfull \hbox (47.81136pt too wide) in paragraph at lines 647--649 []\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 828--872 [] [31] [32] [33]) [34] Chapter 10. (./spatch_options.tex Overfull \hbox (40.85385pt too wide) in paragraph at lines 40--43 []\T1/pcr/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/p tm/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 189--190 \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] [42] Overfull \hbox (4.86494pt too wide) in paragraph at lines 558--559 \T1/pcr/m/n/10 foo.cocci --dir /var/linuxes/linux-next/drivers --patch /var/lin uxes/linux-next\T1/ptm/m/n/10 . A [43]) [44] [45] (./license.txt [46] [47] [48] [49]) No file manual.bbl. [50] (./manual.aux) ) ) (see the transcript file for additional information) {/usr/share/texmf-texlive/fonts/enc/dvips/base /8r.enc} Output written on manual.pdf (51 pages, 456499 bytes). Transcript written on manual.log. /usr/bin/pdflatex -halt-on-error 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).] ) (../../version) (./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 76--108 [] [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 T he abstract syntax tree of a metavariable declared using {\tt] [6] Overfull \hbox (47.81136pt too wide) in paragraph at lines 647--649 []\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 828--872 [] [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, 346259 bytes). Transcript written on main_grammar.log. /usr/bin/pdflatex -halt-on-error 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).] ) (../../version) (./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 76--108 [] [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 T he abstract syntax tree of a metavariable declared using {\tt] [6] Overfull \hbox (47.81136pt too wide) in paragraph at lines 647--649 []\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 828--872 [] [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, 346259 bytes). Transcript written on main_grammar.log. /usr/bin/pdflatex -halt-on-error options.tex This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) entering extended mode (./options.tex LaTeX2e <2009/09/24> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, loaded. (./main_options.tex (/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) (./options.aux) (../../version) (/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 40--43 []\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] Overfull \hbox (2.63824pt too wide) in paragraph at lines 284--285 \T1/cmr/bx/n/10 --debug-cpp, --debug-lexer, --debug-etdt, --debug-typedef \T1/ cmr/m/n/10 Var-i-ous op-tions for de-bug-ging the C parser. [5] [6] [7] (/usr/share/texmf-texlive/tex/latex/base/t1cmss.fd) [8] [9]) [10] (./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: /home/buildd/.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: /home/buildd/.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: /home/buildd/.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: /home/buildd/.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: /home/buildd/.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: /home/buildd/.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: /home/buildd/.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: /home/buildd/.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: /home/buildd/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1728.600pk: successfully generated. Output written on options.pdf (10 pages, 142588 bytes). Transcript written on options.log. /usr/bin/pdflatex -halt-on-error options.tex This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) entering extended mode (./options.tex LaTeX2e <2009/09/24> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, loaded. (./main_options.tex (/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) (./options.aux) (../../version) (/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 40--43 []\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] Overfull \hbox (2.63824pt too wide) in paragraph at lines 284--285 \T1/cmr/bx/n/10 --debug-cpp, --debug-lexer, --debug-etdt, --debug-typedef \T1/ cmr/m/n/10 Var-i-ous op-tions for de-bug-ging the C parser. [5] [6] [7] (/usr/share/texmf-texlive/tex/latex/base/t1cmss.fd) [8] [9]) [10] (./options.aux) ) ) (see the transcript file for additional information) Output written on options.pdf (10 pages, 142588 bytes). Transcript written on options.log. make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0/docs/manual' make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0/docs' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0/ocaml' /bin/mkdir -p ../docs/html /usr/bin/ocamldoc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -hide Pervasives -html -all-params -colorize-code -d ../docs/html coccilib.mli /bin/mkdir -p ../docs/man /usr/bin/ocamldoc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -hide Pervasives -man -man-mini -d ../docs/man coccilib.mli make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0/ocaml' finished building manuals make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0' -e coccinelle can now be installed via 'make install' make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0' make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0' # make all.opt does not build documentation mkdir texmf-var mkdir texmf-config TEXMFVAR="/build/buildd/coccinelle-1.0.0/texmf-var" TEXMFCONFIG="/build/buildd/coccinelle-1.0.0/texmf-config" /usr/bin/make BYTECODE_STATIC="" MANDIR=/usr/share/man docs make[2]: Entering directory `/build/buildd/coccinelle-1.0.0' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/docs' /usr/bin/make -C manual all make[4]: Entering directory `/build/buildd/coccinelle-1.0.0/docs/manual' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0/docs/manual' make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/docs' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0/ocaml' make[3]: Nothing to be done for `doc'. make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0/ocaml' finished building manuals make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0' make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0' debian/rules override_dh_auto_test make[1]: Entering directory `/build/buildd/coccinelle-1.0.0' # Nothing make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0' /usr/bin/fakeroot debian/rules binary dh --with ocaml binary dh_testroot dh_prep dh_installdirs debian/rules override_dh_auto_install make[1]: Entering directory `/build/buildd/coccinelle-1.0.0' /usr/bin/make DESTDIR=/build/buildd/coccinelle-1.0.0/debian/coccinelle BYTECODE_STATIC="" MANDIR=/usr/share/man install make[2]: Entering directory `/build/buildd/coccinelle-1.0.0' Installing manuals in: /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/man /bin/mkdir -p /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/man/man1 /bin/mkdir -p /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/man/man3 /usr/bin/install -c -m 644 docs/spatch.1 /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/man/man1/ /usr/bin/install -c -m 644 docs/Coccilib.3cocci /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/man/man3/ /bin/mkdir -p /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/bin /bin/mkdir -p /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/lib /bin/mkdir -p /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/coccinelle/ocaml /bin/mkdir -p /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/coccinelle/commons /bin/mkdir -p /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/coccinelle/globals /bin/mkdir -p /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/coccinelle/parsing_c /usr/bin/install -c -m 644 standard.h /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/coccinelle /usr/bin/install -c -m 644 standard.iso /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/coccinelle /usr/bin/install -c -m 644 ocaml/coccilib.cmi /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/coccinelle/ocaml/ /usr/bin/install -c -m 644 parsing_c/*.cmi /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/coccinelle/parsing_c/ /usr/bin/install -c -m 644 commons/*.cmi /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/coccinelle/commons/ /usr/bin/install -c -m 644 globals/iteration.cmi /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/coccinelle/globals/ /bin/mkdir -p /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/coccinelle rm -f /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/coccinelle/spatch rm -f /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/coccinelle/spatch.opt make[3]: Entering directory `/build/buildd/coccinelle-1.0.0' /usr/bin/install -c -m 755 scripts/spatch /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/bin/spatch make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0' /usr/bin/install -c -m 755 spatch /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/coccinelle /usr/bin/install -c -m 755 scripts/spatch.byte /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/bin/spatch.byte make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0' -e You can also install spatch by copying the program spatch -e (available in this directory) anywhere you want and -e give it the right options to find its configuration files. make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0' /usr/bin/make DESTDIR=/build/buildd/coccinelle-1.0.0/debian/coccinelle install-bash make[2]: Entering directory `/build/buildd/coccinelle-1.0.0' Installing bash completion in: /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/etc/bash_completion.d /bin/mkdir -p /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/etc/bash_completion.d /usr/bin/install -c -m 644 scripts/spatch.bash_completion \ /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/etc/bash_completion.d/spatch make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0' # install the wrapper script, i dont like upstreams one rm /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/bin/spatch* install /build/buildd/coccinelle-1.0.0/debian/spatch /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/bin/ # move binary into /usr/lib/coccinelle mv /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/coccinelle/spatch* \ /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/lib/coccinelle/spatch # Vim files install -d /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/vim/addons/ftdetect /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/vim/addons/syntax cp /build/buildd/coccinelle-1.0.0/editors/vim/ftdetect/cocci.vim /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/vim/addons/ftdetect/ cp /build/buildd/coccinelle-1.0.0/editors/vim/syntax/cocci.vim /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/vim/addons/syntax/ install -d /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/vim/registry cp /build/buildd/coccinelle-1.0.0/debian/coccinelle.yaml /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/vim/registry/ # Emacs files cp /build/buildd/coccinelle-1.0.0/editors/emacs/cocci.el /build/buildd/coccinelle-1.0.0/debian/coccinelle/usr/share/emacs/site-lisp/ make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0' dh_install dh_ocamldoc dh_installdocs dh_installchangelogs dh_installexamples dh_installman dh_installcatalogs dh_installcron dh_installdebconf dh_installemacsen dh_installifupdown dh_installinfo dh_pysupport dh_installinit dh_installmenu dh_installmime dh_installmodules dh_installlogcheck dh_installlogrotate dh_installpam dh_installppp dh_installudev dh_installwm dh_installxfonts dh_bugfiles dh_lintian dh_gconf dh_icons dh_perl dh_usrlocal dh_link debian/rules override_dh_compress make[1]: Entering directory `/build/buildd/coccinelle-1.0.0' dh_compress -X.pdf -X.cocci -X.c make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0' dh_fixperms dh_strip dh_strip debug symbol extraction: disabling for PPA build dh_strip debug symbol extraction: not doing anything since NO_PKG_MANGLE is given dh_makeshlibs dh_shlibdeps dh_installdeb dh_ocaml W: coccinelle doesn't resolve dependency on unit Type_cocci W: coccinelle doesn't resolve dependency on unit Regexp_pcre W: coccinelle doesn't resolve dependency on unit Setb W: coccinelle doesn't resolve dependency on unit Ast_cocci W: coccinelle doesn't resolve dependency on unit SetPt W: coccinelle doesn't resolve dependency on unit Regexp W: coccinelle doesn't resolve dependency on unit Flag W: coccinelle doesn't resolve dependency on unit Externalanalysis W: coccinelle doesn't resolve dependency on unit ANSITerminal dh_gencontrol dpkg-gencontrol: warning: Depends field of package coccinelle: unknown substitution variable ${python:Depends} dh_md5sums dh_builddeb INFO: pkgstriptranslations version 75 INFO: Disabling pkgstriptranslations for PPA build INFO: Disabling pkgmaintainermangler for PPA build dpkg-deb: warning: 'debian/coccinelle/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warnings about the control file(s) dpkg-deb: building package `coccinelle' in `../coccinelle_1.0.0-rc15~1010npalix1_i386.deb'. dpkg-genchanges -b -mUbuntu Build Daemon >../coccinelle_1.0.0-rc15~1010npalix1_i386.changes dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build coccinelle-1.0.0 dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20120821-1247 chroot-autobuild/build/buildd/coccinelle_1.0.0-rc15~1010npalix1_i386.deb: new debian package, version 2.0. size 1102332 bytes: control archive= 8303 bytes. 40 bytes, 1 lines conffiles 855 bytes, 17 lines control 24051 bytes, 269 lines md5sums Package: coccinelle Version: 1.0.0-rc15~1010npalix1 Architecture: i386 Maintainer: Nicolas Palix Installed-Size: 3216 Depends: libc6 (>= 2.11), libncurses5 (>= 5.7+20100313), libpcre3 (>= 7.7), libpcre-ocaml-g7y84, ocaml-base-nox-3.11.2 Recommends: python-gobject, python-gtk2, python-glade2, ocaml-best-compilers, ocaml-findlib, libpcre-ocaml Suggests: vim-addon-manager Section: devel Priority: optional Homepage: http://coccinelle.lip6.fr Description: semantic patching tool for C Coccinelle 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-rc15~1010npalix1_i386.deb: drwxr-xr-x root/root 0 2012-08-21 12:46 ./ drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/ drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/ drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/emacs/ drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/emacs/site-lisp/ -rw-r--r-- root/root 11218 2012-08-21 12:46 ./usr/share/emacs/site-lisp/cocci.el drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/vim/ drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/vim/registry/ -rw-r--r-- root/root 144 2012-08-21 12:46 ./usr/share/vim/registry/coccinelle.yaml drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/vim/addons/ drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/vim/addons/ftdetect/ -rw-r--r-- root/root 367 2012-08-21 12:46 ./usr/share/vim/addons/ftdetect/cocci.vim drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/vim/addons/syntax/ -rw-r--r-- root/root 1248 2012-08-21 12:46 ./usr/share/vim/addons/syntax/cocci.vim drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-08-21 12:47 ./usr/share/doc/coccinelle/ -rw-r--r-- root/root 5093 2011-12-06 20:39 ./usr/share/doc/coccinelle/copyright -rw-r--r-- root/root 502 2011-12-06 20:39 ./usr/share/doc/coccinelle/credits.txt drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/doc/coccinelle/examples/ drwxr-xr-x root/root 0 2012-08-21 12:47 ./usr/share/doc/coccinelle/examples/demos/ -rw-r--r-- root/root 251 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/unsigned.cocci -rw-r--r-- root/root 579 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/change_all_param.cocci -rw-r--r-- root/root 45 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/first.c -rw-r--r-- root/root 1257 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/itimer.patch -rw-r--r-- root/root 947 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/itimer.c -rw-r--r-- root/root 241 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/itimer.cocci -rw-r--r-- root/root 107 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/not.c -rw-r--r-- root/root 154 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/foobar.c -rw-r--r-- root/root 137 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/regexp.c -rw-r--r-- root/root 157 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ioctl_multiple_rules.c -rw-r--r-- root/root 55 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/vm.c -rw-r--r-- root/root 1024 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/itimerfullfunc.sgrep -rw-r--r-- root/root 177 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/interprocedural_adhoc.c -rw-r--r-- root/root 210 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/xxx_info.c -rw-r--r-- root/root 1177 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/headers.cocci -rw-r--r-- root/root 223 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ioctl_multiple_rules.cocci -rw-r--r-- root/root 264 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/pycocci.c -rw-r--r-- root/root 390 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ctr_unit_test.c -rw-r--r-- root/root 4810 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/usb_submit_urb.c -rw-r--r-- root/root 61 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/camltococci.res drwxr-xr-x root/root 0 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/janitorings/ -rw-r--r-- root/root 104 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/list_for_each_safe.sgrep -rw-r--r-- root/root 5683 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/kzalloc.cocci -rw-r--r-- root/root 120 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/netdev_find_allocfunc.c -rw-r--r-- root/root 74 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/netdev_priv2.cocci -rw-r--r-- root/root 66 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/set_current_state.cocci -rw-r--r-- root/root 137 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/list_for_each.c -rw-r--r-- root/root 190 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/netdev_find_allocfunc.sgrep -rw-r--r-- root/root 934 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/clear_page.cocci -rw-r--r-- root/root 156 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/static_initfunc.c -rw-r--r-- root/root 138 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/kzalloc-fix.cocci -rw-r--r-- root/root 274 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/BUG_ON.cocci -rw-r--r-- root/root 5707 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/kzalloc-orig.cocci -rw-r--r-- root/root 14 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/BUG_ON.sgrep -rw-r--r-- root/root 42 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/bad_zero_affect.cocci -rw-r--r-- root/root 637 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/netdev_priv_dangerous.sgrep -rw-r--r-- root/root 343 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/useless_cast.cocci -rw-r--r-- root/root 1160 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/static_initfunc.cocci -rw-r--r-- root/root 187 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/string-array-decl-opti.cocci -rw-r--r-- root/root 1033 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/alloc_page.cocci -rw-r--r-- root/root 1551 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/netdev_priv.cocci -rw-r--r-- root/root 506 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/useless_cast.c -rw-r--r-- root/root 239 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/string-array-decl-opti.c -rw-r--r-- root/root 1604 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/ARRAY_SIZE.cocci -rw-r--r-- root/root 85 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/list_for_each_safe.c -rw-r--r-- root/root 224 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/netdev_priv.c -rw-r--r-- root/root 165 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/bad_zero-orig.cocci -rw-r--r-- root/root 707 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/janitorings/remove_cast_kmalloc.cocci -rw-r--r-- root/root 126 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/bad_zero.c -rw-r--r-- root/root 104 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/kcalloc_un.cocci -rw-r--r-- root/root 366 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/bad_zero.cocci -rw-r--r-- root/root 758 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/list_for_each.cocci -rw-r--r-- root/root 2633 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/janitorings/is_power_of_2.cocci -rw-r--r-- root/root 122 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/posmult.c -rw-r--r-- root/root 36 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/pythontococci.c -rw-r--r-- root/root 40 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/simple.cocci -rw-r--r-- root/root 408 2012-08-18 08:02 ./usr/share/doc/coccinelle/examples/demos/external_ana.c -rw-r--r-- root/root 276 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ifdef_skip_tag.c -rw-r--r-- root/root 165 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/iso-kzalloc.cocci -rw-r--r-- root/root 31 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/pcre.c drwxr-xr-x root/root 0 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/sgrep/ -rw-r--r-- root/root 78 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/sgrep/dangerous_arith_pointer_cast.sgrep -rw-r--r-- root/root 2043 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/sgrep/free.sgrep -rw-r--r-- root/root 137 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/sgrep/dangerous_GFP_KERNEL2.sgrep -rw-r--r-- root/root 304 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/sgrep/run.sh -rw-r--r-- root/root 1031 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/sgrep/dangerous_GFP_KERNEL.sgrep -rw-r--r-- root/root 158 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/sgrep/a_and_b.c -rw-r--r-- root/root 599 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/sgrep/device_id.sgrep -rw-r--r-- root/root 95 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/sgrep/simple.c -rw-r--r-- root/root 158 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/sgrep/a_and_b.sgrep -rw-r--r-- root/root 173 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/sgrep/README -rw-r--r-- root/root 1593 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/sgrep/null.sgrep -rw-r--r-- root/root 282 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/sgrep/intr4.sgrep -rw-r--r-- root/root 66 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/sgrep/double_cast.sgrep -rw-r--r-- root/root 126 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/sgrep/simple.sgrep -rw-r--r-- root/root 181 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/camltococci.cocci drwxr-xr-x root/root 0 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/manual/ -rw-r--r-- root/root 73 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/manual/already_tagged.cocci -rw-r--r-- root/root 38 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/manual/get_put.cocci -rw-r--r-- root/root 79 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/manual/get_put_ver1.c -rw-r--r-- root/root 106 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/manual/already_tagged.c -rw-r--r-- root/root 67 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/manual/get_put_full.cocci -rw-r--r-- root/root 65 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/manual/get_put.c -rw-r--r-- root/root 65 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/manual/get_put_full.c drwxr-xr-x root/root 0 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/spp/ -rw-r--r-- root/root 80 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/spp/testpy.cocci -rw-r--r-- root/root 62 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/spp/test.h -rw-r--r-- root/root 49 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/spp/test2.c -rw-r--r-- root/root 253 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/spp/Makefile -rw-r--r-- root/root 53 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/spp/test.cocci -rw-r--r-- root/root 102 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/spp/test.c -rw-r--r-- root/root 441 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/spp/test -rw-r--r-- root/root 92 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/not.res -rw-r--r-- root/root 525 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/orgmode2.cocci -rw-r--r-- root/root 322 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/first.cocci -rw-r--r-- root/root 101 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/iso-kzalloc.c -rw-r--r-- root/root 65 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/pcre.cocci -rw-r--r-- root/root 228 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/python_identifier.cocci -rw-r--r-- root/root 91 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ocaml2.c -rw-r--r-- root/root 1168 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/proc_info.cocci -rw-r--r-- root/root 409 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/video_usercopy.cocci -rw-r--r-- root/root 41 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ocaml1.c -rw-r--r-- root/root 61 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/pythontococci.res -rw-r--r-- root/root 185 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/check_region.cocci -rw-r--r-- root/root 3118 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/proc_info.c -rw-r--r-- root/root 1161 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ocaml2.cocci -rw-r--r-- root/root 111 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/foobar.cocci -rw-r--r-- root/root 1332 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ctr_unit_test.cocci -rw-r--r-- root/root 334 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/pycocci.cocci -rw-r--r-- root/root 670 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/printloc.cocci -rw-r--r-- root/root 220 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/xxx_info.cocci -rw-r--r-- root/root 163 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/platform_ifdef.c drwxr-xr-x root/root 0 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ocaml/ -rw-r--r-- root/root 614 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ocaml/dbm.cocci -rw-r--r-- root/root 81 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ocaml/pg.c -rw-r--r-- root/root 413 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ocaml/pg.cocci -rw-r--r-- root/root 81 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ocaml/dbm.c -rw-r--r-- root/root 31 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/regexp2.c -rw-r--r-- root/root 541 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/assignment_matching.res -rw-r--r-- root/root 36 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/camltococci.c -rw-r--r-- root/root 55 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/simple.c -rw-r--r-- root/root 24 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/orgmode.c -rw-r--r-- root/root 329 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/check_region.c -rw-r--r-- root/root 348 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ocaml1.cocci -rw-r--r-- root/root 200 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/initial_final.cocci -rw-r--r-- root/root 182 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/macro_fix_standard.h -rw-r--r-- root/root 242 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/posmult.cocci -rw-r--r-- root/root 41 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ocaml.c drwxr-xr-x root/root 0 2012-08-21 12:47 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/ -rw-r--r-- root/root 786 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/rule9_4.cocci -rw-r--r-- root/root 1184 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/rule9.cocci -rw-r--r-- root/root 24346 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/scsiglue.c -rw-r--r-- root/root 13794 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/nsp_cs.res.gz -rw-r--r-- root/root 6902 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/scsiglue.res.gz -rw-r--r-- root/root 25948 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/g_NCR5380.c -rw-r--r-- root/root 610 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/rule9_3.cocci -rw-r--r-- root/root 4070 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/README -rw-r--r-- root/root 377446 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/sym53c8xx.c -rw-r--r-- root/root 1092 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/rule9_5.cocci -rw-r--r-- root/root 51525 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/nsp_cs.c -rw-r--r-- root/root 461 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/rule9_1.cocci -rw-r--r-- root/root 102534 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/sym53c8xx.res.gz -rw-r--r-- root/root 7559 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/g_NCR5380.res.gz -rw-r--r-- root/root 461 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/demo_rule9/rule9_2.cocci -rw-r--r-- root/root 1081 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/itimer.res -rw-r--r-- root/root 847 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/orgmode.cocci -rw-r--r-- root/root 55 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/pcre2.c -rw-r--r-- root/root 697 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/ocaml.cocci -rw-r--r-- root/root 70 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/regexp2.cocci -rw-r--r-- root/root 175 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/change_all_param.c -rw-r--r-- root/root 107 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/python_identifier.c -rw-r--r-- root/root 1275 2012-08-18 08:02 ./usr/share/doc/coccinelle/examples/demos/external_ana.cocci -rw-r--r-- root/root 373 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/depend.cocci -rw-r--r-- root/root 217 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/pythontococci.cocci -rw-r--r-- root/root 88 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/not.cocci -rw-r--r-- root/root 4776 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/macro_parsing_problem.c -rw-r--r-- root/root 50 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/headers.iso -rw-r--r-- root/root 348 2012-08-18 08:02 ./usr/share/doc/coccinelle/examples/demos/external_ana.data -rw-r--r-- root/root 103 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/headers2.iso -rw-r--r-- root/root 269 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/interprocedural_adhoc.cocci -rwxr-xr-x root/root 199 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/launch.sh -rw-r--r-- root/root 59 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/type_fields.cocci -rw-r--r-- root/root 673 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/assignment_matching.cocci -rw-r--r-- root/root 365 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/pcre2.cocci -rw-r--r-- root/root 156 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/type_fields.c -rw-r--r-- root/root 37 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/printloc.c -rw-r--r-- root/root 15 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/foo.cocci -rw-r--r-- root/root 281 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/vm.cocci -rw-r--r-- root/root 434 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/python_regexp.cocci -rw-r--r-- root/root 45 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/foo.c -rw-r--r-- root/root 270 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/usb_submit_urb.cocci drwxr-xr-x root/root 0 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/hello/ -rw-r--r-- root/root 149 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/hello/hello-smpl.cocci -rw-r--r-- root/root 160 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/hello/hello-regexp.cocci -rw-r--r-- root/root 53 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/hello/helloworld.c -rw-r--r-- root/root 182 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/hello/hello-python.cocci -rw-r--r-- root/root 201 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/hello/hello-ocaml.cocci -rw-r--r-- root/root 662 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/regexp.cocci -rw-r--r-- root/root 458 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/assignment_matching.c -rw-r--r-- root/root 64 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/python_regexp.c -rw-r--r-- root/root 2037 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/unsigned.txt.gz -rw-r--r-- root/root 1956 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/iteration.cocci -rw-r--r-- root/root 30 2012-07-16 20:21 ./usr/share/doc/coccinelle/examples/demos/depend.c -rw-r--r-- root/root 402 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/virt.cocci -rw-r--r-- root/root 15 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/virt.c -rw-r--r-- root/root 597 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/video_usercopy.c -rw-r--r-- root/root 73 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/demos/platform_ifdef.cocci drwxr-xr-x root/root 0 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/ drwxr-xr-x root/root 0 2012-08-21 12:47 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/ -rw-r--r-- root/root 458 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/badzero.cocci -rw-r--r-- root/root 761 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/kzmem.cocci -rw-r--r-- root/root 630 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/unused.cocci -rw-r--r-- root/root 805 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/malloc.cocci -rw-r--r-- root/root 502 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/noderef.cocci -rw-r--r-- root/root 7045 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/notand.h.gz -rw-r--r-- root/root 1374 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/notnull.cocci -rw-r--r-- root/root 21 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/empty.cocci.model -rw-r--r-- root/root 470 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/find_unsigned.cocci -rw-r--r-- root/root 1177 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/null_ref.cocci -rw-r--r-- root/root 474 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/notand.cocci -rw-r--r-- root/root 851 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/kmalloc7.cocci -rw-r--r-- root/root 845 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/open.cocci -rw-r--r-- root/root 680 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/isnull.cocci -rw-r--r-- root/root 492 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/noderef2.cocci -rw-r--r-- root/root 532 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/cocci/kc.cocci -rw-r--r-- root/root 1550 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/README drwxr-xr-x root/root 0 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/bin/ -rwxr-xr-x root/root 2068 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/bin/update_result_tree -rwxr-xr-x root/root 2826 2011-12-06 20:39 ./usr/share/doc/coccinelle/examples/coccicheck/configure -rw-r--r-- root/root 346259 2012-08-21 12:46 ./usr/share/doc/coccinelle/main_grammar.pdf -rw-r--r-- root/root 456499 2012-08-21 12:46 ./usr/share/doc/coccinelle/manual.pdf -rw-r--r-- root/root 142588 2012-08-21 12:46 ./usr/share/doc/coccinelle/options.pdf -rw-r--r-- root/root 764 2012-08-18 08:04 ./usr/share/doc/coccinelle/changelog.Debian.gz -rw-r--r-- root/root 1616 2012-07-16 20:21 ./usr/share/doc/coccinelle/readme.txt -rw-r--r-- root/root 1047 2011-12-06 20:39 ./usr/share/doc/coccinelle/authors.txt drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/man/ drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/man/man3/ -rw-r--r-- root/root 1630 2012-08-21 12:46 ./usr/share/man/man3/Coccilib.3cocci.gz drwxr-xr-x root/root 0 2012-08-21 12:47 ./usr/share/man/man1/ -rw-r--r-- root/root 4862 2012-08-21 12:46 ./usr/share/man/man1/spatch.1.gz drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/coccinelle/ drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/coccinelle/commons/ -rw-r--r-- root/root 676 2012-08-21 12:46 ./usr/share/coccinelle/commons/common_extra.cmi -rw-r--r-- root/root 4042 2012-08-21 12:46 ./usr/share/coccinelle/commons/ograph_simple.cmi -rw-r--r-- root/root 7272 2012-08-21 12:46 ./usr/share/coccinelle/commons/osequence.cmi -rw-r--r-- root/root 7640 2012-08-21 12:46 ./usr/share/coccinelle/commons/oset.cmi -rw-r--r-- root/root 2201 2012-08-21 12:46 ./usr/share/coccinelle/commons/interfaces.cmi -rw-r--r-- root/root 88218 2012-08-21 12:46 ./usr/share/coccinelle/commons/common.cmi -rw-r--r-- root/root 6905 2012-08-21 12:46 ./usr/share/coccinelle/commons/oassoc.cmi -rw-r--r-- root/root 7483 2012-08-21 12:46 ./usr/share/coccinelle/commons/oarray.cmi -rw-r--r-- root/root 1435 2012-08-21 12:46 ./usr/share/coccinelle/commons/objet.cmi -rw-r--r-- root/root 8268 2012-08-21 12:46 ./usr/share/coccinelle/commons/ograph_extended.cmi -rw-r--r-- root/root 3693 2012-08-21 12:46 ./usr/share/coccinelle/commons/parser_combinators.cmi -rw-r--r-- root/root 3022 2012-08-21 12:46 ./usr/share/coccinelle/commons/ograph.cmi -rw-r--r-- root/root 1354 2012-08-21 12:46 ./usr/share/coccinelle/commons/glimpse.cmi -rw-r--r-- root/root 358 2012-08-21 12:46 ./usr/share/coccinelle/commons/commands.cmi -rw-r--r-- root/root 4621 2012-08-21 12:46 ./usr/share/coccinelle/commons/ocollection.cmi -rw-r--r-- root/root 2820 2012-08-21 12:46 ./usr/share/coccinelle/commons/seti.cmi -rw-r--r-- root/root 15163 2012-08-21 12:46 ./usr/share/coccinelle/standard.iso -rw-r--r-- root/root 21623 2012-08-21 12:46 ./usr/share/coccinelle/standard.h drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/coccinelle/ocaml/ -rw-r--r-- root/root 4219 2012-08-21 12:46 ./usr/share/coccinelle/ocaml/coccilib.cmi drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/ -rw-r--r-- root/root 9861 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/lib_parsing_c.cmi -rw-r--r-- root/root 13626 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/visitor_c.cmi -rw-r--r-- root/root 1788 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/cpp_token_c.cmi -rw-r--r-- root/root 2314 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/cpp_ast_c.cmi -rw-r--r-- root/root 5704 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/flag_parsing_c.cmi -rw-r--r-- root/root 3962 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/parse_c.cmi -rw-r--r-- root/root 1163 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/unparse_c.cmi -rw-r--r-- root/root 848 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/unparse_hrule.cmi -rw-r--r-- root/root 4584 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/parsing_stat.cmi -rw-r--r-- root/root 22700 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/ast_c.cmi -rw-r--r-- root/root 2810 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/type_c.cmi -rw-r--r-- root/root 8704 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/parser_c.cmi -rw-r--r-- root/root 3666 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/token_views_c.cmi -rw-r--r-- root/root 1381 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/test_parsing_c.cmi -rw-r--r-- root/root 836 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/comment_annotater_c.cmi -rw-r--r-- root/root 1603 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/unparse_cocci.cmi -rw-r--r-- root/root 2450 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/parsing_hacks.cmi -rw-r--r-- root/root 716 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/parsing_consistency_c.cmi -rw-r--r-- root/root 3783 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/lexer_c.cmi -rw-r--r-- root/root 2146 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/lexer_parser.cmi -rw-r--r-- root/root 1876 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/type_annoter_c.cmi -rw-r--r-- root/root 3755 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/token_helpers.cmi -rw-r--r-- root/root 450 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/semantic_c.cmi -rw-r--r-- root/root 5247 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/control_flow_c.cmi -rw-r--r-- root/root 1205 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/compare_c.cmi -rw-r--r-- root/root 1998 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/control_flow_c_build.cmi -rw-r--r-- root/root 1038 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/cpp_analysis_c.cmi -rw-r--r-- root/root 913 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/parsing_recovery_c.cmi -rw-r--r-- root/root 950 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/token_c.cmi -rw-r--r-- root/root 6327 2012-08-21 12:46 ./usr/share/coccinelle/parsing_c/pretty_print_c.cmi drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/coccinelle/globals/ -rw-r--r-- root/root 1178 2012-08-21 12:46 ./usr/share/coccinelle/globals/iteration.cmi drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/share/doc-base/ -rw-r--r-- root/root 132 2011-12-06 20:39 ./usr/share/doc-base/coccinelle-options -rw-r--r-- root/root 138 2011-12-06 20:39 ./usr/share/doc-base/coccinelle-manual -rw-r--r-- root/root 137 2011-12-06 20:39 ./usr/share/doc-base/coccinelle-grammar drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/bin/ -rwxr-xr-x root/root 119 2012-08-21 12:46 ./usr/bin/spatch drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/lib/ drwxr-xr-x root/root 0 2012-08-21 12:47 ./usr/lib/coccinelle/ -rwxr-xr-x root/root 196312 2012-08-21 12:47 ./usr/lib/coccinelle/spatch drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/etc/ drwxr-xr-x root/root 0 2012-08-21 12:46 ./usr/etc/bash_completion.d/ -rw-r--r-- root/root 3226 2012-08-21 12:46 ./usr/etc/bash_completion.d/spatch drwxr-xr-x root/root 0 2012-08-21 12:46 ./etc/ drwxr-xr-x root/root 0 2012-08-21 12:46 ./etc/emacs/ drwxr-xr-x root/root 0 2012-08-21 12:46 ./etc/emacs/site-start.d/ -rw-r--r-- root/root 256 2012-08-21 12:46 ./etc/emacs/site-start.d/50coccinelle.el coccinelle_1.0.0-rc15~1010npalix1_i386.changes: Format: 1.8 Date: Sat, 18 Aug 2012 10:02:15 +0200 Source: coccinelle Binary: coccinelle Architecture: i386 Version: 1.0.0-rc15~1010npalix1 Distribution: maverick Urgency: low Maintainer: Ubuntu Build Daemon Changed-By: Nicolas Palix Description: coccinelle - semantic patching tool for C Changes: coccinelle (1.0.0-rc15~1010npalix1) maverick; urgency=low . * New release 1.0.0-rc15 Checksums-Sha1: 8f5a2fb86de3ff5202b39b4210fa4d79c50a8f7f 1102332 coccinelle_1.0.0-rc15~1010npalix1_i386.deb Checksums-Sha256: 1215cfbed1df1801621a7439c6cc07b9820b28c36e0174af765b2dd95af167de 1102332 coccinelle_1.0.0-rc15~1010npalix1_i386.deb Files: fa599f29f5b0738cfbf63b2f70780154 1102332 devel optional coccinelle_1.0.0-rc15~1010npalix1_i386.deb Original-Maintainer: Debian OCaml Maintainers ****************************************************************************** Built successfully ****************************************************************************** Finished at 20120821-1247 Build needed 00:00:56, 27896k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', '1374b002a90ff96f7c652c480c255373d2617fa1'] Scanning for processes to kill in build /home/buildd/build-1374b002a90ff96f7c652c480c255373d2617fa1/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '1374b002a90ff96f7c652c480c255373d2617fa1'] Unmounting chroot for build 1374b002a90ff96f7c652c480c255373d2617fa1... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '1374b002a90ff96f7c652c480c255373d2617fa1'] Removing build 1374b002a90ff96f7c652c480c255373d2617fa1