https://launchpad.net/ubuntu/+source/coccinelle/1.0.8.deb-3build1/+build/19870431 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux lcy01-amd64-029 4.15.0-115-generic #116-Ubuntu SMP Wed Aug 26 14:04:49 UTC 2020 x86_64 Buildd toolchain package versions: launchpad-buildd_189 python-lpbuildd_189 sbuild_0.75.0-1ubuntu1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu16.04.1 bzr_2.7.0+bzr6622-10 git-build-recipe_0.3.6~git201906051340.ff11471~ubuntu18.04.1 git_1:2.17.1-1ubuntu0.7 dpkg-dev_1.19.0.5ubuntu2.3 python-debian_0.1.32. Syncing the system clock with the buildd NTP service... 2 Sep 17:28:19 ntpdate[1692]: adjust time server 10.211.37.1 offset -0.000165 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=groovy --arch=amd64 PACKAGEBUILD-19870431 --image-type chroot /home/buildd/filecache-default/20f824f72d640d2ced4a53a84e89958befe66512 Creating target for build PACKAGEBUILD-19870431 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=groovy --arch=amd64 PACKAGEBUILD-19870431 Starting target for build PACKAGEBUILD-19870431 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=groovy --arch=amd64 PACKAGEBUILD-19870431 'deb http://ftpmaster.internal/ubuntu groovy main universe' 'deb http://ftpmaster.internal/ubuntu groovy-security main universe' 'deb http://ftpmaster.internal/ubuntu groovy-updates main universe' 'deb http://ftpmaster.internal/ubuntu groovy-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-19870431 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=groovy --arch=amd64 PACKAGEBUILD-19870431 Updating target for build PACKAGEBUILD-19870431 Get:1 http://ftpmaster.internal/ubuntu groovy InRelease [267 kB] Get:2 http://ftpmaster.internal/ubuntu groovy-security InRelease [89.1 kB] Get:3 http://ftpmaster.internal/ubuntu groovy-updates InRelease [89.1 kB] Get:4 http://ftpmaster.internal/ubuntu groovy-proposed InRelease [118 kB] Get:5 http://ftpmaster.internal/ubuntu groovy/main amd64 Packages [968 kB] Get:6 http://ftpmaster.internal/ubuntu groovy/main Translation-en [508 kB] Get:7 http://ftpmaster.internal/ubuntu groovy/universe amd64 Packages [8853 kB] Get:8 http://ftpmaster.internal/ubuntu groovy/universe Translation-en [5264 kB] Get:9 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 Packages [93.2 kB] Get:10 http://ftpmaster.internal/ubuntu groovy-proposed/main Translation-en [37.3 kB] Get:11 http://ftpmaster.internal/ubuntu groovy-proposed/universe amd64 Packages [543 kB] Get:12 http://ftpmaster.internal/ubuntu groovy-proposed/universe Translation-en [288 kB] Fetched 17.1 MB in 7s (2626 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages were automatically installed and are no longer required: libffi7 libjson-c4 Use 'sudo apt autoremove' to remove them. The following NEW packages will be installed: libffi8ubuntu1 libjson-c5 The following packages will be upgraded: apt base-files binutils binutils-common binutils-x86-64-linux-gnu bsdutils build-essential ca-certificates coreutils cpp-10 debianutils dpkg dpkg-dev g++-10 gcc-10 gcc-10-base libapt-pkg6.0 libasan6 libatomic1 libaudit-common libaudit1 libbinutils libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcap2 libcc1-0 libcryptsetup12 libctf-nobfd0 libctf0 libdpkg-perl libgcc-10-dev libgcc-s1 libgdbm-compat4 libgdbm6 libgmp10 libgomp1 libitm1 liblsan0 liblzma5 libmount1 libmpc3 libmpfr6 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libquadmath0 libselinux1 libsemanage-common libsemanage1 libsmartcols1 libsqlite3-0 libstdc++-10-dev libstdc++6 libsystemd0 libtsan0 libubsan1 libudev1 libuuid1 libzstd1 linux-libc-dev mount sensible-utils systemd systemd-sysv systemd-timesyncd util-linux xz-utils 72 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 64.9 MB of archives. After this operation, 5453 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu groovy/main amd64 libc6-dev amd64 2.31-0ubuntu11 [2518 kB] Get:2 http://ftpmaster.internal/ubuntu groovy/main amd64 libc-dev-bin amd64 2.31-0ubuntu11 [71.6 kB] Get:3 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 linux-libc-dev amd64 5.8.0-18.19 [1139 kB] Get:4 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libubsan1 amd64 10.2.0-6ubuntu1 [136 kB] Get:5 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libtsan0 amd64 10.2.0-6ubuntu1 [320 kB] Get:6 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 gcc-10-base amd64 10.2.0-6ubuntu1 [19.6 kB] Get:7 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libgcc-s1 amd64 10.2.0-6ubuntu1 [41.7 kB] Get:8 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libgomp1 amd64 10.2.0-6ubuntu1 [102 kB] Get:9 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libitm1 amd64 10.2.0-6ubuntu1 [26.3 kB] Get:10 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libatomic1 amd64 10.2.0-6ubuntu1 [9300 B] Get:11 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libasan6 amd64 10.2.0-6ubuntu1 [344 kB] Get:12 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 liblsan0 amd64 10.2.0-6ubuntu1 [144 kB] Get:13 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libquadmath0 amd64 10.2.0-6ubuntu1 [146 kB] Get:14 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 cpp-10 amd64 10.2.0-6ubuntu1 [8056 kB] Get:15 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libcc1-0 amd64 10.2.0-6ubuntu1 [41.2 kB] Get:16 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 g++-10 amd64 10.2.0-6ubuntu1 [9056 kB] Get:17 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 gcc-10 amd64 10.2.0-6ubuntu1 [16.3 MB] Get:18 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libgcc-10-dev amd64 10.2.0-6ubuntu1 [2342 kB] Get:19 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libstdc++-10-dev amd64 10.2.0-6ubuntu1 [1749 kB] Get:20 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libstdc++6 amd64 10.2.0-6ubuntu1 [503 kB] Get:21 http://ftpmaster.internal/ubuntu groovy/main amd64 libgmp10 amd64 2:6.2.0+dfsg-6ubuntu1 [238 kB] Get:22 http://ftpmaster.internal/ubuntu groovy/main amd64 libmpfr6 amd64 4.1.0-3 [1401 kB] Get:23 http://ftpmaster.internal/ubuntu groovy/main amd64 libmpc3 amd64 1.2.0~rc1-1 [44.3 kB] Get:24 http://ftpmaster.internal/ubuntu groovy/main amd64 libzstd1 amd64 1.4.5+dfsg-4 [293 kB] Get:25 http://ftpmaster.internal/ubuntu groovy/main amd64 libctf0 amd64 2.35-2ubuntu1 [47.5 kB] Get:26 http://ftpmaster.internal/ubuntu groovy/main amd64 libctf-nobfd0 amd64 2.35-2ubuntu1 [47.8 kB] Get:27 http://ftpmaster.internal/ubuntu groovy/main amd64 libbinutils amd64 2.35-2ubuntu1 [481 kB] Get:28 http://ftpmaster.internal/ubuntu groovy/main amd64 binutils-common amd64 2.35-2ubuntu1 [211 kB] Get:29 http://ftpmaster.internal/ubuntu groovy/main amd64 binutils amd64 2.35-2ubuntu1 [3380 B] Get:30 http://ftpmaster.internal/ubuntu groovy/main amd64 binutils-x86-64-linux-gnu amd64 2.35-2ubuntu1 [1643 kB] Get:31 http://ftpmaster.internal/ubuntu groovy/main amd64 libc6 amd64 2.31-0ubuntu11 [2715 kB] Get:32 http://ftpmaster.internal/ubuntu groovy/main amd64 base-files amd64 11ubuntu12 [60.3 kB] Get:33 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 bsdutils amd64 1:2.36-3ubuntu1 [86.9 kB] Get:34 http://ftpmaster.internal/ubuntu groovy/main amd64 libselinux1 amd64 3.1-2 [68.8 kB] Get:35 http://ftpmaster.internal/ubuntu groovy/main amd64 coreutils amd64 8.32-3ubuntu1 [1355 kB] Get:36 http://ftpmaster.internal/ubuntu groovy/main amd64 debianutils amd64 4.11.1 [85.6 kB] Get:37 http://ftpmaster.internal/ubuntu groovy/main amd64 dpkg amd64 1.20.5ubuntu2 [1172 kB] Get:38 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 util-linux amd64 2.36-3ubuntu1 [1068 kB] Get:39 http://ftpmaster.internal/ubuntu groovy/main amd64 libc-bin amd64 2.31-0ubuntu11 [634 kB] Get:40 http://ftpmaster.internal/ubuntu groovy/main amd64 liblzma5 amd64 5.2.4-1ubuntu1 [91.7 kB] Get:41 http://ftpmaster.internal/ubuntu groovy/main amd64 systemd-sysv amd64 246.2-1ubuntu1 [10.3 kB] Get:42 http://ftpmaster.internal/ubuntu groovy/main amd64 systemd-timesyncd amd64 246.2-1ubuntu1 [28.1 kB] Get:43 http://ftpmaster.internal/ubuntu groovy/main amd64 libaudit-common all 1:2.8.5-3ubuntu1 [4076 B] Get:44 http://ftpmaster.internal/ubuntu groovy/main amd64 libaudit1 amd64 1:2.8.5-3ubuntu1 [39.4 kB] Get:45 http://ftpmaster.internal/ubuntu groovy/main amd64 libcap2 amd64 1:2.43-1 [17.7 kB] Get:46 http://ftpmaster.internal/ubuntu groovy/main amd64 libjson-c5 amd64 0.15-1 [31.3 kB] Get:47 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libblkid1 amd64 2.36-3ubuntu1 [133 kB] Get:48 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libuuid1 amd64 2.36-3ubuntu1 [21.7 kB] Get:49 http://ftpmaster.internal/ubuntu groovy/main amd64 libcryptsetup12 amd64 2:2.3.3-1ubuntu4 [194 kB] Get:50 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libmount1 amd64 2.36-3ubuntu1 [149 kB] Get:51 http://ftpmaster.internal/ubuntu groovy/main amd64 libpam0g amd64 1.3.1-5ubuntu6 [56.1 kB] Get:52 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 mount amd64 2.36-3ubuntu1 [121 kB] Get:53 http://ftpmaster.internal/ubuntu groovy/main amd64 systemd amd64 246.2-1ubuntu1 [4163 kB] Get:54 http://ftpmaster.internal/ubuntu groovy/main amd64 libsystemd0 amd64 246.2-1ubuntu1 [274 kB] Get:55 http://ftpmaster.internal/ubuntu groovy/main amd64 libudev1 amd64 246.2-1ubuntu1 [67.8 kB] Get:56 http://ftpmaster.internal/ubuntu groovy/main amd64 libapt-pkg6.0 amd64 2.1.10 [848 kB] Get:57 http://ftpmaster.internal/ubuntu groovy/main amd64 apt amd64 2.1.10 [1305 kB] Get:58 http://ftpmaster.internal/ubuntu groovy/main amd64 libpam-modules-bin amd64 1.3.1-5ubuntu6 [38.0 kB] Get:59 http://ftpmaster.internal/ubuntu groovy/main amd64 libpam-modules amd64 1.3.1-5ubuntu6 [250 kB] Get:60 http://ftpmaster.internal/ubuntu groovy/main amd64 libpam-runtime all 1.3.1-5ubuntu6 [37.3 kB] Get:61 http://ftpmaster.internal/ubuntu groovy/main amd64 libsemanage-common all 3.1-1 [10.2 kB] Get:62 http://ftpmaster.internal/ubuntu groovy/main amd64 libsemanage1 amd64 3.1-1 [86.2 kB] Get:63 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libsmartcols1 amd64 2.36-3ubuntu1 [96.8 kB] Get:64 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libffi8ubuntu1 amd64 3.4~20200819gead65ca871-0ubuntu3 [20.0 kB] Get:65 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libp11-kit0 amd64 0.23.21-2build1 [193 kB] Get:66 http://ftpmaster.internal/ubuntu groovy/main amd64 sensible-utils all 0.0.13 [15.1 kB] Get:67 http://ftpmaster.internal/ubuntu groovy/main amd64 ca-certificates all 20200601 [147 kB] Get:68 http://ftpmaster.internal/ubuntu groovy/main amd64 libsqlite3-0 amd64 3.33.0-1 [585 kB] Get:69 http://ftpmaster.internal/ubuntu groovy/main amd64 xz-utils amd64 5.2.4-1ubuntu1 [82.5 kB] Get:70 http://ftpmaster.internal/ubuntu groovy/main amd64 libgdbm6 amd64 1.18.1-5.1 [27.4 kB] Get:71 http://ftpmaster.internal/ubuntu groovy/main amd64 dpkg-dev all 1.20.5ubuntu2 [758 kB] Get:72 http://ftpmaster.internal/ubuntu groovy/main amd64 libdpkg-perl all 1.20.5ubuntu2 [232 kB] Get:73 http://ftpmaster.internal/ubuntu groovy/main amd64 build-essential amd64 12.8ubuntu3 [4640 B] Get:74 http://ftpmaster.internal/ubuntu groovy/main amd64 libgdbm-compat4 amd64 1.18.1-5.1 [6244 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 64.9 MB in 1s (75.2 MB/s) (Reading database ... 12787 files and directories currently installed.) Preparing to unpack .../0-libc6-dev_2.31-0ubuntu11_amd64.deb ... Unpacking libc6-dev:amd64 (2.31-0ubuntu11) over (2.31-0ubuntu10) ... Preparing to unpack .../1-libc-dev-bin_2.31-0ubuntu11_amd64.deb ... Unpacking libc-dev-bin (2.31-0ubuntu11) over (2.31-0ubuntu10) ... Preparing to unpack .../2-linux-libc-dev_5.8.0-18.19_amd64.deb ... Unpacking linux-libc-dev:amd64 (5.8.0-18.19) over (5.4.0-42.46) ... Preparing to unpack .../3-libubsan1_10.2.0-6ubuntu1_amd64.deb ... Unpacking libubsan1:amd64 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Preparing to unpack .../4-libtsan0_10.2.0-6ubuntu1_amd64.deb ... Unpacking libtsan0:amd64 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Preparing to unpack .../5-gcc-10-base_10.2.0-6ubuntu1_amd64.deb ... Unpacking gcc-10-base:amd64 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Setting up gcc-10-base:amd64 (10.2.0-6ubuntu1) ... (Reading database ... 12801 files and directories currently installed.) Preparing to unpack .../libgcc-s1_10.2.0-6ubuntu1_amd64.deb ... Unpacking libgcc-s1:amd64 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Setting up libgcc-s1:amd64 (10.2.0-6ubuntu1) ... (Reading database ... 12801 files and directories currently installed.) Preparing to unpack .../00-libgomp1_10.2.0-6ubuntu1_amd64.deb ... Unpacking libgomp1:amd64 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Preparing to unpack .../01-libitm1_10.2.0-6ubuntu1_amd64.deb ... Unpacking libitm1:amd64 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Preparing to unpack .../02-libatomic1_10.2.0-6ubuntu1_amd64.deb ... Unpacking libatomic1:amd64 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Preparing to unpack .../03-libasan6_10.2.0-6ubuntu1_amd64.deb ... Unpacking libasan6:amd64 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Preparing to unpack .../04-liblsan0_10.2.0-6ubuntu1_amd64.deb ... Unpacking liblsan0:amd64 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Preparing to unpack .../05-libquadmath0_10.2.0-6ubuntu1_amd64.deb ... Unpacking libquadmath0:amd64 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Preparing to unpack .../06-cpp-10_10.2.0-6ubuntu1_amd64.deb ... Unpacking cpp-10 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Preparing to unpack .../07-libcc1-0_10.2.0-6ubuntu1_amd64.deb ... Unpacking libcc1-0:amd64 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Preparing to unpack .../08-g++-10_10.2.0-6ubuntu1_amd64.deb ... Unpacking g++-10 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Preparing to unpack .../09-gcc-10_10.2.0-6ubuntu1_amd64.deb ... Unpacking gcc-10 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Preparing to unpack .../10-libgcc-10-dev_10.2.0-6ubuntu1_amd64.deb ... Unpacking libgcc-10-dev:amd64 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Preparing to unpack .../11-libstdc++-10-dev_10.2.0-6ubuntu1_amd64.deb ... Unpacking libstdc++-10-dev:amd64 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Preparing to unpack .../12-libstdc++6_10.2.0-6ubuntu1_amd64.deb ... Unpacking libstdc++6:amd64 (10.2.0-6ubuntu1) over (10.2.0-3ubuntu1) ... Setting up libstdc++6:amd64 (10.2.0-6ubuntu1) ... (Reading database ... 12803 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.2.0+dfsg-6ubuntu1_amd64.deb ... Unpacking libgmp10:amd64 (2:6.2.0+dfsg-6ubuntu1) over (2:6.2.0+dfsg-6) ... Setting up libgmp10:amd64 (2:6.2.0+dfsg-6ubuntu1) ... (Reading database ... 12803 files and directories currently installed.) Preparing to unpack .../libmpfr6_4.1.0-3_amd64.deb ... Unpacking libmpfr6:amd64 (4.1.0-3) over (4.0.2-1build1) ... Preparing to unpack .../libmpc3_1.2.0~rc1-1_amd64.deb ... Unpacking libmpc3:amd64 (1.2.0~rc1-1) over (1.1.0-1) ... Preparing to unpack .../libzstd1_1.4.5+dfsg-4_amd64.deb ... Unpacking libzstd1:amd64 (1.4.5+dfsg-4) over (1.4.5+dfsg-3) ... Setting up libzstd1:amd64 (1.4.5+dfsg-4) ... (Reading database ... 12803 files and directories currently installed.) Preparing to unpack .../0-libctf0_2.35-2ubuntu1_amd64.deb ... Unpacking libctf0:amd64 (2.35-2ubuntu1) over (2.35-1ubuntu1) ... Preparing to unpack .../1-libctf-nobfd0_2.35-2ubuntu1_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.35-2ubuntu1) over (2.35-1ubuntu1) ... Preparing to unpack .../2-libbinutils_2.35-2ubuntu1_amd64.deb ... Unpacking libbinutils:amd64 (2.35-2ubuntu1) over (2.35-1ubuntu1) ... Preparing to unpack .../3-binutils-common_2.35-2ubuntu1_amd64.deb ... Unpacking binutils-common:amd64 (2.35-2ubuntu1) over (2.35-1ubuntu1) ... Preparing to unpack .../4-binutils_2.35-2ubuntu1_amd64.deb ... Unpacking binutils (2.35-2ubuntu1) over (2.35-1ubuntu1) ... Preparing to unpack .../5-binutils-x86-64-linux-gnu_2.35-2ubuntu1_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.35-2ubuntu1) over (2.35-1ubuntu1) ... Preparing to unpack .../6-libc6_2.31-0ubuntu11_amd64.deb ... Unpacking libc6:amd64 (2.31-0ubuntu11) over (2.31-0ubuntu10) ... Setting up libc6:amd64 (2.31-0ubuntu11) ... (Reading database ... 12803 files and directories currently installed.) Preparing to unpack .../base-files_11ubuntu12_amd64.deb ... Unpacking base-files (11ubuntu12) over (11ubuntu9) ... Setting up base-files (11ubuntu12) ... Installing new version of config file /etc/update-motd.d/50-motd-news ... Removing obsolete conffile /etc/default/motd-news ... (Reading database ... 12802 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.36-3ubuntu1_amd64.deb ... Unpacking bsdutils (1:2.36-3ubuntu1) over (1:2.35.2-7ubuntu3) ... Setting up bsdutils (1:2.36-3ubuntu1) ... (Reading database ... 12802 files and directories currently installed.) Preparing to unpack .../libselinux1_3.1-2_amd64.deb ... Unpacking libselinux1:amd64 (3.1-2) over (3.0-1build2) ... Setting up libselinux1:amd64 (3.1-2) ... (Reading database ... 12802 files and directories currently installed.) Preparing to unpack .../coreutils_8.32-3ubuntu1_amd64.deb ... Unpacking coreutils (8.32-3ubuntu1) over (8.30-3ubuntu3) ... Setting up coreutils (8.32-3ubuntu1) ... (Reading database ... 12900 files and directories currently installed.) Preparing to unpack .../debianutils_4.11.1_amd64.deb ... Unpacking debianutils (4.11.1) over (4.11) ... Setting up debianutils (4.11.1) ... (Reading database ... 12900 files and directories currently installed.) Preparing to unpack .../dpkg_1.20.5ubuntu2_amd64.deb ... Unpacking dpkg (1.20.5ubuntu2) over (1.19.7ubuntu4) ... Setting up dpkg (1.20.5ubuntu2) ... Installing new version of config file /etc/cron.daily/dpkg ... (Reading database ... 12909 files and directories currently installed.) Preparing to unpack .../util-linux_2.36-3ubuntu1_amd64.deb ... Unpacking util-linux (2.36-3ubuntu1) over (2.35.2-7ubuntu3) ... Setting up util-linux (2.36-3ubuntu1) ... (Reading database ... 12908 files and directories currently installed.) Preparing to unpack .../libc-bin_2.31-0ubuntu11_amd64.deb ... Unpacking libc-bin (2.31-0ubuntu11) over (2.31-0ubuntu10) ... Setting up libc-bin (2.31-0ubuntu11) ... (Reading database ... 12908 files and directories currently installed.) Preparing to unpack .../liblzma5_5.2.4-1ubuntu1_amd64.deb ... Unpacking liblzma5:amd64 (5.2.4-1ubuntu1) over (5.2.4-1) ... Setting up liblzma5:amd64 (5.2.4-1ubuntu1) ... (Reading database ... 12908 files and directories currently installed.) Preparing to unpack .../systemd-sysv_246.2-1ubuntu1_amd64.deb ... Unpacking systemd-sysv (246.2-1ubuntu1) over (245.6-3ubuntu3) ... Preparing to unpack .../systemd-timesyncd_246.2-1ubuntu1_amd64.deb ... Unpacking systemd-timesyncd (246.2-1ubuntu1) over (245.6-3ubuntu3) ... Preparing to unpack .../libaudit-common_1%3a2.8.5-3ubuntu1_all.deb ... Unpacking libaudit-common (1:2.8.5-3ubuntu1) over (1:2.8.5-2ubuntu6) ... Setting up libaudit-common (1:2.8.5-3ubuntu1) ... (Reading database ... 12908 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.8.5-3ubuntu1_amd64.deb ... Unpacking libaudit1:amd64 (1:2.8.5-3ubuntu1) over (1:2.8.5-2ubuntu6) ... Setting up libaudit1:amd64 (1:2.8.5-3ubuntu1) ... (Reading database ... 12908 files and directories currently installed.) Preparing to unpack .../libcap2_1%3a2.43-1_amd64.deb ... Unpacking libcap2:amd64 (1:2.43-1) over (1:2.36-1) ... Selecting previously unselected package libjson-c5:amd64. Preparing to unpack .../libjson-c5_0.15-1_amd64.deb ... Unpacking libjson-c5:amd64 (0.15-1) ... Preparing to unpack .../libblkid1_2.36-3ubuntu1_amd64.deb ... Unpacking libblkid1:amd64 (2.36-3ubuntu1) over (2.35.2-7ubuntu3) ... Setting up libblkid1:amd64 (2.36-3ubuntu1) ... (Reading database ... 12915 files and directories currently installed.) Preparing to unpack .../libuuid1_2.36-3ubuntu1_amd64.deb ... Unpacking libuuid1:amd64 (2.36-3ubuntu1) over (2.35.2-7ubuntu3) ... Setting up libuuid1:amd64 (2.36-3ubuntu1) ... (Reading database ... 12915 files and directories currently installed.) Preparing to unpack .../libcryptsetup12_2%3a2.3.3-1ubuntu4_amd64.deb ... Unpacking libcryptsetup12:amd64 (2:2.3.3-1ubuntu4) over (2:2.3.3-1ubuntu3) ... Preparing to unpack .../libmount1_2.36-3ubuntu1_amd64.deb ... Unpacking libmount1:amd64 (2.36-3ubuntu1) over (2.35.2-7ubuntu3) ... Setting up libmount1:amd64 (2.36-3ubuntu1) ... (Reading database ... 12915 files and directories currently installed.) Preparing to unpack .../libpam0g_1.3.1-5ubuntu6_amd64.deb ... Unpacking libpam0g:amd64 (1.3.1-5ubuntu6) over (1.3.1-5ubuntu5) ... Setting up libpam0g:amd64 (1.3.1-5ubuntu6) ... (Reading database ... 12915 files and directories currently installed.) Preparing to unpack .../mount_2.36-3ubuntu1_amd64.deb ... Unpacking mount (2.36-3ubuntu1) over (2.35.2-7ubuntu3) ... Preparing to unpack .../systemd_246.2-1ubuntu1_amd64.deb ... Unpacking systemd (246.2-1ubuntu1) over (245.6-3ubuntu3) ... dpkg: warning: unable to delete old directory '/etc/dhcp/dhclient-enter-hooks.d': Directory not empty Preparing to unpack .../libsystemd0_246.2-1ubuntu1_amd64.deb ... Unpacking libsystemd0:amd64 (246.2-1ubuntu1) over (245.6-3ubuntu3) ... Setting up libsystemd0:amd64 (246.2-1ubuntu1) ... (Reading database ... 12929 files and directories currently installed.) Preparing to unpack .../libudev1_246.2-1ubuntu1_amd64.deb ... Unpacking libudev1:amd64 (246.2-1ubuntu1) over (245.6-3ubuntu3) ... Setting up libudev1:amd64 (246.2-1ubuntu1) ... (Reading database ... 12929 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.1.10_amd64.deb ... Unpacking libapt-pkg6.0:amd64 (2.1.10) over (2.1.7) ... Setting up libapt-pkg6.0:amd64 (2.1.10) ... (Reading database ... 12929 files and directories currently installed.) Preparing to unpack .../archives/apt_2.1.10_amd64.deb ... Unpacking apt (2.1.10) over (2.1.7) ... Setting up apt (2.1.10) ... (Reading database ... 12929 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.3.1-5ubuntu6_amd64.deb ... Unpacking libpam-modules-bin (1.3.1-5ubuntu6) over (1.3.1-5ubuntu5) ... Setting up libpam-modules-bin (1.3.1-5ubuntu6) ... (Reading database ... 12929 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.3.1-5ubuntu6_amd64.deb ... Unpacking libpam-modules:amd64 (1.3.1-5ubuntu6) over (1.3.1-5ubuntu5) ... Setting up libpam-modules:amd64 (1.3.1-5ubuntu6) ... (Reading database ... 12929 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.3.1-5ubuntu6_all.deb ... Unpacking libpam-runtime (1.3.1-5ubuntu6) over (1.3.1-5ubuntu5) ... Setting up libpam-runtime (1.3.1-5ubuntu6) ... (Reading database ... 12929 files and directories currently installed.) Preparing to unpack .../libsemanage-common_3.1-1_all.deb ... Unpacking libsemanage-common (3.1-1) over (3.0-1build2) ... Setting up libsemanage-common (3.1-1) ... (Reading database ... 12929 files and directories currently installed.) Preparing to unpack .../libsemanage1_3.1-1_amd64.deb ... Unpacking libsemanage1:amd64 (3.1-1) over (3.0-1build2) ... Setting up libsemanage1:amd64 (3.1-1) ... (Reading database ... 12929 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.36-3ubuntu1_amd64.deb ... Unpacking libsmartcols1:amd64 (2.36-3ubuntu1) over (2.35.2-7ubuntu3) ... Setting up libsmartcols1:amd64 (2.36-3ubuntu1) ... Selecting previously unselected package libffi8ubuntu1:amd64. (Reading database ... 12929 files and directories currently installed.) Preparing to unpack .../libffi8ubuntu1_3.4~20200819gead65ca871-0ubuntu3_amd64.deb ... Unpacking libffi8ubuntu1:amd64 (3.4~20200819gead65ca871-0ubuntu3) ... Setting up libffi8ubuntu1:amd64 (3.4~20200819gead65ca871-0ubuntu3) ... (Reading database ... 12934 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.23.21-2build1_amd64.deb ... Unpacking libp11-kit0:amd64 (0.23.21-2build1) over (0.23.20-1build1) ... Setting up libp11-kit0:amd64 (0.23.21-2build1) ... (Reading database ... 12934 files and directories currently installed.) Preparing to unpack .../0-sensible-utils_0.0.13_all.deb ... Unpacking sensible-utils (0.0.13) over (0.0.12+nmu1) ... Preparing to unpack .../1-ca-certificates_20200601_all.deb ... Unpacking ca-certificates (20200601) over (20190110ubuntu2) ... Preparing to unpack .../2-libsqlite3-0_3.33.0-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.33.0-1) over (3.32.3-1) ... Preparing to unpack .../3-xz-utils_5.2.4-1ubuntu1_amd64.deb ... Unpacking xz-utils (5.2.4-1ubuntu1) over (5.2.4-1) ... Preparing to unpack .../4-libgdbm6_1.18.1-5.1_amd64.deb ... Unpacking libgdbm6:amd64 (1.18.1-5.1) over (1.18.1-5) ... Preparing to unpack .../5-dpkg-dev_1.20.5ubuntu2_all.deb ... Unpacking dpkg-dev (1.20.5ubuntu2) over (1.19.7ubuntu4) ... Preparing to unpack .../6-libdpkg-perl_1.20.5ubuntu2_all.deb ... Unpacking libdpkg-perl (1.20.5ubuntu2) over (1.19.7ubuntu4) ... Preparing to unpack .../7-build-essential_12.8ubuntu3_amd64.deb ... Unpacking build-essential (12.8ubuntu3) over (12.8ubuntu1) ... Preparing to unpack .../8-libgdbm-compat4_1.18.1-5.1_amd64.deb ... Unpacking libgdbm-compat4:amd64 (1.18.1-5.1) over (1.18.1-5) ... Setting up libsqlite3-0:amd64 (3.33.0-1) ... Setting up binutils-common:amd64 (2.35-2ubuntu1) ... Setting up linux-libc-dev:amd64 (5.8.0-18.19) ... Setting up libctf-nobfd0:amd64 (2.35-2ubuntu1) ... Setting up libgomp1:amd64 (10.2.0-6ubuntu1) ... Setting up libcap2:amd64 (1:2.43-1) ... Setting up libasan6:amd64 (10.2.0-6ubuntu1) ... Setting up ca-certificates (20200601) ... Updating certificates in /etc/ssl/certs... 13 added, 14 removed; done. Setting up libmpfr6:amd64 (4.1.0-3) ... Setting up xz-utils (5.2.4-1ubuntu1) ... Setting up libquadmath0:amd64 (10.2.0-6ubuntu1) ... Setting up libmpc3:amd64 (1.2.0~rc1-1) ... Setting up libatomic1:amd64 (10.2.0-6ubuntu1) ... Setting up libdpkg-perl (1.20.5ubuntu2) ... Setting up libubsan1:amd64 (10.2.0-6ubuntu1) ... Setting up mount (2.36-3ubuntu1) ... Setting up sensible-utils (0.0.13) ... Setting up libbinutils:amd64 (2.35-2ubuntu1) ... Setting up libc-dev-bin (2.31-0ubuntu11) ... Setting up libjson-c5:amd64 (0.15-1) ... Setting up libcc1-0:amd64 (10.2.0-6ubuntu1) ... Setting up liblsan0:amd64 (10.2.0-6ubuntu1) ... Setting up cpp-10 (10.2.0-6ubuntu1) ... Setting up libitm1:amd64 (10.2.0-6ubuntu1) ... Setting up libgdbm6:amd64 (1.18.1-5.1) ... Setting up libtsan0:amd64 (10.2.0-6ubuntu1) ... Setting up libctf0:amd64 (2.35-2ubuntu1) ... Setting up libgcc-10-dev:amd64 (10.2.0-6ubuntu1) ... Setting up libgdbm-compat4:amd64 (1.18.1-5.1) ... Setting up libc6-dev:amd64 (2.31-0ubuntu11) ... Setting up libcryptsetup12:amd64 (2:2.3.3-1ubuntu4) ... Setting up binutils-x86-64-linux-gnu (2.35-2ubuntu1) ... Setting up libstdc++-10-dev:amd64 (10.2.0-6ubuntu1) ... Setting up binutils (2.35-2ubuntu1) ... Setting up dpkg-dev (1.20.5ubuntu2) ... Setting up gcc-10 (10.2.0-6ubuntu1) ... Setting up build-essential (12.8ubuntu3) ... Setting up g++-10 (10.2.0-6ubuntu1) ... Setting up systemd (246.2-1ubuntu1) ... Installing new version of config file /etc/systemd/logind.conf ... Installing new version of config file /etc/systemd/networkd.conf ... Installing new version of config file /etc/systemd/resolved.conf ... Installing new version of config file /etc/systemd/system.conf ... Installing new version of config file /etc/systemd/user.conf ... Initializing machine ID from KVM UUID. Removing obsolete conffile /etc/dhcp/dhclient-enter-hooks.d/resolved ... Setting up systemd-timesyncd (246.2-1ubuntu1) ... Setting up systemd-sysv (246.2-1ubuntu1) ... Processing triggers for libc-bin (2.31-0ubuntu11) ... Processing triggers for ca-certificates (20200601) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-19870431 amd64 groovy-proposed -c chroot:build-PACKAGEBUILD-19870431 --arch=amd64 --dist=groovy-proposed --nolog -A coccinelle_1.0.8.deb-3build1.dsc Initiating build PACKAGEBUILD-19870431 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.15.0-115-generic #116-Ubuntu SMP Wed Aug 26 14:04:49 UTC 2020 x86_64 sbuild (Debian sbuild) 0.75.0 (21 Mar 2018) on lcy01-amd64-029.buildd +==============================================================================+ | coccinelle 1.0.8.deb-3build1 (amd64) Wed, 02 Sep 2020 17:29:06 +0000 | +==============================================================================+ Package: coccinelle Version: 1.0.8.deb-3build1 Source Version: 1.0.8.deb-3build1 Distribution: groovy-proposed Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: binary I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-19870431/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- coccinelle_1.0.8.deb-3build1.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/coccinelle-BSx6S1/coccinelle-1.0.8.deb' with '<>' I: NOTICE: Log filtering will replace 'build/coccinelle-BSx6S1' with '<>' +------------------------------------------------------------------------------+ | Install build-essential | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-XAWuPe/apt_archive/sbuild-build-depends-core-dummy.deb'. dpkg-scanpackages: warning: Packages in archive but missing from override file: dpkg-scanpackages: warning: sbuild-build-depends-core-dummy dpkg-scanpackages: info: Wrote 1 entries to output Packages file. Ign:1 copy:/<>/resolver-XAWuPe/apt_archive ./ InRelease Get:2 copy:/<>/resolver-XAWuPe/apt_archive ./ Release [957 B] Ign:3 copy:/<>/resolver-XAWuPe/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-XAWuPe/apt_archive ./ Sources [349 B] Get:5 copy:/<>/resolver-XAWuPe/apt_archive ./ Packages [433 B] Fetched 1739 B in 0s (160 kB/s) Reading package lists... Reading package lists... Install core build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libffi7 libjson-c4 Use 'apt autoremove' to remove them. The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 852 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-XAWuPe/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [852 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 852 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 12913 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any all) +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 12), dh-ocaml (>= 1.0.3~), dh-python, libmenhir-ocaml-dev (>= 20090204.dfsg), libparmap-ocaml-dev (>= 1.0~rc4-5~), libpcre-ocaml-dev, libstdcompat-ocaml-dev, menhir (>= 20090204.dfsg), ocaml-findlib, ocaml-nox (>= 3.11.1-3~), pkg-config (>= 0.9.0), python3, texlive-fonts-extra, texlive-fonts-recommended, texlive-latex-base, texlive-latex-extra, texlive-latex-recommended Filtered Build-Depends: debhelper-compat (= 12), dh-ocaml (>= 1.0.3~), dh-python, libmenhir-ocaml-dev (>= 20090204.dfsg), libparmap-ocaml-dev (>= 1.0~rc4-5~), libpcre-ocaml-dev, libstdcompat-ocaml-dev, menhir (>= 20090204.dfsg), ocaml-findlib, ocaml-nox (>= 3.11.1-3~), pkg-config (>= 0.9.0), python3, texlive-fonts-extra, texlive-fonts-recommended, texlive-latex-base, texlive-latex-extra, texlive-latex-recommended dpkg-deb: building package 'sbuild-build-depends-coccinelle-dummy' in '/<>/resolver-XAWuPe/apt_archive/sbuild-build-depends-coccinelle-dummy.deb'. dpkg-scanpackages: warning: Packages in archive but missing from override file: dpkg-scanpackages: warning: sbuild-build-depends-coccinelle-dummy sbuild-build-depends-core-dummy dpkg-scanpackages: info: Wrote 2 entries to output Packages file. Ign:1 copy:/<>/resolver-XAWuPe/apt_archive ./ InRelease Get:2 copy:/<>/resolver-XAWuPe/apt_archive ./ Release [963 B] Ign:3 copy:/<>/resolver-XAWuPe/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-XAWuPe/apt_archive ./ Sources [659 B] Get:5 copy:/<>/resolver-XAWuPe/apt_archive ./ Packages [732 B] Fetched 2354 B in 0s (204 kB/s) Reading package lists... Reading package lists... Install coccinelle build dependencies (apt-based resolver) ---------------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libffi7 libjson-c4 Use 'apt autoremove' to remove them. The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils debhelper dh-autoreconf dh-ocaml dh-python dh-strip-nondeterminism dwz file fontconfig-config fonts-dejavu-core fonts-lmodern gettext gettext-base groff-base intltool-debian libapache-pom-java libarchive-zip-perl libbrotli1 libbsd0 libcairo2 libcommons-logging-java libcommons-parent-java libcroco3 libdebhelper-perl libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfontbox-java libfontconfig1 libfreetype6 libglib2.0-0 libgraphite2-3 libharfbuzz0b libice6 libicu67 libkpathsea6 libmagic-mgc libmagic1 libmenhir-ocaml-dev libncurses-dev libncurses5-dev libpaper-utils libpaper1 libparmap-ocaml libparmap-ocaml-dev libpcre-ocaml libpcre-ocaml-dev libpcre16-3 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpdfbox-java libpipeline1 libpixman-1-0 libptexenc1 libpython3-stdlib libpython3.8-minimal libpython3.8-stdlib libsigsegv2 libsm6 libstdcompat-ocaml libstdcompat-ocaml-dev libsub-override-perl libsynctex2 libteckit0 libtexlua53 libtexluajit2 libtool libuchardet0 libx11-6 libx11-data libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxi6 libxml2 libxmu6 libxpm4 libxrender1 libxt6 libzzip-0-13 m4 man-db menhir mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox pkg-config po-debconf preview-latex-style python3 python3-distutils python3-lib2to3 python3-minimal python3.8 python3.8-minimal t1utils tex-common texlive-base texlive-binaries texlive-fonts-extra texlive-fonts-recommended texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-pictures ucf x11-common xdg-utils Suggested packages: autoconf-archive gnu-standards autoconf-doc dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff libavalon-framework-java libcommons-logging-java-doc libexcalibur-logkit-java liblog4j1.2-java ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser menhir-doc camlp4 ocaml-doc elpa-tuareg libmail-box-perl python3-doc python3-tk python3-venv python3.8-venv python3.8-doc binfmt-support ghostscript gv | postscript-viewer perl-tk xpdf | pdf-viewer xzdec cm-super texlive-fonts-extra-doc texlive-fonts-recommended-doc texlive-latex-base-doc python3-pygments icc-profiles libfile-which-perl libspreadsheet-parseexcel-perl texlive-latex-extra-doc texlive-latex-recommended-doc texlive-luatex texlive-pstricks dot2tex prerex ruby-tcltk | libtcltk-ruby texlive-pictures-doc vprerex Recommended packages: curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libltdl-dev ocaml-man libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl lmodern dvisvgm fonts-adf-accanthis fonts-adf-berenis fonts-adf-gillius fonts-adf-universalis fonts-cabin fonts-cantarell fonts-comfortaa fonts-croscore fonts-crosextra-caladea fonts-crosextra-carlito fonts-dejavu-extra fonts-ebgaramond fonts-ebgaramond-extra fonts-font-awesome fonts-freefont-otf fonts-freefont-ttf fonts-gfs-artemisia fonts-gfs-complutum fonts-gfs-didot fonts-gfs-neohellenic fonts-gfs-olga fonts-gfs-solomos fonts-go fonts-junicode fonts-lato fonts-linuxlibertine fonts-lobstertwo fonts-noto-color-emoji fonts-noto-core fonts-noto-mono fonts-oflb-asana-math fonts-open-sans fonts-roboto-unhinted fonts-sil-charis fonts-sil-gentium fonts-sil-gentium-basic fonts-sil-gentiumplus fonts-sil-gentiumplus-compact fonts-stix texlive-fonts-extra-links tex-gyre tipa texlive-plain-generic ruby | ruby-interpreter tk libfile-mimeinfo-perl libnet-dbus-perl libx11-protocol-perl x11-utils x11-xserver-utils The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils debhelper dh-autoreconf dh-ocaml dh-python dh-strip-nondeterminism dwz file fontconfig-config fonts-dejavu-core fonts-lmodern gettext gettext-base groff-base intltool-debian libapache-pom-java libarchive-zip-perl libbrotli1 libbsd0 libcairo2 libcommons-logging-java libcommons-parent-java libcroco3 libdebhelper-perl libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfontbox-java libfontconfig1 libfreetype6 libglib2.0-0 libgraphite2-3 libharfbuzz0b libice6 libicu67 libkpathsea6 libmagic-mgc libmagic1 libmenhir-ocaml-dev libncurses-dev libncurses5-dev libpaper-utils libpaper1 libparmap-ocaml libparmap-ocaml-dev libpcre-ocaml libpcre-ocaml-dev libpcre16-3 libpcre3-dev libpcre32-3 libpcrecpp0v5 libpdfbox-java libpipeline1 libpixman-1-0 libptexenc1 libpython3-stdlib libpython3.8-minimal libpython3.8-stdlib libsigsegv2 libsm6 libstdcompat-ocaml libstdcompat-ocaml-dev libsub-override-perl libsynctex2 libteckit0 libtexlua53 libtexluajit2 libtool libuchardet0 libx11-6 libx11-data libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxi6 libxml2 libxmu6 libxpm4 libxrender1 libxt6 libzzip-0-13 m4 man-db menhir mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox pkg-config po-debconf preview-latex-style python3 python3-distutils python3-lib2to3 python3-minimal python3.8 python3.8-minimal sbuild-build-depends-coccinelle-dummy t1utils tex-common texlive-base texlive-binaries texlive-fonts-extra texlive-fonts-recommended texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-pictures ucf x11-common xdg-utils 0 upgraded, 122 newly installed, 0 to remove and 0 not upgraded. Need to get 674 MB of archives. After this operation, 2161 MB of additional disk space will be used. Get:1 copy:/<>/resolver-XAWuPe/apt_archive ./ sbuild-build-depends-coccinelle-dummy 0.invalid.0 [1020 B] Get:2 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libpython3.8-minimal amd64 3.8.5-2ubuntu1 [715 kB] Get:3 http://ftpmaster.internal/ubuntu groovy/main amd64 libexpat1 amd64 2.2.9-1build1 [73.3 kB] Get:4 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 python3.8-minimal amd64 3.8.5-2ubuntu1 [1824 kB] Get:5 http://ftpmaster.internal/ubuntu groovy/main amd64 python3-minimal amd64 3.8.2-0ubuntu2 [23.6 kB] Get:6 http://ftpmaster.internal/ubuntu groovy/main amd64 mime-support all 3.64ubuntu1 [30.6 kB] Get:7 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libpython3.8-stdlib amd64 3.8.5-2ubuntu1 [1725 kB] Get:8 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 python3.8 amd64 3.8.5-2ubuntu1 [373 kB] Get:9 http://ftpmaster.internal/ubuntu groovy/main amd64 libpython3-stdlib amd64 3.8.2-0ubuntu2 [7068 B] Get:10 http://ftpmaster.internal/ubuntu groovy/main amd64 python3 amd64 3.8.2-0ubuntu2 [47.6 kB] Get:11 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 bsdextrautils amd64 2.36-3ubuntu1 [77.5 kB] Get:12 http://ftpmaster.internal/ubuntu groovy/main amd64 libuchardet0 amd64 0.0.7-1 [68.0 kB] Get:13 http://ftpmaster.internal/ubuntu groovy/main amd64 groff-base amd64 1.22.4-5 [847 kB] Get:14 http://ftpmaster.internal/ubuntu groovy/main amd64 libpipeline1 amd64 1.5.3-1 [27.8 kB] Get:15 http://ftpmaster.internal/ubuntu groovy/main amd64 man-db amd64 2.9.3-2 [1117 kB] Get:16 http://ftpmaster.internal/ubuntu groovy/main amd64 ucf all 3.0043 [56.1 kB] Get:17 http://ftpmaster.internal/ubuntu groovy/universe amd64 tex-common all 6.15 [33.0 kB] Get:18 http://ftpmaster.internal/ubuntu groovy/main amd64 libmagic-mgc amd64 1:5.38-5 [218 kB] Get:19 http://ftpmaster.internal/ubuntu groovy/main amd64 libmagic1 amd64 1:5.38-5 [76.0 kB] Get:20 http://ftpmaster.internal/ubuntu groovy/main amd64 file amd64 1:5.38-5 [23.3 kB] Get:21 http://ftpmaster.internal/ubuntu groovy/main amd64 libbsd0 amd64 0.10.0-1 [45.4 kB] Get:22 http://ftpmaster.internal/ubuntu groovy/main amd64 libelf1 amd64 0.180-1 [44.2 kB] Get:23 http://ftpmaster.internal/ubuntu groovy-proposed/main amd64 libglib2.0-0 amd64 2.65.2-1 [1302 kB] Get:24 http://ftpmaster.internal/ubuntu groovy/main amd64 libicu67 amd64 67.1-4 [8620 kB] Get:25 http://ftpmaster.internal/ubuntu groovy/main amd64 libxml2 amd64 2.9.10+dfsg-5build1 [623 kB] Get:26 http://ftpmaster.internal/ubuntu groovy/main amd64 gettext-base amd64 0.19.8.1-10build1 [50.2 kB] Get:27 http://ftpmaster.internal/ubuntu groovy/main amd64 libxau6 amd64 1:1.0.9-0ubuntu1 [7488 B] Get:28 http://ftpmaster.internal/ubuntu groovy/main amd64 libxdmcp6 amd64 1:1.1.3-0ubuntu1 [10.6 kB] Get:29 http://ftpmaster.internal/ubuntu groovy/main amd64 libxcb1 amd64 1.14-2 [44.7 kB] Get:30 http://ftpmaster.internal/ubuntu groovy/main amd64 libx11-data all 2:1.6.10-3 [113 kB] Get:31 http://ftpmaster.internal/ubuntu groovy/main amd64 libx11-6 amd64 2:1.6.10-3 [576 kB] Get:32 http://ftpmaster.internal/ubuntu groovy/main amd64 libxext6 amd64 2:1.3.4-0ubuntu1 [29.1 kB] Get:33 http://ftpmaster.internal/ubuntu groovy/main amd64 libsigsegv2 amd64 2.12-2build1 [13.9 kB] Get:34 http://ftpmaster.internal/ubuntu groovy/main amd64 m4 amd64 1.4.18-4 [199 kB] Get:35 http://ftpmaster.internal/ubuntu groovy/main amd64 autoconf all 2.69-11.1 [321 kB] Get:36 http://ftpmaster.internal/ubuntu groovy/main amd64 autotools-dev all 20180224.1 [39.6 kB] Get:37 http://ftpmaster.internal/ubuntu groovy/main amd64 automake all 1:1.16.2-3ubuntu2 [548 kB] Get:38 http://ftpmaster.internal/ubuntu groovy/main amd64 autopoint all 0.19.8.1-10build1 [412 kB] Get:39 http://ftpmaster.internal/ubuntu groovy/main amd64 libtool all 2.4.6-14 [161 kB] Get:40 http://ftpmaster.internal/ubuntu groovy/main amd64 dh-autoreconf all 19 [16.1 kB] Get:41 http://ftpmaster.internal/ubuntu groovy/main amd64 libdebhelper-perl all 13.2ubuntu1 [64.2 kB] Get:42 http://ftpmaster.internal/ubuntu groovy/main amd64 libarchive-zip-perl all 1.68-1 [90.2 kB] Get:43 http://ftpmaster.internal/ubuntu groovy/main amd64 libsub-override-perl all 0.09-2 [9532 B] Get:44 http://ftpmaster.internal/ubuntu groovy/main amd64 libfile-stripnondeterminism-perl all 1.9.0-1 [17.2 kB] Get:45 http://ftpmaster.internal/ubuntu groovy/main amd64 dh-strip-nondeterminism all 1.9.0-1 [5192 B] Get:46 http://ftpmaster.internal/ubuntu groovy/main amd64 dwz amd64 0.13-5 [151 kB] Get:47 http://ftpmaster.internal/ubuntu groovy/main amd64 libcroco3 amd64 0.6.13-1 [82.5 kB] Get:48 http://ftpmaster.internal/ubuntu groovy/main amd64 gettext amd64 0.19.8.1-10build1 [895 kB] Get:49 http://ftpmaster.internal/ubuntu groovy/main amd64 intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:50 http://ftpmaster.internal/ubuntu groovy/main amd64 po-debconf all 1.0.21 [233 kB] Get:51 http://ftpmaster.internal/ubuntu groovy/main amd64 debhelper all 13.2ubuntu1 [878 kB] Get:52 http://ftpmaster.internal/ubuntu groovy/main amd64 python3-lib2to3 all 3.8.5-1 [75.6 kB] Get:53 http://ftpmaster.internal/ubuntu groovy/main amd64 python3-distutils all 3.8.5-1 [141 kB] Get:54 http://ftpmaster.internal/ubuntu groovy/universe amd64 dh-python all 4.20200804ubuntu3 [91.7 kB] Get:55 http://ftpmaster.internal/ubuntu groovy/main amd64 fonts-dejavu-core all 2.37-2 [1041 kB] Get:56 http://ftpmaster.internal/ubuntu groovy/main amd64 fontconfig-config all 2.13.1-2ubuntu3 [28.8 kB] Get:57 http://ftpmaster.internal/ubuntu groovy/universe amd64 fonts-lmodern all 2.004.5-6 [4532 kB] Get:58 http://ftpmaster.internal/ubuntu groovy/universe amd64 libapache-pom-java all 18-1 [4720 B] Get:59 http://ftpmaster.internal/ubuntu groovy/main amd64 libbrotli1 amd64 1.0.9-1 [279 kB] Get:60 http://ftpmaster.internal/ubuntu groovy/main amd64 libfreetype6 amd64 2.10.2+dfsg-3 [348 kB] Get:61 http://ftpmaster.internal/ubuntu groovy/main amd64 libfontconfig1 amd64 2.13.1-2ubuntu3 [114 kB] Get:62 http://ftpmaster.internal/ubuntu groovy/main amd64 libpixman-1-0 amd64 0.38.4-0ubuntu1 [227 kB] Get:63 http://ftpmaster.internal/ubuntu groovy/main amd64 libxcb-render0 amd64 1.14-2 [14.8 kB] Get:64 http://ftpmaster.internal/ubuntu groovy/main amd64 libxcb-shm0 amd64 1.14-2 [5584 B] Get:65 http://ftpmaster.internal/ubuntu groovy/main amd64 libxrender1 amd64 1:0.9.10-1 [18.7 kB] Get:66 http://ftpmaster.internal/ubuntu groovy/main amd64 libcairo2 amd64 1.16.0-4ubuntu1 [583 kB] Get:67 http://ftpmaster.internal/ubuntu groovy/universe amd64 libcommons-parent-java all 43-1 [10.8 kB] Get:68 http://ftpmaster.internal/ubuntu groovy/universe amd64 libcommons-logging-java all 1.2-2 [60.3 kB] Get:69 http://ftpmaster.internal/ubuntu groovy/universe amd64 ocaml-base-nox amd64 4.08.1-10 [511 kB] Get:70 http://ftpmaster.internal/ubuntu groovy/universe amd64 libfindlib-ocaml amd64 1.8.1-1build3 [170 kB] Get:71 http://ftpmaster.internal/ubuntu groovy/main amd64 libgraphite2-3 amd64 1.3.14-1 [73.7 kB] Get:72 http://ftpmaster.internal/ubuntu groovy/main amd64 libharfbuzz0b amd64 2.6.4-1ubuntu5 [331 kB] Get:73 http://ftpmaster.internal/ubuntu groovy/main amd64 x11-common all 1:7.7+19ubuntu14 [22.3 kB] Get:74 http://ftpmaster.internal/ubuntu groovy/main amd64 libice6 amd64 2:1.0.10-0ubuntu1 [41.0 kB] Get:75 http://ftpmaster.internal/ubuntu groovy/main amd64 libkpathsea6 amd64 2020.20200327.54578-4build1 [57.7 kB] Get:76 http://ftpmaster.internal/ubuntu groovy/main amd64 libncurses-dev amd64 6.2-1 [339 kB] Get:77 http://ftpmaster.internal/ubuntu groovy/main amd64 libncurses5-dev amd64 6.2-1 [976 B] Get:78 http://ftpmaster.internal/ubuntu groovy/universe amd64 ocaml-compiler-libs amd64 4.08.1-10 [24.4 MB] Get:79 http://ftpmaster.internal/ubuntu groovy/universe amd64 ocaml-interp amd64 4.08.1-10 [4634 kB] Get:80 http://ftpmaster.internal/ubuntu groovy/universe amd64 ocaml-nox amd64 4.08.1-10 [55.0 MB] Get:81 http://ftpmaster.internal/ubuntu groovy-proposed/universe amd64 libmenhir-ocaml-dev amd64 20200624-1 [464 kB] Get:82 http://ftpmaster.internal/ubuntu groovy/main amd64 libpaper1 amd64 1.1.28 [13.0 kB] Get:83 http://ftpmaster.internal/ubuntu groovy/main amd64 libpaper-utils amd64 1.1.28 [8400 B] Get:84 http://ftpmaster.internal/ubuntu groovy/universe amd64 libparmap-ocaml amd64 1.1.1-2 [72.6 kB] Get:85 http://ftpmaster.internal/ubuntu groovy/universe amd64 libparmap-ocaml-dev amd64 1.1.1-2 [162 kB] Get:86 http://ftpmaster.internal/ubuntu groovy/universe amd64 libpcre-ocaml amd64 7.4.6-1 [91.8 kB] Get:87 http://ftpmaster.internal/ubuntu groovy/main amd64 libpcre16-3 amd64 2:8.39-13 [150 kB] Get:88 http://ftpmaster.internal/ubuntu groovy/main amd64 libpcre32-3 amd64 2:8.39-13 [140 kB] Get:89 http://ftpmaster.internal/ubuntu groovy/main amd64 libpcrecpp0v5 amd64 2:8.39-13 [15.5 kB] Get:90 http://ftpmaster.internal/ubuntu groovy/main amd64 libpcre3-dev amd64 2:8.39-13 [541 kB] Get:91 http://ftpmaster.internal/ubuntu groovy/universe amd64 ocaml-findlib amd64 1.8.1-1build3 [457 kB] Get:92 http://ftpmaster.internal/ubuntu groovy/universe amd64 libpcre-ocaml-dev amd64 7.4.6-1 [202 kB] Get:93 http://ftpmaster.internal/ubuntu groovy/main amd64 libptexenc1 amd64 2020.20200327.54578-4build1 [36.0 kB] Get:94 http://ftpmaster.internal/ubuntu groovy/main amd64 libsm6 amd64 2:1.2.3-1 [16.1 kB] Get:95 http://ftpmaster.internal/ubuntu groovy/universe amd64 libstdcompat-ocaml amd64 14-2 [47.0 kB] Get:96 http://ftpmaster.internal/ubuntu groovy/universe amd64 libstdcompat-ocaml-dev amd64 14-2 [751 kB] Get:97 http://ftpmaster.internal/ubuntu groovy/main amd64 libsynctex2 amd64 2020.20200327.54578-4build1 [55.4 kB] Get:98 http://ftpmaster.internal/ubuntu groovy/universe amd64 libteckit0 amd64 2.5.8+ds2-5ubuntu2 [320 kB] Get:99 http://ftpmaster.internal/ubuntu groovy/main amd64 libtexlua53 amd64 2020.20200327.54578-4build1 [108 kB] Get:100 http://ftpmaster.internal/ubuntu groovy/main amd64 libtexluajit2 amd64 2020.20200327.54578-4build1 [243 kB] Get:101 http://ftpmaster.internal/ubuntu groovy/main amd64 libxt6 amd64 1:1.2.0-1 [160 kB] Get:102 http://ftpmaster.internal/ubuntu groovy/main amd64 libxmu6 amd64 2:1.1.3-0ubuntu1 [45.8 kB] Get:103 http://ftpmaster.internal/ubuntu groovy/main amd64 libxpm4 amd64 1:3.5.12-1 [34.0 kB] Get:104 http://ftpmaster.internal/ubuntu groovy/main amd64 libxaw7 amd64 2:1.0.13-1 [173 kB] Get:105 http://ftpmaster.internal/ubuntu groovy/main amd64 libxi6 amd64 2:1.7.10-1 [29.9 kB] Get:106 http://ftpmaster.internal/ubuntu groovy/universe amd64 libzzip-0-13 amd64 0.13.62-3.2ubuntu1 [26.2 kB] Get:107 http://ftpmaster.internal/ubuntu groovy-proposed/universe amd64 menhir amd64 20200624-1 [793 kB] Get:108 http://ftpmaster.internal/ubuntu groovy/main amd64 pkg-config amd64 0.29.2-1ubuntu1 [46.2 kB] Get:109 http://ftpmaster.internal/ubuntu groovy/universe amd64 preview-latex-style all 11.91-2ubuntu2 [184 kB] Get:110 http://ftpmaster.internal/ubuntu groovy/main amd64 t1utils amd64 1.41-4 [56.0 kB] Get:111 http://ftpmaster.internal/ubuntu groovy/universe amd64 texlive-binaries amd64 2020.20200327.54578-4build1 [10.1 MB] Get:112 http://ftpmaster.internal/ubuntu groovy/main amd64 xdg-utils all 1.1.3-2ubuntu1 [61.6 kB] Get:113 http://ftpmaster.internal/ubuntu groovy/universe amd64 texlive-base all 2020.20200804-2 [21.4 MB] Get:114 http://ftpmaster.internal/ubuntu groovy-proposed/universe amd64 texlive-fonts-extra all 2020.20200804-3 [478 MB] Get:115 http://ftpmaster.internal/ubuntu groovy/universe amd64 texlive-fonts-recommended all 2020.20200804-2 [4974 kB] Get:116 http://ftpmaster.internal/ubuntu groovy/universe amd64 texlive-latex-base all 2020.20200804-2 [1036 kB] Get:117 http://ftpmaster.internal/ubuntu groovy/universe amd64 libfontbox-java all 1:1.8.16-2 [207 kB] Get:118 http://ftpmaster.internal/ubuntu groovy/universe amd64 libpdfbox-java all 1:1.8.16-2 [5199 kB] Get:119 http://ftpmaster.internal/ubuntu groovy/universe amd64 texlive-latex-recommended all 2020.20200804-2 [14.5 MB] Get:120 http://ftpmaster.internal/ubuntu groovy/universe amd64 texlive-pictures all 2020.20200804-2 [4655 kB] Get:121 http://ftpmaster.internal/ubuntu groovy-proposed/universe amd64 texlive-latex-extra all 2020.20200804-3 [12.8 MB] Get:122 http://ftpmaster.internal/ubuntu groovy/universe amd64 dh-ocaml all 1.1.2 [79.7 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 674 MB in 27s (25.1 MB/s) Selecting previously unselected package libpython3.8-minimal:amd64. (Reading database ... 12913 files and directories currently installed.) Preparing to unpack .../libpython3.8-minimal_3.8.5-2ubuntu1_amd64.deb ... Unpacking libpython3.8-minimal:amd64 (3.8.5-2ubuntu1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.2.9-1build1_amd64.deb ... Unpacking libexpat1:amd64 (2.2.9-1build1) ... Selecting previously unselected package python3.8-minimal. Preparing to unpack .../python3.8-minimal_3.8.5-2ubuntu1_amd64.deb ... Unpacking python3.8-minimal (3.8.5-2ubuntu1) ... Setting up libpython3.8-minimal:amd64 (3.8.5-2ubuntu1) ... Setting up libexpat1:amd64 (2.2.9-1build1) ... Setting up python3.8-minimal (3.8.5-2ubuntu1) ... Selecting previously unselected package python3-minimal. (Reading database ... 13204 files and directories currently installed.) Preparing to unpack .../python3-minimal_3.8.2-0ubuntu2_amd64.deb ... Unpacking python3-minimal (3.8.2-0ubuntu2) ... Selecting previously unselected package mime-support. Preparing to unpack .../mime-support_3.64ubuntu1_all.deb ... Unpacking mime-support (3.64ubuntu1) ... Selecting previously unselected package libpython3.8-stdlib:amd64. Preparing to unpack .../libpython3.8-stdlib_3.8.5-2ubuntu1_amd64.deb ... Unpacking libpython3.8-stdlib:amd64 (3.8.5-2ubuntu1) ... Selecting previously unselected package python3.8. Preparing to unpack .../python3.8_3.8.5-2ubuntu1_amd64.deb ... Unpacking python3.8 (3.8.5-2ubuntu1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../libpython3-stdlib_3.8.2-0ubuntu2_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.8.2-0ubuntu2) ... Setting up python3-minimal (3.8.2-0ubuntu2) ... Selecting previously unselected package python3. (Reading database ... 13601 files and directories currently installed.) Preparing to unpack .../000-python3_3.8.2-0ubuntu2_amd64.deb ... Unpacking python3 (3.8.2-0ubuntu2) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../001-bsdextrautils_2.36-3ubuntu1_amd64.deb ... Unpacking bsdextrautils (2.36-3ubuntu1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../002-libuchardet0_0.0.7-1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../003-groff-base_1.22.4-5_amd64.deb ... Unpacking groff-base (1.22.4-5) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../004-libpipeline1_1.5.3-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.3-1) ... Selecting previously unselected package man-db. Preparing to unpack .../005-man-db_2.9.3-2_amd64.deb ... Unpacking man-db (2.9.3-2) ... Selecting previously unselected package ucf. Preparing to unpack .../006-ucf_3.0043_all.deb ... Moving old data out of the way Unpacking ucf (3.0043) ... Selecting previously unselected package tex-common. Preparing to unpack .../007-tex-common_6.15_all.deb ... Unpacking tex-common (6.15) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../008-libmagic-mgc_1%3a5.38-5_amd64.deb ... Unpacking libmagic-mgc (1:5.38-5) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../009-libmagic1_1%3a5.38-5_amd64.deb ... Unpacking libmagic1:amd64 (1:5.38-5) ... Selecting previously unselected package file. Preparing to unpack .../010-file_1%3a5.38-5_amd64.deb ... Unpacking file (1:5.38-5) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../011-libbsd0_0.10.0-1_amd64.deb ... Unpacking libbsd0:amd64 (0.10.0-1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../012-libelf1_0.180-1_amd64.deb ... Unpacking libelf1:amd64 (0.180-1) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../013-libglib2.0-0_2.65.2-1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.65.2-1) ... Selecting previously unselected package libicu67:amd64. Preparing to unpack .../014-libicu67_67.1-4_amd64.deb ... Unpacking libicu67:amd64 (67.1-4) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../015-libxml2_2.9.10+dfsg-5build1_amd64.deb ... Unpacking libxml2:amd64 (2.9.10+dfsg-5build1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../016-gettext-base_0.19.8.1-10build1_amd64.deb ... Unpacking gettext-base (0.19.8.1-10build1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../017-libxau6_1%3a1.0.9-0ubuntu1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.9-0ubuntu1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../018-libxdmcp6_1%3a1.1.3-0ubuntu1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.3-0ubuntu1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../019-libxcb1_1.14-2_amd64.deb ... Unpacking libxcb1:amd64 (1.14-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../020-libx11-data_2%3a1.6.10-3_all.deb ... Unpacking libx11-data (2:1.6.10-3) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../021-libx11-6_2%3a1.6.10-3_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.10-3) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../022-libxext6_2%3a1.3.4-0ubuntu1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-0ubuntu1) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../023-libsigsegv2_2.12-2build1_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-2build1) ... Selecting previously unselected package m4. Preparing to unpack .../024-m4_1.4.18-4_amd64.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../025-autoconf_2.69-11.1_all.deb ... Unpacking autoconf (2.69-11.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../026-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../027-automake_1%3a1.16.2-3ubuntu2_all.deb ... Unpacking automake (1:1.16.2-3ubuntu2) ... Selecting previously unselected package autopoint. Preparing to unpack .../028-autopoint_0.19.8.1-10build1_all.deb ... Unpacking autopoint (0.19.8.1-10build1) ... Selecting previously unselected package libtool. Preparing to unpack .../029-libtool_2.4.6-14_all.deb ... Unpacking libtool (2.4.6-14) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../030-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../031-libdebhelper-perl_13.2ubuntu1_all.deb ... Unpacking libdebhelper-perl (13.2ubuntu1) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../032-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../033-libsub-override-perl_0.09-2_all.deb ... Unpacking libsub-override-perl (0.09-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../034-libfile-stripnondeterminism-perl_1.9.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.9.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../035-dh-strip-nondeterminism_1.9.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.9.0-1) ... Selecting previously unselected package dwz. Preparing to unpack .../036-dwz_0.13-5_amd64.deb ... Unpacking dwz (0.13-5) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../037-libcroco3_0.6.13-1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../038-gettext_0.19.8.1-10build1_amd64.deb ... Unpacking gettext (0.19.8.1-10build1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../039-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../040-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../041-debhelper_13.2ubuntu1_all.deb ... Unpacking debhelper (13.2ubuntu1) ... Selecting previously unselected package python3-lib2to3. Preparing to unpack .../042-python3-lib2to3_3.8.5-1_all.deb ... Unpacking python3-lib2to3 (3.8.5-1) ... Selecting previously unselected package python3-distutils. Preparing to unpack .../043-python3-distutils_3.8.5-1_all.deb ... Unpacking python3-distutils (3.8.5-1) ... Selecting previously unselected package dh-python. Preparing to unpack .../044-dh-python_4.20200804ubuntu3_all.deb ... Unpacking dh-python (4.20200804ubuntu3) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../045-fonts-dejavu-core_2.37-2_all.deb ... Unpacking fonts-dejavu-core (2.37-2) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../046-fontconfig-config_2.13.1-2ubuntu3_all.deb ... Unpacking fontconfig-config (2.13.1-2ubuntu3) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../047-fonts-lmodern_2.004.5-6_all.deb ... Unpacking fonts-lmodern (2.004.5-6) ... Selecting previously unselected package libapache-pom-java. Preparing to unpack .../048-libapache-pom-java_18-1_all.deb ... Unpacking libapache-pom-java (18-1) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../049-libbrotli1_1.0.9-1_amd64.deb ... Unpacking libbrotli1:amd64 (1.0.9-1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../050-libfreetype6_2.10.2+dfsg-3_amd64.deb ... Unpacking libfreetype6:amd64 (2.10.2+dfsg-3) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../051-libfontconfig1_2.13.1-2ubuntu3_amd64.deb ... Unpacking libfontconfig1:amd64 (2.13.1-2ubuntu3) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../052-libpixman-1-0_0.38.4-0ubuntu1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.38.4-0ubuntu1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../053-libxcb-render0_1.14-2_amd64.deb ... Unpacking libxcb-render0:amd64 (1.14-2) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../054-libxcb-shm0_1.14-2_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.14-2) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../055-libxrender1_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../056-libcairo2_1.16.0-4ubuntu1_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-4ubuntu1) ... Selecting previously unselected package libcommons-parent-java. Preparing to unpack .../057-libcommons-parent-java_43-1_all.deb ... Unpacking libcommons-parent-java (43-1) ... Selecting previously unselected package libcommons-logging-java. Preparing to unpack .../058-libcommons-logging-java_1.2-2_all.deb ... Unpacking libcommons-logging-java (1.2-2) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../059-ocaml-base-nox_4.08.1-10_amd64.deb ... Unpacking ocaml-base-nox (4.08.1-10) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../060-libfindlib-ocaml_1.8.1-1build3_amd64.deb ... Unpacking libfindlib-ocaml (1.8.1-1build3) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../061-libgraphite2-3_1.3.14-1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../062-libharfbuzz0b_2.6.4-1ubuntu5_amd64.deb ... Unpacking libharfbuzz0b:amd64 (2.6.4-1ubuntu5) ... Selecting previously unselected package x11-common. Preparing to unpack .../063-x11-common_1%3a7.7+19ubuntu14_all.deb ... dpkg-query: no packages found matching nux-tools Unpacking x11-common (1:7.7+19ubuntu14) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../064-libice6_2%3a1.0.10-0ubuntu1_amd64.deb ... Unpacking libice6:amd64 (2:1.0.10-0ubuntu1) ... Selecting previously unselected package libkpathsea6:amd64. Preparing to unpack .../065-libkpathsea6_2020.20200327.54578-4build1_amd64.deb ... Unpacking libkpathsea6:amd64 (2020.20200327.54578-4build1) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../066-libncurses-dev_6.2-1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.2-1) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../067-libncurses5-dev_6.2-1_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.2-1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../068-ocaml-compiler-libs_4.08.1-10_amd64.deb ... Unpacking ocaml-compiler-libs (4.08.1-10) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../069-ocaml-interp_4.08.1-10_amd64.deb ... Unpacking ocaml-interp (4.08.1-10) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../070-ocaml-nox_4.08.1-10_amd64.deb ... Unpacking ocaml-nox (4.08.1-10) ... Selecting previously unselected package libmenhir-ocaml-dev. Preparing to unpack .../071-libmenhir-ocaml-dev_20200624-1_amd64.deb ... Unpacking libmenhir-ocaml-dev (20200624-1) ... Selecting previously unselected package libpaper1:amd64. Preparing to unpack .../072-libpaper1_1.1.28_amd64.deb ... Unpacking libpaper1:amd64 (1.1.28) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../073-libpaper-utils_1.1.28_amd64.deb ... Unpacking libpaper-utils (1.1.28) ... Selecting previously unselected package libparmap-ocaml. Preparing to unpack .../074-libparmap-ocaml_1.1.1-2_amd64.deb ... Unpacking libparmap-ocaml (1.1.1-2) ... Selecting previously unselected package libparmap-ocaml-dev. Preparing to unpack .../075-libparmap-ocaml-dev_1.1.1-2_amd64.deb ... Unpacking libparmap-ocaml-dev (1.1.1-2) ... Selecting previously unselected package libpcre-ocaml. Preparing to unpack .../076-libpcre-ocaml_7.4.6-1_amd64.deb ... Unpacking libpcre-ocaml (7.4.6-1) ... Selecting previously unselected package libpcre16-3:amd64. Preparing to unpack .../077-libpcre16-3_2%3a8.39-13_amd64.deb ... Unpacking libpcre16-3:amd64 (2:8.39-13) ... Selecting previously unselected package libpcre32-3:amd64. Preparing to unpack .../078-libpcre32-3_2%3a8.39-13_amd64.deb ... Unpacking libpcre32-3:amd64 (2:8.39-13) ... Selecting previously unselected package libpcrecpp0v5:amd64. Preparing to unpack .../079-libpcrecpp0v5_2%3a8.39-13_amd64.deb ... Unpacking libpcrecpp0v5:amd64 (2:8.39-13) ... Selecting previously unselected package libpcre3-dev:amd64. Preparing to unpack .../080-libpcre3-dev_2%3a8.39-13_amd64.deb ... Unpacking libpcre3-dev:amd64 (2:8.39-13) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../081-ocaml-findlib_1.8.1-1build3_amd64.deb ... Unpacking ocaml-findlib (1.8.1-1build3) ... Selecting previously unselected package libpcre-ocaml-dev. Preparing to unpack .../082-libpcre-ocaml-dev_7.4.6-1_amd64.deb ... Unpacking libpcre-ocaml-dev (7.4.6-1) ... Selecting previously unselected package libptexenc1:amd64. Preparing to unpack .../083-libptexenc1_2020.20200327.54578-4build1_amd64.deb ... Unpacking libptexenc1:amd64 (2020.20200327.54578-4build1) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../084-libsm6_2%3a1.2.3-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.3-1) ... Selecting previously unselected package libstdcompat-ocaml. Preparing to unpack .../085-libstdcompat-ocaml_14-2_amd64.deb ... Unpacking libstdcompat-ocaml (14-2) ... Selecting previously unselected package libstdcompat-ocaml-dev. Preparing to unpack .../086-libstdcompat-ocaml-dev_14-2_amd64.deb ... Unpacking libstdcompat-ocaml-dev (14-2) ... Selecting previously unselected package libsynctex2:amd64. Preparing to unpack .../087-libsynctex2_2020.20200327.54578-4build1_amd64.deb ... Unpacking libsynctex2:amd64 (2020.20200327.54578-4build1) ... Selecting previously unselected package libteckit0:amd64. Preparing to unpack .../088-libteckit0_2.5.8+ds2-5ubuntu2_amd64.deb ... Unpacking libteckit0:amd64 (2.5.8+ds2-5ubuntu2) ... Selecting previously unselected package libtexlua53:amd64. Preparing to unpack .../089-libtexlua53_2020.20200327.54578-4build1_amd64.deb ... Unpacking libtexlua53:amd64 (2020.20200327.54578-4build1) ... Selecting previously unselected package libtexluajit2:amd64. Preparing to unpack .../090-libtexluajit2_2020.20200327.54578-4build1_amd64.deb ... Unpacking libtexluajit2:amd64 (2020.20200327.54578-4build1) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../091-libxt6_1%3a1.2.0-1_amd64.deb ... Unpacking libxt6:amd64 (1:1.2.0-1) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../092-libxmu6_2%3a1.1.3-0ubuntu1_amd64.deb ... Unpacking libxmu6:amd64 (2:1.1.3-0ubuntu1) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../093-libxpm4_1%3a3.5.12-1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-1) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../094-libxaw7_2%3a1.0.13-1_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.13-1) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../095-libxi6_2%3a1.7.10-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.10-1) ... Selecting previously unselected package libzzip-0-13:amd64. Preparing to unpack .../096-libzzip-0-13_0.13.62-3.2ubuntu1_amd64.deb ... Unpacking libzzip-0-13:amd64 (0.13.62-3.2ubuntu1) ... Selecting previously unselected package menhir. Preparing to unpack .../097-menhir_20200624-1_amd64.deb ... Unpacking menhir (20200624-1) ... Selecting previously unselected package pkg-config. Preparing to unpack .../098-pkg-config_0.29.2-1ubuntu1_amd64.deb ... Unpacking pkg-config (0.29.2-1ubuntu1) ... Selecting previously unselected package preview-latex-style. Preparing to unpack .../099-preview-latex-style_11.91-2ubuntu2_all.deb ... Unpacking preview-latex-style (11.91-2ubuntu2) ... Selecting previously unselected package t1utils. Preparing to unpack .../100-t1utils_1.41-4_amd64.deb ... Unpacking t1utils (1.41-4) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../101-texlive-binaries_2020.20200327.54578-4build1_amd64.deb ... Unpacking texlive-binaries (2020.20200327.54578-4build1) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../102-xdg-utils_1.1.3-2ubuntu1_all.deb ... Unpacking xdg-utils (1.1.3-2ubuntu1) ... Selecting previously unselected package texlive-base. Preparing to unpack .../103-texlive-base_2020.20200804-2_all.deb ... Unpacking texlive-base (2020.20200804-2) ... Selecting previously unselected package texlive-fonts-extra. Preparing to unpack .../104-texlive-fonts-extra_2020.20200804-3_all.deb ... Unpacking texlive-fonts-extra (2020.20200804-3) ... Selecting previously unselected package texlive-fonts-recommended. Preparing to unpack .../105-texlive-fonts-recommended_2020.20200804-2_all.deb ... Unpacking texlive-fonts-recommended (2020.20200804-2) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../106-texlive-latex-base_2020.20200804-2_all.deb ... Unpacking texlive-latex-base (2020.20200804-2) ... Selecting previously unselected package libfontbox-java. Preparing to unpack .../107-libfontbox-java_1%3a1.8.16-2_all.deb ... Unpacking libfontbox-java (1:1.8.16-2) ... Selecting previously unselected package libpdfbox-java. Preparing to unpack .../108-libpdfbox-java_1%3a1.8.16-2_all.deb ... Unpacking libpdfbox-java (1:1.8.16-2) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../109-texlive-latex-recommended_2020.20200804-2_all.deb ... Unpacking texlive-latex-recommended (2020.20200804-2) ... Selecting previously unselected package texlive-pictures. Preparing to unpack .../110-texlive-pictures_2020.20200804-2_all.deb ... Unpacking texlive-pictures (2020.20200804-2) ... Selecting previously unselected package texlive-latex-extra. Preparing to unpack .../111-texlive-latex-extra_2020.20200804-3_all.deb ... Unpacking texlive-latex-extra (2020.20200804-3) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../112-dh-ocaml_1.1.2_all.deb ... Unpacking dh-ocaml (1.1.2) ... Selecting previously unselected package sbuild-build-depends-coccinelle-dummy. Preparing to unpack .../113-sbuild-build-depends-coccinelle-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-coccinelle-dummy (0.invalid.0) ... Setting up libpcrecpp0v5:amd64 (2:8.39-13) ... Setting up libpipeline1:amd64 (1.5.3-1) ... Setting up libgraphite2-3:amd64 (1.3.14-1) ... Setting up libpixman-1-0:amd64 (0.38.4-0ubuntu1) ... Setting up libxau6:amd64 (1:1.0.9-0ubuntu1) ... Setting up libncurses-dev:amd64 (6.2-1) ... Setting up mime-support (3.64ubuntu1) ... Setting up bsdextrautils (2.36-3ubuntu1) ... update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode Setting up libpcre16-3:amd64 (2:8.39-13) ... Setting up libicu67:amd64 (67.1-4) ... Setting up libmagic-mgc (1:5.38-5) ... Setting up libtexlua53:amd64 (2020.20200327.54578-4build1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libglib2.0-0:amd64 (2.65.2-1) ... No schema files found: doing nothing. Setting up libtexluajit2:amd64 (2020.20200327.54578-4build1) ... Setting up libdebhelper-perl (13.2ubuntu1) ... Setting up libbrotli1:amd64 (1.0.9-1) ... Setting up libfontbox-java (1:1.8.16-2) ... Setting up x11-common (1:7.7+19ubuntu14) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up dh-ocaml (1.1.2) ... Setting up libmagic1:amd64 (1:5.38-5) ... Setting up gettext-base (0.19.8.1-10build1) ... Setting up libzzip-0-13:amd64 (0.13.62-3.2ubuntu1) ... Setting up file (1:5.38-5) ... Setting up autotools-dev (20180224.1) ... Setting up libfreetype6:amd64 (2.10.2+dfsg-3) ... Setting up libx11-data (2:1.6.10-3) ... Setting up libteckit0:amd64 (2.5.8+ds2-5ubuntu2) ... Setting up libapache-pom-java (18-1) ... Setting up libsigsegv2:amd64 (2.12-2build1) ... Setting up t1utils (1.41-4) ... Setting up libpcre32-3:amd64 (2:8.39-13) ... Setting up autopoint (0.19.8.1-10build1) ... Setting up pkg-config (0.29.2-1ubuntu1) ... Setting up fonts-dejavu-core (2.37-2) ... Setting up ucf (3.0043) ... Setting up libkpathsea6:amd64 (2020.20200327.54578-4build1) ... Setting up libuchardet0:amd64 (0.0.7-1) ... Setting up libncurses5-dev:amd64 (6.2-1) ... Setting up fonts-lmodern (2.004.5-6) ... Setting up libsub-override-perl (0.09-2) ... Setting up libharfbuzz0b:amd64 (2.6.4-1ubuntu5) ... Setting up ocaml-base-nox (4.08.1-10) ... Setting up libpython3.8-stdlib:amd64 (3.8.5-2ubuntu1) ... Setting up python3.8 (3.8.5-2ubuntu1) ... Setting up libbsd0:amd64 (0.10.0-1) ... Setting up libparmap-ocaml (1.1.1-2) ... Setting up libelf1:amd64 (0.180-1) ... Setting up libxml2:amd64 (2.9.10+dfsg-5build1) ... Setting up xdg-utils (1.1.3-2ubuntu1) ... Setting up menhir (20200624-1) ... Setting up libsynctex2:amd64 (2020.20200327.54578-4build1) ... Setting up libpython3-stdlib:amd64 (3.8.2-0ubuntu2) ... Setting up libfile-stripnondeterminism-perl (1.9.0-1) ... Setting up libpaper1:amd64 (1.1.28) ... Creating config file /etc/papersize with new version Setting up libice6:amd64 (2:1.0.10-0ubuntu1) ... Setting up libxdmcp6:amd64 (1:1.1.3-0ubuntu1) ... Setting up libxcb1:amd64 (1.14-2) ... Setting up libpdfbox-java (1:1.8.16-2) ... Setting up libtool (2.4.6-14) ... Setting up libxcb-render0:amd64 (1.14-2) ... Setting up libpcre3-dev:amd64 (2:8.39-13) ... Setting up fontconfig-config (2.13.1-2ubuntu3) ... Setting up libcommons-parent-java (43-1) ... Setting up libfindlib-ocaml (1.8.1-1build3) ... Setting up libcommons-logging-java (1.2-2) ... Setting up m4 (1.4.18-4) ... Setting up python3 (3.8.2-0ubuntu2) ... Setting up libxcb-shm0:amd64 (1.14-2) ... Setting up libpaper-utils (1.1.28) ... Setting up tex-common (6.15) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libptexenc1:amd64 (2020.20200327.54578-4build1) ... Setting up ocaml-findlib (1.8.1-1build3) ... Setting up libcroco3:amd64 (0.6.13-1) ... Setting up autoconf (2.69-11.1) ... Setting up libpcre-ocaml (7.4.6-1) ... Setting up dh-strip-nondeterminism (1.9.0-1) ... Setting up libstdcompat-ocaml (14-2) ... Setting up dwz (0.13-5) ... Setting up groff-base (1.22.4-5) ... Setting up libx11-6:amd64 (2:1.6.10-3) ... Setting up libfontconfig1:amd64 (2.13.1-2ubuntu3) ... Setting up python3-lib2to3 (3.8.5-1) ... Setting up libsm6:amd64 (2:1.2.3-1) ... Setting up automake (1:1.16.2-3ubuntu2) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up python3-distutils (3.8.5-1) ... Setting up dh-python (4.20200804ubuntu3) ... Setting up gettext (0.19.8.1-10build1) ... Setting up libxpm4:amd64 (1:3.5.12-1) ... Setting up libxrender1:amd64 (1:0.9.10-1) ... Setting up preview-latex-style (11.91-2ubuntu2) ... Setting up libxext6:amd64 (2:1.3.4-0ubuntu1) ... Setting up man-db (2.9.3-2) ... Not building database; man-db/auto-update is not 'true'. Created symlink /etc/systemd/system/timers.target.wants/man-db.timer → /lib/systemd/system/man-db.timer. Setting up libcairo2:amd64 (1.16.0-4ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libxt6:amd64 (1:1.2.0-1) ... Setting up libxmu6:amd64 (2:1.1.3-0ubuntu1) ... Setting up libxi6:amd64 (2:1.7.10-1) ... Setting up po-debconf (1.0.21) ... Setting up libxaw7:amd64 (2:1.0.13-1) ... Setting up texlive-binaries (2020.20200327.54578-4build1) ... 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 Setting up texlive-base (2020.20200804-2) ... tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/config/pdftexconfig.tex Setting up texlive-latex-base (2020.20200804-2) ... Setting up texlive-fonts-extra (2020.20200804-3) ... Setting up texlive-latex-recommended (2020.20200804-2) ... Setting up texlive-pictures (2020.20200804-2) ... Setting up texlive-fonts-recommended (2020.20200804-2) ... Setting up texlive-latex-extra (2020.20200804-3) ... Setting up ocaml-compiler-libs (4.08.1-10) ... Setting up dh-autoreconf (19) ... Setting up ocaml-interp (4.08.1-10) ... Setting up ocaml-nox (4.08.1-10) ... Setting up debhelper (13.2ubuntu1) ... Setting up libmenhir-ocaml-dev (20200624-1) ... Setting up libstdcompat-ocaml-dev (14-2) ... Setting up libparmap-ocaml-dev (1.1.1-2) ... Setting up libpcre-ocaml-dev (7.4.6-1) ... Setting up sbuild-build-depends-coccinelle-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.31-0ubuntu11) ... Processing triggers for systemd (246.2-1ubuntu1) ... Processing triggers for tex-common (6.15) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.15.0-115-generic amd64 (x86_64) Toolchain package versions: binutils_2.35-2ubuntu1 dpkg-dev_1.20.5ubuntu2 g++-10_10.2.0-6ubuntu1 gcc-10_10.2.0-6ubuntu1 libc6-dev_2.31-0ubuntu11 libstdc++-10-dev_10.2.0-6ubuntu1 libstdc++6_10.2.0-6ubuntu1 linux-libc-dev_5.8.0-18.19 Package versions: adduser_3.118ubuntu2 advancecomp_2.1-2.1build1 apt_2.1.10 autoconf_2.69-11.1 automake_1:1.16.2-3ubuntu2 autopoint_0.19.8.1-10build1 autotools-dev_20180224.1 base-files_11ubuntu12 base-passwd_3.5.47 bash_5.0-6ubuntu2 binutils_2.35-2ubuntu1 binutils-common_2.35-2ubuntu1 binutils-x86-64-linux-gnu_2.35-2ubuntu1 bsdextrautils_2.36-3ubuntu1 bsdutils_1:2.36-3ubuntu1 build-essential_12.8ubuntu3 bzip2_1.0.8-4ubuntu2 ca-certificates_20200601 coreutils_8.32-3ubuntu1 cpp_4:10.1.0-1ubuntu1 cpp-10_10.2.0-6ubuntu1 dash_0.5.10.2-7 debconf_1.5.74 debhelper_13.2ubuntu1 debianutils_4.11.1 dh-autoreconf_19 dh-ocaml_1.1.2 dh-python_4.20200804ubuntu3 dh-strip-nondeterminism_1.9.0-1 diffutils_1:3.7-3build1 dpkg_1.20.5ubuntu2 dpkg-dev_1.20.5ubuntu2 dwz_0.13-5 e2fsprogs_1.45.6-1ubuntu1 fakeroot_1.24-1 file_1:5.38-5 findutils_4.7.0-1ubuntu1 fontconfig-config_2.13.1-2ubuntu3 fonts-dejavu-core_2.37-2 fonts-lmodern_2.004.5-6 g++_4:10.1.0-1ubuntu1 g++-10_10.2.0-6ubuntu1 gcc_4:10.1.0-1ubuntu1 gcc-10_10.2.0-6ubuntu1 gcc-10-base_10.2.0-6ubuntu1 gettext_0.19.8.1-10build1 gettext-base_0.19.8.1-10build1 gpg_2.2.20-1ubuntu1 gpg-agent_2.2.20-1ubuntu1 gpgconf_2.2.20-1ubuntu1 gpgv_2.2.20-1ubuntu1 grep_3.4-1 groff-base_1.22.4-5 gzip_1.10-2ubuntu1 hostname_3.23 init_1.58 init-system-helpers_1.58 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-8 libapache-pom-java_18-1 libapparmor1_2.13.3-7ubuntu6 libapt-pkg6.0_2.1.10 libarchive-zip-perl_1.68-1 libargon2-1_0~20171227-0.2build20.10.0 libasan6_10.2.0-6ubuntu1 libassuan0_2.5.3-7.1 libatomic1_10.2.0-6ubuntu1 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-3ubuntu1 libaudit1_1:2.8.5-3ubuntu1 libbinutils_2.35-2ubuntu1 libblkid1_2.36-3ubuntu1 libbrotli1_1.0.9-1 libbsd0_0.10.0-1 libbz2-1.0_1.0.8-4ubuntu2 libc-bin_2.31-0ubuntu11 libc-dev-bin_2.31-0ubuntu11 libc6_2.31-0ubuntu11 libc6-dev_2.31-0ubuntu11 libcairo2_1.16.0-4ubuntu1 libcap-ng0_0.7.9-2.2 libcap2_1:2.43-1 libcc1-0_10.2.0-6ubuntu1 libcom-err2_1.45.6-1ubuntu1 libcommons-logging-java_1.2-2 libcommons-parent-java_43-1 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.16-1ubuntu1 libcrypt1_1:4.4.16-1ubuntu1 libcryptsetup12_2:2.3.3-1ubuntu4 libctf-nobfd0_2.35-2ubuntu1 libctf0_2.35-2ubuntu1 libdb5.3_5.3.28+dfsg1-0.6ubuntu2 libdebconfclient0_0.252ubuntu1 libdebhelper-perl_13.2ubuntu1 libdevmapper1.02.1_2:1.02.167-1ubuntu3 libdpkg-perl_1.20.5ubuntu2 libelf1_0.180-1 libexpat1_2.2.9-1build1 libext2fs2_1.45.6-1ubuntu1 libfakeroot_1.24-1 libffi7_3.3-4 libffi8ubuntu1_3.4~20200819gead65ca871-0ubuntu3 libfile-stripnondeterminism-perl_1.9.0-1 libfindlib-ocaml_1.8.1-1build3 libfontbox-java_1:1.8.16-2 libfontconfig1_2.13.1-2ubuntu3 libfreetype6_2.10.2+dfsg-3 libgcc-10-dev_10.2.0-6ubuntu1 libgcc-s1_10.2.0-6ubuntu1 libgcrypt20_1.8.5-5ubuntu2 libgdbm-compat4_1.18.1-5.1 libgdbm6_1.18.1-5.1 libglib2.0-0_2.65.2-1 libgmp10_2:6.2.0+dfsg-6ubuntu1 libgnutls30_3.6.13-4ubuntu4 libgomp1_10.2.0-6ubuntu1 libgpg-error0_1.38-2 libgraphite2-3_1.3.14-1 libharfbuzz0b_2.6.4-1ubuntu5 libhogweed6_3.6-2 libice6_2:1.0.10-0ubuntu1 libicu67_67.1-4 libidn2-0_2.3.0-1 libip4tc2_1.8.4-3ubuntu2 libisl22_0.22.1-1 libitm1_10.2.0-6ubuntu1 libjson-c4_0.13.1+dfsg-9 libjson-c5_0.15-1 libkmod2_27+20200310-2ubuntu1 libkpathsea6_2020.20200327.54578-4build1 liblockfile-bin_1.16-1.1 liblockfile1_1.16-1.1 liblsan0_10.2.0-6ubuntu1 liblz4-1_1.9.2-2 liblzma5_5.2.4-1ubuntu1 libmagic-mgc_1:5.38-5 libmagic1_1:5.38-5 libmenhir-ocaml-dev_20200624-1 libmount1_2.36-3ubuntu1 libmpc3_1.2.0~rc1-1 libmpfr6_4.1.0-3 libncurses-dev_6.2-1 libncurses5-dev_6.2-1 libncurses6_6.2-1 libncursesw6_6.2-1 libnettle8_3.6-2 libnpth0_1.6-2 libp11-kit0_0.23.21-2build1 libpam-modules_1.3.1-5ubuntu6 libpam-modules-bin_1.3.1-5ubuntu6 libpam-runtime_1.3.1-5ubuntu6 libpam0g_1.3.1-5ubuntu6 libpaper-utils_1.1.28 libpaper1_1.1.28 libparmap-ocaml_1.1.1-2 libparmap-ocaml-dev_1.1.1-2 libpcre-ocaml_7.4.6-1 libpcre-ocaml-dev_7.4.6-1 libpcre16-3_2:8.39-13 libpcre2-8-0_10.34-7 libpcre3_2:8.39-13 libpcre3-dev_2:8.39-13 libpcre32-3_2:8.39-13 libpcrecpp0v5_2:8.39-13 libpdfbox-java_1:1.8.16-2 libperl5.30_5.30.3-4 libpipeline1_1.5.3-1 libpixman-1-0_0.38.4-0ubuntu1 libpng16-16_1.6.37-2 libprocps8_2:3.3.16-5ubuntu1 libptexenc1_2020.20200327.54578-4build1 libpython3-stdlib_3.8.2-0ubuntu2 libpython3.8-minimal_3.8.5-2ubuntu1 libpython3.8-stdlib_3.8.5-2ubuntu1 libquadmath0_10.2.0-6ubuntu1 libreadline8_8.0-4 libseccomp2_2.4.3-1ubuntu4 libselinux1_3.1-2 libsemanage-common_3.1-1 libsemanage1_3.1-1 libsepol1_3.1-1 libsigsegv2_2.12-2build1 libsm6_2:1.2.3-1 libsmartcols1_2.36-3ubuntu1 libsqlite3-0_3.33.0-1 libss2_1.45.6-1ubuntu1 libssl1.1_1.1.1f-1ubuntu3 libstdc++-10-dev_10.2.0-6ubuntu1 libstdc++6_10.2.0-6ubuntu1 libstdcompat-ocaml_14-2 libstdcompat-ocaml-dev_14-2 libsub-override-perl_0.09-2 libsynctex2_2020.20200327.54578-4build1 libsystemd0_246.2-1ubuntu1 libtasn1-6_4.16.0-2 libteckit0_2.5.8+ds2-5ubuntu2 libtexlua53_2020.20200327.54578-4build1 libtexluajit2_2020.20200327.54578-4build1 libtinfo6_6.2-1 libtool_2.4.6-14 libtsan0_10.2.0-6ubuntu1 libubsan1_10.2.0-6ubuntu1 libuchardet0_0.0.7-1 libudev1_246.2-1ubuntu1 libunistring2_0.9.10-4 libuuid1_2.36-3ubuntu1 libx11-6_2:1.6.10-3 libx11-data_2:1.6.10-3 libxau6_1:1.0.9-0ubuntu1 libxaw7_2:1.0.13-1 libxcb-render0_1.14-2 libxcb-shm0_1.14-2 libxcb1_1.14-2 libxdmcp6_1:1.1.3-0ubuntu1 libxext6_2:1.3.4-0ubuntu1 libxi6_2:1.7.10-1 libxml2_2.9.10+dfsg-5build1 libxmu6_2:1.1.3-0ubuntu1 libxpm4_1:3.5.12-1 libxrender1_1:0.9.10-1 libxt6_1:1.2.0-1 libzstd1_1.4.5+dfsg-4 libzzip-0-13_0.13.62-3.2ubuntu1 linux-libc-dev_5.8.0-18.19 lockfile-progs_0.1.18 login_1:4.8.1-1ubuntu6 logsave_1.45.6-1ubuntu1 lsb-base_11.1.0ubuntu2 m4_1.4.18-4 make_4.3-4ubuntu1 man-db_2.9.3-2 mawk_1.3.4.20200120-2 menhir_20200624-1 mime-support_3.64ubuntu1 mount_2.36-3ubuntu1 ncurses-base_6.2-1 ncurses-bin_6.2-1 ocaml-base-nox_4.08.1-10 ocaml-compiler-libs_4.08.1-10 ocaml-findlib_1.8.1-1build3 ocaml-interp_4.08.1-10 ocaml-nox_4.08.1-10 openssl_1.1.1f-1ubuntu3 optipng_0.7.7-1 passwd_1:4.8.1-1ubuntu6 patch_2.7.6-6 perl_5.30.3-4 perl-base_5.30.3-4 perl-modules-5.30_5.30.3-4 pinentry-curses_1.1.0-4build1 pkg-config_0.29.2-1ubuntu1 pkgbinarymangler_146 po-debconf_1.0.21 policyrcd-script-zg2_0.1-3 preview-latex-style_11.91-2ubuntu2 procps_2:3.3.16-5ubuntu1 python3_3.8.2-0ubuntu2 python3-distutils_3.8.5-1 python3-lib2to3_3.8.5-1 python3-minimal_3.8.2-0ubuntu2 python3.8_3.8.5-2ubuntu1 python3.8-minimal_3.8.5-2ubuntu1 readline-common_8.0-4 sbuild-build-depends-coccinelle-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.7-1build1 sensible-utils_0.0.13 systemd_246.2-1ubuntu1 systemd-sysv_246.2-1ubuntu1 systemd-timesyncd_246.2-1ubuntu1 sysvinit-utils_2.96-3ubuntu1 t1utils_1.41-4 tar_1.30+dfsg-7 tex-common_6.15 texlive-base_2020.20200804-2 texlive-binaries_2020.20200327.54578-4build1 texlive-fonts-extra_2020.20200804-3 texlive-fonts-recommended_2020.20200804-2 texlive-latex-base_2020.20200804-2 texlive-latex-extra_2020.20200804-3 texlive-latex-recommended_2020.20200804-2 texlive-pictures_2020.20200804-2 tzdata_2020a-0ubuntu1 ubuntu-keyring_2020.06.17.1 ucf_3.0043 util-linux_2.36-3ubuntu1 x11-common_1:7.7+19ubuntu14 xdg-utils_1.1.3-2ubuntu1 xz-utils_5.2.4-1ubuntu1 zlib1g_1:1.2.11.dfsg-2ubuntu1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Mon Aug 24 10:40:51 2020 UTC gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./coccinelle_1.0.8.deb-3build1.dsc dpkg-source: info: extracting coccinelle in /<> dpkg-source: info: unpacking coccinelle_1.0.8.deb.orig.tar.gz dpkg-source: info: unpacking coccinelle_1.0.8.deb-3build1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying no-bundles.diff dpkg-source: info: applying manual-build-fix.diff dpkg-source: info: applying add-no_pycocci.mli.diff dpkg-source: info: applying dont-update-test-score.diff dpkg-source: info: applying dont-expose-parmap.diff dpkg-source: info: applying python-gtk-remove-the-gtk-output.patch dpkg-source: info: applying installation-bytecode-only Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-19870431 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-19870431 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-19870431 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package coccinelle dpkg-buildpackage: info: source version 1.0.8.deb-3build1 dpkg-buildpackage: info: source distribution groovy dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with ocaml,python3,autoreconf dh_auto_clean make -j4 distclean make[1]: Entering directory '/<>' CLEAN commons CLEAN globals CLEAN parsing_cocci CLEAN parsing_c CLEAN ctl CLEAN python CLEAN engine CLEAN ocaml CLEAN popl09 CLEAN spatch CLEAN spgen CLEAN extra rm -f coccinelle.cma coccinelle.cmxa coccinelle.a \ coccinelle.cmo coccinelle.cmx coccinelle.o \ coccinelle_modules.cmi coccinelle_modules.cmo \ coccinelle_modules.o coccinelle_modules.cmx CLEAN exposed-module CLEAN .depend CLEAN configure make[1]: Leaving directory '/<>' dh_ocamlclean dh_clean debian/rules binary dh binary --with ocaml,python3,autoreconf dh_update_autotools_config dh_autoreconf aclocal: warning: couldn't open directory 'm4': No such file or directory Makefile.am:108: warning: basename $<: non-POSIX variable name Makefile.am:108: (probably a GNU make extension) dh_ocamlinit debian/rules override_dh_auto_configure make[1]: Entering directory '/<>' ./configure --prefix=/usr --sysconfdir=/etc --libdir=/usr/lib --enable-ocaml --enable-opt configure: configuring coccinelle 1.0.8 in /<> checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... no checking for mawk... mawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes configure: determining version suffix checking for date... /bin/date configure: version suffix set to Wed, 02 Sep 2020 17:32:09 +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 whether make supports the include directive... yes (GNU style) 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 whether gcc understands -c and -o together... yes checking dependency style of gcc... none checking how to run the C preprocessor... gcc -E checking for bash... /bin/bash checking for tar... /bin/tar checking for patch... /usr/bin/patch checking for echo... /bin/echo 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 4.08.1 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 that the OCaml version is at least 3.12... yes checking that the OCaml version is at least 4.02... yes checking that the OCaml version is at least 4.03... yes 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 /<>/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 str... found configure: configuring package dynlink checking for OCaml findlib package dynlink... found configure: configuring package parmap checking for OCaml findlib package parmap... found configure: configuring package stdcompat checking for OCaml findlib package stdcompat... found configure: verifying optional features checking for menhir... /usr/bin/menhir configure: system menhir will be used configure: system menhir will be used configure: configuring package pyml checking for OCaml findlib package pyml... not found configure: OCaml package pyml is not available checking for a bundled substitute of pyml... yes configure: using bundled substitute for pyml in /<>/bundles/pyml checking for libpcre... yes configure: configuring package pcre checking for OCaml findlib package pcre... found checking if pcre depends on bytes... no configure: support for pcre syntax is enabled checking for pdflatex... /usr/bin/pdflatex checking that generated files are newer than configure... done 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 tools/spgen/scripts/spgen.sh config.status: creating docs/spatch.1 config.status: creating setup/Makefile config.status: executing depfiles commands configure: configuration completed ------------------------------------------------------------------------------ Summary configure flags: --prefix=/usr --sysconfdir=/etc --libdir=/usr/lib --enable-ocaml --enable-opt findlib: /usr/bin/ocamlfind (an actual version is strongly recommended) menhir: /usr/bin/menhir (for local package use --without-menhir, install the menhir package otherwise) ocaml scripting: yes (overridable with --enable-ocaml) python scripting: yes (overridable with --enable-python) pcre regexes: (overridable with --enable-pcre-syntax) pcre module: yes (for local package use --disable-pcre) pcre library: yes (requires the libpcre-ocaml-dev package) optimized spatch: yes (overridable with --disable-opt) bash-completion: ${prefix}/share/bash-completion/completions (overridable with --with-bash-completion) ------------------------------------------------------------------------------ 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 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=/<> ./scripts/spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c ------------------------------------------------------------------------------ You may need to set some environment variables so that the python libraries are found. The frontend 'spatch' sets the following variables: $ export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/lib $ export PYTHONPATH=$PYTHONPATH:/usr/lib/coccinelle/python ------------------------------------------------------------------------------ make[1]: Leaving directory '/<>' debian/rules override_dh_auto_build-indep make[1]: Entering directory '/<>' /usr/bin/make -C docs/manual pdf make[2]: Entering directory '/<>/docs/manual' *** Hevea: Unable to find xxdate.exe *** /usr/bin/pdflatex -halt-on-error manual.tex This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2020-02-02> patch level 5 L3 programming layer <2020-07-17> (./main.tex (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls Document Class: report 2019/12/20 v1.4l Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty **************************************** * Local config file subfigure.cfg used * **************************************** (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/boxedminipage/boxedminipage.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/endnotes/endnotes.sty) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/generic/atbegshi/atbegshi.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/atveryend/atveryend.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (./macros_common.tex) (./macros_options.tex) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def) No file manual.aux. (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/var/lib/texmf/fo nts/map/pdftex/updmap/pdftex.map}]pdfTeX warning (ext4): destination with the s ame identifier (name{page.1}) has been already used, duplicate ignored \relax l.117 \chapter *{Foreword} [1] (../../version) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) LaTeX Warning: Reference `part:usermanual' on page 2 undefined on input line 12 2. LaTeX Warning: Reference `part:refmanual' on page 2 undefined on input line 123 . (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd) Underfull \hbox (badness 10000) in paragraph at lines 137--140 [2] [3] (./introduction.tex Chapter 1. ) (./installing.tex [4] Chapter 2. ) (./tutorial.tex [5] Chapter 3. ) [6] Chapter 4. (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02882pt too wide) in paragraph at lines 17--72 [][] [7] Underfull \hbox (badness 10000) in paragraph at lines 76--82 [8] Underfull \hbox (badness 10000) in paragraph at lines 141--145 Underfull \hbox (badness 10000) in paragraph at lines 146--152 Underfull \hbox (badness 10000) in paragraph at lines 153--174 Underfull \hbox (badness 10000) in paragraph at lines 177--193 [9] Underfull \hbox (badness 10000) in paragraph at lines 204--211 Underfull \hbox (badness 10000) in paragraph at lines 212--237 [10] Underfull \hbox (badness 10000) in paragraph at lines 261--264 [11] Overfull \hbox (565.25525pt too wide) in paragraph at lines 340--380 [][] [12] Underfull \hbox (badness 10000) in paragraph at lines 384--393 Underfull \hbox (badness 10000) in paragraph at lines 410--421 [13] Underfull \hbox (badness 10000) in paragraph at lines 435--486 ) (./tips.tex [14] Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\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 b ar = readb((foo)) ) (./isomorphisms.tex [15] Chapter 5. ) (./parsing.tex [16] Chapter 6. ) (./workflow.tex [17] Chapter 7. ) (./advanced.tex [18] Chapter 8. ) [19] [20] Chapter 9. (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) Overfull \hbox (14.32869pt too wide) in paragraph at lines 81--123 [] [21] [22] Overfull \hbox (41.83255pt too wide) in paragraph at lines 215--281 [] [23] Overfull \vbox (22.56999pt too high) has occurred while \output is active [24] [25] LaTeX Warning: Reference `types' on page 26 undefined on input line 454. [26] [27] [28] [29] [30] [31] [32] [33] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1176--1178 []\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 ). [34] [35] [36] [37] Overfull \hbox (2.84468pt too wide) in paragraph at lines 1467--1517 [] [38] [39] [40pdfTeX warning (ext4): destination with the same identifier (name{ gram\\_o}) has been already used, duplicate ignored \AtBegShi@Output ...ipout \box \AtBeginShipoutBox \fi \fi l.1651 ] [41] [42] [43]) [44] Chapter 10. (./spatch_options.tex Overfull \hbox (2.95383pt too wide) in paragraph at lines 43--46 []\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 [45] (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) LaTeX Font Warning: Font shape `U/ifgeo/b/n' undefined (Font) using `U/ifgeo/m/n' instead on input line 70. [46] [47] Overfull \hbox (53.96228pt too wide) in paragraph at lines 202--203 \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 . Overfull \hbox (23.08131pt too wide) in paragraph at lines 218--218 \T1/ptm/m/n/10 vant. This op-tion re-quires 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/ [48] Overfull \hbox (61.07932pt too wide) in paragraph at lines 295--296 \T1/ptm/m/n/10 spacing-score-file is pro-vided, then that file is used for the re-sult. Oth-er-wise, the re-sult goes in ``test-s/S-CORE_spacing_expected.sexp ''. Overfull \hbox (13.36246pt too wide) in paragraph at lines 307--308 \T1/pcr/m/n/10 --compare-with-expected\T1/ptm/m/n/10 . The lead-ing dot is op-t ional. This im-plic-itly sets the \T1/pcr/m/n/10 --compare-with-expected Overfull \hbox (31.46255pt too wide) in paragraph at lines 332--333 \T1/ptm/m/n/10 on which the er-ror oc-curs. This func-tion should then be passe d to the func-tion \T1/pcr/m/n/10 Parse_c.set_parse_error_function\T1/ptm/m/n/1 0 . [49] [50] [51] [52] [53] Overfull \hbox (6.74498pt too wide) in paragraph at lines 682--683 \T1/pcr/m/n/10 foo.cocci --dir /var/linuxes/linux-next/drivers --patch /var/lin uxes/linux-next\T1/ptm/m/n/10 . [54] [55]) [56] [57] (./license.txt [58] [59] [60] [61]) No file manual.bbl. [62] (./manual.aux) Package rerunfilecheck Warning: File `manual.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. LaTeX Font Warning: Some font shapes were not available, defaults substituted. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) ) (see the transcript file for additional information)pdfTeX warning (dest): name {unary\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{attribute} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040constrai nt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040cst} has been referenced but does not exist, replace d by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040meta} has been referenced but does not exist, replac ed by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040constrain t} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040constr aint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq\\prot ect\040\\T1\\textunderscore\040mid} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040ceq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been refe kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ifgeo10 mkdir: cannot create directory ‘././sbuild-nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ifgeo10 This is METAFONT, Version 2.7182818 (TeX Live 2020/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeo10.mf (/usr/share/texlive/texmf-dist/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: /tmp/texfonts/pk/ljfour/public/ifsym/ifgeo10.600pk: successfully generated. renced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040virt\\protect\040\\T1\\textunderscore\040or\\pro tect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040regexp} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one {/usr/share/texlive/texmf- dist/fonts/enc/dvips/base/8r.enc}< /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb> Output written on manual.pdf (63 pages, 301853 bytes). Transcript written on manual.log. /usr/bin/pdflatex -halt-on-error manual.tex This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2020-02-02> patch level 5 L3 programming layer <2020-07-17> (./main.tex (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls Document Class: report 2019/12/20 v1.4l Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty **************************************** * Local config file subfigure.cfg used * **************************************** (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/boxedminipage/boxedminipage.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/endnotes/endnotes.sty) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/generic/atbegshi/atbegshi.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/atveryend/atveryend.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (./macros_common.tex) (./macros_options.tex) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def) (./manual.aux) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./manual.out) (./manual.out) (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/var/lib/texmf/fo nts/map/pdftex/updmap/pdftex.map}] (./manual.toc (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd)pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has been already used, dup licate ignored \relax l.33 ...sic transformations}{31}{subsection.9.5.1} % [1]) [2] (../../version) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) Underfull \hbox (badness 10000) in paragraph at lines 137--140 [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.02882pt too wide) in paragraph at lines 17--72 [][] [8] Underfull \hbox (badness 10000) in paragraph at lines 76--82 [9] Underfull \hbox (badness 10000) in paragraph at lines 141--145 Underfull \hbox (badness 10000) in paragraph at lines 146--152 Underfull \hbox (badness 10000) in paragraph at lines 153--174 Underfull \hbox (badness 10000) in paragraph at lines 177--193 [10] Underfull \hbox (badness 10000) in paragraph at lines 204--211 Underfull \hbox (badness 10000) in paragraph at lines 212--237 [11] Underfull \hbox (badness 10000) in paragraph at lines 261--264 [12] Overfull \hbox (565.25525pt too wide) in paragraph at lines 340--380 [][] [13] Underfull \hbox (badness 10000) in paragraph at lines 384--393 Underfull \hbox (badness 10000) in paragraph at lines 410--421 [14] Underfull \hbox (badness 10000) in paragraph at lines 435--486 ) (./tips.tex [15] Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\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 b ar = readb((foo)) ) (./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/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) Overfull \hbox (14.32869pt too wide) in paragraph at lines 81--123 [] [22] [23] Overfull \hbox (41.83255pt too wide) in paragraph at lines 215--281 [] [24] Overfull \vbox (22.56999pt too high) has occurred while \output is active [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1176--1178 []\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 ). [35] [36] [37] [38] Overfull \hbox (2.84468pt too wide) in paragraph at lines 1467--1517 [] [39] [40] [41pdfTeX warning (ext4): destination with the same identifier (name{ gram\\_o}) has been already used, duplicate ignored \AtBegShi@Output ...ipout \box \AtBeginShipoutBox \fi \fi l.1651 ] [42] [43] [44]) [45] Chapter 10. (./spatch_options.tex Overfull \hbox (2.95383pt too wide) in paragraph at lines 43--46 []\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 [46] (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) LaTeX Font Warning: Font shape `U/ifgeo/b/n' undefined (Font) using `U/ifgeo/m/n' instead on input line 70. [47] [48] Overfull \hbox (53.96228pt too wide) in paragraph at lines 202--203 \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 . Overfull \hbox (23.08131pt too wide) in paragraph at lines 218--218 \T1/ptm/m/n/10 vant. This op-tion re-quires 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/ [49] Overfull \hbox (61.07932pt too wide) in paragraph at lines 295--296 \T1/ptm/m/n/10 spacing-score-file is pro-vided, then that file is used for the re-sult. Oth-er-wise, the re-sult goes in ``test-s/S-CORE_spacing_expected.sexp ''. Overfull \hbox (13.36246pt too wide) in paragraph at lines 307--308 \T1/pcr/m/n/10 --compare-with-expected\T1/ptm/m/n/10 . The lead-ing dot is op-t ional. This im-plic-itly sets the \T1/pcr/m/n/10 --compare-with-expected Overfull \hbox (31.46255pt too wide) in paragraph at lines 332--333 \T1/ptm/m/n/10 on which the er-ror oc-curs. This func-tion should then be passe d to the func-tion \T1/pcr/m/n/10 Parse_c.set_parse_error_function\T1/ptm/m/n/1 0 . [50] [51] [52] [53] [54] Overfull \hbox (6.74498pt too wide) in paragraph at lines 682--683 \T1/pcr/m/n/10 foo.cocci --dir /var/linuxes/linux-next/drivers --patch /var/lin uxes/linux-next\T1/ptm/m/n/10 . [55] [56]) [57] [58] (./license.txt [59] [60] [61] [62]) No file manual.bbl. [63] (./manual.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) ) (see the transcript file for additional information)pdfTeX warning (dest): name {unary\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{attribute} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040constrai nt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040cst} has been referenced but does not exist, replace d by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040meta} has been referenced but does not exist, replac ed by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040constrain t} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040constr aint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq\\prot ect\040\\T1\\textunderscore\040mid} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040ceq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040virt\\protect\040\\T1\\textunderscore\040or\\pro tect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040regexp} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one {/usr/share/texlive/texmf- dist/fonts/enc/dvips/base/8r.enc}< /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb> Output written on manual.pdf (64 pages, 311041 bytes). Transcript written on manual.log. #spatch --control-flow-to-file flow1.c #spatch --control-flow-to-file flow2.c #dot -Gsize="0.5,0.5" -Tpdf flow1:main.dot > flow1.pdf #dot -Gsize="0.5,0.5" -Tpdf flow2:main.dot > flow2.pdf /usr/bin/pdflatex -halt-on-error main_grammar.tex This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./main_grammar.tex LaTeX2e <2020-02-02> patch level 5 L3 programming layer <2020-07-17> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2019/12/20 v1.4l Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/generic/atbegshi/atbegshi.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/atveryend/atveryend.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros_common.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def) No file main_grammar.aux. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (../../version) (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd) Overfull \hbox (14.32625pt too wide) in paragraph at lines 81--123 [] [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) [2] Overfull \hbox (41.83011pt too wide) in paragraph at lines 215--281 [] [3] Overfull \vbox (22.56999pt too high) has occurred while \output is active [4] [5] LaTeX Warning: Reference `types' on page 6 undefined on input line 454. [6] [7] [8] [9] [10] [11] [12] [13] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1176--1178 []\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 ). [14] [15] [16] [17] Overfull \hbox (2.84224pt too wide) in paragraph at lines 1467--1517 [] [18] [19] [20pdfTeX warning (ext4): destination with the same identifier (name{ gram\\_o}) has been already used, duplicate ignored \AtBegShi@Output ...ipout \box \AtBeginShipoutBox \fi \fi l.1651 ] [21] [22] [23]) [24] (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02882pt too wide) in paragraph at lines 17--72 [][] [25] Underfull \hbox (badness 10000) in paragraph at lines 76--82 [26] Underfull \hbox (badness 10000) in paragraph at lines 141--145 Underfull \hbox (badness 10000) in paragraph at lines 146--152 Underfull \hbox (badness 10000) in paragraph at lines 153--174 Underfull \hbox (badness 10000) in paragraph at lines 177--193 [27] Underfull \hbox (badness 10000) in paragraph at lines 204--211 Underfull \hbox (badness 10000) in paragraph at lines 212--237 [28] Underfull \hbox (badness 10000) in paragraph at lines 261--264 [29] Overfull \hbox (565.25525pt too wide) in paragraph at lines 340--380 [][] [30] Underfull \hbox (badness 10000) in paragraph at lines 384--393 Underfull \hbox (badness 10000) in paragraph at lines 410--421 [31] Underfull \hbox (badness 10000) in paragraph at lines 435--486 ) [32] (./tips.tex Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\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 b ar = readb((foo)) ) [33] (./main_grammar.aux (./examples.aux) (./tips.aux)) Package rerunfilecheck Warning: File `main_grammar.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information)pdfTeX warning (dest): name {unary\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{attribute} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040constrai nt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040cst} has been referenced but does not exist, replace d by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040meta} has been referenced but does not exist, replac ed by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040constrain t} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040constr aint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq\\prot ect\040\\T1\\textunderscore\040mid} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040ceq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040virt\\protect\040\\T1\\textunderscore\040or\\pro tect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040regexp} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on main_grammar.pdf (33 pages, 237359 bytes). Transcript written on main_grammar.log. /usr/bin/pdflatex -halt-on-error main_grammar.tex This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./main_grammar.tex LaTeX2e <2020-02-02> patch level 5 L3 programming layer <2020-07-17> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2019/12/20 v1.4l Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/generic/atbegshi/atbegshi.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/atveryend/atveryend.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros_common.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def) (./main_grammar.aux (./examples.aux) (./tips.aux)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./main_grammar.out) (./main_grammar.out) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (../../version) (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd) Overfull \hbox (14.32625pt too wide) in paragraph at lines 81--123 [] [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) [2] Overfull \hbox (41.83011pt too wide) in paragraph at lines 215--281 [] [3] Overfull \vbox (22.56999pt too high) has occurred while \output is active [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1176--1178 []\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 ). [14] [15] [16] [17] Overfull \hbox (2.84224pt too wide) in paragraph at lines 1467--1517 [] [18] [19] [20pdfTeX warning (ext4): destination with the same identifier (name{ gram\\_o}) has been already used, duplicate ignored \AtBegShi@Output ...ipout \box \AtBeginShipoutBox \fi \fi l.1651 ] [21] [22] [23]) [24] (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02882pt too wide) in paragraph at lines 17--72 [][] [25] Underfull \hbox (badness 10000) in paragraph at lines 76--82 [26] Underfull \hbox (badness 10000) in paragraph at lines 141--145 Underfull \hbox (badness 10000) in paragraph at lines 146--152 Underfull \hbox (badness 10000) in paragraph at lines 153--174 Underfull \hbox (badness 10000) in paragraph at lines 177--193 [27] Underfull \hbox (badness 10000) in paragraph at lines 204--211 Underfull \hbox (badness 10000) in paragraph at lines 212--237 [28] Underfull \hbox (badness 10000) in paragraph at lines 261--264 [29] Overfull \hbox (565.25525pt too wide) in paragraph at lines 340--380 [][] [30] Underfull \hbox (badness 10000) in paragraph at lines 384--393 Underfull \hbox (badness 10000) in paragraph at lines 410--421 [31] Underfull \hbox (badness 10000) in paragraph at lines 435--486 ) [32] (./tips.tex Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\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 b ar = readb((foo)) ) [33] (./main_grammar.aux (./examples.aux) (./tips.aux)) ) (see the transcript file for additional information)pdfTeX warning (dest): name {unary\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{attribute} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040constrai nt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040cst} has been referenced but does not exist, replace d by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040meta} has been referenced but does not exist, replac ed by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040constrain t} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040constr aint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq\\prot ect\040\\T1\\textunderscore\040mid} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040ceq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040virt\\protect\040\\T1\\textunderscore\040or\\pro tect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040regexp} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on main_grammar.pdf (33 pages, 238757 bytes). Transcript written on main_grammar.log. /usr/bin/pdflatex -halt-on-error options.tex This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./options.tex LaTeX2e <2020-02-02> patch level 5 L3 programming layer <2020-07-17> (./main_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2019/12/20 v1.4l Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (./macros_options.tex ) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def) No file options.aux. (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) LaTeX Warning: No \author given. (./spatch_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) Overfull \hbox (20.0204pt too wide) in paragraph at lines 43--46 []\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/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) [1{/var/lib/texmf/fon ts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] Overfull \hbox (20.8289pt too wide) in paragraph at lines 307--308 \T1/cmr/m/n/10 with \T1/cmtt/m/n/10 --compare-with-expected\T1/cmr/m/n/10 . The lead-ing dot is op-tional. This im-plic-itly sets the \T1/cmtt/m/n/10 --compar e-with-expected [5] [6] [7] [8] (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [9] [10] [11]) [12] (./options.aux) kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecss1000 mkdir: cannot create directory ‘././sbuild-nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecss1000 This is METAFONT, Version 2.7182818 (TeX Live 2020/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecss1000.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecss.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/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: /tmp/texfonts/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 mkdir: cannot create directory ‘././sbuild-nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecti1000 This is METAFONT, Version 2.7182818 (TeX Live 2020/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecti1000.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecti.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/extextit.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exilig.mf Ok [25] [26] [27] [28] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exitalp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exidigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/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: /tmp/texfonts/pk/ljfour/jknappen/ec/ecti1000.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecbx1000 mkdir: cannot create directory ‘././sbuild-nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecbx1000 This is METAFONT, Version 2.7182818 (TeX Live 2020/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecbx1000.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecbx.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/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: /tmp/texfonts/pk/ljfour/jknappen/ec/ecbx1000.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ifgeob10 mkdir: cannot create directory ‘././sbuild-nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ifgeob10 This is METAFONT, Version 2.7182818 (TeX Live 2020/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeob10.mf (/usr/share/texlive/texmf-dist/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: /tmp/texfonts/pk/ljfour/public/ifsym/ifgeob10.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecbx1200 mkdir: cannot create directory ‘././sbuild-nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecbx1200 This is METAFONT, Version 2.7182818 (TeX Live 2020/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecbx1200.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecbx.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/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: /tmp/texfonts/pk/ljfour/jknappen/ec/ecbx1200.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 tcrm1000 mkdir: cannot create directory ‘././sbuild-nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input tcrm1000 This is METAFONT, Version 2.7182818 (TeX Live 2020/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/tcrm1000.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/tcrm.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txsymb.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txpseudo.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [27] [29]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txgen.mf Ok [100] [109] [98] [99] [108]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txsymbol.mf Ok [13] [18] [21] [22] [23] [24] [25] [26] [28] [31] [32] [36] [39] [44] [45] [46] [42] [47] [60] [61] [62] [77] [79] [87] [110] [91] [93] [94] [95] [96] [126] [127] [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] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [171] [172] [173] [174] [175] [177] [176] [180] [181] [182] [183] [184] [187] [191] [214] [246]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txromod.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txrsuper.mf Ok [185] [178] [179] [170] [186]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txrfract.mf Ok [188] [189] [190]) ) ) ) (some charht values had to be adjusted by as much as 0.06943pt) Font metrics written on tcrm1000.tfm. Output written on tcrm1000.600gf (128 characters, 23548 bytes). Transcript written on tcrm1000.log. mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/tcrm1000.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ectt1000 mkdir: cannot create directory ‘././sbuild-nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ectt1000 This is METAFONT, Version 2.7182818 (TeX Live 2020/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt1000.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ectt.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/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: /tmp/texfonts/pk/ljfour/jknappen/ec/ectt1000.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecrm1000 mkdir: cannot create directory ‘././sbuild-nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecrm1000 This is METAFONT, Version 2.7182818 (TeX Live 2020/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecrm1000.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecrm.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/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: /tmp/texfonts/pk/ljfour/jknappen/ec/ecrm1000.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecbx1440 mkdir: cannot create directory ‘././sbuild-nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecbx1440 This is METAFONT, Version 2.7182818 (TeX Live 2020/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecbx1440.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecbx.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/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: /tmp/texfonts/pk/ljfour/jknappen/ec/ecbx1440.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecrm1200 mkdir: cannot create directory ‘././sbuild-nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecrm1200 This is METAFONT, Version 2.7182818 (TeX Live 2020/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecrm1200.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecrm.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/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: /tmp/texfonts/pk/ljfour/jknappen/ec/ecrm1200.600pk: successfully generated. kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ecrm1728 mkdir: cannot create directory ‘././sbuild-nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ecrm1728 This is METAFONT, Version 2.7182818 (TeX Live 2020/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecrm1728.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/ecrm.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exroman.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/expseudo.mf Ok) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exsign.mf Ok [24] [34] [35] [36] [37] [64] [191] [159]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exrlig.mf Ok [25] [26] [28] [27] [29] [30] [31]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exromp.mf Ok [38] [63] [190]) (/usr/share/texlive/texmf-dist/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/texlive/texmf-dist/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/texlive/texmf-dist/fonts/source/jknappen/ec/exrdigit.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/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: /tmp/texfonts/pk/ljfour/jknappen/ec/ecrm1728.600pk: successfully generated. Output written on options.pdf (12 pages, 141680 bytes). Transcript written on options.log. /usr/bin/pdflatex -halt-on-error options.tex This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./options.tex LaTeX2e <2020-02-02> patch level 5 L3 programming layer <2020-07-17> (./main_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2019/12/20 v1.4l Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (./macros_options.tex ) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def) (./options.aux) (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) LaTeX Warning: No \author given. (./spatch_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) Overfull \hbox (20.0204pt too wide) in paragraph at lines 43--46 []\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/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) [1{/var/lib/texmf/fon ts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] Overfull \hbox (20.8289pt too wide) in paragraph at lines 307--308 \T1/cmr/m/n/10 with \T1/cmtt/m/n/10 --compare-with-expected\T1/cmr/m/n/10 . The lead-ing dot is op-tional. This im-plic-itly sets the \T1/cmtt/m/n/10 --compar e-with-expected [5] [6] [7] [8] (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [9] [10] [11]) [12] (./options.aux) ) ) (see the transcript file for additional information) Output written on options.pdf (12 pages, 141680 bytes). Transcript written on options.log. make[2]: Leaving directory '/<>/docs/manual' make[1]: Leaving directory '/<>' dh_auto_build -Ncoccinelle-doc make -j4 make[1]: Entering directory '/<>' /usr/bin/menhir --ocamldep "/usr/bin/ocamldep -I commons/ocamlextra -I commons -I globals -I parsing_cocci -I parsing_c -I ctl -I ocaml -I python -I engine -I popl09 -I extra -I tools/spgen/source/ -I /usr/lib/ocaml/pcre -I /<>/bundles/pyml -I /usr/lib/ocaml/parmap -I /usr/lib/ocaml/stdcompat -ml-synonym .mll -ml-synonym .mly -mli-synonym .ml -mli-synonym .mll -mli-synonym .mly" --depend parsing_cocci/parser_cocci_menhir.mly >parsing_cocci/parser_cocci_menhir.mly.d || (rm parsing_cocci/parser_cocci_menhir.mly.d; false) OCAMLYACC parsing_c/parser_c.mly OCAMLDEP parsing_c/lexer_c.mli OCAMLDEP tools/spgen/source/spgen_lexer.mli OCAMLDEP parsing_cocci/lexer_cli.mli OCAMLDEP parsing_cocci/lexer_script.mli OCAMLDEP tools/spgen/source/main.mli OCAMLDEP parsing_cocci/lexer_cocci.mli OCAMLDEP tools/spgen/source/spgen_test.mli OCAMLDEP tools/spgen/source/spgen.mli OCAMLDEP tools/spgen/source/spgen_config.mli OCAMLDEP tools/spgen/source/spgen_interactive.mli OCAMLDEP tools/spgen/source/file_transform.mli OCAMLDEP tools/spgen/source/script_rule.mli OCAMLDEP tools/spgen/source/context_rule.mli OCAMLDEP tools/spgen/source/rule_header.mli OCAMLDEP tools/spgen/source/disj_generator.mli OCAMLDEP tools/spgen/source/rule_body.mli OCAMLDEP tools/spgen/source/user_input.mli OCAMLDEP tools/spgen/source/position_generator.mli OCAMLDEP tools/spgen/source/snapshot.mli OCAMLDEP tools/spgen/source/meta_variable.mli OCAMLDEP tools/spgen/source/ast_tostring.mli OCAMLDEP tools/spgen/source/detect_patch.mli OCAMLDEP tools/spgen/source/globals.mli OCAMLDEP main.mli OCAMLDEP enter.mli OCAMLDEP read_options.mli OCAMLDEP testing.mli OCAMLDEP cocci.mli OCAMLDEP flag_cocci.mli OCAMLDEP extra/maintainers.mli OCAMLDEP extra/classic_patch.mli OCAMLDEP extra/kbuild.mli OCAMLDEP popl09/popl.mli OCAMLDEP popl09/popltoctl.mli OCAMLDEP popl09/flag_popl.mli OCAMLDEP popl09/pretty_print_popl.mli OCAMLDEP popl09/insert_quantifiers.mli OCAMLDEP popl09/ast_popl.mli OCAMLDEP popl09/asttopopl.mli OCAMLDEP engine/ctlcocci_integration.mli OCAMLDEP engine/postprocess_transinfo.mli OCAMLDEP engine/ctltotex.mli OCAMLDEP engine/asttoctl2.mli OCAMLDEP engine/transformation_c.mli OCAMLDEP engine/asttomember.mli OCAMLDEP engine/pattern_c.mli OCAMLDEP engine/isomorphisms_c_c.mli OCAMLDEP engine/cocci_vs_c.mli OCAMLDEP engine/c_vs_c.mli OCAMLDEP engine/check_exhaustive_pattern.mli OCAMLDEP engine/check_reachability.mli OCAMLDEP engine/pretty_print_engine.mli OCAMLDEP engine/lib_engine.mli OCAMLDEP engine/flag_matcher.mli OCAMLDEP python/pycocci.mli OCAMLDEP python/pycocci_aux.mli OCAMLDEP python/yes_pycocci.mli OCAMLDEP ocaml/run_ocamlcocci.mli OCAMLDEP ocaml/prepare_ocamlcocci.mli OCAMLDEP ocaml/yes_prepare_ocamlcocci.mli OCAMLDEP ocaml/ocamlcocci_aux.mli OCAMLDEP ocaml/coccilib.mli OCAMLDEP ocaml/exposed_modules.mli OCAMLDEP ocaml/externalanalysis.mli OCAMLDEP ctl/wrapper_ctl.mli OCAMLDEP ctl/ctl_engine.mli OCAMLDEP ctl/pretty_print_ctl.mli OCAMLDEP ctl/ast_ctl.mli OCAMLDEP ctl/flag_ctl.mli OCAMLDEP parsing_c/test_parsing_c.mli OCAMLDEP parsing_c/compare_c.mli OCAMLDEP parsing_c/comment_annotater_c.mli OCAMLDEP parsing_c/type_annoter_c.mli OCAMLDEP parsing_c/cpp_ast_c.mli OCAMLDEP parsing_c/type_c.mli OCAMLDEP parsing_c/unparse_hrule.mli OCAMLDEP parsing_c/parse_c.mli OCAMLDEP parsing_c/unparse_c.mli OCAMLDEP parsing_c/danger.mli OCAMLDEP parsing_c/parsing_consistency_c.mli OCAMLDEP parsing_c/parsing_recovery_c.mli OCAMLDEP parsing_c/unparse_cocci.mli OCAMLDEP parsing_c/cpp_analysis_c.mli OCAMLDEP parsing_c/parsing_hacks.mli OCAMLDEP parsing_c/cpp_token_c.mli OCAMLDEP parsing_c/token_views_c.mli OCAMLDEP parsing_c/token_helpers.mli OCAMLDEP parsing_c/parse_string_c.mli OCAMLDEP parsing_c/lexer_parser.mli OCAMLDEP parsing_c/semantic_c.mli OCAMLDEP parsing_c/pretty_print_c.mli OCAMLDEP parsing_c/control_flow_c_build.mli OCAMLDEP parsing_c/lib_parsing_c.mli OCAMLDEP parsing_c/visitor_c.mli OCAMLDEP parsing_c/control_flow_c.mli OCAMLDEP parsing_c/includes.mli OCAMLDEP parsing_c/ast_c.mli OCAMLDEP parsing_c/token_c.mli OCAMLDEP parsing_c/parsing_stat.mli OCAMLDEP parsing_c/flag_parsing_c.mli OCAMLDEP parsing_c/token_annot.mli OCAMLDEP parsing_cocci/command_line.mli OCAMLDEP parsing_cocci/parse_cocci.mli OCAMLDEP parsing_cocci/re_constraints.mli OCAMLDEP parsing_cocci/commas_on_lists.mli OCAMLDEP parsing_cocci/git_grep.mli OCAMLDEP parsing_cocci/adjacency.mli OCAMLDEP parsing_cocci/id_utils.mli OCAMLDEP parsing_cocci/get_constants2.mli OCAMLDEP parsing_cocci/dpll.mli OCAMLDEP parsing_cocci/cocci_grep.mli OCAMLDEP parsing_cocci/disjdistr.mli OCAMLDEP parsing_cocci/cleanup_rules.mli OCAMLDEP parsing_cocci/parse_aux.mli OCAMLDEP parsing_cocci/parse_printf.mli OCAMLDEP parsing_cocci/safe_for_multi_decls.mli OCAMLDEP parsing_cocci/free_vars.mli OCAMLDEP parsing_cocci/data.mli OCAMLDEP parsing_cocci/semantic_cocci.mli OCAMLDEP parsing_cocci/function_prototypes.mli OCAMLDEP parsing_cocci/insert_plus.mli OCAMLDEP parsing_cocci/adjust_pragmas.mli OCAMLDEP parsing_cocci/context_neg.mli OCAMLDEP parsing_cocci/index.mli OCAMLDEP parsing_cocci/arity.mli OCAMLDEP parsing_cocci/unitary_ast0.mli OCAMLDEP parsing_cocci/test_exps.mli OCAMLDEP parsing_cocci/type_infer.mli OCAMLDEP parsing_cocci/top_level.mli OCAMLDEP parsing_cocci/check_meta.mli OCAMLDEP parsing_cocci/stmtlist.mli OCAMLDEP parsing_cocci/get_metas.mli OCAMLDEP parsing_cocci/simple_assignments.mli OCAMLDEP parsing_cocci/single_statement.mli OCAMLDEP parsing_cocci/iso_compile.mli OCAMLDEP parsing_cocci/comm_assoc.mli OCAMLDEP parsing_cocci/iso_pattern.mli OCAMLDEP parsing_cocci/unify_ast.mli OCAMLDEP parsing_cocci/compute_lines.mli OCAMLDEP parsing_cocci/unparse_ast0.mli OCAMLDEP parsing_cocci/ast0toast.mli OCAMLDEP parsing_cocci/visitor_ast0.mli OCAMLDEP parsing_cocci/visitor_ast0_types.mli OCAMLDEP parsing_cocci/visitor_ast.mli OCAMLDEP parsing_cocci/pretty_print_cocci.mli OCAMLDEP parsing_cocci/ast0_cocci.mli OCAMLDEP parsing_cocci/ast_cocci.mli OCAMLDEP parsing_cocci/flag_parsing_cocci.mli OCAMLDEP globals/regexp.mli OCAMLDEP globals/regexp_pcre.mli OCAMLDEP globals/iteration.mli OCAMLDEP globals/flag.mli OCAMLDEP globals/config.mli OCAMLDEP commons/ograph_simple.mli OCAMLDEP commons/common.mli OCAMLDEP commons/ograph_extended.mli OCAMLDEP commons/commands.mli OCAMLDEP commons/ocamlextra/dumper.mli OCAMLDEP parsing_c/parser_c.ml OCAMLLEX tools/spgen/source/spgen_lexer.mll OCAMLLEX parsing_c/lexer_c.mll OCAMLLEX parsing_cocci/lexer_script.mll 25 states, 314 transitions, table size 1406 bytes OCAMLLEX parsing_cocci/lexer_cli.mll 14 states, 681 transitions, table size 2808 bytes 143 states, 8123 transitions, table size 33350 bytes 23641 additional bytes used for bindings OCAMLLEX parsing_cocci/lexer_cocci.mll OCAMLDEP tools/spgen/source/main.ml OCAMLDEP tools/spgen/source/spgen_test.ml OCAMLDEP tools/spgen/source/spgen.ml OCAMLDEP tools/spgen/source/spgen_config.ml 382 states, 7292 transitions, table size 31460 bytes 3992 additional bytes used for bindings OCAMLDEP tools/spgen/source/spgen_interactive.ml OCAMLDEP tools/spgen/source/file_transform.ml OCAMLDEP tools/spgen/source/script_rule.ml OCAMLDEP tools/spgen/source/context_rule.ml OCAMLDEP tools/spgen/source/rule_header.ml OCAMLDEP tools/spgen/source/rule_body.ml OCAMLDEP tools/spgen/source/disj_generator.ml OCAMLDEP tools/spgen/source/position_generator.ml OCAMLDEP tools/spgen/source/user_input.ml OCAMLDEP tools/spgen/source/snapshot.ml OCAMLDEP tools/spgen/source/meta_variable.ml OCAMLDEP tools/spgen/source/detect_patch.ml OCAMLDEP tools/spgen/source/ast_tostring.ml OCAMLDEP tools/spgen/source/globals.ml OCAMLDEP main.ml OCAMLDEP enter.ml OCAMLDEP read_options.ml OCAMLDEP testing.ml OCAMLDEP cocci.ml 556 states, 26383 transitions, table size 108868 bytes 16787 additional bytes used for bindings OCAMLDEP flag_cocci.ml OCAMLDEP extra/maintainers.ml OCAMLDEP extra/kbuild.ml OCAMLDEP extra/classic_patch.ml OCAMLDEP popl09/popltoctl.ml OCAMLDEP popl09/popl.ml OCAMLDEP popl09/flag_popl.ml OCAMLDEP popl09/pretty_print_popl.ml OCAMLDEP popl09/insert_quantifiers.ml OCAMLDEP popl09/asttopopl.ml OCAMLDEP popl09/ast_popl.ml OCAMLDEP engine/ctlcocci_integration.ml OCAMLDEP engine/postprocess_transinfo.ml OCAMLDEP engine/ctltotex.ml OCAMLDEP engine/asttoctl2.ml OCAMLDEP engine/asttomember.ml OCAMLDEP engine/transformation_c.ml OCAMLDEP engine/pattern_c.ml OCAMLDEP engine/cocci_vs_c.ml OCAMLDEP engine/isomorphisms_c_c.ml OCAMLDEP engine/c_vs_c.ml OCAMLDEP engine/check_reachability.ml OCAMLDEP engine/check_exhaustive_pattern.ml OCAMLDEP engine/pretty_print_engine.ml OCAMLDEP engine/lib_engine.ml OCAMLDEP engine/flag_matcher.ml OCAMLDEP python/pycocci.ml OCAMLDEP python/yes_pycocci.ml OCAMLDEP python/pycocci_aux.ml OCAMLDEP ocaml/run_ocamlcocci.ml OCAMLDEP ocaml/prepare_ocamlcocci.ml OCAMLDEP ocaml/yes_prepare_ocamlcocci.ml OCAMLDEP ocaml/ocamlcocci_aux.ml OCAMLDEP ocaml/coccilib.ml OCAMLDEP ocaml/exposed_modules.ml OCAMLDEP ocaml/externalanalysis.ml OCAMLDEP ctl/wrapper_ctl.ml OCAMLDEP ctl/ctl_engine.ml OCAMLDEP ctl/pretty_print_ctl.ml OCAMLDEP ctl/ast_ctl.ml OCAMLDEP ctl/flag_ctl.ml OCAMLDEP parsing_c/test_parsing_c.ml OCAMLDEP parsing_c/compare_c.ml OCAMLDEP parsing_c/comment_annotater_c.ml OCAMLDEP parsing_c/type_annoter_c.ml OCAMLDEP parsing_c/cpp_ast_c.ml OCAMLDEP parsing_c/type_c.ml OCAMLDEP parsing_c/unparse_hrule.ml OCAMLDEP parsing_c/unparse_c.ml OCAMLDEP parsing_c/parse_c.ml OCAMLDEP parsing_c/danger.ml OCAMLDEP parsing_c/parsing_consistency_c.ml OCAMLDEP parsing_c/parsing_recovery_c.ml OCAMLDEP parsing_c/unparse_cocci.ml OCAMLDEP parsing_c/cpp_analysis_c.ml OCAMLDEP parsing_c/parsing_hacks.ml OCAMLDEP parsing_c/cpp_token_c.ml OCAMLDEP parsing_c/token_views_c.ml OCAMLDEP parsing_c/parse_string_c.ml OCAMLDEP parsing_c/token_helpers.ml OCAMLDEP parsing_c/lexer_parser.ml OCAMLDEP parsing_c/semantic_c.ml OCAMLDEP parsing_c/pretty_print_c.ml OCAMLDEP parsing_c/control_flow_c_build.ml OCAMLDEP parsing_c/lib_parsing_c.ml OCAMLDEP parsing_c/visitor_c.ml OCAMLDEP parsing_c/control_flow_c.ml OCAMLDEP parsing_c/includes.ml OCAMLDEP parsing_c/ast_c.ml OCAMLDEP parsing_c/token_c.ml OCAMLDEP parsing_c/parsing_stat.ml OCAMLDEP parsing_c/flag_parsing_c.ml OCAMLDEP parsing_c/token_annot.ml OCAMLDEP parsing_cocci/command_line.ml OCAMLDEP parsing_cocci/parse_cocci.ml OCAMLDEP parsing_cocci/re_constraints.ml OCAMLDEP parsing_cocci/commas_on_lists.ml OCAMLDEP parsing_cocci/adjacency.ml OCAMLDEP parsing_cocci/git_grep.ml OCAMLDEP parsing_cocci/id_utils.ml OCAMLDEP parsing_cocci/get_constants2.ml OCAMLDEP parsing_cocci/dpll.ml OCAMLDEP parsing_cocci/cocci_grep.ml OCAMLDEP parsing_cocci/disjdistr.ml OCAMLDEP parsing_cocci/cleanup_rules.ml OCAMLDEP parsing_cocci/parse_aux.ml OCAMLDEP parsing_cocci/parse_printf.ml OCAMLDEP parsing_cocci/safe_for_multi_decls.ml OCAMLDEP parsing_cocci/free_vars.ml OCAMLDEP parsing_cocci/data.ml OCAMLDEP parsing_cocci/semantic_cocci.ml OCAMLDEP parsing_cocci/function_prototypes.ml OCAMLDEP parsing_cocci/insert_plus.ml OCAMLDEP parsing_cocci/adjust_pragmas.ml OCAMLDEP parsing_cocci/context_neg.ml OCAMLDEP parsing_cocci/index.ml OCAMLDEP parsing_cocci/arity.ml OCAMLDEP parsing_cocci/unitary_ast0.ml OCAMLDEP parsing_cocci/test_exps.ml OCAMLDEP parsing_cocci/type_infer.ml OCAMLDEP parsing_cocci/check_meta.ml OCAMLDEP parsing_cocci/top_level.ml OCAMLDEP parsing_cocci/stmtlist.ml OCAMLDEP parsing_cocci/get_metas.ml OCAMLDEP parsing_cocci/simple_assignments.ml OCAMLDEP parsing_cocci/single_statement.ml OCAMLDEP parsing_cocci/iso_compile.ml OCAMLDEP parsing_cocci/comm_assoc.ml OCAMLDEP parsing_cocci/iso_pattern.ml OCAMLDEP parsing_cocci/compute_lines.ml OCAMLDEP parsing_cocci/unify_ast.ml OCAMLDEP parsing_cocci/unparse_ast0.ml OCAMLDEP parsing_cocci/ast0toast.ml OCAMLDEP parsing_cocci/visitor_ast0.ml OCAMLDEP parsing_cocci/visitor_ast.ml OCAMLDEP parsing_cocci/visitor_ast0_types.ml OCAMLDEP parsing_cocci/pretty_print_cocci.ml OCAMLDEP parsing_cocci/ast0_cocci.ml OCAMLDEP parsing_cocci/ast_cocci.ml OCAMLDEP parsing_cocci/flag_parsing_cocci.ml OCAMLDEP globals/regexp.ml OCAMLDEP globals/regexp_pcre.ml OCAMLDEP globals/iteration.ml OCAMLDEP globals/flag.ml OCAMLDEP globals/config.ml OCAMLDEP commons/ograph_extended.ml OCAMLDEP commons/ograph_simple.ml OCAMLDEP commons/common.ml OCAMLDEP commons/commands.ml OCAMLDEP commons/ocamlextra/dumper.ml MENHIR parsing_cocci/parser_cocci_menhir.mly OCAMLDEP parsing_c/parser_c.mli OCAMLDEP tools/spgen/source/spgen_lexer.ml OCAMLDEP parsing_c/lexer_c.ml OCAMLDEP parsing_cocci/lexer_script.ml OCAMLDEP parsing_cocci/lexer_cli.ml OCAMLDEP parsing_cocci/lexer_cocci.ml File "parsing_cocci/parser_cocci_menhir.mly", line 237, characters 7-15: Error: Unbound module Data OCAMLC globals/regexp.mli OCAMLC commons/common.mli OCAMLC parsing_cocci/flag_parsing_cocci.mli OCAMLC globals/flag.mli OCAMLC globals/iteration.mli OCAMLC parsing_cocci/semantic_cocci.mli OCAMLC parsing_cocci/ast_cocci.mli OCAMLC parsing_cocci/ast0_cocci.mli OCAMLC parsing_cocci/ast0toast.mli OCAMLC parsing_cocci/data.mli OCAMLC parsing_cocci/unparse_ast0.mli OCAMLC parsing_cocci/parse_aux.mli MENHIR parsing_cocci/parser_cocci_menhir.mly OCAMLDEP parsing_cocci/parser_cocci_menhir.mli OCAMLDEP parsing_cocci/parser_cocci_menhir.ml OCAMLC commons/ocamlextra/dumper.mli OCAMLC commons/commands.mli OCAMLC commons/ograph_simple.mli OCAMLC commons/ograph_extended.mli OCAMLC globals/config.mli OCAMLC globals/regexp_pcre.mli OCAMLOPT parsing_cocci/flag_parsing_cocci.ml OCAMLC parsing_cocci/pretty_print_cocci.mli OCAMLC parsing_cocci/visitor_ast0_types.mli OCAMLC parsing_cocci/visitor_ast.mli OCAMLC parsing_cocci/unify_ast.mli OCAMLC parsing_cocci/compute_lines.mli OCAMLC parsing_cocci/comm_assoc.mli OCAMLC parsing_cocci/single_statement.mli OCAMLC parsing_cocci/simple_assignments.mli OCAMLC parsing_cocci/get_metas.mli OCAMLC parsing_cocci/stmtlist.mli OCAMLC parsing_cocci/check_meta.mli OCAMLC parsing_cocci/top_level.mli OCAMLC parsing_cocci/type_infer.mli OCAMLC parsing_cocci/test_exps.mli OCAMLC parsing_cocci/unitary_ast0.mli OCAMLC parsing_cocci/arity.mli OCAMLC parsing_cocci/index.mli OCAMLC parsing_cocci/context_neg.mli OCAMLC parsing_cocci/adjust_pragmas.mli OCAMLC parsing_cocci/insert_plus.mli OCAMLC parsing_cocci/function_prototypes.mli OCAMLOPT parsing_cocci/semantic_cocci.ml OCAMLC parsing_cocci/free_vars.mli OCAMLC parsing_cocci/safe_for_multi_decls.mli OCAMLC parsing_cocci/parse_printf.mli OCAMLC parsing_cocci/cleanup_rules.mli OCAMLC parsing_cocci/disjdistr.mli OCAMLC parsing_cocci/parser_cocci_menhir.mli OCAMLC parsing_cocci/lexer_cli.mli OCAMLC parsing_cocci/cocci_grep.mli OCAMLC parsing_cocci/dpll.mli OCAMLC parsing_cocci/get_constants2.mli OCAMLC parsing_cocci/git_grep.mli OCAMLC parsing_cocci/adjacency.mli File "parsing_cocci/parser_cocci_menhir.mli", line 234, characters 25-36: 234 | (Ast_cocci.meta_name * Ast.metavar) option * Ast.mvinit) ^^^^^^^^^^^ Error: Unbound module AstOCAMLC parsing_cocci/commas_on_lists.mli OCAMLC parsing_cocci/re_constraints.mli make[1]: *** [Makefile:421: parsing_cocci/parser_cocci_menhir.cmi] Error 2 make[1]: *** Waiting for unfinished jobs.... make[1]: Leaving directory '/<>' dh_auto_build: error: make -j4 returned exit code 2 make: *** [debian/rules:20: binary] Error 25 dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 2020-09-02T17:32:29Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: binary Build-Space: n/a Build-Time: 30 Distribution: groovy-proposed Fail-Stage: build Host Architecture: amd64 Install-Time: 171 Job: coccinelle_1.0.8.deb-3build1.dsc Machine Architecture: amd64 Package: coccinelle Package-Time: 203 Source-Version: 1.0.8.deb-3build1 Space: n/a Status: attempted Version: 1.0.8.deb-3build1 -------------------------------------------------------------------------------- Finished at 2020-09-02T17:32:29Z Build needed 00:03:23, no disk space E: Build failure (dpkg-buildpackage died) RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=groovy --arch=amd64 PACKAGEBUILD-19870431 Scanning for processes to kill in build PACKAGEBUILD-19870431