RUN: /usr/share/launchpad-buildd/slavebin/slave-prep Forking launchpad-buildd slave process... Kernel version: Linux lcy01-16 4.4.0-97-generic #120-Ubuntu SMP Tue Sep 19 17:28:18 UTC 2017 x86_64 Buildd toolchain package versions: launchpad-buildd_154 python-lpbuildd_154 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.3 dpkg-dev_1.18.4ubuntu1.2 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 27 Oct 19:59:25 ntpdate[1836]: adjust time server 10.211.37.1 offset -0.000379 sec RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=bionic --arch=amd64 PACKAGEBUILD-13633480 /home/buildd/filecache-default/f027e517e95d0e91684230ee23be60d709f816c0 Creating target for build PACKAGEBUILD-13633480 RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=bionic --arch=amd64 PACKAGEBUILD-13633480 Starting target for build PACKAGEBUILD-13633480 RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=bionic --arch=amd64 PACKAGEBUILD-13633480 'deb http://ftpmaster.internal/ubuntu bionic main universe' 'deb http://ftpmaster.internal/ubuntu bionic-security main universe' 'deb http://ftpmaster.internal/ubuntu bionic-updates main universe' 'deb http://ftpmaster.internal/ubuntu bionic-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-13633480 RUN: /usr/share/launchpad-buildd/slavebin/in-target update-debian-chroot --backend=chroot --series=bionic --arch=amd64 PACKAGEBUILD-13633480 Updating target for build PACKAGEBUILD-13633480 Get:1 http://ftpmaster.internal/ubuntu bionic InRelease [235 kB] Get:2 http://ftpmaster.internal/ubuntu bionic-security InRelease [65.4 kB] Get:3 http://ftpmaster.internal/ubuntu bionic-updates InRelease [65.4 kB] Get:4 http://ftpmaster.internal/ubuntu bionic-proposed InRelease [85.4 kB] Get:5 http://ftpmaster.internal/ubuntu bionic/main amd64 Packages [1070 kB] Get:6 http://ftpmaster.internal/ubuntu bionic/main Translation-en [542 kB] Get:7 http://ftpmaster.internal/ubuntu bionic/universe amd64 Packages [8101 kB] Get:8 http://ftpmaster.internal/ubuntu bionic/universe Translation-en [4788 kB] Get:9 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 Packages [130 kB] Get:10 http://ftpmaster.internal/ubuntu bionic-proposed/main Translation-en [55.0 kB] Get:11 http://ftpmaster.internal/ubuntu bionic-proposed/universe amd64 Packages [366 kB] Get:12 http://ftpmaster.internal/ubuntu bionic-proposed/universe Translation-en [197 kB] Fetched 15.7 MB in 3s (4080 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following package was automatically installed and is no longer required: libustr-1.0-1 Use 'sudo apt autoremove' to remove it. The following packages will be upgraded: apt apt-transport-https base-files binutils binutils-common binutils-x86-64-linux-gnu build-essential coreutils cpp-7 dpkg dpkg-dev g++-7 gcc-7 gcc-7-base gnupg gnupg-agent gpgv libapt-pkg5.0 libasan4 libatomic1 libbinutils libc-bin libc-dev-bin libc6 libc6-dev libcap2 libcc1-0 libcilkrts5 libcurl3-gnutls libdpkg-perl libgcc-7-dev libgcc1 libgomp1 libhogweed4 libitm1 libkeyutils1 liblsan0 libmpx2 libnettle6 libpcre3 libpng16-16 libquadmath0 libseccomp2 libsemanage-common libsemanage1 libsqlite3-0 libstdc++-7-dev libstdc++6 libsystemd0 libtsan0 libubsan0 libudev1 linux-libc-dev multiarch-support systemd systemd-sysv tzdata 57 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 47.8 MB of archives. After this operation, 318 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu bionic/main amd64 base-files amd64 10ubuntu1 [55.9 kB] Get:2 http://ftpmaster.internal/ubuntu bionic/main amd64 coreutils amd64 8.26-3ubuntu4 [1213 kB] Get:3 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 dpkg amd64 1.19.0.4ubuntu1 [1145 kB] Get:4 http://ftpmaster.internal/ubuntu bionic/main amd64 libc6-dev amd64 2.26-0ubuntu2 [2524 kB] Get:5 http://ftpmaster.internal/ubuntu bionic/main amd64 libc-dev-bin amd64 2.26-0ubuntu2 [69.6 kB] Get:6 http://ftpmaster.internal/ubuntu bionic/main amd64 linux-libc-dev amd64 4.13.0-16.19 [954 kB] Get:7 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libitm1 amd64 7.2.0-12ubuntu1 [27.6 kB] Get:8 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 gcc-7-base amd64 7.2.0-12ubuntu1 [18.3 kB] Get:9 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libgcc1 amd64 1:7.2.0-12ubuntu1 [39.3 kB] Get:10 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libmpx2 amd64 7.2.0-12ubuntu1 [11.7 kB] Get:11 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libgomp1 amd64 7.2.0-12ubuntu1 [76.4 kB] Get:12 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libatomic1 amd64 7.2.0-12ubuntu1 [8954 B] Get:13 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libasan4 amd64 7.2.0-12ubuntu1 [360 kB] Get:14 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 liblsan0 amd64 7.2.0-12ubuntu1 [133 kB] Get:15 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libtsan0 amd64 7.2.0-12ubuntu1 [282 kB] Get:16 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libubsan0 amd64 7.2.0-12ubuntu1 [126 kB] Get:17 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libcilkrts5 amd64 7.2.0-12ubuntu1 [42.5 kB] Get:18 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libquadmath0 amd64 7.2.0-12ubuntu1 [132 kB] Get:19 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 cpp-7 amd64 7.2.0-12ubuntu1 [6728 kB] Get:20 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libcc1-0 amd64 7.2.0-12ubuntu1 [38.7 kB] Get:21 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 g++-7 amd64 7.2.0-12ubuntu1 [7554 kB] Get:22 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 gcc-7 amd64 7.2.0-12ubuntu1 [7414 kB] Get:23 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libgcc-7-dev amd64 7.2.0-12ubuntu1 [2377 kB] Get:24 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libstdc++-7-dev amd64 7.2.0-12ubuntu1 [1457 kB] Get:25 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libstdc++6 amd64 7.2.0-12ubuntu1 [405 kB] Get:26 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libbinutils amd64 2.29.1-6ubuntu1 [502 kB] Get:27 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 binutils amd64 2.29.1-6ubuntu1 [3344 B] Get:28 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 binutils-common amd64 2.29.1-6ubuntu1 [190 kB] Get:29 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 binutils-x86-64-linux-gnu amd64 2.29.1-6ubuntu1 [1825 kB] Get:30 http://ftpmaster.internal/ubuntu bionic/main amd64 libc6 amd64 2.26-0ubuntu2 [2778 kB] Get:31 http://ftpmaster.internal/ubuntu bionic/main amd64 libc-bin amd64 2.26-0ubuntu2 [593 kB] Get:32 http://ftpmaster.internal/ubuntu bionic/main amd64 libudev1 amd64 234-2ubuntu12 [51.7 kB] Get:33 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libapt-pkg5.0 amd64 1.5.1 [781 kB] Get:34 http://ftpmaster.internal/ubuntu bionic/main amd64 gpgv amd64 2.1.15-1ubuntu8 [186 kB] Get:35 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 apt amd64 1.5.1 [1121 kB] Get:36 http://ftpmaster.internal/ubuntu bionic/main amd64 libcap2 amd64 1:2.25-1.1 [13.2 kB] Get:37 http://ftpmaster.internal/ubuntu bionic/main amd64 libseccomp2 amd64 2.3.1-2.1ubuntu3 [37.3 kB] Get:38 http://ftpmaster.internal/ubuntu bionic/main amd64 systemd amd64 234-2ubuntu12 [2780 kB] Get:39 http://ftpmaster.internal/ubuntu bionic/main amd64 libsystemd0 amd64 234-2ubuntu12 [208 kB] Get:40 http://ftpmaster.internal/ubuntu bionic/main amd64 systemd-sysv amd64 234-2ubuntu12 [10.8 kB] Get:41 http://ftpmaster.internal/ubuntu bionic/main amd64 libpcre3 amd64 2:8.39-5ubuntu3 [229 kB] Get:42 http://ftpmaster.internal/ubuntu bionic/main amd64 libsemanage-common all 2.7-2 [6916 B] Get:43 http://ftpmaster.internal/ubuntu bionic/main amd64 libsemanage1 amd64 2.7-2 [84.6 kB] Get:44 http://ftpmaster.internal/ubuntu bionic/main amd64 libnettle6 amd64 3.3-2 [91.7 kB] Get:45 http://ftpmaster.internal/ubuntu bionic/main amd64 libhogweed4 amd64 3.3-2 [135 kB] Get:46 http://ftpmaster.internal/ubuntu bionic/main amd64 gnupg amd64 2.1.15-1ubuntu8 [780 kB] Get:47 http://ftpmaster.internal/ubuntu bionic/main amd64 gnupg-agent amd64 2.1.15-1ubuntu8 [255 kB] Get:48 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libsqlite3-0 amd64 3.20.1-2 [491 kB] Get:49 http://ftpmaster.internal/ubuntu bionic/main amd64 multiarch-support amd64 2.26-0ubuntu2 [6832 B] Get:50 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 tzdata all 2017c-1 [188 kB] Get:51 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libkeyutils1 amd64 1.5.9-9.1ubuntu1 [9488 B] Get:52 http://ftpmaster.internal/ubuntu bionic/main amd64 libpng16-16 amd64 1.6.34-1 [176 kB] Get:53 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libcurl3-gnutls amd64 7.55.1-1ubuntu2.1 [193 kB] Get:54 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 apt-transport-https amd64 1.5.1 [34.7 kB] Get:55 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 dpkg-dev all 1.19.0.4ubuntu1 [607 kB] Get:56 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libdpkg-perl all 1.19.0.4ubuntu1 [211 kB] Get:57 http://ftpmaster.internal/ubuntu bionic/main amd64 build-essential amd64 12.4ubuntu1 [4758 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 47.8 MB in 1s (30.0 MB/s) (Reading database ... 12676 files and directories currently installed.) Preparing to unpack .../base-files_10ubuntu1_amd64.deb ... Unpacking base-files (10ubuntu1) over (9.6ubuntu101) ... Setting up base-files (10ubuntu1) ... Installing new version of config file /etc/debian_version ... 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 ... (Reading database ... 12676 files and directories currently installed.) Preparing to unpack .../coreutils_8.26-3ubuntu4_amd64.deb ... Unpacking coreutils (8.26-3ubuntu4) over (8.26-3ubuntu3) ... Setting up coreutils (8.26-3ubuntu4) ... (Reading database ... 12676 files and directories currently installed.) Preparing to unpack .../dpkg_1.19.0.4ubuntu1_amd64.deb ... Unpacking dpkg (1.19.0.4ubuntu1) over (1.18.24ubuntu1) ... Setting up dpkg (1.19.0.4ubuntu1) ... Installing new version of config file /etc/alternatives/README ... Installing new version of config file /etc/cron.daily/dpkg ... Installing new version of config file /etc/logrotate.d/dpkg ... (Reading database ... 12678 files and directories currently installed.) Preparing to unpack .../libc6-dev_2.26-0ubuntu2_amd64.deb ... Unpacking libc6-dev:amd64 (2.26-0ubuntu2) over (2.26-0ubuntu1) ... Preparing to unpack .../libc-dev-bin_2.26-0ubuntu2_amd64.deb ... Unpacking libc-dev-bin (2.26-0ubuntu2) over (2.26-0ubuntu1) ... Preparing to unpack .../linux-libc-dev_4.13.0-16.19_amd64.deb ... Unpacking linux-libc-dev:amd64 (4.13.0-16.19) over (4.13.0-11.12) ... Preparing to unpack .../libitm1_7.2.0-12ubuntu1_amd64.deb ... Unpacking libitm1:amd64 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../gcc-7-base_7.2.0-12ubuntu1_amd64.deb ... Unpacking gcc-7-base:amd64 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Setting up gcc-7-base:amd64 (7.2.0-12ubuntu1) ... (Reading database ... 12678 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a7.2.0-12ubuntu1_amd64.deb ... Unpacking libgcc1:amd64 (1:7.2.0-12ubuntu1) over (1:7.2.0-6ubuntu1) ... Setting up libgcc1:amd64 (1:7.2.0-12ubuntu1) ... (Reading database ... 12678 files and directories currently installed.) Preparing to unpack .../00-libmpx2_7.2.0-12ubuntu1_amd64.deb ... Unpacking libmpx2:amd64 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../01-libgomp1_7.2.0-12ubuntu1_amd64.deb ... Unpacking libgomp1:amd64 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../02-libatomic1_7.2.0-12ubuntu1_amd64.deb ... Unpacking libatomic1:amd64 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../03-libasan4_7.2.0-12ubuntu1_amd64.deb ... Unpacking libasan4:amd64 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../04-liblsan0_7.2.0-12ubuntu1_amd64.deb ... Unpacking liblsan0:amd64 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../05-libtsan0_7.2.0-12ubuntu1_amd64.deb ... Unpacking libtsan0:amd64 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../06-libubsan0_7.2.0-12ubuntu1_amd64.deb ... Unpacking libubsan0:amd64 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../07-libcilkrts5_7.2.0-12ubuntu1_amd64.deb ... Unpacking libcilkrts5:amd64 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../08-libquadmath0_7.2.0-12ubuntu1_amd64.deb ... Unpacking libquadmath0:amd64 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../09-cpp-7_7.2.0-12ubuntu1_amd64.deb ... Unpacking cpp-7 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../10-libcc1-0_7.2.0-12ubuntu1_amd64.deb ... Unpacking libcc1-0:amd64 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../11-g++-7_7.2.0-12ubuntu1_amd64.deb ... Unpacking g++-7 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../12-gcc-7_7.2.0-12ubuntu1_amd64.deb ... Unpacking gcc-7 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../13-libgcc-7-dev_7.2.0-12ubuntu1_amd64.deb ... Unpacking libgcc-7-dev:amd64 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../14-libstdc++-7-dev_7.2.0-12ubuntu1_amd64.deb ... Unpacking libstdc++-7-dev:amd64 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Preparing to unpack .../15-libstdc++6_7.2.0-12ubuntu1_amd64.deb ... Unpacking libstdc++6:amd64 (7.2.0-12ubuntu1) over (7.2.0-6ubuntu1) ... Setting up libstdc++6:amd64 (7.2.0-12ubuntu1) ... (Reading database ... 12682 files and directories currently installed.) Preparing to unpack .../libbinutils_2.29.1-6ubuntu1_amd64.deb ... Unpacking libbinutils:amd64 (2.29.1-6ubuntu1) over (2.29.1-1ubuntu1) ... Preparing to unpack .../binutils_2.29.1-6ubuntu1_amd64.deb ... Unpacking binutils (2.29.1-6ubuntu1) over (2.29.1-1ubuntu1) ... Preparing to unpack .../binutils-common_2.29.1-6ubuntu1_amd64.deb ... Unpacking binutils-common:amd64 (2.29.1-6ubuntu1) over (2.29.1-1ubuntu1) ... Preparing to unpack .../binutils-x86-64-linux-gnu_2.29.1-6ubuntu1_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.29.1-6ubuntu1) over (2.29.1-1ubuntu1) ... Preparing to unpack .../libc6_2.26-0ubuntu2_amd64.deb ... Unpacking libc6:amd64 (2.26-0ubuntu2) over (2.26-0ubuntu1) ... Setting up libc6:amd64 (2.26-0ubuntu2) ... (Reading database ... 12682 files and directories currently installed.) Preparing to unpack .../libc-bin_2.26-0ubuntu2_amd64.deb ... Unpacking libc-bin (2.26-0ubuntu2) over (2.26-0ubuntu1) ... Setting up libc-bin (2.26-0ubuntu2) ... (Reading database ... 12682 files and directories currently installed.) Preparing to unpack .../libudev1_234-2ubuntu12_amd64.deb ... Unpacking libudev1:amd64 (234-2ubuntu12) over (234-2ubuntu10) ... Setting up libudev1:amd64 (234-2ubuntu12) ... (Reading database ... 12682 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.5.1_amd64.deb ... Unpacking libapt-pkg5.0:amd64 (1.5.1) over (1.5~rc4) ... Setting up libapt-pkg5.0:amd64 (1.5.1) ... (Reading database ... 12682 files and directories currently installed.) Preparing to unpack .../gpgv_2.1.15-1ubuntu8_amd64.deb ... Unpacking gpgv (2.1.15-1ubuntu8) over (2.1.15-1ubuntu7) ... Setting up gpgv (2.1.15-1ubuntu8) ... (Reading database ... 12682 files and directories currently installed.) Preparing to unpack .../archives/apt_1.5.1_amd64.deb ... Unpacking apt (1.5.1) over (1.5~rc4) ... Setting up apt (1.5.1) ... (Reading database ... 12682 files and directories currently installed.) Preparing to unpack .../libcap2_1%3a2.25-1.1_amd64.deb ... Unpacking libcap2:amd64 (1:2.25-1.1) over (1:2.25-1) ... Preparing to unpack .../libseccomp2_2.3.1-2.1ubuntu3_amd64.deb ... Unpacking libseccomp2:amd64 (2.3.1-2.1ubuntu3) over (2.3.1-2.1ubuntu2) ... Preparing to unpack .../systemd_234-2ubuntu12_amd64.deb ... Unpacking systemd (234-2ubuntu12) over (234-2ubuntu10) ... Preparing to unpack .../libsystemd0_234-2ubuntu12_amd64.deb ... Unpacking libsystemd0:amd64 (234-2ubuntu12) over (234-2ubuntu10) ... Setting up libsystemd0:amd64 (234-2ubuntu12) ... Setting up libcap2:amd64 (1:2.25-1.1) ... Setting up libseccomp2:amd64 (2.3.1-2.1ubuntu3) ... Setting up systemd (234-2ubuntu12) ... Removing empty /etc/rc.local addgroup: The group `systemd-journal' already exists as a system group. Exiting. Removed /etc/systemd/system/network-online.target.wants/systemd-networkd-wait-online.service. (Reading database ... 12682 files and directories currently installed.) Preparing to unpack .../systemd-sysv_234-2ubuntu12_amd64.deb ... Unpacking systemd-sysv (234-2ubuntu12) over (234-2ubuntu10) ... Preparing to unpack .../libpcre3_2%3a8.39-5ubuntu3_amd64.deb ... Unpacking libpcre3:amd64 (2:8.39-5ubuntu3) over (2:8.39-4) ... Setting up libpcre3:amd64 (2:8.39-5ubuntu3) ... (Reading database ... 12682 files and directories currently installed.) Preparing to unpack .../libsemanage-common_2.7-2_all.deb ... Unpacking libsemanage-common (2.7-2) over (2.7-1) ... Setting up libsemanage-common (2.7-2) ... (Reading database ... 12682 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.7-2_amd64.deb ... Unpacking libsemanage1:amd64 (2.7-2) over (2.7-1) ... Setting up libsemanage1:amd64 (2.7-2) ... (Reading database ... 12682 files and directories currently installed.) Preparing to unpack .../libnettle6_3.3-2_amd64.deb ... Unpacking libnettle6:amd64 (3.3-2) over (3.3-1) ... Setting up libnettle6:amd64 (3.3-2) ... (Reading database ... 12682 files and directories currently installed.) Preparing to unpack .../libhogweed4_3.3-2_amd64.deb ... Unpacking libhogweed4:amd64 (3.3-2) over (3.3-1) ... Setting up libhogweed4:amd64 (3.3-2) ... (Reading database ... 12682 files and directories currently installed.) Preparing to unpack .../00-gnupg_2.1.15-1ubuntu8_amd64.deb ... Unpacking gnupg (2.1.15-1ubuntu8) over (2.1.15-1ubuntu7) ... Preparing to unpack .../01-gnupg-agent_2.1.15-1ubuntu8_amd64.deb ... Unpacking gnupg-agent (2.1.15-1ubuntu8) over (2.1.15-1ubuntu7) ... Preparing to unpack .../02-libsqlite3-0_3.20.1-2_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.20.1-2) over (3.19.3-3) ... Preparing to unpack .../03-multiarch-support_2.26-0ubuntu2_amd64.deb ... Unpacking multiarch-support (2.26-0ubuntu2) over (2.26-0ubuntu1) ... Preparing to unpack .../04-tzdata_2017c-1_all.deb ... Unpacking tzdata (2017c-1) over (2017b-2) ... Preparing to unpack .../05-libkeyutils1_1.5.9-9.1ubuntu1_amd64.deb ... Unpacking libkeyutils1:amd64 (1.5.9-9.1ubuntu1) over (1.5.9-9ubuntu1) ... Preparing to unpack .../06-libpng16-16_1.6.34-1_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.34-1) over (1.6.32-2) ... Preparing to unpack .../07-libcurl3-gnutls_7.55.1-1ubuntu2.1_amd64.deb ... Unpacking libcurl3-gnutls:amd64 (7.55.1-1ubuntu2.1) over (7.55.1-1ubuntu1) ... Preparing to unpack .../08-apt-transport-https_1.5.1_amd64.deb ... Unpacking apt-transport-https (1.5.1) over (1.5~rc4) ... Preparing to unpack .../09-dpkg-dev_1.19.0.4ubuntu1_all.deb ... Unpacking dpkg-dev (1.19.0.4ubuntu1) over (1.18.24ubuntu1) ... Preparing to unpack .../10-libdpkg-perl_1.19.0.4ubuntu1_all.deb ... Unpacking libdpkg-perl (1.19.0.4ubuntu1) over (1.18.24ubuntu1) ... Preparing to unpack .../11-build-essential_12.4ubuntu1_amd64.deb ... Unpacking build-essential (12.4ubuntu1) over (12.1ubuntu2) ... Setting up libquadmath0:amd64 (7.2.0-12ubuntu1) ... Setting up libgomp1:amd64 (7.2.0-12ubuntu1) ... Setting up libatomic1:amd64 (7.2.0-12ubuntu1) ... Setting up libcc1-0:amd64 (7.2.0-12ubuntu1) ... Setting up libasan4:amd64 (7.2.0-12ubuntu1) ... Setting up libpng16-16:amd64 (1.6.34-1) ... Setting up libcilkrts5:amd64 (7.2.0-12ubuntu1) ... Setting up libcurl3-gnutls:amd64 (7.55.1-1ubuntu2.1) ... Setting up multiarch-support (2.26-0ubuntu2) ... Setting up tzdata (2017c-1) ... Current default time zone: 'Etc/UTC' Local time is now: Fri Oct 27 19:59:51 UTC 2017. Universal Time is now: Fri Oct 27 19:59:51 UTC 2017. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up systemd-sysv (234-2ubuntu12) ... Setting up libubsan0:amd64 (7.2.0-12ubuntu1) ... Setting up libtsan0:amd64 (7.2.0-12ubuntu1) ... Setting up linux-libc-dev:amd64 (4.13.0-16.19) ... Setting up libdpkg-perl (1.19.0.4ubuntu1) ... Setting up cpp-7 (7.2.0-12ubuntu1) ... Setting up liblsan0:amd64 (7.2.0-12ubuntu1) ... Setting up binutils-common:amd64 (2.29.1-6ubuntu1) ... Setting up libmpx2:amd64 (7.2.0-12ubuntu1) ... Processing triggers for libc-bin (2.26-0ubuntu2) ... Setting up libsqlite3-0:amd64 (3.20.1-2) ... Setting up libc-dev-bin (2.26-0ubuntu2) ... Setting up libkeyutils1:amd64 (1.5.9-9.1ubuntu1) ... Setting up gnupg-agent (2.1.15-1ubuntu8) ... Setting up libc6-dev:amd64 (2.26-0ubuntu2) ... Setting up libitm1:amd64 (7.2.0-12ubuntu1) ... Setting up apt-transport-https (1.5.1) ... Setting up libbinutils:amd64 (2.29.1-6ubuntu1) ... Setting up gnupg (2.1.15-1ubuntu8) ... Setting up libgcc-7-dev:amd64 (7.2.0-12ubuntu1) ... Setting up libstdc++-7-dev:amd64 (7.2.0-12ubuntu1) ... Setting up binutils-x86-64-linux-gnu (2.29.1-6ubuntu1) ... Setting up binutils (2.29.1-6ubuntu1) ... Setting up gcc-7 (7.2.0-12ubuntu1) ... Setting up g++-7 (7.2.0-12ubuntu1) ... Setting up dpkg-dev (1.19.0.4ubuntu1) ... Setting up build-essential (12.4ubuntu1) ... Processing triggers for libc-bin (2.26-0ubuntu2) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package PACKAGEBUILD-13633480 amd64 bionic-proposed -c chroot:build-PACKAGEBUILD-13633480 --arch=amd64 --dist=bionic-proposed --nolog -A menhir_20170712-1build1.dsc Initiating build PACKAGEBUILD-13633480 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-97-generic #120-Ubuntu SMP Tue Sep 19 17:28:18 UTC 2017 x86_64 sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on lcy01-16.buildd +==============================================================================+ | menhir 20170712-1build1 (amd64) 27 Oct 2017 19:59 | +==============================================================================+ Package: menhir Version: 20170712-1build1 Source Version: 20170712-1build1 Distribution: bionic-proposed Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 I: NOTICE: Log filtering will replace 'build/menhir-em59SU/menhir-20170712' with '<>' I: NOTICE: Log filtering will replace 'build/menhir-em59SU' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-13633480/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- menhir_20170712-1build1.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-PzkUtN/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-PzkUtN/apt_archive ./ InRelease Get:2 copy:/<>/resolver-PzkUtN/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-PzkUtN/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-PzkUtN/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-PzkUtN/apt_archive ./ Packages [527 B] Fetched 2860 B in 0s (246 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install core build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: libustr-1.0-1 Use 'apt autoremove' to remove it. 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-PzkUtN/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 ... 12683 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: debhelper (>= 10), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml (>= 0.9) Filtered Build-Depends: debhelper (>= 10), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml (>= 0.9) dpkg-deb: building package 'sbuild-build-depends-menhir-dummy' in '/<>/resolver-7SvNZK/apt_archive/sbuild-build-depends-menhir-dummy.deb'. Ign:1 copy:/<>/resolver-7SvNZK/apt_archive ./ InRelease Get:2 copy:/<>/resolver-7SvNZK/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-7SvNZK/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-7SvNZK/apt_archive ./ Sources [243 B] Get:5 copy:/<>/resolver-7SvNZK/apt_archive ./ Packages [565 B] Fetched 2927 B in 0s (225 kB/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 package was automatically installed and is no longer required: libustr-1.0-1 Use 'apt autoremove' to remove it. The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu59 libmagic-mgc libmagic1 libncurses5-dev libpipeline1 libsigsegv2 libtimedate-perl libtinfo-dev 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 dwz git gettext-doc libasprintf-dev libgettextpo-dev groff ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc less www-browser camlp4 ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl Recommended packages: curl | wget | lynx-cur 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 packages will be REMOVED: pkg-create-dbgsym* The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu59 libmagic-mgc libmagic1 libncurses5-dev libpipeline1 libsigsegv2 libtimedate-perl libtinfo-dev 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, 40 newly installed, 1 to remove and 0 not upgraded. Need to get 68.4 MB of archives. After this operation, 301 MB of additional disk space will be used. Get:1 copy:/<>/resolver-7SvNZK/apt_archive ./ sbuild-build-depends-menhir-dummy 0.invalid.0 [888 B] Get:2 http://ftpmaster.internal/ubuntu bionic/main amd64 groff-base amd64 1.22.3-9 [1144 kB] Get:3 http://ftpmaster.internal/ubuntu bionic/main amd64 libbsd0 amd64 0.8.6-1 [41.6 kB] Get:4 http://ftpmaster.internal/ubuntu bionic/main amd64 bsdmainutils amd64 9.0.12+nmu1ubuntu1 [179 kB] Get:5 http://ftpmaster.internal/ubuntu bionic/main amd64 libpipeline1 amd64 1.4.2-1 [25.2 kB] Get:6 http://ftpmaster.internal/ubuntu bionic/main amd64 man-db amd64 2.7.6.1-2 [895 kB] Get:7 http://ftpmaster.internal/ubuntu bionic/main amd64 libmagic-mgc amd64 1:5.32-1 [184 kB] Get:8 http://ftpmaster.internal/ubuntu bionic/main amd64 libmagic1 amd64 1:5.32-1 [68.4 kB] Get:9 http://ftpmaster.internal/ubuntu bionic/main amd64 file amd64 1:5.32-1 [22.0 kB] Get:10 http://ftpmaster.internal/ubuntu bionic/main amd64 libglib2.0-0 amd64 2.54.1-1ubuntu1 [1163 kB] Get:11 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libicu59 amd64 59.1-3ubuntu1 [7815 kB] Get:12 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 libxml2 amd64 2.9.4+dfsg1-5ubuntu1 [669 kB] Get:13 http://ftpmaster.internal/ubuntu bionic/main amd64 gettext-base amd64 0.19.8.1-4ubuntu1 [49.4 kB] Get:14 http://ftpmaster.internal/ubuntu bionic/main amd64 libsigsegv2 amd64 2.11-1 [13.2 kB] Get:15 http://ftpmaster.internal/ubuntu bionic/main amd64 m4 amd64 1.4.18-1 [197 kB] Get:16 http://ftpmaster.internal/ubuntu bionic/main amd64 autoconf all 2.69-11 [322 kB] Get:17 http://ftpmaster.internal/ubuntu bionic/main amd64 autotools-dev all 20161112.1 [39.5 kB] Get:18 http://ftpmaster.internal/ubuntu bionic/main amd64 automake all 1:1.15.1-3ubuntu1 [509 kB] Get:19 http://ftpmaster.internal/ubuntu bionic/main amd64 autopoint all 0.19.8.1-4ubuntu1 [412 kB] Get:20 http://ftpmaster.internal/ubuntu bionic/main amd64 libtool all 2.4.6-2 [194 kB] Get:21 http://ftpmaster.internal/ubuntu bionic/main amd64 dh-autoreconf all 14 [15.5 kB] Get:22 http://ftpmaster.internal/ubuntu bionic/main amd64 libarchive-zip-perl all 1.59-1 [84.0 kB] Get:23 http://ftpmaster.internal/ubuntu bionic/main amd64 libfile-stripnondeterminism-perl all 0.038-1 [13.3 kB] Get:24 http://ftpmaster.internal/ubuntu bionic/main amd64 libtimedate-perl all 2.3000-2 [37.5 kB] Get:25 http://ftpmaster.internal/ubuntu bionic/main amd64 dh-strip-nondeterminism all 0.038-1 [5026 B] Get:26 http://ftpmaster.internal/ubuntu bionic/main amd64 libcroco3 amd64 0.6.12-1 [81.3 kB] Get:27 http://ftpmaster.internal/ubuntu bionic/main amd64 gettext amd64 0.19.8.1-4ubuntu1 [1093 kB] Get:28 http://ftpmaster.internal/ubuntu bionic/main amd64 intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:29 http://ftpmaster.internal/ubuntu bionic/main amd64 po-debconf all 1.0.20 [232 kB] Get:30 http://ftpmaster.internal/ubuntu bionic-proposed/main amd64 debhelper all 10.10.5ubuntu1 [876 kB] Get:31 http://ftpmaster.internal/ubuntu bionic-proposed/universe amd64 ocaml-base-nox amd64 4.05.0-10ubuntu1 [544 kB] Get:32 http://ftpmaster.internal/ubuntu bionic-proposed/universe amd64 libfindlib-ocaml amd64 1.7.1-2build1 [160 kB] Get:33 http://ftpmaster.internal/ubuntu bionic/main amd64 libtinfo-dev amd64 6.0+20160625-1ubuntu1 [78.9 kB] Get:34 http://ftpmaster.internal/ubuntu bionic/main amd64 libncurses5-dev amd64 6.0+20160625-1ubuntu1 [176 kB] Get:35 http://ftpmaster.internal/ubuntu bionic-proposed/universe amd64 ocaml-interp amd64 4.05.0-10ubuntu1 [3466 kB] Get:36 http://ftpmaster.internal/ubuntu bionic-proposed/universe amd64 ocaml-nox amd64 4.05.0-10ubuntu1 [27.5 MB] Get:37 http://ftpmaster.internal/ubuntu bionic-proposed/universe amd64 ocaml-compiler-libs amd64 4.05.0-10ubuntu1 [18.9 MB] Get:38 http://ftpmaster.internal/ubuntu bionic-proposed/universe amd64 ocaml-findlib amd64 1.7.1-2build1 [366 kB] Get:39 http://ftpmaster.internal/ubuntu bionic-proposed/universe amd64 ocamlbuild amd64 0.10.1-1build1 [715 kB] Get:40 http://ftpmaster.internal/ubuntu bionic/universe amd64 dh-ocaml all 1.1.0 [79.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 68.4 MB in 2s (29.7 MB/s) (Reading database ... 12683 files and directories currently installed.) Removing pkg-create-dbgsym (0.73) ... Selecting previously unselected package groff-base. (Reading database ... 12674 files and directories currently installed.) Preparing to unpack .../00-groff-base_1.22.3-9_amd64.deb ... Unpacking groff-base (1.22.3-9) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../01-libbsd0_0.8.6-1_amd64.deb ... Unpacking libbsd0:amd64 (0.8.6-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../02-bsdmainutils_9.0.12+nmu1ubuntu1_amd64.deb ... Unpacking bsdmainutils (9.0.12+nmu1ubuntu1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../03-libpipeline1_1.4.2-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.4.2-1) ... Selecting previously unselected package man-db. Preparing to unpack .../04-man-db_2.7.6.1-2_amd64.deb ... Unpacking man-db (2.7.6.1-2) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../05-libmagic-mgc_1%3a5.32-1_amd64.deb ... Unpacking libmagic-mgc (1:5.32-1) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../06-libmagic1_1%3a5.32-1_amd64.deb ... Unpacking libmagic1:amd64 (1:5.32-1) ... Selecting previously unselected package file. Preparing to unpack .../07-file_1%3a5.32-1_amd64.deb ... Unpacking file (1:5.32-1) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../08-libglib2.0-0_2.54.1-1ubuntu1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.54.1-1ubuntu1) ... Selecting previously unselected package libicu59:amd64. Preparing to unpack .../09-libicu59_59.1-3ubuntu1_amd64.deb ... Unpacking libicu59:amd64 (59.1-3ubuntu1) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../10-libxml2_2.9.4+dfsg1-5ubuntu1_amd64.deb ... Unpacking libxml2:amd64 (2.9.4+dfsg1-5ubuntu1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../11-gettext-base_0.19.8.1-4ubuntu1_amd64.deb ... Unpacking gettext-base (0.19.8.1-4ubuntu1) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../12-libsigsegv2_2.11-1_amd64.deb ... Unpacking libsigsegv2:amd64 (2.11-1) ... Selecting previously unselected package m4. Preparing to unpack .../13-m4_1.4.18-1_amd64.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../14-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../15-autotools-dev_20161112.1_all.deb ... Unpacking autotools-dev (20161112.1) ... Selecting previously unselected package automake. Preparing to unpack .../16-automake_1%3a1.15.1-3ubuntu1_all.deb ... Unpacking automake (1:1.15.1-3ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../17-autopoint_0.19.8.1-4ubuntu1_all.deb ... Unpacking autopoint (0.19.8.1-4ubuntu1) ... Selecting previously unselected package libtool. Preparing to unpack .../18-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../19-dh-autoreconf_14_all.deb ... Unpacking dh-autoreconf (14) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../20-libarchive-zip-perl_1.59-1_all.deb ... Unpacking libarchive-zip-perl (1.59-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../21-libfile-stripnondeterminism-perl_0.038-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.038-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../22-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../23-dh-strip-nondeterminism_0.038-1_all.deb ... Unpacking dh-strip-nondeterminism (0.038-1) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../24-libcroco3_0.6.12-1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.12-1) ... Selecting previously unselected package gettext. Preparing to unpack .../25-gettext_0.19.8.1-4ubuntu1_amd64.deb ... Unpacking gettext (0.19.8.1-4ubuntu1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../26-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 .../27-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../28-debhelper_10.10.5ubuntu1_all.deb ... Unpacking debhelper (10.10.5ubuntu1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../29-ocaml-base-nox_4.05.0-10ubuntu1_amd64.deb ... Unpacking ocaml-base-nox (4.05.0-10ubuntu1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../30-libfindlib-ocaml_1.7.1-2build1_amd64.deb ... Unpacking libfindlib-ocaml (1.7.1-2build1) ... Selecting previously unselected package libtinfo-dev:amd64. Preparing to unpack .../31-libtinfo-dev_6.0+20160625-1ubuntu1_amd64.deb ... Unpacking libtinfo-dev:amd64 (6.0+20160625-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../32-libncurses5-dev_6.0+20160625-1ubuntu1_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.0+20160625-1ubuntu1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../33-ocaml-interp_4.05.0-10ubuntu1_amd64.deb ... Unpacking ocaml-interp (4.05.0-10ubuntu1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../34-ocaml-nox_4.05.0-10ubuntu1_amd64.deb ... Unpacking ocaml-nox (4.05.0-10ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../35-ocaml-compiler-libs_4.05.0-10ubuntu1_amd64.deb ... Unpacking ocaml-compiler-libs (4.05.0-10ubuntu1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../36-ocaml-findlib_1.7.1-2build1_amd64.deb ... Unpacking ocaml-findlib (1.7.1-2build1) ... Selecting previously unselected package ocamlbuild. Preparing to unpack .../37-ocamlbuild_0.10.1-1build1_amd64.deb ... Unpacking ocamlbuild (0.10.1-1build1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../38-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 .../39-sbuild-build-depends-menhir-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-menhir-dummy (0.invalid.0) ... Setting up libarchive-zip-perl (1.59-1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up libsigsegv2:amd64 (2.11-1) ... Setting up libicu59:amd64 (59.1-3ubuntu1) ... Setting up groff-base (1.22.3-9) ... Setting up libglib2.0-0:amd64 (2.54.1-1ubuntu1) ... No schema files found: doing nothing. Setting up ocaml-base-nox (4.05.0-10ubuntu1) ... Setting up libtinfo-dev:amd64 (6.0+20160625-1ubuntu1) ... Setting up dh-ocaml (1.1.0) ... Setting up gettext-base (0.19.8.1-4ubuntu1) ... Setting up libpipeline1:amd64 (1.4.2-1) ... Setting up m4 (1.4.18-1) ... Setting up libbsd0:amd64 (0.8.6-1) ... Setting up libxml2:amd64 (2.9.4+dfsg1-5ubuntu1) ... Setting up libmagic-mgc (1:5.32-1) ... Setting up libmagic1:amd64 (1:5.32-1) ... Setting up libcroco3:amd64 (0.6.12-1) ... Setting up libncurses5-dev:amd64 (6.0+20160625-1ubuntu1) ... Processing triggers for libc-bin (2.26-0ubuntu2) ... Setting up autotools-dev (20161112.1) ... Setting up bsdmainutils (9.0.12+nmu1ubuntu1) ... 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 ocamlbuild (0.10.1-1build1) ... Setting up libfindlib-ocaml (1.7.1-2build1) ... Setting up ocaml-findlib (1.7.1-2build1) ... Setting up autopoint (0.19.8.1-4ubuntu1) ... Setting up libfile-stripnondeterminism-perl (0.038-1) ... Setting up gettext (0.19.8.1-4ubuntu1) ... Setting up autoconf (2.69-11) ... Setting up file (1:5.32-1) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up automake (1:1.15.1-3ubuntu1) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up man-db (2.7.6.1-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libtool (2.4.6-2) ... Setting up po-debconf (1.0.20) ... Setting up dh-autoreconf (14) ... Setting up ocaml-interp (4.05.0-10ubuntu1) ... Setting up dh-strip-nondeterminism (0.038-1) ... Setting up debhelper (10.10.5ubuntu1) ... Setting up ocaml-nox (4.05.0-10ubuntu1) ... Setting up sbuild-build-depends-menhir-dummy (0.invalid.0) ... Setting up ocaml-compiler-libs (4.05.0-10ubuntu1) ... (Reading database ... 16739 files and directories currently installed.) Purging configuration files for pkg-create-dbgsym (0.73) ... Processing triggers for libc-bin (2.26-0ubuntu2) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-97-generic amd64 (x86_64) Toolchain package versions: binutils_2.29.1-6ubuntu1 dpkg-dev_1.19.0.4ubuntu1 g++-7_7.2.0-12ubuntu1 gcc-7_7.2.0-12ubuntu1 libc6-dev_2.26-0ubuntu2 libstdc++-7-dev_7.2.0-12ubuntu1 libstdc++6_7.2.0-12ubuntu1 linux-libc-dev_4.13.0-16.19 Package versions: adduser_3.113+nmu3ubuntu5 advancecomp_2.0-1 apt_1.5.1 apt-transport-https_1.5.1 autoconf_2.69-11 automake_1:1.15.1-3ubuntu1 autopoint_0.19.8.1-4ubuntu1 autotools-dev_20161112.1 base-files_10ubuntu1 base-passwd_3.5.43 bash_4.4-5ubuntu1 binutils_2.29.1-6ubuntu1 binutils-common_2.29.1-6ubuntu1 binutils-x86-64-linux-gnu_2.29.1-6ubuntu1 bsdmainutils_9.0.12+nmu1ubuntu1 bsdutils_1:2.30.1-0ubuntu4 build-essential_12.4ubuntu1 bzip2_1.0.6-8.1 ca-certificates_20170717 coreutils_8.26-3ubuntu4 cpp_4:7.2.0-1ubuntu1 cpp-7_7.2.0-12ubuntu1 dash_0.5.8-2.3ubuntu1 debconf_1.5.63 debhelper_10.10.5ubuntu1 debianutils_4.8.2 dh-autoreconf_14 dh-ocaml_1.1.0 dh-strip-nondeterminism_0.038-1 diffutils_1:3.6-1 dmsetup_2:1.02.137-2ubuntu3 dpkg_1.19.0.4ubuntu1 dpkg-dev_1.19.0.4ubuntu1 e2fslibs_1.43.5-1 e2fsprogs_1.43.5-1 fakeroot_1.21-1ubuntu2 fdisk_2.30.1-0ubuntu4 file_1:5.32-1 findutils_4.6.0+git+20170729-2 g++_4:7.2.0-1ubuntu1 g++-7_7.2.0-12ubuntu1 gcc_4:7.2.0-1ubuntu1 gcc-7_7.2.0-12ubuntu1 gcc-7-base_7.2.0-12ubuntu1 gettext_0.19.8.1-4ubuntu1 gettext-base_0.19.8.1-4ubuntu1 gnupg_2.1.15-1ubuntu8 gnupg-agent_2.1.15-1ubuntu8 gpgv_2.1.15-1ubuntu8 grep_3.1-2 groff-base_1.22.3-9 gzip_1.6-5ubuntu1 hostname_3.18 init_1.49ubuntu1 init-system-helpers_1.49ubuntu1 initscripts_2.88dsf-59.3ubuntu2 insserv_1.14.0-5ubuntu3 intltool-debian_0.35.0+20060710.4 libacl1_2.2.52-3build1 libapparmor1_2.11.0-2ubuntu17 libapt-pkg5.0_1.5.1 libarchive-zip-perl_1.59-1 libasan4_7.2.0-12ubuntu1 libasn1-8-heimdal_7.4.0.dfsg.1-2 libassuan0_2.4.3-3 libatomic1_7.2.0-12ubuntu1 libattr1_1:2.4.47-2build1 libaudit-common_1:2.7.7-1ubuntu2 libaudit1_1:2.7.7-1ubuntu2 libbinutils_2.29.1-6ubuntu1 libblkid1_2.30.1-0ubuntu4 libbsd0_0.8.6-1 libbz2-1.0_1.0.6-8.1 libc-bin_2.26-0ubuntu2 libc-dev-bin_2.26-0ubuntu2 libc6_2.26-0ubuntu2 libc6-dev_2.26-0ubuntu2 libcap-ng0_0.7.7-3build1 libcap2_1:2.25-1.1 libcc1-0_7.2.0-12ubuntu1 libcilkrts5_7.2.0-12ubuntu1 libcomerr2_1.43.5-1 libcroco3_0.6.12-1 libcryptsetup4_2:1.7.3-4ubuntu1 libcurl3-gnutls_7.55.1-1ubuntu2.1 libdb5.3_5.3.28-13.1 libdebconfclient0_0.213ubuntu1 libdevmapper1.02.1_2:1.02.137-2ubuntu3 libdpkg-perl_1.19.0.4ubuntu1 libfakeroot_1.21-1ubuntu2 libfdisk1_2.30.1-0ubuntu4 libffi6_3.2.1-6 libfile-stripnondeterminism-perl_0.038-1 libfindlib-ocaml_1.7.1-2build1 libgcc-7-dev_7.2.0-12ubuntu1 libgcc1_1:7.2.0-12ubuntu1 libgcrypt20_1.7.8-2ubuntu1 libgdbm3_1.8.3-14 libglib2.0-0_2.54.1-1ubuntu1 libgmp10_2:6.1.2+dfsg-1 libgnutls30_3.5.8-6ubuntu3 libgomp1_7.2.0-12ubuntu1 libgpg-error0_1.27-3 libgssapi-krb5-2_1.15.1-2 libgssapi3-heimdal_7.4.0.dfsg.1-2 libhcrypto4-heimdal_7.4.0.dfsg.1-2 libheimbase1-heimdal_7.4.0.dfsg.1-2 libheimntlm0-heimdal_7.4.0.dfsg.1-2 libhogweed4_3.3-2 libhx509-5-heimdal_7.4.0.dfsg.1-2 libicu59_59.1-3ubuntu1 libidn11_1.33-2 libidn2-0_2.0.2-5 libip4tc0_1.6.1-2ubuntu1 libisl15_0.18-1 libitm1_7.2.0-12ubuntu1 libk5crypto3_1.15.1-2 libkeyutils1_1.5.9-9.1ubuntu1 libkmod2_24-1ubuntu2 libkrb5-26-heimdal_7.4.0.dfsg.1-2 libkrb5-3_1.15.1-2 libkrb5support0_1.15.1-2 libksba8_1.3.5-2 libldap-2.4-2_2.4.45+dfsg-1ubuntu1 libldap-common_2.4.45+dfsg-1ubuntu1 liblockfile-bin_1.14-1 liblockfile1_1.14-1 liblsan0_7.2.0-12ubuntu1 liblz4-1_0.0~r131-2ubuntu2 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.32-1 libmagic1_1:5.32-1 libmount1_2.30.1-0ubuntu4 libmpc3_1.0.3-2 libmpfr4_3.1.6-1 libmpx2_7.2.0-12ubuntu1 libncurses5_6.0+20160625-1ubuntu1 libncurses5-dev_6.0+20160625-1ubuntu1 libncursesw5_6.0+20160625-1ubuntu1 libnettle6_3.3-2 libnpth0_1.5-2 libp11-kit0_0.23.7-3 libpam-modules_1.1.8-3.2ubuntu3 libpam-modules-bin_1.1.8-3.2ubuntu3 libpam-runtime_1.1.8-3.2ubuntu3 libpam0g_1.1.8-3.2ubuntu3 libpcre3_2:8.39-5ubuntu3 libperl5.26_5.26.0-8ubuntu1 libpipeline1_1.4.2-1 libpng16-16_1.6.34-1 libprocps6_2:3.3.12-1ubuntu2 libpsl5_0.18.0-2 libquadmath0_7.2.0-12ubuntu1 libreadline7_7.0-0ubuntu2 libroken18-heimdal_7.4.0.dfsg.1-2 librtmp1_2.4+20151223.gitfa8646d.1-1 libsasl2-2_2.1.27~101-g0780600+dfsg-3ubuntu1 libsasl2-modules-db_2.1.27~101-g0780600+dfsg-3ubuntu1 libseccomp2_2.3.1-2.1ubuntu3 libselinux1_2.7-1 libsemanage-common_2.7-2 libsemanage1_2.7-2 libsepol1_2.7-1 libsigsegv2_2.11-1 libslang2_2.3.1-5ubuntu1 libsmartcols1_2.30.1-0ubuntu4 libsqlite3-0_3.20.1-2 libss2_1.43.5-1 libssl1.0.0_1.0.2g-1ubuntu13 libstdc++-7-dev_7.2.0-12ubuntu1 libstdc++6_7.2.0-12ubuntu1 libsystemd0_234-2ubuntu12 libtasn1-6_4.12-2.1 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20160625-1ubuntu1 libtinfo5_6.0+20160625-1ubuntu1 libtool_2.4.6-2 libtsan0_7.2.0-12ubuntu1 libubsan0_7.2.0-12ubuntu1 libudev1_234-2ubuntu12 libunistring0_0.9.3-5.2ubuntu1 libusb-0.1-4_2:0.1.12-31 libustr-1.0-1_1.0.4-6 libuuid1_2.30.1-0ubuntu4 libwind0-heimdal_7.4.0.dfsg.1-2 libxml2_2.9.4+dfsg1-5ubuntu1 linux-libc-dev_4.13.0-16.19 lockfile-progs_0.1.17build1 login_1:4.2-3.2ubuntu4 lsb-base_9.20160110ubuntu5 m4_1.4.18-1 make_4.1-9.1 man-db_2.7.6.1-2 mawk_1.3.3-17ubuntu2 mount_2.30.1-0ubuntu4 multiarch-support_2.26-0ubuntu2 ncurses-base_6.0+20160625-1ubuntu1 ncurses-bin_6.0+20160625-1ubuntu1 ocaml-base-nox_4.05.0-10ubuntu1 ocaml-compiler-libs_4.05.0-10ubuntu1 ocaml-findlib_1.7.1-2build1 ocaml-interp_4.05.0-10ubuntu1 ocaml-nox_4.05.0-10ubuntu1 ocamlbuild_0.10.1-1build1 openssl_1.0.2g-1ubuntu13 optipng_0.7.6-1build1 passwd_1:4.2-3.2ubuntu4 patch_2.7.5-1build1 perl_5.26.0-8ubuntu1 perl-base_5.26.0-8ubuntu1 perl-modules-5.26_5.26.0-8ubuntu1 pinentry-curses_1.0.0-2 pkgbinarymangler_131 po-debconf_1.0.20 policyrcd-script-zg2_0.1-3 procps_2:3.3.12-1ubuntu2 readline-common_7.0-0ubuntu2 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-menhir-dummy_0.invalid.0 sed_4.4-1 sensible-utils_0.0.10 systemd_234-2ubuntu12 systemd-sysv_234-2ubuntu12 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.8git1 tar_1.29b-2 tzdata_2017c-1 ubuntu-keyring_2016.10.27 util-linux_2.30.1-0ubuntu4 xz-utils_5.2.2-1.3 zlib1g_1:1.2.11.dfsg-0ubuntu2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Fri Oct 27 19:57:46 2017 UTC gpgv: using RSA key gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./menhir_20170712-1build1.dsc dpkg-source: info: extracting menhir in menhir-20170712 dpkg-source: info: unpacking menhir_20170712.orig.tar.gz dpkg-source: info: unpacking menhir_20170712-1build1.debian.tar.xz dpkg-source: info: applying 0001-Remove-some-invalid-characters.patch dpkg-source: info: applying 0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte.patch 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-13633480 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-13633480 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-13633480 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 20170712-1build1 dpkg-buildpackage: info: source distribution bionic dpkg-source --before-build menhir-20170712 dpkg-buildpackage: info: host architecture amd64 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 .versioncheck _stage1 _stage2 _stage3 _sdk make[2]: Leaving directory '/<>/src' make[1]: Leaving directory '/<>' dh_autoreconf_clean 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 \) -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 dh build --with ocaml dh_update_autotools_config dh_autoreconf dh_ocamlinit 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 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' Checking that OCaml is recent enough... /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 checkOCamlVersion.ml > checkOCamlVersion.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o checkOCamlVersion.cmo checkOCamlVersion.ml /usr/bin/ocamlc.opt str.cma -g checkOCamlVersion.cmo -o checkOCamlVersion.byte # No parallelism done Version 4.05.0 is OK. 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.mli > syntax.mli.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.cmi syntax.mli /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 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/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.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/ocamldep.opt -modules positions.ml > positions.ml.depends /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 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 parameters.cmx parameters.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 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 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/ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml /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/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml /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 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/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml /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 parameterizedGrammar.ml > parameterizedGrammar.ml.depends /usr/bin/ocamldep.opt -modules parameterizedGrammar.mli > parameterizedGrammar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameterizedGrammar.cmi parameterizedGrammar.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 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/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 tarjan.cmx tarjan.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.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 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 Driver.cmx Driver.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 parameterizedGrammar.cmx parameterizedGrammar.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 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 option.cmx parameters.cmx parserAux.cmx parser.cmx Driver.cmx FixSolver.cmx IO.cmx Maps.cmx anonymous.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx dot.cmx gMap.cmx patricia.cmx time.cmx unparameterizedSyntax.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 mark.cmx nonTerminalDefinitionInlining.cmx tarjan.cmx unionFind.cmx parameterizedGrammar.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): 14(372), max: 12, min: 2, average(total): 4.786(1.142) } 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.mli > syntax.mli.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.cmi syntax.mli /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 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/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.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/ocamldep.opt -modules positions.ml > positions.ml.depends /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 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 parameters.cmx parameters.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 error.mli > error.mli.depends /usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends /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 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 1328 bytes. The goto table is 6615 entries; 153 non-zero; 343 compressed. The goto table occupies roughly 632 bytes. The error table occupies roughly 768 bytes. The default_reduction table occupies roughly 224 bytes. The lhs table occupies roughly 120 bytes. The trace table occupies roughly 8 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 error.ml > error.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/ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml /usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml /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 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/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml /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 parameterizedGrammar.ml > parameterizedGrammar.ml.depends /usr/bin/ocamldep.opt -modules parameterizedGrammar.mli > parameterizedGrammar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameterizedGrammar.cmi parameterizedGrammar.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 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/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 tarjan.cmx tarjan.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.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 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 Driver.cmx Driver.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 parameterizedGrammar.cmx parameterizedGrammar.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 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 136 bytes. The goto table is 216 entries; 19 non-zero; 46 compressed. The goto table occupies roughly 144 bytes. The error table occupies roughly 56 bytes. The default_reduction table occupies roughly 48 bytes. The lhs table occupies roughly 40 bytes. The trace table occupies roughly 8 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 option.cmx parameters.cmx parserAux.cmx parser.cmx parserMessages.cmx Driver.cmx FixSolver.cmx IO.cmx Maps.cmx anonymous.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx dot.cmx gMap.cmx patricia.cmx time.cmx unparameterizedSyntax.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 mark.cmx nonTerminalDefinitionInlining.cmx tarjan.cmx unionFind.cmx parameterizedGrammar.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(378), max: 12, min: 2, average(total): 4.438(1.146) } 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.mli > syntax.mli.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.cmi syntax.mli /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 1328 bytes. The goto table is 6615 entries; 153 non-zero; 343 compressed. The goto table occupies roughly 632 bytes. The error table occupies roughly 768 bytes. The default_reduction table occupies roughly 224 bytes. The lhs table occupies roughly 120 bytes. The trace table occupies roughly 8 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 dh binary --with ocaml dh_testroot dh_prep rm -f -- debian/menhir.substvars debian/libmenhir-ocaml-dev.substvars debian/menhir-doc.substvars rm -fr -- debian/.debhelper/generated/menhir/ debian/menhir/ debian/tmp/ debian/.debhelper/generated/libmenhir-ocaml-dev/ debian/libmenhir-ocaml-dev/ debian/.debhelper/generated/menhir-doc/ debian/menhir-doc/ dh_installdirs install -d debian/menhir install -d debian/libmenhir-ocaml-dev install -d debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/ install -d debian/menhir-doc 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 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 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 dh_installdocs 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 install -d debian/menhir-doc/usr/share/doc/menhir-doc cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/manual.pdf debian/menhir-doc/usr/share/doc/menhir-doc chown -R 0:0 debian/menhir-doc/usr/share/doc chmod -R u\+rw,go=rX debian/menhir-doc/usr/share/doc install -p -m0644 debian/copyright debian/menhir-doc/usr/share/doc/menhir-doc/copyright install -d debian/menhir-doc/usr/share/doc-base/ install -p -m0644 debian/menhir-doc.doc-base debian/menhir-doc/usr/share/doc-base/menhir dh_installchangelogs install -p -m0644 debian/changelog debian/menhir/usr/share/doc/menhir/changelog.Debian install -p -m0644 debian/changelog debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev/changelog.Debian install -p -m0644 debian/changelog debian/menhir-doc/usr/share/doc/menhir-doc/changelog.Debian dh_installexamples install -d debian/menhir-doc/usr/share/doc/menhir-doc/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc debian/menhir-doc/usr/share/doc/menhir-doc/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-incremental debian/menhir-doc/usr/share/doc/menhir-doc/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-inspection debian/menhir-doc/usr/share/doc/menhir-doc/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-param debian/menhir-doc/usr/share/doc/menhir-doc/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-two debian/menhir-doc/usr/share/doc/menhir-doc/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/find-menhir.sh debian/menhir-doc/usr/share/doc/menhir-doc/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/generate-printers debian/menhir-doc/usr/share/doc/menhir-doc/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/Makefile debian/menhir-doc/usr/share/doc/menhir-doc/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/obsolete debian/menhir-doc/usr/share/doc/menhir-doc/examples dh_installman 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 dh_link dh_strip_nondeterminism dh_compress cd debian/menhir cd debian/libmenhir-ocaml-dev cd debian/menhir-doc chmod a-x usr/share/doc/menhir/changelog.Debian usr/share/man/man1/menhir.1 chmod a-x usr/share/doc/libmenhir-ocaml-dev/changelog.Debian gzip -9nf usr/share/doc/menhir/changelog.Debian usr/share/man/man1/menhir.1 gzip -9nf usr/share/doc/libmenhir-ocaml-dev/changelog.Debian cd '/<>' cd '/<>' chmod a-x usr/share/doc/menhir-doc/changelog.Debian usr/share/doc/menhir-doc/examples/calc-inspection/ErrorReporting.ml usr/share/doc/menhir-doc/examples/generate-printers/generate.ml usr/share/doc/menhir-doc/examples/obsolete/Makefile.shared usr/share/doc/menhir-doc/manual.pdf gzip -9nf usr/share/doc/menhir-doc/changelog.Debian usr/share/doc/menhir-doc/examples/calc-inspection/ErrorReporting.ml usr/share/doc/menhir-doc/examples/generate-printers/generate.ml usr/share/doc/menhir-doc/examples/obsolete/Makefile.shared usr/share/doc/menhir-doc/manual.pdf cd '/<>' dh_fixperms 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-doc -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-doc ! -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/menhir-doc/usr/share/doc -type f -a -true -a ! -regex 'debian/menhir-doc/usr/share/doc/[^/]*/examples/.*' -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/menhir-doc/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 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 find debian/menhir-doc -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 debian/rules override_dh_missing make[1]: Entering directory '/<>' dh_missing --fail-missing make[1]: Leaving directory '/<>' dh_strip install -d debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/1b objcopy --only-keep-debug --compress-debug-sections debian/menhir/usr/bin/menhir debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/1b/9c927a2e186906c615a834ce7a2297a37eabe1.debug chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/1b/9c927a2e186906c615a834ce7a2297a37eabe1.debug chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/1b/9c927a2e186906c615a834ce7a2297a37eabe1.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/1b/9c927a2e186906c615a834ce7a2297a37eabe1.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 rm -f debian/menhir/DEBIAN/shlibs rm -f debian/libmenhir-ocaml-dev/DEBIAN/shlibs rm -f debian/menhir-doc/DEBIAN/shlibs dh_shlibdeps install -d debian/menhir/DEBIAN dpkg-shlibdeps -Tdebian/menhir.substvars debian/menhir/usr/bin/menhir dh_installdeb install -d debian/libmenhir-ocaml-dev/DEBIAN install -d debian/menhir-doc/DEBIAN dh_ocaml +++ 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 cat debian/menhir-doc.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 20170712-1build1 --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 20170712-1build1 < 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-5rde8) > 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 v20170712-1build1 depends on ocaml-nox/ocaml-base-nox v4.05.0-10ubuntu1 through Array (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 /usr/bin/ocaml-md5sums -v --md5sums-dir debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums --package menhir-doc dep < debian/menhir-doc.olist.debhelper dh_gencontrol 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-doc.substvars echo misc:Pre-Depends= >> debian/menhir-doc.substvars dpkg-gencontrol -pmenhir-doc -ldebian/changelog -Tdebian/menhir-doc.substvars -Pdebian/menhir-doc -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=1b9c927a2e186906c615a834ce7a2297a37eabe1 -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 chmod 0644 -- debian/menhir-doc/DEBIAN/control chown 0:0 -- debian/menhir-doc/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 (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 (cd debian/menhir-doc >/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/menhir-doc/DEBIAN/md5sums chown 0:0 -- debian/menhir-doc/DEBIAN/md5sums chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/md5sums chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/md5sums dh_builddeb dpkg-deb --build debian/menhir .. dpkg-deb --build debian/libmenhir-ocaml-dev .. dpkg-deb --build debian/menhir-doc .. 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 131 INFO: pkgstriptranslations version 131 INFO: pkgstriptranslations version 131 INFO: pkgstriptranslations version 131 pkgstriptranslations: processing libmenhir-ocaml-dev (in debian/libmenhir-ocaml-dev); do_strip: , oemstrip: pkgstriptranslations: processing menhir-doc (in debian/menhir-doc); do_strip: , oemstrip: pkgstriptranslations: processing menhir-dbgsym (in debian/.debhelper/menhir/dbgsym-root); do_strip: , oemstrip: pkgstriptranslations: processing menhir (in debian/menhir); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " 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) ... pkgstripfiles: processing control file: debian/.debhelper/menhir/dbgsym-root/DEBIAN/control, package menhir-dbgsym, directory debian/.debhelper/menhir/dbgsym-root pkgstripfiles: Running PNG optimization (using 4 cpus) for package menhir-dbgsym ... pkgstripfiles: No PNG files. dpkg-deb: building package 'menhir-dbgsym' in 'debian/.debhelper/scratch-space/build-menhir/menhir-dbgsym_20170712-1build1_amd64.deb'. 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_20170712-1build1_amd64.deb'. Renaming menhir-dbgsym_20170712-1build1_amd64.deb to menhir-dbgsym_20170712-1build1_amd64.ddeb mv debian/.debhelper/scratch-space/build-menhir/menhir-dbgsym_20170712-1build1_amd64.deb ../menhir-dbgsym_20170712-1build1_amd64.ddeb 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_20170712-1build1_amd64.deb'. pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/menhir-doc/DEBIAN/control, package menhir-doc, directory debian/menhir-doc pkgstripfiles: Truncating usr/share/doc/menhir-doc/changelog.Debian.gz to topmost ten records pkgstripfiles: Disabled PNG optimization for -doc package menhir-doc (to save build time) dpkg-deb: building package 'menhir-doc' in '../menhir-doc_20170712-1build1_all.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary -mLaunchpad Build Daemon >../menhir_20170712-1build1_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build menhir-20170712 dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 20171027-2000 Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ menhir_20170712-1build1_amd64.changes: -------------------------------------- Format: 1.8 Date: Fri, 27 Oct 2017 21:57:42 +0200 Source: menhir Binary: menhir libmenhir-ocaml-dev menhir-doc Architecture: amd64 all Version: 20170712-1build1 Distribution: bionic-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml menhir-doc - Documentation of the Menhir parser generator for OCaml Changes: menhir (20170712-1build1) bionic; urgency=medium . * Rebuild against new OCAML ABIs. Checksums-Sha1: 142ba86857c6d9187bbff410dadf1e75fb1308c9 176404 libmenhir-ocaml-dev_20170712-1build1_amd64.deb 44810c796d5c8b6afad35d70cb9873118766d140 191292 menhir-dbgsym_20170712-1build1_amd64.ddeb dcdc304e7e21acecefe021fbcdf2494b4a4aefe9 451452 menhir-doc_20170712-1build1_all.deb 81311860cf904884d61ec5aaab11b1e306578353 6045 menhir_20170712-1build1_amd64.buildinfo 0904e46f313c9bcfdd3a7e1e58825d71a263bfb8 604156 menhir_20170712-1build1_amd64.deb Checksums-Sha256: 96d72c5e105e92ee44419d2f1cc189ba7feb9c34d9803ffab7d50e331536432a 176404 libmenhir-ocaml-dev_20170712-1build1_amd64.deb 3db34528ec5adfddd62ebdea4d5c5554724dcf847e1062619f34a600cc0746ec 191292 menhir-dbgsym_20170712-1build1_amd64.ddeb bb4e087fde79f80433d49e66843bece322cddaaeaaaf255bb2494fb326a90b7f 451452 menhir-doc_20170712-1build1_all.deb aa562e1e747a6eccd9734605731937f4acc6b5ef9179d210a4c9c42e36f89b3a 6045 menhir_20170712-1build1_amd64.buildinfo 06f00b01810a0b02c2416819123066788a477a814bda3ab15e9d3d179dc0781b 604156 menhir_20170712-1build1_amd64.deb Files: 3ab38646493d84478e7da0299ebf8ebb 176404 ocaml optional libmenhir-ocaml-dev_20170712-1build1_amd64.deb 1c1cfbc1c35bbe687f05f494d86b0bb9 191292 debug optional menhir-dbgsym_20170712-1build1_amd64.ddeb e51e913d01e7ff10f210d0ef0711b039 451452 doc optional menhir-doc_20170712-1build1_all.deb 8e310f48f7eefeda0e3448e4bd5ab166 6045 ocaml optional menhir_20170712-1build1_amd64.buildinfo 764e12adb9d21127c5de328d4d985746 604156 ocaml optional menhir_20170712-1build1_amd64.deb +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libmenhir-ocaml-dev_20170712-1build1_amd64.deb ---------------------------------------------- new debian package, version 2.0. size 176404 bytes: control archive=1308 bytes. 1059 bytes, 24 lines control 1172 bytes, 16 lines md5sums Package: libmenhir-ocaml-dev Source: menhir Version: 20170712-1build1 Architecture: amd64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 806 Depends: ocaml-nox-4.05.0 Provides: libmenhir-ocaml-dev-5rde8 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 2017-10-27 19:57 ./ drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/ drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/lib/ drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/lib/ocaml/menhirLib/ -rw-r--r-- root/root 141 2017-10-27 19:57 ./usr/lib/ocaml/menhirLib/META -rw-r--r-- root/root 41871 2017-10-27 19:57 ./usr/lib/ocaml/menhirLib/menhirLib.cmi -rw-r--r-- root/root 221622 2017-10-27 19:57 ./usr/lib/ocaml/menhirLib/menhirLib.cmo -rw-r--r-- root/root 10774 2017-10-27 19:57 ./usr/lib/ocaml/menhirLib/menhirLib.cmx -rw-r--r-- root/root 127811 2017-10-27 19:57 ./usr/lib/ocaml/menhirLib/menhirLib.ml -rw-r--r-- root/root 69573 2017-10-27 19:57 ./usr/lib/ocaml/menhirLib/menhirLib.mli -rw-r--r-- root/root 157896 2017-10-27 19:57 ./usr/lib/ocaml/menhirLib/menhirLib.o drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/lib/ocaml/menhirSdk/ -rw-r--r-- root/root 153 2017-10-27 19:57 ./usr/lib/ocaml/menhirSdk/META -rw-r--r-- root/root 16000 2017-10-27 19:57 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmi -rw-r--r-- root/root 83282 2017-10-27 19:57 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmo -rw-r--r-- root/root 7267 2017-10-27 19:57 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmx -rw-r--r-- root/root 57520 2017-10-27 19:57 ./usr/lib/ocaml/menhirSdk/menhirSdk.o drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/ drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/doc/ drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/doc/libmenhir-ocaml-dev/ -rw-r--r-- root/root 1411 2017-10-27 19:57 ./usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 2482 2017-07-22 17:58 ./usr/share/doc/libmenhir-ocaml-dev/copyright drwxr-xr-x root/root 0 2017-10-27 19:57 ./var/ drwxr-xr-x root/root 0 2017-10-27 19:57 ./var/lib/ drwxr-xr-x root/root 0 2017-10-27 19:57 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2017-10-27 19:57 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 26 2017-10-27 19:57 ./var/lib/ocaml/lintian/libmenhir-ocaml-dev.info drwxr-xr-x root/root 0 2017-10-27 19:57 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 352 2017-10-27 19:57 ./var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums menhir-doc_20170712-1build1_all.deb ----------------------------------- new debian package, version 2.0. size 451452 bytes: control archive=2168 bytes. 708 bytes, 17 lines control 5752 bytes, 64 lines md5sums Package: menhir-doc Source: menhir Version: 20170712-1build1 Architecture: all Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 523 Section: doc Priority: optional Homepage: http://gallium.inria.fr/~fpottier/menhir/ Description: Documentation of the Menhir 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 OCaml, and has a number of enhancements over ocamlyacc. . This package contains the Menhir manual as a pdf file, and the collection of Menhir examples. drwxr-xr-x root/root 0 2017-10-27 19:57 ./ drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/ drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/ drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/doc-base/ -rw-r--r-- root/root 299 2017-07-22 17:58 ./usr/share/doc-base/menhir drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/doc/ drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/doc/menhir-doc/ -rw-r--r-- root/root 1411 2017-10-27 19:57 ./usr/share/doc/menhir-doc/changelog.Debian.gz -rw-r--r-- root/root 2482 2017-07-22 17:58 ./usr/share/doc/menhir-doc/copyright drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/ -rw-r--r-- root/root 375 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/Makefile drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-incremental/ -rw-r--r-- root/root 23 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-incremental/.merlin -rw-r--r-- root/root 647 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-incremental/Makefile -rw-r--r-- root/root 133 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-incremental/README -rw-r--r-- root/root 3144 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-incremental/calc.ml -rw-r--r-- root/root 1030 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-incremental/lexer.mll -rw-r--r-- root/root 556 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-incremental/parser.mly drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-inspection/ -rw-r--r-- root/root 23 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-inspection/.merlin -rw-r--r-- root/root 640 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-inspection/CalcErrorReporting.ml -rw-r--r-- root/root 175 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-inspection/CalcErrorReporting.mli -rw-r--r-- root/root 1406 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-inspection/CalcPrinters.ml -rw-r--r-- root/root 234 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-inspection/CalcPrinters.mli -rw-r--r-- root/root 2584 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-inspection/ErrorReporting.ml.gz -rw-r--r-- root/root 3045 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-inspection/ErrorReporting.mli -rw-r--r-- root/root 877 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-inspection/Makefile -rw-r--r-- root/root 163 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-inspection/README -rw-r--r-- root/root 1771 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-inspection/calc.ml -rw-r--r-- root/root 1030 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-inspection/lexer.mll -rw-r--r-- root/root 556 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-inspection/parser.mly drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-param/ -rw-r--r-- root/root 9 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-param/.merlin -rw-r--r-- root/root 430 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-param/Makefile -rw-r--r-- root/root 357 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-param/README -rw-r--r-- root/root 72 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-param/_tags -rw-r--r-- root/root 1135 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-param/calc.ml -rw-r--r-- root/root 1030 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-param/lexer.mll -rw-r--r-- root/root 660 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-param/myocamlbuild.ml -rw-r--r-- root/root 938 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-param/parser.mly -rw-r--r-- root/root 14 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-param/parser.mlypack -rw-r--r-- root/root 388 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-param/tokens.mly -rw-r--r-- root/root 7 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-param/tokens.mlypack drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-two/ -rw-r--r-- root/root 9 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-two/.merlin -rw-r--r-- root/root 540 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-two/Makefile -rw-r--r-- root/root 631 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-two/README -rw-r--r-- root/root 190 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-two/_tags -rw-r--r-- root/root 537 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-two/algebraic.mly -rw-r--r-- root/root 24 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-two/algebraic.mlypack -rw-r--r-- root/root 1110 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-two/calc.ml -rw-r--r-- root/root 191 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-two/common.mly -rw-r--r-- root/root 1030 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-two/lexer.mll -rw-r--r-- root/root 792 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-two/myocamlbuild.ml -rw-r--r-- root/root 468 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-two/reverse.mly -rw-r--r-- root/root 22 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-two/reverse.mlypack -rw-r--r-- root/root 151 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-two/tokens.mly -rw-r--r-- root/root 7 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc-two/tokens.mlypack drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc/ -rw-r--r-- root/root 9 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc/.merlin -rw-r--r-- root/root 428 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc/Makefile -rw-r--r-- root/root 414 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc/README -rw-r--r-- root/root 727 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc/calc.ml -rw-r--r-- root/root 1030 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc/lexer.mll -rw-r--r-- root/root 556 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/calc/parser.mly -rwxr-xr-x root/root 850 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/find-menhir.sh drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/generate-printers/ -rw-r--r-- root/root 14 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/generate-printers/.merlin -rw-r--r-- root/root 618 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/generate-printers/Makefile -rw-r--r-- root/root 916 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/generate-printers/README.md -rw-r--r-- root/root 78 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/generate-printers/_tags -rw-r--r-- root/root 1509 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/generate-printers/generate.ml.gz drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/obsolete/ -rw-r--r-- root/root 361 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/obsolete/Makefile.auto -rw-r--r-- root/root 817 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/obsolete/Makefile.calc-two -rw-r--r-- root/root 2766 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/obsolete/Makefile.shared.gz -rwxr-xr-x root/root 3043 2017-10-27 19:57 ./usr/share/doc/menhir-doc/examples/obsolete/ocamldep.wrapper -rw-r--r-- root/root 428492 2017-10-27 19:57 ./usr/share/doc/menhir-doc/manual.pdf.gz menhir_20170712-1build1_amd64.deb --------------------------------- new debian package, version 2.0. size 604156 bytes: control archive=984 bytes. 949 bytes, 22 lines control 318 bytes, 5 lines md5sums Package: menhir Version: 20170712-1build1 Architecture: amd64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 2667 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 2017-10-27 19:57 ./ drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/ drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/bin/ -rwxr-xr-x root/root 2704048 2017-10-27 19:57 ./usr/bin/menhir drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/ drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/doc/ drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/doc/menhir/ -rw-r--r-- root/root 1410 2017-10-27 19:57 ./usr/share/doc/menhir/changelog.Debian.gz -rw-r--r-- root/root 2482 2017-07-22 17:58 ./usr/share/doc/menhir/copyright drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/man/ drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/man/man1/ -rw-r--r-- root/root 1368 2017-10-27 19:57 ./usr/share/man/man1/menhir.1.gz drwxr-xr-x root/root 0 2017-10-27 19:57 ./usr/share/menhir/ -rw-r--r-- root/root 6521 2017-10-27 19:57 ./usr/share/menhir/standard.mly +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build-Space: 71112 Build-Time: 38 Distribution: bionic-proposed Host Architecture: amd64 Install-Time: 20 Job: menhir_20170712-1build1.dsc Machine Architecture: amd64 Package: menhir Package-Time: 59 Source-Version: 20170712-1build1 Space: 71112 Status: successful Version: 20170712-1build1 -------------------------------------------------------------------------------- Finished at 20171027-2000 Build needed 00:00:59, 71112k disc space RUN: /usr/share/launchpad-buildd/slavebin/in-target scan-for-processes --backend=chroot --series=bionic --arch=amd64 PACKAGEBUILD-13633480 Scanning for processes to kill in build PACKAGEBUILD-13633480 RUN: /usr/share/launchpad-buildd/slavebin/in-target umount-chroot --backend=chroot --series=bionic --arch=amd64 PACKAGEBUILD-13633480 Stopping target for build PACKAGEBUILD-13633480 RUN: /usr/share/launchpad-buildd/slavebin/in-target remove-build --backend=chroot --series=bionic --arch=amd64 PACKAGEBUILD-13633480 Removing build PACKAGEBUILD-13633480