https://launchpad.net/ubuntu/+source/menhir/20180530-2/+build/15151532 RUN: /usr/share/launchpad-buildd/slavebin/slave-prep Forking launchpad-buildd slave process... Kernel version: Linux bos02-arm64-013 4.4.0-130-generic #156-Ubuntu SMP Thu Jun 14 08:52:48 UTC 2018 aarch64 Buildd toolchain package versions: launchpad-buildd_163 python-lpbuildd_163 sbuild_0.67.0-2ubuntu7.1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu14.10.1 bzr_2.7.0-2ubuntu3.1 git-build-recipe_0.3.4~git201611291343.dcee459~ubuntu16.04.1 git_1:2.7.4-0ubuntu1.4 dpkg-dev_1.18.4ubuntu1.4 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 20 Jul 05:25:47 ntpdate[1875]: adjust time server 10.211.37.1 offset 0.019921 sec RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=cosmic --arch=armhf PACKAGEBUILD-15151532 /home/buildd/filecache-default/fc6c56f66744d62233b3c844f67cb7d83d839bbc Creating target for build PACKAGEBUILD-15151532 RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=cosmic --arch=armhf PACKAGEBUILD-15151532 Starting target for build PACKAGEBUILD-15151532 RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=cosmic --arch=armhf PACKAGEBUILD-15151532 'deb http://ftpmaster.internal/ubuntu cosmic main universe' 'deb http://ftpmaster.internal/ubuntu cosmic-security main universe' 'deb http://ftpmaster.internal/ubuntu cosmic-updates main universe' 'deb http://ftpmaster.internal/ubuntu cosmic-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-15151532 RUN: /usr/share/launchpad-buildd/slavebin/in-target update-debian-chroot --backend=chroot --series=cosmic --arch=armhf PACKAGEBUILD-15151532 Updating target for build PACKAGEBUILD-15151532 Get:1 http://ftpmaster.internal/ubuntu cosmic InRelease [242 kB] Get:2 http://ftpmaster.internal/ubuntu cosmic-security InRelease [65.4 kB] Get:3 http://ftpmaster.internal/ubuntu cosmic-updates InRelease [65.4 kB] Get:4 http://ftpmaster.internal/ubuntu cosmic-proposed InRelease [92.5 kB] Get:5 http://ftpmaster.internal/ubuntu cosmic/main armhf Packages [1027 kB] Get:6 http://ftpmaster.internal/ubuntu cosmic/main Translation-en [523 kB] Get:7 http://ftpmaster.internal/ubuntu cosmic/universe armhf Packages [8357 kB] Get:8 http://ftpmaster.internal/ubuntu cosmic/universe Translation-en [5019 kB] Get:9 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf Packages [103 kB] Get:10 http://ftpmaster.internal/ubuntu cosmic-proposed/main Translation-en [57.1 kB] Get:11 http://ftpmaster.internal/ubuntu cosmic-proposed/universe armhf Packages [531 kB] Get:12 http://ftpmaster.internal/ubuntu cosmic-proposed/universe Translation-en [225 kB] Fetched 16.3 MB in 9s (1918 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: g++-7 libargon2-0 libncursesw5 libprocps6 libstdc++-7-dev Use 'sudo apt autoremove' to remove them. The following NEW packages will be installed: cpp-8 g++-8 gcc-8 libargon2-1 libasan5 libgcc-8-dev libncurses6 libncursesw6 libprocps7 libstdc++-8-dev libtinfo6 libubsan1 The following packages will be upgraded: adduser apt base-files base-passwd bash binutils binutils-arm-linux-gnueabihf binutils-common bsdutils build-essential cpp cpp-7 debconf debianutils dpkg dpkg-dev e2fslibs e2fsprogs fdisk g++ g++-7 gcc gcc-7 gcc-7-base gcc-8-base gpg gpg-agent gpgconf gpgv libapparmor1 libapt-pkg5.0 libargon2-0 libasan4 libatomic1 libaudit-common libaudit1 libbinutils libblkid1 libcap-ng0 libcc1-0 libcilkrts5 libcom-err2 libcomerr2 libcryptsetup12 libdpkg-perl libext2fs2 libfdisk1 libgcc-7-dev libgcc1 libgcrypt20 libgmp10 libgomp1 libgpg-error0 libkmod2 liblz4-1 libmount1 libncurses5 libncursesw5 libnpth0 libp11-kit0 libpcre3 libperl5.26 libpng16-16 libreadline7 libseccomp2 libselinux1 libsemanage-common libsemanage1 libsepol1 libslang2 libsmartcols1 libsqlite3-0 libss2 libssl1.1 libstdc++-7-dev libstdc++6 libsystemd0 libtasn1-6 libtinfo5 libubsan0 libudev1 libusb-0.1-4 libuuid1 linux-libc-dev make mount ncurses-base ncurses-bin openssl perl perl-base perl-modules-5.26 pinentry-curses pkgbinarymangler procps readline-common sed systemd systemd-sysv tar tzdata util-linux 102 upgraded, 12 newly installed, 0 to remove and 0 not upgraded. Need to get 69.3 MB of archives. After this operation, 68.8 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu cosmic/main armhf base-files armhf 10.1ubuntu4 [58.0 kB] Get:2 http://ftpmaster.internal/ubuntu cosmic/main armhf libtinfo6 armhf 6.1+20180210-4ubuntu1 [71.2 kB] Get:3 http://ftpmaster.internal/ubuntu cosmic/main armhf debianutils armhf 4.8.6 [84.4 kB] Get:4 http://ftpmaster.internal/ubuntu cosmic/main armhf bash armhf 4.4.18-2ubuntu2 [552 kB] Get:5 http://ftpmaster.internal/ubuntu cosmic/main armhf bsdutils armhf 1:2.32-0.1ubuntu1 [55.5 kB] Get:6 http://ftpmaster.internal/ubuntu cosmic/main armhf tar armhf 1.30+dfsg-2 [218 kB] Get:7 http://ftpmaster.internal/ubuntu cosmic/main armhf dpkg armhf 1.19.0.5ubuntu3 [1096 kB] Get:8 http://ftpmaster.internal/ubuntu cosmic/main armhf libext2fs2 armhf 1.44.3-1 [145 kB] Get:9 http://ftpmaster.internal/ubuntu cosmic/main armhf e2fsprogs armhf 1.44.3-1 [375 kB] Get:10 http://ftpmaster.internal/ubuntu cosmic/main armhf ncurses-bin armhf 6.1+20180210-4ubuntu1 [155 kB] Get:11 http://ftpmaster.internal/ubuntu cosmic/main armhf perl-modules-5.26 all 5.26.2-6 [2762 kB] Get:12 http://ftpmaster.internal/ubuntu cosmic/main armhf libperl5.26 armhf 5.26.2-6 [2870 kB] Get:13 http://ftpmaster.internal/ubuntu cosmic/main armhf perl armhf 5.26.2-6 [202 kB] Get:14 http://ftpmaster.internal/ubuntu cosmic/main armhf perl-base armhf 5.26.2-6 [1291 kB] Get:15 http://ftpmaster.internal/ubuntu cosmic/main armhf sed armhf 4.5-1 [177 kB] Get:16 http://ftpmaster.internal/ubuntu cosmic/main armhf libuuid1 armhf 2.32-0.1ubuntu1 [19.2 kB] Get:17 http://ftpmaster.internal/ubuntu cosmic/main armhf libblkid1 armhf 2.32-0.1ubuntu1 [115 kB] Get:18 http://ftpmaster.internal/ubuntu cosmic/main armhf libfdisk1 armhf 2.32-0.1ubuntu1 [155 kB] Get:19 http://ftpmaster.internal/ubuntu cosmic/main armhf libncursesw6 armhf 6.1+20180210-4ubuntu1 [104 kB] Get:20 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libpcre3 armhf 2:8.39-10ubuntu2 [207 kB] Get:21 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libselinux1 armhf 2.8-1build1 [59.2 kB] Get:22 http://ftpmaster.internal/ubuntu cosmic/main armhf libmount1 armhf 2.32-0.1ubuntu1 [125 kB] Get:23 http://ftpmaster.internal/ubuntu cosmic/main armhf libsmartcols1 armhf 2.32-0.1ubuntu1 [76.2 kB] Get:24 http://ftpmaster.internal/ubuntu cosmic/main armhf fdisk armhf 2.32-0.1ubuntu1 [98.7 kB] Get:25 http://ftpmaster.internal/ubuntu cosmic/main armhf util-linux armhf 2.32-0.1ubuntu1 [858 kB] Get:26 http://ftpmaster.internal/ubuntu cosmic/main armhf base-passwd armhf 3.5.45 [46.0 kB] Get:27 http://ftpmaster.internal/ubuntu cosmic/main armhf ncurses-base all 6.1+20180210-4ubuntu1 [18.4 kB] Get:28 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libgomp1 armhf 8.1.0-11ubuntu1 [66.6 kB] Get:29 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf gcc-8-base armhf 8.1.0-11ubuntu1 [18.8 kB] Get:30 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libgcc1 armhf 1:8.1.0-11ubuntu1 [37.1 kB] Get:31 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libcc1-0 armhf 8.1.0-11ubuntu1 [32.5 kB] Get:32 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libatomic1 armhf 8.1.0-11ubuntu1 [7064 B] Get:33 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libstdc++6 armhf 8.1.0-11ubuntu1 [349 kB] Get:34 http://ftpmaster.internal/ubuntu cosmic/main armhf liblz4-1 armhf 1.8.2-1ubuntu1 [76.1 kB] Get:35 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libudev1 armhf 238-5ubuntu2 [50.7 kB] Get:36 http://ftpmaster.internal/ubuntu cosmic/main armhf libapt-pkg5.0 armhf 1.7.0~alpha2 [731 kB] Get:37 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf debconf all 1.5.68 [125 kB] Get:38 http://ftpmaster.internal/ubuntu cosmic/main armhf adduser all 3.117ubuntu1 [163 kB] Get:39 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libgpg-error0 armhf 1.32-1 [48.4 kB] Get:40 http://ftpmaster.internal/ubuntu cosmic/main armhf libgcrypt20 armhf 1.8.3-1ubuntu1 [364 kB] Get:41 http://ftpmaster.internal/ubuntu cosmic/main armhf gpgv armhf 2.2.8-1ubuntu1 [167 kB] Get:42 http://ftpmaster.internal/ubuntu cosmic/main armhf libseccomp2 armhf 2.3.3-3ubuntu1 [30.4 kB] Get:43 http://ftpmaster.internal/ubuntu cosmic/main armhf apt armhf 1.7.0~alpha2 [1127 kB] Get:44 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libapparmor1 armhf 2.12-4ubuntu6 [27.1 kB] Get:45 http://ftpmaster.internal/ubuntu cosmic/main armhf libaudit-common all 1:2.8.3-1ubuntu2 [4064 B] Get:46 http://ftpmaster.internal/ubuntu cosmic/main armhf libcap-ng0 armhf 0.7.9-1 [10.1 kB] Get:47 http://ftpmaster.internal/ubuntu cosmic/main armhf libaudit1 armhf 1:2.8.3-1ubuntu2 [35.5 kB] Get:48 http://ftpmaster.internal/ubuntu cosmic/main armhf libargon2-1 armhf 0~20171227-0.1 [20.7 kB] Get:49 http://ftpmaster.internal/ubuntu cosmic/main armhf libcryptsetup12 armhf 2:2.0.3-6ubuntu1 [123 kB] Get:50 http://ftpmaster.internal/ubuntu cosmic/main armhf libkmod2 armhf 25-1ubuntu1 [35.7 kB] Get:51 http://ftpmaster.internal/ubuntu cosmic/main armhf mount armhf 2.32-0.1ubuntu1 [97.4 kB] Get:52 http://ftpmaster.internal/ubuntu cosmic/main armhf libncurses6 armhf 6.1+20180210-4ubuntu1 [78.5 kB] Get:53 http://ftpmaster.internal/ubuntu cosmic/main armhf libprocps7 armhf 2:3.3.15-2ubuntu1 [29.6 kB] Get:54 http://ftpmaster.internal/ubuntu cosmic/main armhf procps armhf 2:3.3.15-2ubuntu1 [219 kB] Get:55 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf systemd armhf 238-5ubuntu2 [2783 kB] Get:56 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libsystemd0 armhf 238-5ubuntu2 [189 kB] Get:57 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf systemd-sysv armhf 238-5ubuntu2 [13.7 kB] Get:58 http://ftpmaster.internal/ubuntu cosmic/main armhf libcom-err2 armhf 1.44.3-1 [8356 B] Get:59 http://ftpmaster.internal/ubuntu cosmic/main armhf libsepol1 armhf 2.8-1 [219 kB] Get:60 http://ftpmaster.internal/ubuntu cosmic/main armhf libsemanage-common all 2.8-1build1 [7000 B] Get:61 http://ftpmaster.internal/ubuntu cosmic/main armhf libsemanage1 armhf 2.8-1build1 [73.0 kB] Get:62 http://ftpmaster.internal/ubuntu cosmic/main armhf libss2 armhf 1.44.3-1 [9396 B] Get:63 http://ftpmaster.internal/ubuntu cosmic/main armhf libgmp10 armhf 2:6.1.2+dfsg-3 [182 kB] Get:64 http://ftpmaster.internal/ubuntu cosmic/main armhf libp11-kit0 armhf 0.23.12-2 [163 kB] Get:65 http://ftpmaster.internal/ubuntu cosmic/main armhf libtasn1-6 armhf 4.13-3 [31.1 kB] Get:66 http://ftpmaster.internal/ubuntu cosmic/universe armhf libncurses5 armhf 6.1+20180210-4ubuntu1 [74.9 kB] Get:67 http://ftpmaster.internal/ubuntu cosmic/main armhf libncursesw5 armhf 6.1+20180210-4ubuntu1 [95.3 kB] Get:68 http://ftpmaster.internal/ubuntu cosmic/main armhf libtinfo5 armhf 6.1+20180210-4ubuntu1 [67.6 kB] Get:69 http://ftpmaster.internal/ubuntu cosmic/universe armhf libargon2-0 armhf 0~20171227-0.1 [4536 B] Get:70 http://ftpmaster.internal/ubuntu cosmic/main armhf readline-common all 7.0-5 [52.2 kB] Get:71 http://ftpmaster.internal/ubuntu cosmic/main armhf libreadline7 armhf 7.0-5 [102 kB] Get:72 http://ftpmaster.internal/ubuntu cosmic/main armhf libslang2 armhf 2.3.2-1ubuntu1 [383 kB] Get:73 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libsqlite3-0 armhf 3.24.0-1 [429 kB] Get:74 http://ftpmaster.internal/ubuntu cosmic/main armhf libssl1.1 armhf 1.1.0g-2ubuntu5 [912 kB] Get:75 http://ftpmaster.internal/ubuntu cosmic/main armhf openssl armhf 1.1.0g-2ubuntu5 [510 kB] Get:76 http://ftpmaster.internal/ubuntu cosmic/main armhf tzdata all 2018e-1 [188 kB] Get:77 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libpng16-16 armhf 1.6.34-2 [159 kB] Get:78 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libbinutils armhf 2.31.1-1ubuntu2 [309 kB] Get:79 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf binutils-common armhf 2.31.1-1ubuntu2 [194 kB] Get:80 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf binutils armhf 2.31.1-1ubuntu2 [3344 B] Get:81 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf binutils-arm-linux-gnueabihf armhf 2.31.1-1ubuntu2 [2145 kB] Get:82 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf cpp-8 armhf 8.1.0-11ubuntu1 [5630 kB] Get:83 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf cpp armhf 4:8.1.0-2ubuntu0.3 [27.6 kB] Get:84 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libasan5 armhf 8.1.0-11ubuntu1 [348 kB] Get:85 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libubsan1 armhf 8.1.0-11ubuntu1 [109 kB] Get:86 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libgcc-8-dev armhf 8.1.0-11ubuntu1 [632 kB] Get:87 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf gcc-8 armhf 8.1.0-11ubuntu1 [6330 kB] Get:88 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf gcc armhf 4:8.1.0-2ubuntu0.3 [5204 B] Get:89 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libstdc++-8-dev armhf 8.1.0-11ubuntu1 [1591 kB] Get:90 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf g++-8 armhf 8.1.0-11ubuntu1 [6414 kB] Get:91 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf g++ armhf 4:8.1.0-2ubuntu0.3 [1588 B] Get:92 http://ftpmaster.internal/ubuntu cosmic/main armhf make armhf 4.2.1-1.1 [149 kB] Get:93 http://ftpmaster.internal/ubuntu cosmic/main armhf dpkg-dev all 1.19.0.5ubuntu3 [608 kB] Get:94 http://ftpmaster.internal/ubuntu cosmic/main armhf libdpkg-perl all 1.19.0.5ubuntu3 [211 kB] Get:95 http://ftpmaster.internal/ubuntu cosmic/main armhf build-essential armhf 12.5ubuntu2 [4732 B] Get:96 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libasan4 armhf 7.3.0-26ubuntu1 [327 kB] Get:97 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libubsan0 armhf 7.3.0-26ubuntu1 [109 kB] Get:98 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libcilkrts5 armhf 7.3.0-26ubuntu1 [36.0 kB] Get:99 http://ftpmaster.internal/ubuntu cosmic-proposed/universe armhf g++-7 armhf 7.3.0-26ubuntu1 [6049 kB] Get:100 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf gcc-7 armhf 7.3.0-26ubuntu1 [5949 kB] Get:101 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libstdc++-7-dev armhf 7.3.0-26ubuntu1 [1537 kB] Get:102 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libgcc-7-dev armhf 7.3.0-26ubuntu1 [711 kB] Get:103 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf cpp-7 armhf 7.3.0-26ubuntu1 [5297 kB] Get:104 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf gcc-7-base armhf 7.3.0-26ubuntu1 [18.9 kB] Get:105 http://ftpmaster.internal/ubuntu cosmic/main armhf e2fslibs armhf 1.44.3-1 [2704 B] Get:106 http://ftpmaster.internal/ubuntu cosmic/main armhf pinentry-curses armhf 1.1.0-1build2 [31.4 kB] Get:107 http://ftpmaster.internal/ubuntu cosmic/main armhf libnpth0 armhf 1.6-1 [6624 B] Get:108 http://ftpmaster.internal/ubuntu cosmic/main armhf gpg armhf 2.2.8-1ubuntu1 [411 kB] Get:109 http://ftpmaster.internal/ubuntu cosmic/main armhf gpgconf armhf 2.2.8-1ubuntu1 [105 kB] Get:110 http://ftpmaster.internal/ubuntu cosmic/main armhf gpg-agent armhf 2.2.8-1ubuntu1 [189 kB] Get:111 http://ftpmaster.internal/ubuntu cosmic/main armhf libcomerr2 armhf 1.44.3-1 [2704 B] Get:112 http://ftpmaster.internal/ubuntu cosmic/main armhf libusb-0.1-4 armhf 2:0.1.12-32 [15.6 kB] Get:113 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf linux-libc-dev armhf 4.17.0-5.6 [985 kB] Get:114 http://ftpmaster.internal/ubuntu cosmic/main armhf pkgbinarymangler all 141 [53.4 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 69.3 MB in 4s (16.0 MB/s) (Reading database ... 12378 files and directories currently installed.) Preparing to unpack .../base-files_10.1ubuntu4_armhf.deb ... Unpacking base-files (10.1ubuntu4) over (10.1ubuntu2) ... Setting up base-files (10.1ubuntu4) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... Selecting previously unselected package libtinfo6:armhf. (Reading database ... 12378 files and directories currently installed.) Preparing to unpack .../libtinfo6_6.1+20180210-4ubuntu1_armhf.deb ... Unpacking libtinfo6:armhf (6.1+20180210-4ubuntu1) ... Setting up libtinfo6:armhf (6.1+20180210-4ubuntu1) ... (Reading database ... 12387 files and directories currently installed.) Preparing to unpack .../debianutils_4.8.6_armhf.deb ... Unpacking debianutils (4.8.6) over (4.8.4) ... Setting up debianutils (4.8.6) ... (Reading database ... 12387 files and directories currently installed.) Preparing to unpack .../bash_4.4.18-2ubuntu2_armhf.deb ... Unpacking bash (4.4.18-2ubuntu2) over (4.4.18-2ubuntu1) ... Setting up bash (4.4.18-2ubuntu2) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... 12387 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.32-0.1ubuntu1_armhf.deb ... Unpacking bsdutils (1:2.32-0.1ubuntu1) over (1:2.31.1-0.4ubuntu3) ... Setting up bsdutils (1:2.32-0.1ubuntu1) ... (Reading database ... 12387 files and directories currently installed.) Preparing to unpack .../tar_1.30+dfsg-2_armhf.deb ... Unpacking tar (1.30+dfsg-2) over (1.29b-2) ... Setting up tar (1.30+dfsg-2) ... (Reading database ... 12387 files and directories currently installed.) Preparing to unpack .../dpkg_1.19.0.5ubuntu3_armhf.deb ... Unpacking dpkg (1.19.0.5ubuntu3) over (1.19.0.5ubuntu2) ... Setting up dpkg (1.19.0.5ubuntu3) ... (Reading database ... 12387 files and directories currently installed.) Preparing to unpack .../libext2fs2_1.44.3-1_armhf.deb ... Unpacking libext2fs2:armhf (1.44.3-1) over (1.44.1-1) ... Setting up libext2fs2:armhf (1.44.3-1) ... (Reading database ... 12387 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.44.3-1_armhf.deb ... Unpacking e2fsprogs (1.44.3-1) over (1.44.1-1) ... Setting up e2fsprogs (1.44.3-1) ... (Reading database ... 12389 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.1+20180210-4ubuntu1_armhf.deb ... Unpacking ncurses-bin (6.1+20180210-4ubuntu1) over (6.1-1ubuntu1) ... Setting up ncurses-bin (6.1+20180210-4ubuntu1) ... (Reading database ... 12389 files and directories currently installed.) Preparing to unpack .../perl_5.26.2-6_armhf.deb ... Unpacking perl (5.26.2-6) over (5.26.1-6) ... Preparing to unpack .../perl-modules-5.26_5.26.2-6_all.deb ... Unpacking perl-modules-5.26 (5.26.2-6) over (5.26.1-6) ... Preparing to unpack .../libperl5.26_5.26.2-6_armhf.deb ... Unpacking libperl5.26:armhf (5.26.2-6) over (5.26.1-6) ... Preparing to unpack .../perl-base_5.26.2-6_armhf.deb ... Unpacking perl-base (5.26.2-6) over (5.26.1-6) ... Setting up perl-base (5.26.2-6) ... (Reading database ... 12389 files and directories currently installed.) Preparing to unpack .../archives/sed_4.5-1_armhf.deb ... Unpacking sed (4.5-1) over (4.4-2) ... Setting up sed (4.5-1) ... (Reading database ... 12389 files and directories currently installed.) Preparing to unpack .../libuuid1_2.32-0.1ubuntu1_armhf.deb ... Unpacking libuuid1:armhf (2.32-0.1ubuntu1) over (2.31.1-0.4ubuntu3) ... Setting up libuuid1:armhf (2.32-0.1ubuntu1) ... (Reading database ... 12389 files and directories currently installed.) Preparing to unpack .../libblkid1_2.32-0.1ubuntu1_armhf.deb ... Unpacking libblkid1:armhf (2.32-0.1ubuntu1) over (2.31.1-0.4ubuntu3) ... Setting up libblkid1:armhf (2.32-0.1ubuntu1) ... (Reading database ... 12389 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.32-0.1ubuntu1_armhf.deb ... Unpacking libfdisk1:armhf (2.32-0.1ubuntu1) over (2.31.1-0.4ubuntu3) ... Setting up libfdisk1:armhf (2.32-0.1ubuntu1) ... Selecting previously unselected package libncursesw6:armhf. (Reading database ... 12389 files and directories currently installed.) Preparing to unpack .../libncursesw6_6.1+20180210-4ubuntu1_armhf.deb ... Unpacking libncursesw6:armhf (6.1+20180210-4ubuntu1) ... Setting up libncursesw6:armhf (6.1+20180210-4ubuntu1) ... (Reading database ... 12398 files and directories currently installed.) Preparing to unpack .../libpcre3_2%3a8.39-10ubuntu2_armhf.deb ... Unpacking libpcre3:armhf (2:8.39-10ubuntu2) over (2:8.39-9) ... Setting up libpcre3:armhf (2:8.39-10ubuntu2) ... (Reading database ... 12398 files and directories currently installed.) Preparing to unpack .../libselinux1_2.8-1build1_armhf.deb ... Unpacking libselinux1:armhf (2.8-1build1) over (2.7-2build2) ... Setting up libselinux1:armhf (2.8-1build1) ... (Reading database ... 12398 files and directories currently installed.) Preparing to unpack .../libmount1_2.32-0.1ubuntu1_armhf.deb ... Unpacking libmount1:armhf (2.32-0.1ubuntu1) over (2.31.1-0.4ubuntu3) ... Setting up libmount1:armhf (2.32-0.1ubuntu1) ... (Reading database ... 12398 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.32-0.1ubuntu1_armhf.deb ... Unpacking libsmartcols1:armhf (2.32-0.1ubuntu1) over (2.31.1-0.4ubuntu3) ... Setting up libsmartcols1:armhf (2.32-0.1ubuntu1) ... (Reading database ... 12398 files and directories currently installed.) Preparing to unpack .../fdisk_2.32-0.1ubuntu1_armhf.deb ... Unpacking fdisk (2.32-0.1ubuntu1) over (2.31.1-0.4ubuntu3) ... Setting up fdisk (2.32-0.1ubuntu1) ... (Reading database ... 12398 files and directories currently installed.) Preparing to unpack .../util-linux_2.32-0.1ubuntu1_armhf.deb ... Unpacking util-linux (2.32-0.1ubuntu1) over (2.31.1-0.4ubuntu3) ... Setting up util-linux (2.32-0.1ubuntu1) ... (Reading database ... 12398 files and directories currently installed.) Preparing to unpack .../base-passwd_3.5.45_armhf.deb ... Unpacking base-passwd (3.5.45) over (3.5.44) ... Setting up base-passwd (3.5.45) ... (Reading database ... 12398 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.1+20180210-4ubuntu1_all.deb ... Unpacking ncurses-base (6.1+20180210-4ubuntu1) over (6.1-1ubuntu1) ... Setting up ncurses-base (6.1+20180210-4ubuntu1) ... (Reading database ... 12400 files and directories currently installed.) Preparing to unpack .../libgomp1_8.1.0-11ubuntu1_armhf.deb ... Unpacking libgomp1:armhf (8.1.0-11ubuntu1) over (8-20180414-1ubuntu2) ... Preparing to unpack .../gcc-8-base_8.1.0-11ubuntu1_armhf.deb ... Unpacking gcc-8-base:armhf (8.1.0-11ubuntu1) over (8-20180414-1ubuntu2) ... Setting up gcc-8-base:armhf (8.1.0-11ubuntu1) ... (Reading database ... 12399 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a8.1.0-11ubuntu1_armhf.deb ... Unpacking libgcc1:armhf (1:8.1.0-11ubuntu1) over (1:8-20180414-1ubuntu2) ... Setting up libgcc1:armhf (1:8.1.0-11ubuntu1) ... (Reading database ... 12399 files and directories currently installed.) Preparing to unpack .../libcc1-0_8.1.0-11ubuntu1_armhf.deb ... Unpacking libcc1-0:armhf (8.1.0-11ubuntu1) over (8-20180414-1ubuntu2) ... Preparing to unpack .../libatomic1_8.1.0-11ubuntu1_armhf.deb ... Unpacking libatomic1:armhf (8.1.0-11ubuntu1) over (8-20180414-1ubuntu2) ... Preparing to unpack .../libstdc++6_8.1.0-11ubuntu1_armhf.deb ... Unpacking libstdc++6:armhf (8.1.0-11ubuntu1) over (8-20180414-1ubuntu2) ... Setting up libstdc++6:armhf (8.1.0-11ubuntu1) ... (Reading database ... 12399 files and directories currently installed.) Preparing to unpack .../liblz4-1_1.8.2-1ubuntu1_armhf.deb ... Unpacking liblz4-1:armhf (1.8.2-1ubuntu1) over (0.0~r131-2ubuntu3) ... Setting up liblz4-1:armhf (1.8.2-1ubuntu1) ... (Reading database ... 12399 files and directories currently installed.) Preparing to unpack .../libudev1_238-5ubuntu2_armhf.deb ... Unpacking libudev1:armhf (238-5ubuntu2) over (237-3ubuntu10) ... Setting up libudev1:armhf (238-5ubuntu2) ... (Reading database ... 12399 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.7.0~alpha2_armhf.deb ... Unpacking libapt-pkg5.0:armhf (1.7.0~alpha2) over (1.6.1) ... Setting up libapt-pkg5.0:armhf (1.7.0~alpha2) ... (Reading database ... 12399 files and directories currently installed.) Preparing to unpack .../debconf_1.5.68_all.deb ... Unpacking debconf (1.5.68) over (1.5.66) ... Setting up debconf (1.5.68) ... (Reading database ... 12401 files and directories currently installed.) Preparing to unpack .../adduser_3.117ubuntu1_all.deb ... Unpacking adduser (3.117ubuntu1) over (3.116ubuntu1) ... Setting up adduser (3.117ubuntu1) ... (Reading database ... 12401 files and directories currently installed.) Preparing to unpack .../libgpg-error0_1.32-1_armhf.deb ... Unpacking libgpg-error0:armhf (1.32-1) over (1.27-6) ... Setting up libgpg-error0:armhf (1.32-1) ... (Reading database ... 12401 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.8.3-1ubuntu1_armhf.deb ... Unpacking libgcrypt20:armhf (1.8.3-1ubuntu1) over (1.8.1-4ubuntu1) ... Setting up libgcrypt20:armhf (1.8.3-1ubuntu1) ... (Reading database ... 12401 files and directories currently installed.) Preparing to unpack .../gpgv_2.2.8-1ubuntu1_armhf.deb ... Unpacking gpgv (2.2.8-1ubuntu1) over (2.2.4-1ubuntu1) ... Setting up gpgv (2.2.8-1ubuntu1) ... (Reading database ... 12401 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.3.3-3ubuntu1_armhf.deb ... Unpacking libseccomp2:armhf (2.3.3-3ubuntu1) over (2.3.1-2.1ubuntu4) ... Setting up libseccomp2:armhf (2.3.3-3ubuntu1) ... (Reading database ... 12401 files and directories currently installed.) Preparing to unpack .../apt_1.7.0~alpha2_armhf.deb ... Unpacking apt (1.7.0~alpha2) over (1.6.1) ... Setting up apt (1.7.0~alpha2) ... (Reading database ... 12401 files and directories currently installed.) Preparing to unpack .../libapparmor1_2.12-4ubuntu6_armhf.deb ... Unpacking libapparmor1:armhf (2.12-4ubuntu6) over (2.12-4ubuntu5) ... Preparing to unpack .../libaudit-common_1%3a2.8.3-1ubuntu2_all.deb ... Unpacking libaudit-common (1:2.8.3-1ubuntu2) over (1:2.8.2-1ubuntu1) ... Setting up libaudit-common (1:2.8.3-1ubuntu2) ... (Reading database ... 12401 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.7.9-1_armhf.deb ... Unpacking libcap-ng0:armhf (0.7.9-1) over (0.7.7-3.1) ... Setting up libcap-ng0:armhf (0.7.9-1) ... (Reading database ... 12401 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.8.3-1ubuntu2_armhf.deb ... Unpacking libaudit1:armhf (1:2.8.3-1ubuntu2) over (1:2.8.2-1ubuntu1) ... Setting up libaudit1:armhf (1:2.8.3-1ubuntu2) ... Selecting previously unselected package libargon2-1:armhf. (Reading database ... 12401 files and directories currently installed.) Preparing to unpack .../0-libargon2-1_0~20171227-0.1_armhf.deb ... Unpacking libargon2-1:armhf (0~20171227-0.1) ... Preparing to unpack .../1-libcryptsetup12_2%3a2.0.3-6ubuntu1_armhf.deb ... Unpacking libcryptsetup12:armhf (2:2.0.3-6ubuntu1) over (2:2.0.2-1ubuntu1) ... Preparing to unpack .../2-libkmod2_25-1ubuntu1_armhf.deb ... Unpacking libkmod2:armhf (25-1ubuntu1) over (24-1ubuntu3) ... Preparing to unpack .../3-mount_2.32-0.1ubuntu1_armhf.deb ... Unpacking mount (2.32-0.1ubuntu1) over (2.31.1-0.4ubuntu3) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../4-libncurses6_6.1+20180210-4ubuntu1_armhf.deb ... Unpacking libncurses6:armhf (6.1+20180210-4ubuntu1) ... Selecting previously unselected package libprocps7:armhf. Preparing to unpack .../5-libprocps7_2%3a3.3.15-2ubuntu1_armhf.deb ... Unpacking libprocps7:armhf (2:3.3.15-2ubuntu1) ... Preparing to unpack .../6-procps_2%3a3.3.15-2ubuntu1_armhf.deb ... Unpacking procps (2:3.3.15-2ubuntu1) over (2:3.3.12-3ubuntu1) ... Setting up libargon2-1:armhf (0~20171227-0.1) ... Setting up libcryptsetup12:armhf (2:2.0.3-6ubuntu1) ... (Reading database ... 12423 files and directories currently installed.) Preparing to unpack .../systemd_238-5ubuntu2_armhf.deb ... Unpacking systemd (238-5ubuntu2) over (237-3ubuntu10) ... Preparing to unpack .../libsystemd0_238-5ubuntu2_armhf.deb ... Unpacking libsystemd0:armhf (238-5ubuntu2) over (237-3ubuntu10) ... Setting up libsystemd0:armhf (238-5ubuntu2) ... Setting up libapparmor1:armhf (2.12-4ubuntu6) ... Setting up libkmod2:armhf (25-1ubuntu1) ... Setting up mount (2.32-0.1ubuntu1) ... Setting up libncurses6:armhf (6.1+20180210-4ubuntu1) ... Setting up libprocps7:armhf (2:3.3.15-2ubuntu1) ... Setting up procps (2:3.3.15-2ubuntu1) ... Installing new version of config file /etc/init.d/procps ... Installing new version of config file /etc/sysctl.conf ... Installing new version of config file /etc/sysctl.d/10-network-security.conf ... Setting up systemd (238-5ubuntu2) ... Installing new version of config file /etc/systemd/logind.conf ... Installing new version of config file /etc/systemd/system.conf ... (Reading database ... 12432 files and directories currently installed.) Preparing to unpack .../systemd-sysv_238-5ubuntu2_armhf.deb ... Unpacking systemd-sysv (238-5ubuntu2) over (237-3ubuntu10) ... Preparing to unpack .../libcom-err2_1.44.3-1_armhf.deb ... Unpacking libcom-err2:armhf (1.44.3-1) over (1.44.1-1) ... Setting up libcom-err2:armhf (1.44.3-1) ... (Reading database ... 12432 files and directories currently installed.) Preparing to unpack .../libsepol1_2.8-1_armhf.deb ... Unpacking libsepol1:armhf (2.8-1) over (2.7-1) ... Setting up libsepol1:armhf (2.8-1) ... (Reading database ... 12432 files and directories currently installed.) Preparing to unpack .../libsemanage-common_2.8-1build1_all.deb ... Unpacking libsemanage-common (2.8-1build1) over (2.7-2build2) ... Setting up libsemanage-common (2.8-1build1) ... (Reading database ... 12432 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.8-1build1_armhf.deb ... Unpacking libsemanage1:armhf (2.8-1build1) over (2.7-2build2) ... Setting up libsemanage1:armhf (2.8-1build1) ... (Reading database ... 12432 files and directories currently installed.) Preparing to unpack .../libss2_1.44.3-1_armhf.deb ... Unpacking libss2:armhf (1.44.3-1) over (1.44.1-1) ... Setting up libss2:armhf (1.44.3-1) ... (Reading database ... 12432 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.1.2+dfsg-3_armhf.deb ... Unpacking libgmp10:armhf (2:6.1.2+dfsg-3) over (2:6.1.2+dfsg-2) ... Setting up libgmp10:armhf (2:6.1.2+dfsg-3) ... (Reading database ... 12432 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.23.12-2_armhf.deb ... Unpacking libp11-kit0:armhf (0.23.12-2) over (0.23.9-2) ... Setting up libp11-kit0:armhf (0.23.12-2) ... (Reading database ... 12432 files and directories currently installed.) Preparing to unpack .../libtasn1-6_4.13-3_armhf.deb ... Unpacking libtasn1-6:armhf (4.13-3) over (4.13-2) ... Setting up libtasn1-6:armhf (4.13-3) ... (Reading database ... 12432 files and directories currently installed.) Preparing to unpack .../libncurses5_6.1+20180210-4ubuntu1_armhf.deb ... Unpacking libncurses5:armhf (6.1+20180210-4ubuntu1) over (6.1-1ubuntu1) ... Preparing to unpack .../libncursesw5_6.1+20180210-4ubuntu1_armhf.deb ... Unpacking libncursesw5:armhf (6.1+20180210-4ubuntu1) over (6.1-1ubuntu1) ... Preparing to unpack .../libtinfo5_6.1+20180210-4ubuntu1_armhf.deb ... Unpacking libtinfo5:armhf (6.1+20180210-4ubuntu1) over (6.1-1ubuntu1) ... Setting up libtinfo5:armhf (6.1+20180210-4ubuntu1) ... (Reading database ... 12430 files and directories currently installed.) Preparing to unpack .../00-libargon2-0_0~20171227-0.1_armhf.deb ... Unpacking libargon2-0 (0~20171227-0.1) over (0~20161029-1.1) ... Preparing to unpack .../01-readline-common_7.0-5_all.deb ... Unpacking readline-common (7.0-5) over (7.0-3) ... Preparing to unpack .../02-libreadline7_7.0-5_armhf.deb ... Unpacking libreadline7:armhf (7.0-5) over (7.0-3) ... Preparing to unpack .../03-libslang2_2.3.2-1ubuntu1_armhf.deb ... Unpacking libslang2:armhf (2.3.2-1ubuntu1) over (2.3.1a-3ubuntu1) ... Preparing to unpack .../04-libsqlite3-0_3.24.0-1_armhf.deb ... Unpacking libsqlite3-0:armhf (3.24.0-1) over (3.22.0-1) ... Preparing to unpack .../05-libssl1.1_1.1.0g-2ubuntu5_armhf.deb ... Unpacking libssl1.1:armhf (1.1.0g-2ubuntu5) over (1.1.0g-2ubuntu4) ... Preparing to unpack .../06-openssl_1.1.0g-2ubuntu5_armhf.deb ... Unpacking openssl (1.1.0g-2ubuntu5) over (1.1.0g-2ubuntu4) ... Preparing to unpack .../07-tzdata_2018e-1_all.deb ... Unpacking tzdata (2018e-1) over (2018d-1) ... Preparing to unpack .../08-libpng16-16_1.6.34-2_armhf.deb ... Unpacking libpng16-16:armhf (1.6.34-2) over (1.6.34-1) ... Preparing to unpack .../09-libbinutils_2.31.1-1ubuntu2_armhf.deb ... Unpacking libbinutils:armhf (2.31.1-1ubuntu2) over (2.30-15ubuntu1) ... Preparing to unpack .../10-binutils-common_2.31.1-1ubuntu2_armhf.deb ... Unpacking binutils-common:armhf (2.31.1-1ubuntu2) over (2.30-15ubuntu1) ... Preparing to unpack .../11-binutils_2.31.1-1ubuntu2_armhf.deb ... Unpacking binutils (2.31.1-1ubuntu2) over (2.30-15ubuntu1) ... Preparing to unpack .../12-binutils-arm-linux-gnueabihf_2.31.1-1ubuntu2_armhf.deb ... Unpacking binutils-arm-linux-gnueabihf (2.31.1-1ubuntu2) over (2.30-15ubuntu1) ... Selecting previously unselected package cpp-8. Preparing to unpack .../13-cpp-8_8.1.0-11ubuntu1_armhf.deb ... Unpacking cpp-8 (8.1.0-11ubuntu1) ... Preparing to unpack .../14-cpp_4%3a8.1.0-2ubuntu0.3_armhf.deb ... Unpacking cpp (4:8.1.0-2ubuntu0.3) over (4:7.3.0-3ubuntu2) ... Selecting previously unselected package libasan5:armhf. Preparing to unpack .../15-libasan5_8.1.0-11ubuntu1_armhf.deb ... Unpacking libasan5:armhf (8.1.0-11ubuntu1) ... Selecting previously unselected package libubsan1:armhf. Preparing to unpack .../16-libubsan1_8.1.0-11ubuntu1_armhf.deb ... Unpacking libubsan1:armhf (8.1.0-11ubuntu1) ... Selecting previously unselected package libgcc-8-dev:armhf. Preparing to unpack .../17-libgcc-8-dev_8.1.0-11ubuntu1_armhf.deb ... Unpacking libgcc-8-dev:armhf (8.1.0-11ubuntu1) ... Selecting previously unselected package gcc-8. Preparing to unpack .../18-gcc-8_8.1.0-11ubuntu1_armhf.deb ... Unpacking gcc-8 (8.1.0-11ubuntu1) ... Preparing to unpack .../19-gcc_4%3a8.1.0-2ubuntu0.3_armhf.deb ... Unpacking gcc (4:8.1.0-2ubuntu0.3) over (4:7.3.0-3ubuntu2) ... Selecting previously unselected package libstdc++-8-dev:armhf. Preparing to unpack .../20-libstdc++-8-dev_8.1.0-11ubuntu1_armhf.deb ... Unpacking libstdc++-8-dev:armhf (8.1.0-11ubuntu1) ... Selecting previously unselected package g++-8. Preparing to unpack .../21-g++-8_8.1.0-11ubuntu1_armhf.deb ... Unpacking g++-8 (8.1.0-11ubuntu1) ... Preparing to unpack .../22-g++_4%3a8.1.0-2ubuntu0.3_armhf.deb ... Unpacking g++ (4:8.1.0-2ubuntu0.3) over (4:7.3.0-3ubuntu2) ... Preparing to unpack .../23-make_4.2.1-1.1_armhf.deb ... Unpacking make (4.2.1-1.1) over (4.1-9.1ubuntu1) ... Preparing to unpack .../24-dpkg-dev_1.19.0.5ubuntu3_all.deb ... Unpacking dpkg-dev (1.19.0.5ubuntu3) over (1.19.0.5ubuntu2) ... Preparing to unpack .../25-libdpkg-perl_1.19.0.5ubuntu3_all.deb ... Unpacking libdpkg-perl (1.19.0.5ubuntu3) over (1.19.0.5ubuntu2) ... Preparing to unpack .../26-build-essential_12.5ubuntu2_armhf.deb ... Unpacking build-essential (12.5ubuntu2) over (12.4ubuntu1) ... Preparing to unpack .../27-libasan4_7.3.0-26ubuntu1_armhf.deb ... Unpacking libasan4:armhf (7.3.0-26ubuntu1) over (7.3.0-16ubuntu3) ... Preparing to unpack .../28-libubsan0_7.3.0-26ubuntu1_armhf.deb ... Unpacking libubsan0:armhf (7.3.0-26ubuntu1) over (7.3.0-16ubuntu3) ... Preparing to unpack .../29-libcilkrts5_7.3.0-26ubuntu1_armhf.deb ... Unpacking libcilkrts5:armhf (7.3.0-26ubuntu1) over (7.3.0-16ubuntu3) ... Preparing to unpack .../30-g++-7_7.3.0-26ubuntu1_armhf.deb ... Unpacking g++-7 (7.3.0-26ubuntu1) over (7.3.0-16ubuntu3) ... Preparing to unpack .../31-gcc-7_7.3.0-26ubuntu1_armhf.deb ... Unpacking gcc-7 (7.3.0-26ubuntu1) over (7.3.0-16ubuntu3) ... Preparing to unpack .../32-libstdc++-7-dev_7.3.0-26ubuntu1_armhf.deb ... Unpacking libstdc++-7-dev:armhf (7.3.0-26ubuntu1) over (7.3.0-16ubuntu3) ... Preparing to unpack .../33-libgcc-7-dev_7.3.0-26ubuntu1_armhf.deb ... Unpacking libgcc-7-dev:armhf (7.3.0-26ubuntu1) over (7.3.0-16ubuntu3) ... Preparing to unpack .../34-cpp-7_7.3.0-26ubuntu1_armhf.deb ... Unpacking cpp-7 (7.3.0-26ubuntu1) over (7.3.0-16ubuntu3) ... Preparing to unpack .../35-gcc-7-base_7.3.0-26ubuntu1_armhf.deb ... Unpacking gcc-7-base:armhf (7.3.0-26ubuntu1) over (7.3.0-16ubuntu3) ... Preparing to unpack .../36-e2fslibs_1.44.3-1_armhf.deb ... Unpacking e2fslibs:armhf (1.44.3-1) over (1.44.1-1) ... Preparing to unpack .../37-pinentry-curses_1.1.0-1build2_armhf.deb ... Unpacking pinentry-curses (1.1.0-1build2) over (1.1.0-1) ... Preparing to unpack .../38-libnpth0_1.6-1_armhf.deb ... Unpacking libnpth0:armhf (1.6-1) over (1.5-3) ... Preparing to unpack .../39-gpg_2.2.8-1ubuntu1_armhf.deb ... Unpacking gpg (2.2.8-1ubuntu1) over (2.2.4-1ubuntu1) ... Preparing to unpack .../40-gpgconf_2.2.8-1ubuntu1_armhf.deb ... Unpacking gpgconf (2.2.8-1ubuntu1) over (2.2.4-1ubuntu1) ... Preparing to unpack .../41-gpg-agent_2.2.8-1ubuntu1_armhf.deb ... Unpacking gpg-agent (2.2.8-1ubuntu1) over (2.2.4-1ubuntu1) ... Preparing to unpack .../42-libcomerr2_1.44.3-1_armhf.deb ... Unpacking libcomerr2:armhf (1.44.3-1) over (1.44.1-1) ... Preparing to unpack .../43-libusb-0.1-4_2%3a0.1.12-32_armhf.deb ... Unpacking libusb-0.1-4:armhf (2:0.1.12-32) over (2:0.1.12-31) ... Preparing to unpack .../44-linux-libc-dev_4.17.0-5.6_armhf.deb ... Unpacking linux-libc-dev:armhf (4.17.0-5.6) over (4.15.0-20.21) ... Preparing to unpack .../45-pkgbinarymangler_141_all.deb ... Unpacking pkgbinarymangler (141) over (138) ... Setting up libnpth0:armhf (1.6-1) ... Setting up cpp-8 (8.1.0-11ubuntu1) ... Setting up libncurses5:armhf (6.1+20180210-4ubuntu1) ... Setting up libgomp1:armhf (8.1.0-11ubuntu1) ... Setting up libatomic1:armhf (8.1.0-11ubuntu1) ... Setting up cpp (4:8.1.0-2ubuntu0.3) ... Setting up readline-common (7.0-5) ... Setting up libcc1-0:armhf (8.1.0-11ubuntu1) ... Setting up make (4.2.1-1.1) ... Setting up pkgbinarymangler (141) ... Setting up e2fslibs:armhf (1.44.3-1) ... Setting up libpng16-16:armhf (1.6.34-2) ... Setting up libncursesw5:armhf (6.1+20180210-4ubuntu1) ... Setting up libreadline7:armhf (7.0-5) ... Setting up tzdata (2018e-1) ... Current default time zone: 'Etc/UTC' Local time is now: Fri Jul 20 05:27:34 UTC 2018. Universal Time is now: Fri Jul 20 05:27:34 UTC 2018. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up systemd-sysv (238-5ubuntu2) ... Setting up gpgconf (2.2.8-1ubuntu1) ... Setting up linux-libc-dev:armhf (4.17.0-5.6) ... Setting up perl-modules-5.26 (5.26.2-6) ... Setting up libargon2-0 (0~20171227-0.1) ... Setting up gcc-7-base:armhf (7.3.0-26ubuntu1) ... Setting up binutils-common:armhf (2.31.1-1ubuntu2) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... Setting up libperl5.26:armhf (5.26.2-6) ... Setting up libssl1.1:armhf (1.1.0g-2ubuntu5) ... Setting up openssl (1.1.0g-2ubuntu5) ... Setting up libsqlite3-0:armhf (3.24.0-1) ... Setting up pinentry-curses (1.1.0-1build2) ... Setting up libcomerr2:armhf (1.44.3-1) ... Setting up libslang2:armhf (2.3.2-1ubuntu1) ... Setting up libasan5:armhf (8.1.0-11ubuntu1) ... Setting up libusb-0.1-4:armhf (2:0.1.12-32) ... Setting up gpg (2.2.8-1ubuntu1) ... Setting up libubsan1:armhf (8.1.0-11ubuntu1) ... Setting up libasan4:armhf (7.3.0-26ubuntu1) ... Setting up libbinutils:armhf (2.31.1-1ubuntu2) ... Setting up libcilkrts5:armhf (7.3.0-26ubuntu1) ... Setting up libubsan0:armhf (7.3.0-26ubuntu1) ... Setting up binutils-arm-linux-gnueabihf (2.31.1-1ubuntu2) ... Setting up gpg-agent (2.2.8-1ubuntu1) ... Setting up libgcc-7-dev:armhf (7.3.0-26ubuntu1) ... Setting up cpp-7 (7.3.0-26ubuntu1) ... Setting up libstdc++-7-dev:armhf (7.3.0-26ubuntu1) ... Setting up perl (5.26.2-6) ... Setting up libgcc-8-dev:armhf (8.1.0-11ubuntu1) ... Setting up binutils (2.31.1-1ubuntu2) ... Setting up libstdc++-8-dev:armhf (8.1.0-11ubuntu1) ... Setting up gcc-7 (7.3.0-26ubuntu1) ... Setting up g++-7 (7.3.0-26ubuntu1) ... Setting up libdpkg-perl (1.19.0.5ubuntu3) ... Setting up gcc-8 (8.1.0-11ubuntu1) ... Setting up g++-8 (8.1.0-11ubuntu1) ... Setting up dpkg-dev (1.19.0.5ubuntu3) ... Setting up gcc (4:8.1.0-2ubuntu0.3) ... Setting up g++ (4:8.1.0-2ubuntu0.3) ... Setting up build-essential (12.5ubuntu2) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package PACKAGEBUILD-15151532 armhf cosmic-proposed -c chroot:build-PACKAGEBUILD-15151532 --arch=armhf --dist=cosmic-proposed --nolog menhir_20180530-2.dsc Initiating build PACKAGEBUILD-15151532 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-130-generic #156-Ubuntu SMP Thu Jun 14 08:52:48 UTC 2018 armv7l sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on bos02-arm64-013.buildd +==============================================================================+ | menhir 20180530-2 (armhf) 20 Jul 2018 05:27 | +==============================================================================+ Package: menhir Version: 20180530-2 Source Version: 20180530-2 Distribution: cosmic-proposed Machine Architecture: arm64 Host Architecture: armhf Build Architecture: armhf I: NOTICE: Log filtering will replace 'build/menhir-I7PZ4w/menhir-20180530' with '<>' I: NOTICE: Log filtering will replace 'build/menhir-I7PZ4w' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-15151532/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- menhir_20180530-2.dsc exists in .; copying to chroot Check architectures ------------------- Check dependencies ------------------ Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-BrE_eB/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-BrE_eB/apt_archive ./ InRelease Get:2 copy:/<>/resolver-BrE_eB/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-BrE_eB/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-BrE_eB/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-BrE_eB/apt_archive ./ Packages [527 B] Fetched 2860 B in 0s (0 B/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: g++-7 libargon2-0 libncursesw5 libprocps6 libstdc++-7-dev 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-BrE_eB/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 ... 13380 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: debhelper (>= 11), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml (>= 0.9) Filtered Build-Depends: debhelper (>= 11), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml (>= 0.9) dpkg-deb: building package 'sbuild-build-depends-menhir-dummy' in '/<>/resolver-nH9C_A/apt_archive/sbuild-build-depends-menhir-dummy.deb'. Ign:1 copy:/<>/resolver-nH9C_A/apt_archive ./ InRelease Get:2 copy:/<>/resolver-nH9C_A/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-nH9C_A/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-nH9C_A/apt_archive ./ Sources [243 B] Get:5 copy:/<>/resolver-nH9C_A/apt_archive ./ Packages [564 B] Fetched 2926 B in 0s (0 B/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install menhir 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: g++-7 libargon2-0 libncursesw5 libprocps6 libstdc++-7-dev Use 'apt autoremove' to remove them. The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu60 libmagic-mgc libmagic1 libncurses-dev libncurses5-dev libpipeline1 libsigsegv2 libtimedate-perl libtool libxml2 m4 man-db ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox ocamlbuild po-debconf Suggested packages: autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser camlp4 ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl Recommended packages: curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libltdl-dev libfindlib-ocaml-dev ledit | readline-editor camlp4 libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu60 libmagic-mgc libmagic1 libncurses-dev libncurses5-dev libpipeline1 libsigsegv2 libtimedate-perl libtool libxml2 m4 man-db ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox ocamlbuild po-debconf sbuild-build-depends-menhir-dummy 0 upgraded, 42 newly installed, 0 to remove and 0 not upgraded. Need to get 66.7 MB of archives. After this operation, 268 MB of additional disk space will be used. Get:1 copy:/<>/resolver-nH9C_A/apt_archive ./ sbuild-build-depends-menhir-dummy 0.invalid.0 [892 B] Get:2 http://ftpmaster.internal/ubuntu cosmic/main armhf libbsd0 armhf 0.9.1-1 [43.1 kB] Get:3 http://ftpmaster.internal/ubuntu cosmic/main armhf bsdmainutils armhf 11.1.2ubuntu2 [176 kB] Get:4 http://ftpmaster.internal/ubuntu cosmic/main armhf groff-base armhf 1.22.3-10 [1013 kB] Get:5 http://ftpmaster.internal/ubuntu cosmic/main armhf libpipeline1 armhf 1.5.0-1 [21.1 kB] Get:6 http://ftpmaster.internal/ubuntu cosmic/main armhf man-db armhf 2.8.3-2 [993 kB] Get:7 http://ftpmaster.internal/ubuntu cosmic/main armhf libmagic-mgc armhf 1:5.33-3 [192 kB] Get:8 http://ftpmaster.internal/ubuntu cosmic/main armhf libmagic1 armhf 1:5.33-3 [63.7 kB] Get:9 http://ftpmaster.internal/ubuntu cosmic/main armhf file armhf 1:5.33-3 [22.1 kB] Get:10 http://ftpmaster.internal/ubuntu cosmic/main armhf libelf1 armhf 0.170-0.5 [42.2 kB] Get:11 http://ftpmaster.internal/ubuntu cosmic/main armhf libglib2.0-0 armhf 2.56.1-2ubuntu1 [1014 kB] Get:12 http://ftpmaster.internal/ubuntu cosmic/main armhf libicu60 armhf 60.2-6ubuntu1 [7801 kB] Get:13 http://ftpmaster.internal/ubuntu cosmic-proposed/main armhf libxml2 armhf 2.9.4+dfsg1-7build1 [568 kB] Get:14 http://ftpmaster.internal/ubuntu cosmic/main armhf gettext-base armhf 0.19.8.1-6build1 [46.2 kB] Get:15 http://ftpmaster.internal/ubuntu cosmic/main armhf libsigsegv2 armhf 2.12-2 [13.1 kB] Get:16 http://ftpmaster.internal/ubuntu cosmic/main armhf m4 armhf 1.4.18-1 [181 kB] Get:17 http://ftpmaster.internal/ubuntu cosmic/main armhf autoconf all 2.69-11 [322 kB] Get:18 http://ftpmaster.internal/ubuntu cosmic/main armhf autotools-dev all 20180224.1 [39.6 kB] Get:19 http://ftpmaster.internal/ubuntu cosmic/main armhf automake all 1:1.15.1-3ubuntu2 [509 kB] Get:20 http://ftpmaster.internal/ubuntu cosmic/main armhf autopoint all 0.19.8.1-6build1 [412 kB] Get:21 http://ftpmaster.internal/ubuntu cosmic/main armhf libtool all 2.4.6-2.1build1 [196 kB] Get:22 http://ftpmaster.internal/ubuntu cosmic/main armhf dh-autoreconf all 19 [16.1 kB] Get:23 http://ftpmaster.internal/ubuntu cosmic/main armhf libarchive-zip-perl all 1.60-1ubuntu1 [84.6 kB] Get:24 http://ftpmaster.internal/ubuntu cosmic/main armhf libfile-stripnondeterminism-perl all 0.042-1 [15.2 kB] Get:25 http://ftpmaster.internal/ubuntu cosmic/main armhf libtimedate-perl all 2.3000-2 [37.5 kB] Get:26 http://ftpmaster.internal/ubuntu cosmic/main armhf dh-strip-nondeterminism all 0.042-1 [5188 B] Get:27 http://ftpmaster.internal/ubuntu cosmic/main armhf dwz armhf 0.12-2 [72.0 kB] Get:28 http://ftpmaster.internal/ubuntu cosmic/main armhf libcroco3 armhf 0.6.12-2 [69.4 kB] Get:29 http://ftpmaster.internal/ubuntu cosmic/main armhf gettext armhf 0.19.8.1-6build1 [834 kB] Get:30 http://ftpmaster.internal/ubuntu cosmic/main armhf intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:31 http://ftpmaster.internal/ubuntu cosmic/main armhf po-debconf all 1.0.20 [232 kB] Get:32 http://ftpmaster.internal/ubuntu cosmic/main armhf debhelper all 11.3.2ubuntu1 [883 kB] Get:33 http://ftpmaster.internal/ubuntu cosmic/universe armhf ocaml-base-nox armhf 4.05.0-10ubuntu2 [480 kB] Get:34 http://ftpmaster.internal/ubuntu cosmic/universe armhf libfindlib-ocaml armhf 1.7.3-2 [158 kB] Get:35 http://ftpmaster.internal/ubuntu cosmic/main armhf libncurses-dev armhf 6.1+20180210-4ubuntu1 [295 kB] Get:36 http://ftpmaster.internal/ubuntu cosmic/main armhf libncurses5-dev armhf 6.1+20180210-4ubuntu1 [972 B] Get:37 http://ftpmaster.internal/ubuntu cosmic/universe armhf ocaml-interp armhf 4.05.0-10ubuntu2 [3466 kB] Get:38 http://ftpmaster.internal/ubuntu cosmic/universe armhf ocaml-nox armhf 4.05.0-10ubuntu2 [26.2 MB] Get:39 http://ftpmaster.internal/ubuntu cosmic/universe armhf ocaml-compiler-libs armhf 4.05.0-10ubuntu2 [19.1 MB] Get:40 http://ftpmaster.internal/ubuntu cosmic/universe armhf ocaml-findlib armhf 1.7.3-2 [343 kB] Get:41 http://ftpmaster.internal/ubuntu cosmic/universe armhf ocamlbuild armhf 0.11.0-3build1 [694 kB] Get:42 http://ftpmaster.internal/ubuntu cosmic/universe armhf dh-ocaml all 1.1.0 [79.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 66.7 MB in 2s (28.1 MB/s) Selecting previously unselected package libbsd0:armhf. (Reading database ... 13380 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.9.1-1_armhf.deb ... Unpacking libbsd0:armhf (0.9.1-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2ubuntu2_armhf.deb ... Unpacking bsdmainutils (11.1.2ubuntu2) ... Selecting previously unselected package groff-base. Preparing to unpack .../02-groff-base_1.22.3-10_armhf.deb ... Unpacking groff-base (1.22.3-10) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../03-libpipeline1_1.5.0-1_armhf.deb ... Unpacking libpipeline1:armhf (1.5.0-1) ... Selecting previously unselected package man-db. Preparing to unpack .../04-man-db_2.8.3-2_armhf.deb ... Unpacking man-db (2.8.3-2) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../05-libmagic-mgc_1%3a5.33-3_armhf.deb ... Unpacking libmagic-mgc (1:5.33-3) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../06-libmagic1_1%3a5.33-3_armhf.deb ... Unpacking libmagic1:armhf (1:5.33-3) ... Selecting previously unselected package file. Preparing to unpack .../07-file_1%3a5.33-3_armhf.deb ... Unpacking file (1:5.33-3) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../08-libelf1_0.170-0.5_armhf.deb ... Unpacking libelf1:armhf (0.170-0.5) ... Selecting previously unselected package libglib2.0-0:armhf. Preparing to unpack .../09-libglib2.0-0_2.56.1-2ubuntu1_armhf.deb ... Unpacking libglib2.0-0:armhf (2.56.1-2ubuntu1) ... Selecting previously unselected package libicu60:armhf. Preparing to unpack .../10-libicu60_60.2-6ubuntu1_armhf.deb ... Unpacking libicu60:armhf (60.2-6ubuntu1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../11-libxml2_2.9.4+dfsg1-7build1_armhf.deb ... Unpacking libxml2:armhf (2.9.4+dfsg1-7build1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../12-gettext-base_0.19.8.1-6build1_armhf.deb ... Unpacking gettext-base (0.19.8.1-6build1) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../13-libsigsegv2_2.12-2_armhf.deb ... Unpacking libsigsegv2:armhf (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../14-m4_1.4.18-1_armhf.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../15-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../16-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../17-automake_1%3a1.15.1-3ubuntu2_all.deb ... Unpacking automake (1:1.15.1-3ubuntu2) ... Selecting previously unselected package autopoint. Preparing to unpack .../18-autopoint_0.19.8.1-6build1_all.deb ... Unpacking autopoint (0.19.8.1-6build1) ... Selecting previously unselected package libtool. Preparing to unpack .../19-libtool_2.4.6-2.1build1_all.deb ... Unpacking libtool (2.4.6-2.1build1) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../20-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../21-libarchive-zip-perl_1.60-1ubuntu1_all.deb ... Unpacking libarchive-zip-perl (1.60-1ubuntu1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../22-libfile-stripnondeterminism-perl_0.042-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.042-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../23-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../24-dh-strip-nondeterminism_0.042-1_all.deb ... Unpacking dh-strip-nondeterminism (0.042-1) ... Selecting previously unselected package dwz. Preparing to unpack .../25-dwz_0.12-2_armhf.deb ... Unpacking dwz (0.12-2) ... Selecting previously unselected package libcroco3:armhf. Preparing to unpack .../26-libcroco3_0.6.12-2_armhf.deb ... Unpacking libcroco3:armhf (0.6.12-2) ... Selecting previously unselected package gettext. Preparing to unpack .../27-gettext_0.19.8.1-6build1_armhf.deb ... Unpacking gettext (0.19.8.1-6build1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../28-intltool-debian_0.35.0+20060710.4_all.deb ... Unpacking intltool-debian (0.35.0+20060710.4) ... Selecting previously unselected package po-debconf. Preparing to unpack .../29-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../30-debhelper_11.3.2ubuntu1_all.deb ... Unpacking debhelper (11.3.2ubuntu1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../31-ocaml-base-nox_4.05.0-10ubuntu2_armhf.deb ... Unpacking ocaml-base-nox (4.05.0-10ubuntu2) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../32-libfindlib-ocaml_1.7.3-2_armhf.deb ... Unpacking libfindlib-ocaml (1.7.3-2) ... Selecting previously unselected package libncurses-dev:armhf. Preparing to unpack .../33-libncurses-dev_6.1+20180210-4ubuntu1_armhf.deb ... Unpacking libncurses-dev:armhf (6.1+20180210-4ubuntu1) ... Selecting previously unselected package libncurses5-dev:armhf. Preparing to unpack .../34-libncurses5-dev_6.1+20180210-4ubuntu1_armhf.deb ... Unpacking libncurses5-dev:armhf (6.1+20180210-4ubuntu1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../35-ocaml-interp_4.05.0-10ubuntu2_armhf.deb ... Unpacking ocaml-interp (4.05.0-10ubuntu2) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../36-ocaml-nox_4.05.0-10ubuntu2_armhf.deb ... Unpacking ocaml-nox (4.05.0-10ubuntu2) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../37-ocaml-compiler-libs_4.05.0-10ubuntu2_armhf.deb ... Unpacking ocaml-compiler-libs (4.05.0-10ubuntu2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../38-ocaml-findlib_1.7.3-2_armhf.deb ... Unpacking ocaml-findlib (1.7.3-2) ... Selecting previously unselected package ocamlbuild. Preparing to unpack .../39-ocamlbuild_0.11.0-3build1_armhf.deb ... Unpacking ocamlbuild (0.11.0-3build1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../40-dh-ocaml_1.1.0_all.deb ... Unpacking dh-ocaml (1.1.0) ... Selecting previously unselected package sbuild-build-depends-menhir-dummy. Preparing to unpack .../41-sbuild-build-depends-menhir-dummy_0.invalid.0_armhf.deb ... Unpacking sbuild-build-depends-menhir-dummy (0.invalid.0) ... Setting up libicu60:armhf (60.2-6ubuntu1) ... Setting up libarchive-zip-perl (1.60-1ubuntu1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up libsigsegv2:armhf (2.12-2) ... Setting up libelf1:armhf (0.170-0.5) ... Setting up groff-base (1.22.3-10) ... Setting up libglib2.0-0:armhf (2.56.1-2ubuntu1) ... No schema files found: doing nothing. Setting up ocaml-base-nox (4.05.0-10ubuntu2) ... Setting up dh-ocaml (1.1.0) ... Setting up gettext-base (0.19.8.1-6build1) ... Setting up libpipeline1:armhf (1.5.0-1) ... Setting up m4 (1.4.18-1) ... Setting up libbsd0:armhf (0.9.1-1) ... Setting up libxml2:armhf (2.9.4+dfsg1-7build1) ... Setting up libmagic-mgc (1:5.33-3) ... Setting up libmagic1:armhf (1:5.33-3) ... Setting up libcroco3:armhf (0.6.12-2) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... Setting up dwz (0.12-2) ... Setting up autotools-dev (20180224.1) ... Setting up bsdmainutils (11.1.2ubuntu2) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up libncurses-dev:armhf (6.1+20180210-4ubuntu1) ... Setting up ocamlbuild (0.11.0-3build1) ... Setting up libfindlib-ocaml (1.7.3-2) ... Setting up ocaml-findlib (1.7.3-2) ... Setting up autopoint (0.19.8.1-6build1) ... Setting up libfile-stripnondeterminism-perl (0.042-1) ... Setting up gettext (0.19.8.1-6build1) ... Setting up autoconf (2.69-11) ... Setting up file (1:5.33-3) ... Setting up libncurses5-dev:armhf (6.1+20180210-4ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up automake (1:1.15.1-3ubuntu2) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up man-db (2.8.3-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libtool (2.4.6-2.1build1) ... Setting up po-debconf (1.0.20) ... Setting up dh-autoreconf (19) ... Setting up ocaml-interp (4.05.0-10ubuntu2) ... Setting up dh-strip-nondeterminism (0.042-1) ... Setting up debhelper (11.3.2ubuntu1) ... Setting up ocaml-nox (4.05.0-10ubuntu2) ... Setting up sbuild-build-depends-menhir-dummy (0.invalid.0) ... Setting up ocaml-compiler-libs (4.05.0-10ubuntu2) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-130-generic arm64 (armv7l) Toolchain package versions: binutils_2.31.1-1ubuntu2 dpkg-dev_1.19.0.5ubuntu3 g++-7_7.3.0-26ubuntu1 g++-8_8.1.0-11ubuntu1 gcc-7_7.3.0-26ubuntu1 gcc-8_8.1.0-11ubuntu1 libc6-dev_2.27-3ubuntu1 libstdc++-7-dev_7.3.0-26ubuntu1 libstdc++-8-dev_8.1.0-11ubuntu1 libstdc++6_8.1.0-11ubuntu1 linux-libc-dev_4.17.0-5.6 Package versions: adduser_3.117ubuntu1 advancecomp_2.1-1 apt_1.7.0~alpha2 autoconf_2.69-11 automake_1:1.15.1-3ubuntu2 autopoint_0.19.8.1-6build1 autotools-dev_20180224.1 base-files_10.1ubuntu4 base-passwd_3.5.45 bash_4.4.18-2ubuntu2 binutils_2.31.1-1ubuntu2 binutils-arm-linux-gnueabihf_2.31.1-1ubuntu2 binutils-common_2.31.1-1ubuntu2 bsdmainutils_11.1.2ubuntu2 bsdutils_1:2.32-0.1ubuntu1 build-essential_12.5ubuntu2 bzip2_1.0.6-8.1 ca-certificates_20180409 coreutils_8.28-1ubuntu1 cpp_4:8.1.0-2ubuntu0.3 cpp-7_7.3.0-26ubuntu1 cpp-8_8.1.0-11ubuntu1 dash_0.5.8-2.10 debconf_1.5.68 debhelper_11.3.2ubuntu1 debianutils_4.8.6 dh-autoreconf_19 dh-ocaml_1.1.0 dh-strip-nondeterminism_0.042-1 diffutils_1:3.6-1 dmsetup_2:1.02.145-4.1ubuntu3 dpkg_1.19.0.5ubuntu3 dpkg-dev_1.19.0.5ubuntu3 dwz_0.12-2 e2fslibs_1.44.3-1 e2fsprogs_1.44.3-1 fakeroot_1.22-2ubuntu1 fdisk_2.32-0.1ubuntu1 file_1:5.33-3 findutils_4.6.0+git+20170828-2 g++_4:8.1.0-2ubuntu0.3 g++-7_7.3.0-26ubuntu1 g++-8_8.1.0-11ubuntu1 gcc_4:8.1.0-2ubuntu0.3 gcc-7_7.3.0-26ubuntu1 gcc-7-base_7.3.0-26ubuntu1 gcc-8_8.1.0-11ubuntu1 gcc-8-base_8.1.0-11ubuntu1 gettext_0.19.8.1-6build1 gettext-base_0.19.8.1-6build1 gpg_2.2.8-1ubuntu1 gpg-agent_2.2.8-1ubuntu1 gpgconf_2.2.8-1ubuntu1 gpgv_2.2.8-1ubuntu1 grep_3.1-2 groff-base_1.22.3-10 gzip_1.6-5ubuntu1 hostname_3.20 init_1.51 init-system-helpers_1.51 initscripts_2.88dsf-59.3ubuntu2 insserv_1.14.0-5ubuntu3 intltool-debian_0.35.0+20060710.4 libacl1_2.2.52-3build1 libapparmor1_2.12-4ubuntu6 libapt-pkg5.0_1.7.0~alpha2 libarchive-zip-perl_1.60-1ubuntu1 libargon2-0_0~20171227-0.1 libargon2-1_0~20171227-0.1 libasan4_7.3.0-26ubuntu1 libasan5_8.1.0-11ubuntu1 libassuan0_2.5.1-2 libatomic1_8.1.0-11ubuntu1 libattr1_1:2.4.47-2build1 libaudit-common_1:2.8.3-1ubuntu2 libaudit1_1:2.8.3-1ubuntu2 libbinutils_2.31.1-1ubuntu2 libblkid1_2.32-0.1ubuntu1 libbsd0_0.9.1-1 libbz2-1.0_1.0.6-8.1 libc-bin_2.27-3ubuntu1 libc-dev-bin_2.27-3ubuntu1 libc6_2.27-3ubuntu1 libc6-dev_2.27-3ubuntu1 libcap-ng0_0.7.9-1 libcap2_1:2.25-1.2 libcc1-0_8.1.0-11ubuntu1 libcilkrts5_7.3.0-26ubuntu1 libcom-err2_1.44.3-1 libcomerr2_1.44.3-1 libcroco3_0.6.12-2 libcryptsetup12_2:2.0.3-6ubuntu1 libdb5.3_5.3.28-13.1ubuntu1 libdebconfclient0_0.213ubuntu1 libdevmapper1.02.1_2:1.02.145-4.1ubuntu3 libdpkg-perl_1.19.0.5ubuntu3 libelf1_0.170-0.5 libext2fs2_1.44.3-1 libfakeroot_1.22-2ubuntu1 libfdisk1_2.32-0.1ubuntu1 libffi6_3.2.1-8 libfile-stripnondeterminism-perl_0.042-1 libfindlib-ocaml_1.7.3-2 libgcc-7-dev_7.3.0-26ubuntu1 libgcc-8-dev_8.1.0-11ubuntu1 libgcc1_1:8.1.0-11ubuntu1 libgcrypt20_1.8.3-1ubuntu1 libgdbm-compat4_1.14.1-6 libgdbm5_1.14.1-6 libglib2.0-0_2.56.1-2ubuntu1 libgmp10_2:6.1.2+dfsg-3 libgnutls30_3.5.18-1ubuntu1 libgomp1_8.1.0-11ubuntu1 libgpg-error0_1.32-1 libhogweed4_3.4-1 libicu60_60.2-6ubuntu1 libidn11_1.33-2.1ubuntu1 libidn2-0_2.0.4-1.1build2 libip4tc0_1.6.1-2ubuntu2 libisl19_0.19-1 libjson-c3_0.12.1-1.3 libkmod2_25-1ubuntu1 liblockfile-bin_1.14-1.1 liblockfile1_1.14-1.1 liblz4-1_1.8.2-1ubuntu1 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.33-3 libmagic1_1:5.33-3 libmount1_2.32-0.1ubuntu1 libmpc3_1.1.0-1 libmpfr6_4.0.1-1 libncurses-dev_6.1+20180210-4ubuntu1 libncurses5_6.1+20180210-4ubuntu1 libncurses5-dev_6.1+20180210-4ubuntu1 libncurses6_6.1+20180210-4ubuntu1 libncursesw5_6.1+20180210-4ubuntu1 libncursesw6_6.1+20180210-4ubuntu1 libnettle6_3.4-1 libnpth0_1.6-1 libp11-kit0_0.23.12-2 libpam-modules_1.1.8-3.6ubuntu2 libpam-modules-bin_1.1.8-3.6ubuntu2 libpam-runtime_1.1.8-3.6ubuntu2 libpam0g_1.1.8-3.6ubuntu2 libpcre3_2:8.39-10ubuntu2 libperl5.26_5.26.2-6 libpipeline1_1.5.0-1 libpng16-16_1.6.34-2 libprocps6_2:3.3.12-3ubuntu1 libprocps7_2:3.3.15-2ubuntu1 libreadline7_7.0-5 libseccomp2_2.3.3-3ubuntu1 libselinux1_2.8-1build1 libsemanage-common_2.8-1build1 libsemanage1_2.8-1build1 libsepol1_2.8-1 libsigsegv2_2.12-2 libslang2_2.3.2-1ubuntu1 libsmartcols1_2.32-0.1ubuntu1 libsqlite3-0_3.24.0-1 libss2_1.44.3-1 libssl1.1_1.1.0g-2ubuntu5 libstdc++-7-dev_7.3.0-26ubuntu1 libstdc++-8-dev_8.1.0-11ubuntu1 libstdc++6_8.1.0-11ubuntu1 libsystemd0_238-5ubuntu2 libtasn1-6_4.13-3 libtimedate-perl_2.3000-2 libtinfo5_6.1+20180210-4ubuntu1 libtinfo6_6.1+20180210-4ubuntu1 libtool_2.4.6-2.1build1 libubsan0_7.3.0-26ubuntu1 libubsan1_8.1.0-11ubuntu1 libudev1_238-5ubuntu2 libunistring2_0.9.9-0ubuntu1 libusb-0.1-4_2:0.1.12-32 libuuid1_2.32-0.1ubuntu1 libxml2_2.9.4+dfsg1-7build1 libzstd1_1.3.3+dfsg-2ubuntu1 linux-libc-dev_4.17.0-5.6 lockfile-progs_0.1.17build1 login_1:4.5-1ubuntu1 lsb-base_9.20170808ubuntu1 m4_1.4.18-1 make_4.2.1-1.1 man-db_2.8.3-2 mawk_1.3.3-17ubuntu3 mount_2.32-0.1ubuntu1 multiarch-support_2.27-3ubuntu1 ncurses-base_6.1+20180210-4ubuntu1 ncurses-bin_6.1+20180210-4ubuntu1 ocaml-base-nox_4.05.0-10ubuntu2 ocaml-compiler-libs_4.05.0-10ubuntu2 ocaml-findlib_1.7.3-2 ocaml-interp_4.05.0-10ubuntu2 ocaml-nox_4.05.0-10ubuntu2 ocamlbuild_0.11.0-3build1 openssl_1.1.0g-2ubuntu5 optipng_0.7.6-1.1 passwd_1:4.5-1ubuntu1 patch_2.7.6-2ubuntu1 perl_5.26.2-6 perl-base_5.26.2-6 perl-modules-5.26_5.26.2-6 pinentry-curses_1.1.0-1build2 pkgbinarymangler_141 po-debconf_1.0.20 policyrcd-script-zg2_0.1-3 procps_2:3.3.15-2ubuntu1 readline-common_7.0-5 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-menhir-dummy_0.invalid.0 sed_4.5-1 sensible-utils_0.0.12 systemd_238-5ubuntu2 systemd-sysv_238-5ubuntu2 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.10ubuntu1 tar_1.30+dfsg-2 tzdata_2018e-1 ubuntu-keyring_2018.02.28 util-linux_2.32-0.1ubuntu1 xz-utils_5.2.2-1.3 zlib1g_1:1.2.11.dfsg-0ubuntu2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Thu Jul 19 20:28:57 2018 UTC gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./menhir_20180530-2.dsc dpkg-source: info: extracting menhir in menhir-20180530 dpkg-source: info: unpacking menhir_20180530.orig.tar.gz dpkg-source: info: unpacking menhir_20180530-2.debian.tar.xz Check disc 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-15151532 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-15151532 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-15151532 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package menhir dpkg-buildpackage: info: source version 20180530-2 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build menhir-20180530 dpkg-buildpackage: info: host architecture armhf fakeroot debian/rules clean dh clean --with ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' /usr/bin/make -C src/ clean PREFIX=/<>/debian/tmp/usr make[2]: Entering directory '/<>/src' rm -rf _stage1 _stage2 _stage3 _sdk make[2]: Leaving directory '/<>/src' make[1]: Leaving directory '/<>' dh_ocamlclean rm -f ocamlinit-stamp debian/libmenhir-ocaml-dev.dirs debian/libmenhir-ocaml-dev.install dh_clean rm -f debian/debhelper-build-stamp rm -rf debian/.debhelper/ rm -f -- debian/menhir.substvars debian/libmenhir-ocaml-dev.substvars debian/menhir-doc.substvars debian/files rm -fr -- debian/menhir/ debian/tmp/ debian/libmenhir-ocaml-dev/ debian/menhir-doc/ find . \( \( \ \( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS -o -path .\*/.pc -o -path .\*/_darcs \) -prune -o -type f -a \ \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \ -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \ -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \ -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \ \) -exec rm -f {} + \) -o \ \( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) \) debian/rules build-arch dh build-arch --with ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a sed -e 's%@OCamlABI@%4.05.0%g' -e 's%@OCamlStdlibDir@%/usr/lib/ocaml%g' -e 's%@OCamlDllDir@%/usr/lib/ocaml/stublibs%g' -e 's/^OPT: //' -e '/^BYTE: /d' -e 's/^DYN: //' debian/libmenhir-ocaml-dev.dirs.in > debian/libmenhir-ocaml-dev.dirs sed -e 's%@OCamlABI@%4.05.0%g' -e 's%@OCamlStdlibDir@%/usr/lib/ocaml%g' -e 's%@OCamlDllDir@%/usr/lib/ocaml/stublibs%g' -e 's/^OPT: //' -e '/^BYTE: /d' -e 's/^DYN: //' debian/libmenhir-ocaml-dev.install.in > debian/libmenhir-ocaml-dev.install touch ocamlinit-stamp dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory '/<>' /usr/bin/make TARGET=native PREFIX=/usr make[2]: Entering directory '/<>' make[3]: Entering directory '/<>/src' make[4]: Entering directory '/<>/src' /usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild /usr/bin/ocamldep.opt -modules menhir.ml > menhir.ml.depends /usr/bin/ocamldep.opt -modules back.mli > back.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o back.cmi back.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o menhir.cmo menhir.ml /usr/bin/ocamldep.opt -modules back.ml > back.ml.depends /usr/bin/ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends /usr/bin/ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends /usr/bin/ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends /usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli /usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keyword.cmx keyword.ml /usr/bin/ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml /usr/bin/ocamldep.opt -modules version.ml > version.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_api.cmx cmly_api.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_format.cmx cmly_format.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o version.cmx version.ml /usr/bin/ocamldep.opt -modules cmly_write.ml > cmly_write.ml.depends /usr/bin/ocamldep.opt -modules cmly_write.mli > cmly_write.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli /usr/bin/ocamldep.opt -modules action.ml > action.ml.depends /usr/bin/ocamldep.opt -modules action.mli > action.mli.depends /usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends /usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli /usr/bin/ocamldep.opt -modules front.ml > front.ml.depends /usr/bin/ocamldep.opt -modules front.mli > front.mli.depends /usr/bin/ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends /usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends /usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends /usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli /usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends /usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli /usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends /usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli /usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends /usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli /usr/bin/ocamldep.opt -modules error.ml > error.ml.depends /usr/bin/ocamldep.opt -modules error.mli > error.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli /usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends /usr/bin/ocamldep.opt -modules settings.ml > settings.ml.depends /usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli /usr/bin/ocamldep.opt -modules installation.ml > installation.ml.depends /usr/bin/ocamldep.opt -modules installation.mli > installation.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o installation.cmi installation.mli /usr/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml /usr/bin/ocamldep.opt -modules General.mli > General.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli /usr/bin/ocamldep.opt -modules General.ml > General.ml.depends /usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli /usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends /usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends /usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml /usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli /usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends /usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli /usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends /usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli /usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends /usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli /usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends /usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli /usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends /usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli /usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends /usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli /usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends /usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends /usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends /usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli /usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends /usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli /usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends /usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli /usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml /usr/bin/ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o General.cmx General.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Convert.cmx Convert.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Engine.cmx Engine.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o ErrorReports.cmx ErrorReports.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Printers.cmx Printers.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml /usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml touch menhirLib.mli ; if /usr/bin/ocamlopt.opt -pack -g -bin-annot General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.cmx ErrorReports.cmx Printers.cmx InfiniteArray.cmx PackedIntArray.cmx RowDisplacement.cmx LinearizedArray.cmx TableFormat.cmx InspectionTableFormat.cmx InspectionTableInterpreter.cmx TableInterpreter.cmx StaticVersion.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml /usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml /usr/bin/ocamldep.opt -modules InputFile.ml > InputFile.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli /usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends /usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml cp -p yaccDriver.ml Driver.ml /usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends /usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends cp -p yacc-parser.mly parser.mly /usr/bin/ocamlyacc parser.mly /usr/bin/ocamldep.opt -modules parser.mli > parser.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli /usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends /usr/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends /usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli /usr/bin/ocamldep.opt -modules option.ml > option.ml.depends /usr/bin/ocamldep.opt -modules option.mli > option.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml /usr/bin/ocamldep.opt -modules Drop.ml > Drop.ml.depends /usr/bin/ocamldep.opt -modules Drop.mli > Drop.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml /usr/bin/ocamldep.opt -modules IO.ml > IO.ml.depends /usr/bin/ocamldep.opt -modules IO.mli > IO.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli /usr/bin/ocamldep.opt -modules infer.ml > infer.ml.depends /usr/bin/ocamldep.opt -modules infer.mli > infer.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli /usr/bin/ocamldep.opt -modules codeBits.ml > codeBits.ml.depends /usr/bin/ocamldep.opt -modules codeBits.mli > codeBits.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o IO.cmx IO.ml /usr/bin/ocamldep.opt -modules interface.ml > interface.ml.depends /usr/bin/ocamldep.opt -modules interface.mli > interface.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interface.cmi interface.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml /usr/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends /usr/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli /usr/bin/ocamldep.opt -modules printer.ml > printer.ml.depends /usr/bin/ocamldep.opt -modules printer.mli > printer.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli /usr/bin/ocamllex.opt -q lineCount.mll /usr/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml /usr/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends /usr/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml /usr/bin/ocamllex.opt -q lexdep.mll /usr/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml /usr/bin/ocamllex.opt -q lexmli.mll /usr/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml /usr/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends /usr/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli /usr/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends /usr/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends /usr/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends /usr/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli /usr/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends /usr/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends /usr/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli /usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml /usr/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends /usr/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml /usr/bin/ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends /usr/bin/ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli /usr/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends /usr/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli /usr/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends /usr/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml /usr/bin/ocamldep.opt -modules time.ml > time.ml.depends /usr/bin/ocamldep.opt -modules time.mli > time.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml /usr/bin/ocamllex.opt -q lexer.mll /usr/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml /usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends /usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli /usr/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends /usr/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml /usr/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends /usr/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli /usr/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends /usr/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli /usr/bin/ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends /usr/bin/ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends /usr/bin/ocamldep.opt -modules SortInference.mli > SortInference.mli.depends /usr/bin/ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli /usr/bin/ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends /usr/bin/ocamldep.opt -modules Memoize.ml > Memoize.ml.depends /usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli /usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml /usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends /usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml /usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends /usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli /usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends /usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli /usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends /usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml /usr/bin/ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends /usr/bin/ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml /usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml /usr/bin/ocamldep.opt -modules item.ml > item.ml.depends /usr/bin/ocamldep.opt -modules item.mli > item.mli.depends /usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml /usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends /usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml /usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends /usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml /usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends /usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml /usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends /usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli /usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends /usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli /usr/bin/ocamldep.opt -modules default.ml > default.ml.depends /usr/bin/ocamldep.opt -modules default.mli > default.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli /usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends /usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli /usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends /usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli /usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends /usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml /usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends /usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli /usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends /usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml /usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends /usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml /usr/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends /usr/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli /usr/bin/ocamldep.opt -modules inliner.ml > inliner.ml.depends /usr/bin/ocamldep.opt -modules inliner.mli > inliner.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli /usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml /usr/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends /usr/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends /usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends /usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli /usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends /usr/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends /usr/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml /usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml /usr/bin/ocamllex.opt -q segment.mll /usr/bin/ocamldep.opt -modules segment.ml > segment.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml /usr/bin/ocamllex.opt -q sentenceLexer.mll /usr/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends /usr/bin/ocamlyacc sentenceParser.mly /usr/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends /usr/bin/ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml /usr/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml /usr/bin/ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends /usr/bin/ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli /usr/bin/ocamldep.opt -modules astar.ml > astar.ml.depends /usr/bin/ocamldep.opt -modules astar.mli > astar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml /usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends /usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli /usr/bin/ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends /usr/bin/ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml /usr/bin/ocamldep.opt -modules MySet.ml > MySet.ml.depends /usr/bin/ocamldep.opt -modules MySet.mli > MySet.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o MySet.cmx MySet.ml /usr/bin/ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends /usr/bin/ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o inliner.cmx inliner.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml /usr/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx keyword.cmx action.cmx installation.cmx positions.cmx stringSet.cmx version.cmx settings.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx option.cmx parserAux.cmx parser.cmx Driver.cmx unparameterizedSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx dot.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx lineCount.cmx nonterminalType.cmx printer.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx astar.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx pprint.cmx cst.cmx default.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 16(397), max: 12, min: 2, average(total): 4.562(1.144) } make[4]: Leaving directory '/<>/src' make[4]: Entering directory '/<>/src' /usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild /usr/bin/ocamldep.opt -modules menhir.ml > menhir.ml.depends /usr/bin/ocamldep.opt -modules back.mli > back.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o back.cmi back.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o menhir.cmo menhir.ml /usr/bin/ocamldep.opt -modules back.ml > back.ml.depends /usr/bin/ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends /usr/bin/ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends /usr/bin/ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends /usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli /usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keyword.cmx keyword.ml /usr/bin/ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml /usr/bin/ocamldep.opt -modules version.ml > version.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_api.cmx cmly_api.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_format.cmx cmly_format.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o version.cmx version.ml /usr/bin/ocamldep.opt -modules cmly_write.ml > cmly_write.ml.depends /usr/bin/ocamldep.opt -modules cmly_write.mli > cmly_write.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli /usr/bin/ocamldep.opt -modules action.ml > action.ml.depends /usr/bin/ocamldep.opt -modules action.mli > action.mli.depends /usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends /usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli /usr/bin/ocamldep.opt -modules front.ml > front.ml.depends /usr/bin/ocamldep.opt -modules front.mli > front.mli.depends /usr/bin/ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends /usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends /usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends /usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli /usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends /usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli /usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends /usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli /usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends /usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli /usr/bin/ocamldep.opt -modules error.ml > error.ml.depends /usr/bin/ocamldep.opt -modules error.mli > error.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli /usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends /usr/bin/ocamldep.opt -modules settings.ml > settings.ml.depends /usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli /usr/bin/ocamldep.opt -modules installation.ml > installation.ml.depends /usr/bin/ocamldep.opt -modules installation.mli > installation.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o installation.cmi installation.mli /usr/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml /usr/bin/ocamldep.opt -modules General.mli > General.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli /usr/bin/ocamldep.opt -modules General.ml > General.ml.depends /usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli /usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends /usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends /usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml /usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli /usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends /usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli /usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends /usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli /usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends /usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli /usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends /usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli /usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends /usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli /usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends /usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli /usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends /usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends /usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends /usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli /usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends /usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli /usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends /usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli /usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml /usr/bin/ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o General.cmx General.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Convert.cmx Convert.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Engine.cmx Engine.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o ErrorReports.cmx ErrorReports.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Printers.cmx Printers.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml /usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml touch menhirLib.mli ; if /usr/bin/ocamlopt.opt -pack -g -bin-annot General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.cmx ErrorReports.cmx Printers.cmx InfiniteArray.cmx PackedIntArray.cmx RowDisplacement.cmx LinearizedArray.cmx TableFormat.cmx InspectionTableFormat.cmx InspectionTableInterpreter.cmx TableInterpreter.cmx StaticVersion.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml /usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml /usr/bin/ocamldep.opt -modules InputFile.ml > InputFile.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli /usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends /usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml cp -p fancyDriver.ml Driver.ml /usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends /usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends cp -p fancy-parser.mly parser.mly ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends /usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly Grammar has 34 nonterminal symbols, among which 1 start symbols. Grammar has 30 terminal symbols. Grammar has 83 productions. Built an LR(0) automaton with 125 states. The grammar is not SLR(1) -- 1 states have a conflict. Built an LR(1) automaton with 189 states. One shift/reduce conflict was silently solved. 103 out of 189 states have a default reduction. 57 out of 189 states are represented. 25 out of 67 symbols keep track of their start position. 33 out of 67 symbols keep track of their end position. The action table is 5859 entries; 475 non-zero; 614 compressed. The action table occupies roughly 1276 bytes. The goto table is 6615 entries; 153 non-zero; 343 compressed. The goto table occupies roughly 580 bytes. The error table occupies roughly 752 bytes. The default_reduction table occupies roughly 208 bytes. The lhs table occupies roughly 100 bytes. The trace table occupies roughly 4 bytes. /usr/bin/ocamldep.opt -modules parser.mli > parser.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli /usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends /usr/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends /usr/bin/ocamldep.opt -modules option.ml > option.ml.depends /usr/bin/ocamldep.opt -modules option.mli > option.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --list-errors > parser.mly.auto.messages + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --list-errors > parser.mly.auto.messages Grammar has 34 nonterminal symbols, among which 1 start symbols. Grammar has 30 terminal symbols. Grammar has 83 productions. Built an LR(0) automaton with 125 states. The grammar is not SLR(1) -- 1 states have a conflict. Built an LR(1) automaton with 189 states. One shift/reduce conflict was silently solved. 103 out of 189 states have a default reduction. 57 out of 189 states are represented. 25 out of 67 symbols keep track of their start position. 33 out of 67 symbols keep track of their end position. ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages Grammar has 34 nonterminal symbols, among which 1 start symbols. Grammar has 30 terminal symbols. Grammar has 83 productions. Built an LR(0) automaton with 125 states. The grammar is not SLR(1) -- 1 states have a conflict. Built an LR(1) automaton with 189 states. One shift/reduce conflict was silently solved. 103 out of 189 states have a default reduction. 57 out of 189 states are represented. 25 out of 67 symbols keep track of their start position. 33 out of 67 symbols keep track of their end position. Read 68 sample input sentences and 68 error messages. Read 68 sample input sentences and 23 error messages. ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml Grammar has 34 nonterminal symbols, among which 1 start symbols. Grammar has 30 terminal symbols. Grammar has 83 productions. Built an LR(0) automaton with 125 states. The grammar is not SLR(1) -- 1 states have a conflict. Built an LR(1) automaton with 189 states. One shift/reduce conflict was silently solved. 103 out of 189 states have a default reduction. 57 out of 189 states are represented. 25 out of 67 symbols keep track of their start position. 33 out of 67 symbols keep track of their end position. Read 68 sample input sentences and 23 error messages. /usr/bin/ocamldep.opt -modules parserMessages.ml > parserMessages.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserMessages.cmo parserMessages.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserMessages.cmx parserMessages.ml /usr/bin/ocamldep.opt -modules Drop.ml > Drop.ml.depends /usr/bin/ocamldep.opt -modules Drop.mli > Drop.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml /usr/bin/ocamldep.opt -modules IO.ml > IO.ml.depends /usr/bin/ocamldep.opt -modules IO.mli > IO.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli /usr/bin/ocamldep.opt -modules infer.ml > infer.ml.depends /usr/bin/ocamldep.opt -modules infer.mli > infer.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli /usr/bin/ocamldep.opt -modules codeBits.ml > codeBits.ml.depends /usr/bin/ocamldep.opt -modules codeBits.mli > codeBits.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o IO.cmx IO.ml /usr/bin/ocamldep.opt -modules interface.ml > interface.ml.depends /usr/bin/ocamldep.opt -modules interface.mli > interface.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interface.cmi interface.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml /usr/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends /usr/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli /usr/bin/ocamldep.opt -modules printer.ml > printer.ml.depends /usr/bin/ocamldep.opt -modules printer.mli > printer.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli /usr/bin/ocamllex.opt -q lineCount.mll /usr/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml /usr/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends /usr/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml /usr/bin/ocamllex.opt -q lexdep.mll /usr/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml /usr/bin/ocamllex.opt -q lexmli.mll /usr/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml /usr/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends /usr/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli /usr/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends /usr/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends /usr/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends /usr/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli /usr/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends /usr/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends /usr/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli /usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml /usr/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends /usr/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml /usr/bin/ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends /usr/bin/ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli /usr/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends /usr/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli /usr/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends /usr/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml /usr/bin/ocamldep.opt -modules time.ml > time.ml.depends /usr/bin/ocamldep.opt -modules time.mli > time.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml /usr/bin/ocamllex.opt -q lexer.mll /usr/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml /usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends /usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli /usr/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends /usr/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml /usr/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends /usr/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli /usr/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends /usr/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli /usr/bin/ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends /usr/bin/ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends /usr/bin/ocamldep.opt -modules SortInference.mli > SortInference.mli.depends /usr/bin/ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli /usr/bin/ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends /usr/bin/ocamldep.opt -modules Memoize.ml > Memoize.ml.depends /usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli /usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml /usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends /usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml /usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends /usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli /usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends /usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli /usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends /usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml /usr/bin/ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends /usr/bin/ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml /usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml /usr/bin/ocamldep.opt -modules item.ml > item.ml.depends /usr/bin/ocamldep.opt -modules item.mli > item.mli.depends /usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml /usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends /usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml /usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends /usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml /usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends /usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml /usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends /usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli /usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends /usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli /usr/bin/ocamldep.opt -modules default.ml > default.ml.depends /usr/bin/ocamldep.opt -modules default.mli > default.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli /usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends /usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli /usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends /usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli /usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends /usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml /usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends /usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli /usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends /usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml /usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends /usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml /usr/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends /usr/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli /usr/bin/ocamldep.opt -modules inliner.ml > inliner.ml.depends /usr/bin/ocamldep.opt -modules inliner.mli > inliner.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli /usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml /usr/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends /usr/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends /usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends /usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli /usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends /usr/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends /usr/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml /usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml /usr/bin/ocamllex.opt -q segment.mll /usr/bin/ocamldep.opt -modules segment.ml > segment.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml /usr/bin/ocamllex.opt -q sentenceLexer.mll /usr/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' sentenceParser.mly > sentenceParser.mly.depends /usr/bin/ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly + ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly Grammar has 6 nonterminal symbols, among which 2 start symbols. Grammar has 6 terminal symbols. Grammar has 11 productions. Built an LR(0) automaton with 21 states. The grammar is SLR(1). Built an LR(1) automaton with 27 states. 13 out of 27 states have a default reduction. 7 out of 27 states are represented. 0 out of 16 symbols keep track of their start position. 0 out of 16 symbols keep track of their end position. The action table is 189 entries; 32 non-zero; 43 compressed. The action table occupies roughly 88 bytes. The goto table is 216 entries; 19 non-zero; 46 compressed. The goto table occupies roughly 92 bytes. The error table occupies roughly 40 bytes. The default_reduction table occupies roughly 32 bytes. The lhs table occupies roughly 24 bytes. The trace table occupies roughly 4 bytes. /usr/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml /usr/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml /usr/bin/ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends /usr/bin/ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli /usr/bin/ocamldep.opt -modules astar.ml > astar.ml.depends /usr/bin/ocamldep.opt -modules astar.mli > astar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml /usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends /usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli /usr/bin/ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends /usr/bin/ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml /usr/bin/ocamldep.opt -modules MySet.ml > MySet.ml.depends /usr/bin/ocamldep.opt -modules MySet.mli > MySet.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o MySet.cmx MySet.ml /usr/bin/ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends /usr/bin/ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o inliner.cmx inliner.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml /usr/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx keyword.cmx action.cmx installation.cmx positions.cmx stringSet.cmx version.cmx settings.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx option.cmx parserAux.cmx parser.cmx parserMessages.cmx Driver.cmx unparameterizedSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx dot.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx lineCount.cmx nonterminalType.cmx printer.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx astar.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx pprint.cmx cst.cmx default.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 17(404), max: 12, min: 2, average(total): 4.412(1.144) } make[4]: Leaving directory '/<>/src' make[4]: Entering directory '/<>/src' /usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild cp -p fancy-parser.mly parser.mly ../_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends /usr/bin/ocamldep.opt -modules action.mli > action.mli.depends /usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends /usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends /usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli /usr/bin/ocamldep.opt -modules error.mli > error.mli.depends /usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli /usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends /usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends /usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli /usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli /usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli /usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml /usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends /usr/bin/ocamldep.opt -modules General.mli > General.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli /usr/bin/ocamldep.opt -modules General.ml > General.ml.depends /usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli /usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends /usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends /usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml /usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli /usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends /usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli /usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends /usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli /usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends /usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli /usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends /usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli /usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends /usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli /usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends /usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli /usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends /usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends /usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends /usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli /usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends /usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli /usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends /usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli /usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli /usr/bin/ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo ../_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly + ../_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly Grammar has 34 nonterminal symbols, among which 1 start symbols. Grammar has 30 terminal symbols. Grammar has 83 productions. Built an LR(0) automaton with 125 states. The grammar is not SLR(1) -- 1 states have a conflict. Built an LR(1) automaton with 189 states. One shift/reduce conflict was silently solved. 103 out of 189 states have a default reduction. 57 out of 189 states are represented. 25 out of 67 symbols keep track of their start position. 33 out of 67 symbols keep track of their end position. The action table is 5859 entries; 475 non-zero; 614 compressed. The action table occupies roughly 1276 bytes. The goto table is 6615 entries; 153 non-zero; 343 compressed. The goto table occupies roughly 580 bytes. The error table occupies roughly 752 bytes. The default_reduction table occupies roughly 208 bytes. The lhs table occupies roughly 100 bytes. The trace table occupies roughly 4 bytes. # Parallel statistics: { count(total): 2(73), max: 12, min: 4, average(total): 8.000(1.192) } Bootstrap successful. make[4]: Leaving directory '/<>/src' /usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild /usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli /usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends /usr/bin/ocamldep.opt -modules version.ml > version.ml.depends /usr/bin/ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends /usr/bin/ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends /usr/bin/ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli /usr/bin/ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmo keyword.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmo cmly_read.ml /usr/bin/ocamlc.opt -pack -g -bin-annot keyword.cmo version.cmo cmly_format.cmo cmly_api.cmo cmly_read.cmo -o menhirSdk.cmo /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o keyword.cmx keyword.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_api.cmx cmly_api.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_format.cmx cmly_format.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o version.cmx version.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_read.cmx cmly_read.ml touch menhirSdk.mli ; if /usr/bin/ocamlopt.opt -pack -g -bin-annot keyword.cmx version.cmx cmly_format.cmx cmly_api.cmx cmly_read.cmx -o menhirSdk.cmx ; then rm -f menhirSdk.mli ; else rm -f menhirSdk.mli ; exit 1; fi # Parallel statistics: { count(total): 1(21), max: 2, min: 2, average(total): 2.000(1.048) } make[3]: Leaving directory '/<>/src' Creating menhirLib.ml Creating menhirLib.mli make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary-arch dh binary-arch --with ocaml dh_testroot -a dh_prep -a rm -f -- debian/menhir.substvars debian/libmenhir-ocaml-dev.substvars rm -fr -- debian/.debhelper/generated/menhir/ debian/menhir/ debian/tmp/ debian/.debhelper/generated/libmenhir-ocaml-dev/ debian/libmenhir-ocaml-dev/ dh_installdirs -a install -d debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/ debian/rules override_dh_auto_install make[1]: Entering directory '/<>' mkdir -p /<>/debian/tmp//usr/lib/ocaml /usr/bin/make TARGET=native PREFIX=/<>/debian/tmp/usr install make[2]: Entering directory '/<>' mkdir -p /<>/debian/tmp/usr/bin install src/_stage2/menhir.native /<>/debian/tmp/usr/bin/menhir mkdir -p /<>/debian/tmp/usr/share/menhir install -m 644 src/standard.mly /<>/debian/tmp/usr/share/menhir Installing MenhirLib and MenhirSdk via ocamlfind. Installed /<>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.o Installed /<>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmx Installed /<>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmo Installed /<>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmi Installed /<>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.ml Installed /<>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.mli Installed /<>/debian/tmp//usr/lib/ocaml/menhirLib/META Installed /<>/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.o Installed /<>/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.cmx Installed /<>/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.cmo Installed /<>/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.cmi Installed /<>/debian/tmp//usr/lib/ocaml/menhirSdk/META if [ -f manual.pdf ] ; then \ mkdir -p /<>/debian/tmp/usr/share/doc/menhir /<>/debian/tmp/usr/share/man/man1 && \ cp -r manual.pdf manual.html demos /<>/debian/tmp/usr/share/doc/menhir && \ cp -r menhir.1 /<>/debian/tmp/usr/share/man/man1 ; \ fi make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' dh_install -a install -d debian/menhir/usr cp --reflink=auto -a ./debian/tmp/usr/bin debian/menhir/usr/ install -d debian/menhir/usr/share cp --reflink=auto -a ./debian/tmp/usr/share/man ./debian/tmp/usr/share/menhir debian/menhir/usr/share/ install -d debian/.debhelper/generated/menhir cp --reflink=auto -a ./debian/tmp/usr/lib/ocaml/menhirLib ./debian/tmp/usr/lib/ocaml/menhirSdk debian/libmenhir-ocaml-dev//usr/lib/ocaml/ install -d debian/.debhelper/generated/libmenhir-ocaml-dev install -d debian/.debhelper/generated/menhir-doc dh_ocamldoc -a dh_installdocs -a install -d debian/menhir/usr/share/doc/menhir install -p -m0644 debian/copyright debian/menhir/usr/share/doc/menhir/copyright install -d debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev install -p -m0644 debian/copyright debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev/copyright dh_installchangelogs -a install -p -m0644 debian/changelog debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev/changelog.Debian install -p -m0644 debian/changelog debian/menhir/usr/share/doc/menhir/changelog.Debian dh_installexamples -a dh_installman -a man -l --recode UTF-8 ./debian/menhir/usr/share/man/man1/menhir.1 > debian/menhir/usr/share/man/man1/menhir.1.dh-new mv debian/menhir/usr/share/man/man1/menhir.1.dh-new debian/menhir/usr/share/man/man1/menhir.1 chmod 0644 -- debian/menhir/usr/share/man/man1/menhir.1 dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a cd debian/menhir cd debian/libmenhir-ocaml-dev chmod a-x usr/share/doc/libmenhir-ocaml-dev/changelog.Debian chmod a-x usr/share/doc/menhir/changelog.Debian usr/share/man/man1/menhir.1 gzip -9nf usr/share/doc/libmenhir-ocaml-dev/changelog.Debian gzip -9nf usr/share/doc/menhir/changelog.Debian usr/share/man/man1/menhir.1 cd '/<>' cd '/<>' dh_fixperms -a find debian/menhir -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/libmenhir-ocaml-dev -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/menhir ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/libmenhir-ocaml-dev ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/menhir/usr/share/doc -type f -a -true -a ! -regex 'debian/menhir/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/libmenhir-ocaml-dev/usr/share/doc -type f -a -true -a ! -regex 'debian/libmenhir-ocaml-dev/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/menhir/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 find debian/libmenhir-ocaml-dev/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 find debian/menhir/usr/share/man -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/libmenhir-ocaml-dev -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/menhir -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/libmenhir-ocaml-dev/usr/lib -type f -name '*.ali' -a -true -a -true -print0 2>/dev/null | xargs -0r chmod uga-w find debian/menhir/usr/bin -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod a+x debian/rules override_dh_missing make[1]: Entering directory '/<>' dh_missing --fail-missing make[1]: Leaving directory '/<>' dh_strip -a install -d debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/20 objcopy --only-keep-debug --compress-debug-sections debian/menhir/usr/bin/menhir debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/20/b38716b9e830a39b448e1e475e616627b9d19a.debug chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/20/b38716b9e830a39b448e1e475e616627b9d19a.debug chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/20/b38716b9e830a39b448e1e475e616627b9d19a.debug strip --remove-section=.comment --remove-section=.note debian/menhir/usr/bin/menhir objcopy --add-gnu-debuglink debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/20/b38716b9e830a39b448e1e475e616627b9d19a.debug debian/menhir/usr/bin/menhir install -d debian/.debhelper/menhir/dbgsym-root/usr/share/doc ln -s menhir debian/.debhelper/menhir/dbgsym-root/usr/share/doc/menhir-dbgsym dh_makeshlibs -a rm -f debian/menhir/DEBIAN/shlibs rm -f debian/libmenhir-ocaml-dev/DEBIAN/shlibs dh_shlibdeps -a install -d debian/menhir/DEBIAN dpkg-shlibdeps -Tdebian/menhir.substvars debian/menhir/usr/bin/menhir dh_installdeb -a install -d debian/libmenhir-ocaml-dev/DEBIAN dh_ocaml -a +++ Remove former .olist.debhelper files +++ +++ Generate .olist.debhelper files +++ cat debian/libmenhir-ocaml-dev.olist.debhelper debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmx debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmi debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmx cat debian/menhir.olist.debhelper +++ Compute .md5sums and lintian files for dev packages +++ mkdir -p debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums /usr/bin/ocaml-md5sums -v --package libmenhir-ocaml-dev --version 20180530-2 --dump-info debian/libmenhir-ocaml-dev.oinfo.debhelper --dump-provides debian/libmenhir-ocaml-dev.oprovides.debhelper compute < debian/libmenhir-ocaml-dev.olist.debhelper > debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmo Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmo Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmx Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmx Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmi Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmi Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmo Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmo Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmx Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmx mkdir -p debian/libmenhir-ocaml-dev//var/lib/ocaml/lintian /usr/bin/ocaml-lintian -v --package libmenhir-ocaml-dev --version 20180530-2 < debian/libmenhir-ocaml-dev.olist.debhelper > debian/libmenhir-ocaml-dev//var/lib/ocaml/lintian/libmenhir-ocaml-dev.info (grep -a -s -v ocaml:Provides debian/libmenhir-ocaml-dev.substvars; echo ocaml:Provides=libmenhir-ocaml-dev-vl5p4) > debian/libmenhir-ocaml-dev.substvars.new mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars +++ Compute dependencies for dev +++ /usr/bin/ocaml-md5sums -v --md5sums-dir debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums --load-info debian/libmenhir-ocaml-dev.oinfo.debhelper dep Load from dump debian/libmenhir-ocaml-dev.oinfo.debhelper libmenhir-ocaml-dev v20180530-2 depends on ocaml-nox/ocaml-base-nox v4.05.0-10ubuntu2 through Printf (grep -a -s -v ocaml:Depends debian/libmenhir-ocaml-dev.substvars; echo ocaml:Depends=ocaml-nox-4.05.0) > debian/libmenhir-ocaml-dev.substvars.new mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars +++ Compute dependencies for binary packages+++ grep -a -s -v '^ocaml:Depends=' debian/menhir.substvars > debian/menhir.substvars.new || true mv debian/menhir.substvars.new debian/menhir.substvars /usr/bin/ocaml-md5sums -v --md5sums-dir debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums --package menhir dep < debian/menhir.olist.debhelper dh_gencontrol -a echo misc:Depends= >> debian/libmenhir-ocaml-dev.substvars echo misc:Pre-Depends= >> debian/libmenhir-ocaml-dev.substvars dpkg-gencontrol -plibmenhir-ocaml-dev -ldebian/changelog -Tdebian/libmenhir-ocaml-dev.substvars -Pdebian/libmenhir-ocaml-dev -UMulti-Arch echo misc:Depends= >> debian/menhir.substvars echo misc:Pre-Depends= >> debian/menhir.substvars install -d debian/.debhelper/menhir/dbgsym-root/DEBIAN dpkg-gencontrol -pmenhir -ldebian/changelog -Tdebian/menhir.substvars -Pdebian/.debhelper/menhir/dbgsym-root -UPre-Depends -URecommends -USuggests -UEnhances -UProvides -UEssential -UConflicts -DPriority=optional -UHomepage -UImportant -DAuto-Built-Package=debug-symbols -DPackage=menhir-dbgsym "-DDepends=menhir (= \${binary:Version})" "-DDescription=debug symbols for menhir" -DBuild-Ids=20b38716b9e830a39b448e1e475e616627b9d19a -DSection=debug -DPackage-Type=ddeb -UMulti-Arch -UReplaces -UBreaks dpkg-gencontrol: warning: Depends field of package libmenhir-ocaml-dev: unknown substitution variable ${shlibs:Depends} chmod 0644 -- debian/libmenhir-ocaml-dev/DEBIAN/control chown 0:0 -- debian/libmenhir-ocaml-dev/DEBIAN/control dpkg-gencontrol: warning: Depends field of package menhir: unknown substitution variable ${ocaml:Depends} chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/control chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/control dpkg-gencontrol -pmenhir -ldebian/changelog -Tdebian/menhir.substvars -Pdebian/menhir -UMulti-Arch dpkg-gencontrol: warning: Depends field of package menhir: unknown substitution variable ${ocaml:Depends} chmod 0644 -- debian/menhir/DEBIAN/control chown 0:0 -- debian/menhir/DEBIAN/control dh_md5sums -a (cd debian/menhir >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums) >/dev/null (cd debian/libmenhir-ocaml-dev >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums) >/dev/null chmod 0644 -- debian/menhir/DEBIAN/md5sums chown 0:0 -- debian/menhir/DEBIAN/md5sums (cd debian/.debhelper/menhir/dbgsym-root >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums) >/dev/null chmod 0644 -- debian/libmenhir-ocaml-dev/DEBIAN/md5sums chown 0:0 -- debian/libmenhir-ocaml-dev/DEBIAN/md5sums chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/md5sums chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/md5sums dh_builddeb -a dpkg-deb --build debian/menhir .. dpkg-deb --build debian/libmenhir-ocaml-dev .. install -d debian/.debhelper/scratch-space/build-menhir dpkg-deb --build debian/.debhelper/menhir/dbgsym-root debian/.debhelper/scratch-space/build-menhir INFO: pkgstriptranslations version 141 INFO: pkgstriptranslations version 141 INFO: pkgstriptranslations version 141 pkgstriptranslations: processing libmenhir-ocaml-dev (in debian/libmenhir-ocaml-dev); do_strip: , oemstrip: pkgstriptranslations: processing menhir (in debian/menhir); do_strip: , oemstrip: pkgstriptranslations: processing menhir-dbgsym (in debian/.debhelper/menhir/dbgsym-root); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/.debhelper/menhir/dbgsym-root/DEBIAN/control, package menhir-dbgsym, directory debian/.debhelper/menhir/dbgsym-root dpkg-deb: building package 'menhir-dbgsym' in 'debian/.debhelper/scratch-space/build-menhir/menhir-dbgsym_20180530-2_armhf.deb'. Renaming menhir-dbgsym_20180530-2_armhf.deb to menhir-dbgsym_20180530-2_armhf.ddeb mv debian/.debhelper/scratch-space/build-menhir/menhir-dbgsym_20180530-2_armhf.deb ../menhir-dbgsym_20180530-2_armhf.ddeb pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libmenhir-ocaml-dev/DEBIAN/control, package libmenhir-ocaml-dev, directory debian/libmenhir-ocaml-dev INFO: pkgstripfiles: waiting for lock (libmenhir-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (libmenhir-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (libmenhir-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (libmenhir-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (libmenhir-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (libmenhir-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (libmenhir-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (libmenhir-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (libmenhir-ocaml-dev) ... INFO: pkgstripfiles: waiting for lock (libmenhir-ocaml-dev) ... pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/menhir/DEBIAN/control, package menhir, directory debian/menhir pkgstripfiles: Truncating usr/share/doc/menhir/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package menhir ... pkgstripfiles: No PNG files. dpkg-deb: building package 'menhir' in '../menhir_20180530-2_armhf.deb'. pkgstripfiles: Truncating usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package libmenhir-ocaml-dev ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libmenhir-ocaml-dev' in '../libmenhir-ocaml-dev_20180530-2_armhf.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any -mLaunchpad Build Daemon >../menhir_20180530-2_armhf.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build menhir-20180530 dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 20180720-0529 Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ menhir_20180530-2_armhf.changes: -------------------------------- Format: 1.8 Date: Thu, 19 Jul 2018 22:19:24 +0200 Source: menhir Binary: menhir libmenhir-ocaml-dev menhir-doc Architecture: armhf Version: 20180530-2 Distribution: cosmic-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Ralf Treinen Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml menhir-doc - Documentation of the Menhir parser generator for OCaml Closes: 903455 Changes: menhir (20180530-2) unstable; urgency=medium . * menhir-doc: Breaks/Replaces menhir (<< 20170712-1) since examples had been moved from menhir to menhir-doc (closes: #903455) * Standards-version 4.1.5 (no change). Checksums-Sha1: d6a68c01d39496ad1f9262d209e5312999016350 179616 libmenhir-ocaml-dev_20180530-2_armhf.deb ac035c40eac865ec873247d9dda329b9d0b5844b 177768 menhir-dbgsym_20180530-2_armhf.ddeb 937657468ec0e1044d21dccbd4f02d72bed13e9b 5720 menhir_20180530-2_armhf.buildinfo 2c70f2c1c88755df85b270c61cb908db207907e5 574188 menhir_20180530-2_armhf.deb Checksums-Sha256: 65378c344304f719178bbdac6d26ae6df3283e62686b6dfc552db901770618dd 179616 libmenhir-ocaml-dev_20180530-2_armhf.deb 9c4d43ce2546effc59ec3f81fea2ec5016cb6150fa04903b69f9f5989782f9b8 177768 menhir-dbgsym_20180530-2_armhf.ddeb 68b37c01d23384bee18a108d3484f83d386c2a38d6dda7931c5cba9f229b7307 5720 menhir_20180530-2_armhf.buildinfo cf6944d22af0e5325866a257fc826318c9f450e232017002abca5ae0b2fec5dc 574188 menhir_20180530-2_armhf.deb Files: e0d0459fffe0e21817faf5814fab5afb 179616 ocaml optional libmenhir-ocaml-dev_20180530-2_armhf.deb c256758aeeefe984ac83010b6453bb74 177768 debug optional menhir-dbgsym_20180530-2_armhf.ddeb d1e0a60b1eda3f63acb9d235b5178424 5720 ocaml optional menhir_20180530-2_armhf.buildinfo 84865cf32b071e981eea77b203e43bff 574188 ocaml optional menhir_20180530-2_armhf.deb +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libmenhir-ocaml-dev_20180530-2_armhf.deb ---------------------------------------- new debian package, version 2.0. size 179616 bytes: control archive=1304 bytes. 1053 bytes, 24 lines control 1172 bytes, 16 lines md5sums Package: libmenhir-ocaml-dev Source: menhir Version: 20180530-2 Architecture: armhf Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 737 Depends: ocaml-nox-4.05.0 Provides: libmenhir-ocaml-dev-vl5p4 Section: ocaml Priority: optional Homepage: http://gallium.inria.fr/~fpottier/menhir/ Description: Menhir library for OCaml Menhir is a LR(1) parser generator for the OCaml programming language. It is mostly compatible with the ocamlyacc parser generator provided with OCaml, and has a number of enhancements over ocamlyacc. . This package contains the Menhir library for the OCaml programming language. It gives access to, among others, the following modules: * InfiniteArray: implements infinite arrays, that is, arrays that grow transparently upon demand. * RowDisplacement: compresses a two-dimensional table, where some values are considered insignificant, via row displacement. * Engine: LR parsing engine. drwxr-xr-x root/root 0 2018-07-19 20:19 ./ drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/ drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/lib/ drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/lib/ocaml/menhirLib/ -rw-r--r-- root/root 141 2018-07-19 20:19 ./usr/lib/ocaml/menhirLib/META -rw-r--r-- root/root 41871 2018-07-19 20:19 ./usr/lib/ocaml/menhirLib/menhirLib.cmi -rw-r--r-- root/root 221622 2018-07-19 20:19 ./usr/lib/ocaml/menhirLib/menhirLib.cmo -rw-r--r-- root/root 10774 2018-07-19 20:19 ./usr/lib/ocaml/menhirLib/menhirLib.cmx -rw-r--r-- root/root 127811 2018-07-19 20:19 ./usr/lib/ocaml/menhirLib/menhirLib.ml -rw-r--r-- root/root 69573 2018-07-19 20:19 ./usr/lib/ocaml/menhirLib/menhirLib.mli -rw-r--r-- root/root 107492 2018-07-19 20:19 ./usr/lib/ocaml/menhirLib/menhirLib.o drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/lib/ocaml/menhirSdk/ -rw-r--r-- root/root 153 2018-07-19 20:19 ./usr/lib/ocaml/menhirSdk/META -rw-r--r-- root/root 16000 2018-07-19 20:19 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmi -rw-r--r-- root/root 83282 2018-07-19 20:19 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmo -rw-r--r-- root/root 7267 2018-07-19 20:19 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmx -rw-r--r-- root/root 38876 2018-07-19 20:19 ./usr/lib/ocaml/menhirSdk/menhirSdk.o drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/share/ drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/share/doc/ drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/share/doc/libmenhir-ocaml-dev/ -rw-r--r-- root/root 1448 2018-07-19 20:19 ./usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 2482 2018-07-19 20:19 ./usr/share/doc/libmenhir-ocaml-dev/copyright drwxr-xr-x root/root 0 2018-07-19 20:19 ./var/ drwxr-xr-x root/root 0 2018-07-19 20:19 ./var/lib/ drwxr-xr-x root/root 0 2018-07-19 20:19 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2018-07-19 20:19 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 20 2018-07-19 20:19 ./var/lib/ocaml/lintian/libmenhir-ocaml-dev.info drwxr-xr-x root/root 0 2018-07-19 20:19 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 328 2018-07-19 20:19 ./var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums menhir_20180530-2_armhf.deb --------------------------- new debian package, version 2.0. size 574188 bytes: control archive=980 bytes. 943 bytes, 22 lines control 318 bytes, 5 lines md5sums Package: menhir Version: 20180530-2 Architecture: armhf Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 1774 Depends: libc6 (>= 2.17) Suggests: menhir-doc Section: ocaml Priority: optional Homepage: http://gallium.inria.fr/~fpottier/menhir/ Description: Parser generator for OCaml Menhir is a LR(1) parser generator for the OCaml programming language. It is mostly compatible with the ocamlyacc parser generator provided with the OCaml system, and has the following enhancements over ocamlyacc: * it accepts LR(1) grammars, * it offers parameterized nonterminal symbols as well as a library of standard definitions, * it explains conflicts in terms of the grammar, * it allows grammar specifications to be split over multiple files and parametrized by OCaml modules, * it produces reentrant parsers. drwxr-xr-x root/root 0 2018-07-19 20:19 ./ drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/ drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/bin/ -rwxr-xr-x root/root 1789360 2018-07-19 20:19 ./usr/bin/menhir drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/share/ drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/share/doc/ drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/share/doc/menhir/ -rw-r--r-- root/root 1448 2018-07-19 20:19 ./usr/share/doc/menhir/changelog.Debian.gz -rw-r--r-- root/root 2482 2018-07-19 20:19 ./usr/share/doc/menhir/copyright drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/share/man/ drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/share/man/man1/ -rw-r--r-- root/root 1368 2018-07-19 20:19 ./usr/share/man/man1/menhir.1.gz drwxr-xr-x root/root 0 2018-07-19 20:19 ./usr/share/menhir/ -rw-r--r-- root/root 6521 2018-07-19 20:19 ./usr/share/menhir/standard.mly +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: armhf Build-Space: 62904 Build-Time: 76 Distribution: cosmic-proposed Host Architecture: armhf Install-Time: 38 Job: menhir_20180530-2.dsc Machine Architecture: arm64 Package: menhir Package-Time: 116 Source-Version: 20180530-2 Space: 62904 Status: successful Version: 20180530-2 -------------------------------------------------------------------------------- Finished at 20180720-0529 Build needed 00:01:56, 62904k disc space RUN: /usr/share/launchpad-buildd/slavebin/in-target scan-for-processes --backend=chroot --series=cosmic --arch=armhf PACKAGEBUILD-15151532 Scanning for processes to kill in build PACKAGEBUILD-15151532