https://launchpad.net/ubuntu/+source/menhir/20190924-1/+build/18019590 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux bos02-s390x-015 4.4.0-166-generic #195-Ubuntu SMP Tue Oct 1 09:34:26 UTC 2019 s390x Buildd toolchain package versions: launchpad-buildd_178 python-lpbuildd_178 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.6~git201906051340.ff11471~ubuntu16.04.1 git_1:2.7.4-0ubuntu1.6 dpkg-dev_1.18.4ubuntu1.6 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 3 Nov 18:33:44 ntpdate[1840]: adjust time server 10.211.37.1 offset -0.000154 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=focal --arch=s390x PACKAGEBUILD-18019590 --image-type chroot /home/buildd/filecache-default/1ac0229cc48d8f596a1790116aa52d00551197b1 Creating target for build PACKAGEBUILD-18019590 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=focal --arch=s390x PACKAGEBUILD-18019590 Starting target for build PACKAGEBUILD-18019590 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=focal --arch=s390x PACKAGEBUILD-18019590 'deb http://ftpmaster.internal/ubuntu focal main universe' 'deb http://ftpmaster.internal/ubuntu focal-security main universe' 'deb http://ftpmaster.internal/ubuntu focal-updates main universe' 'deb http://ftpmaster.internal/ubuntu focal-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-18019590 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=focal --arch=s390x PACKAGEBUILD-18019590 Updating target for build PACKAGEBUILD-18019590 Get:1 http://ftpmaster.internal/ubuntu focal InRelease [255 kB] Get:2 http://ftpmaster.internal/ubuntu focal-security InRelease [79.7 kB] Get:3 http://ftpmaster.internal/ubuntu focal-updates InRelease [79.7 kB] Get:4 http://ftpmaster.internal/ubuntu focal-proposed InRelease [107 kB] Get:5 http://ftpmaster.internal/ubuntu focal/main s390x Packages [922 kB] Get:6 http://ftpmaster.internal/ubuntu focal/main Translation-en [505 kB] Get:7 http://ftpmaster.internal/ubuntu focal/universe s390x Packages [8426 kB] Get:8 http://ftpmaster.internal/ubuntu focal/universe Translation-en [5200 kB] Get:9 http://ftpmaster.internal/ubuntu focal-proposed/main s390x Packages [67.5 kB] Get:10 http://ftpmaster.internal/ubuntu focal-proposed/main Translation-en [44.7 kB] Get:11 http://ftpmaster.internal/ubuntu focal-proposed/universe s390x Packages [353 kB] Get:12 http://ftpmaster.internal/ubuntu focal-proposed/universe Translation-en [243 kB] Fetched 16.3 MB in 3s (4976 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages were automatically installed and are no longer required: libhogweed4 libnettle6 libperl5.28 perl-modules-5.28 Use 'sudo apt autoremove' to remove them. The following NEW packages will be installed: libhogweed5 libnettle7 libperl5.30 perl-modules-5.30 The following packages will be upgraded: base-files binutils binutils-common binutils-s390x-linux-gnu bzip2 cpp-9 debianutils g++-9 gcc-9 gcc-9-base libacl1 libapparmor1 libasan5 libatomic1 libattr1 libaudit-common libaudit1 libbinutils libbz2-1.0 libcap-ng0 libcc1-0 libcryptsetup12 libdebconfclient0 libgcc-9-dev libgcc1 libgcrypt20 libgnutls30 libgomp1 libitm1 libjson-c4 libkmod2 liblockfile-bin liblockfile1 liblz4-1 libncurses6 libncursesw6 libp11-kit0 libselinux1 libsemanage-common libsemanage1 libsqlite3-0 libstdc++-9-dev libstdc++6 libsystemd0 libtinfo6 libubsan1 libudev1 linux-libc-dev lsb-base ncurses-base ncurses-bin perl perl-base systemd systemd-sysv sysvinit-utils 56 upgraded, 4 newly installed, 0 to remove and 0 not upgraded. Need to get 45.4 MB of archives. After this operation, 49.6 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu focal/main s390x base-files s390x 11ubuntu1 [60.3 kB] Get:2 http://ftpmaster.internal/ubuntu focal/main s390x debianutils s390x 4.9 [85.8 kB] Get:3 http://ftpmaster.internal/ubuntu focal/main s390x ncurses-bin s390x 6.1+20191019-1ubuntu1 [169 kB] Get:4 http://ftpmaster.internal/ubuntu focal/main s390x perl-modules-5.30 all 5.30.0-9 [2739 kB] Get:5 http://ftpmaster.internal/ubuntu focal/main s390x libperl5.30 s390x 5.30.0-9 [3782 kB] Get:6 http://ftpmaster.internal/ubuntu focal/main s390x perl s390x 5.30.0-9 [224 kB] Get:7 http://ftpmaster.internal/ubuntu focal/main s390x perl-base s390x 5.30.0-9 [1423 kB] Get:8 http://ftpmaster.internal/ubuntu focal/main s390x bzip2 s390x 1.0.8-2 [33.3 kB] Get:9 http://ftpmaster.internal/ubuntu focal/main s390x libbz2-1.0 s390x 1.0.8-2 [32.6 kB] Get:10 http://ftpmaster.internal/ubuntu focal/main s390x ncurses-base all 6.1+20191019-1ubuntu1 [17.9 kB] Get:11 http://ftpmaster.internal/ubuntu focal/main s390x lsb-base all 11.1.0ubuntu1 [12.2 kB] Get:12 http://ftpmaster.internal/ubuntu focal/main s390x sysvinit-utils s390x 2.96-1ubuntu1 [20.6 kB] Get:13 http://ftpmaster.internal/ubuntu focal-proposed/main s390x systemd-sysv s390x 243-3ubuntu1 [9364 B] Get:14 http://ftpmaster.internal/ubuntu focal/main s390x libacl1 s390x 2.2.53-5 [18.3 kB] Get:15 http://ftpmaster.internal/ubuntu focal/main s390x libapparmor1 s390x 2.13.3-5ubuntu5 [33.2 kB] Get:16 http://ftpmaster.internal/ubuntu focal/main s390x libaudit-common all 1:2.8.5-2ubuntu2 [4080 B] Get:17 http://ftpmaster.internal/ubuntu focal/main s390x libcap-ng0 s390x 0.7.9-2.1 [10.8 kB] Get:18 http://ftpmaster.internal/ubuntu focal/main s390x libaudit1 s390x 1:2.8.5-2ubuntu2 [36.9 kB] Get:19 http://ftpmaster.internal/ubuntu focal/main s390x libjson-c4 s390x 0.13.1+dfsg-6 [27.9 kB] Get:20 http://ftpmaster.internal/ubuntu focal/main s390x libcryptsetup12 s390x 2:2.2.1-1ubuntu1 [159 kB] Get:21 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libnettle7 s390x 3.5.1+really3.5.1-2 [124 kB] Get:22 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libhogweed5 s390x 3.5.1+really3.5.1-2 [136 kB] Get:23 http://ftpmaster.internal/ubuntu focal/main s390x libp11-kit0 s390x 0.23.18.1-2 [172 kB] Get:24 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libgnutls30 s390x 3.6.9-5ubuntu2 [684 kB] Get:25 http://ftpmaster.internal/ubuntu focal/main s390x libkmod2 s390x 26-3ubuntu1 [40.0 kB] Get:26 http://ftpmaster.internal/ubuntu focal/main s390x liblz4-1 s390x 1.9.1-2 [52.5 kB] Get:27 http://ftpmaster.internal/ubuntu focal-proposed/main s390x systemd s390x 243-3ubuntu1 [3284 kB] Get:28 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libsystemd0 s390x 243-3ubuntu1 [242 kB] Get:29 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libcc1-0 s390x 9.2.1-17ubuntu1 [46.5 kB] Get:30 http://ftpmaster.internal/ubuntu focal/main s390x binutils-s390x-linux-gnu s390x 2.33.1-1ubuntu1 [1460 kB] Get:31 http://ftpmaster.internal/ubuntu focal/main s390x libbinutils s390x 2.33.1-1ubuntu1 [299 kB] Get:32 http://ftpmaster.internal/ubuntu focal/main s390x binutils-common s390x 2.33.1-1ubuntu1 [203 kB] Get:33 http://ftpmaster.internal/ubuntu focal/main s390x binutils s390x 2.33.1-1ubuntu1 [3336 B] Get:34 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libgomp1 s390x 9.2.1-17ubuntu1 [83.3 kB] Get:35 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libitm1 s390x 9.2.1-17ubuntu1 [27.1 kB] Get:36 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libatomic1 s390x 9.2.1-17ubuntu1 [8264 B] Get:37 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libasan5 s390x 9.2.1-17ubuntu1 [361 kB] Get:38 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libubsan1 s390x 9.2.1-17ubuntu1 [125 kB] Get:39 http://ftpmaster.internal/ubuntu focal-proposed/main s390x gcc-9-base s390x 9.2.1-17ubuntu1 [19.1 kB] Get:40 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libstdc++6 s390x 9.2.1-17ubuntu1 [503 kB] Get:41 http://ftpmaster.internal/ubuntu focal-proposed/main s390x g++-9 s390x 9.2.1-17ubuntu1 [8461 kB] Get:42 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libstdc++-9-dev s390x 9.2.1-17ubuntu1 [1673 kB] Get:43 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libgcc-9-dev s390x 9.2.1-17ubuntu1 [704 kB] Get:44 http://ftpmaster.internal/ubuntu focal-proposed/main s390x gcc-9 s390x 9.2.1-17ubuntu1 [8041 kB] Get:45 http://ftpmaster.internal/ubuntu focal-proposed/main s390x cpp-9 s390x 9.2.1-17ubuntu1 [7266 kB] Get:46 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libgcc1 s390x 1:9.2.1-17ubuntu1 [25.3 kB] Get:47 http://ftpmaster.internal/ubuntu focal/main s390x libattr1 s390x 1:2.4.48-5 [12.4 kB] Get:48 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libdebconfclient0 s390x 0.250ubuntu1 [6208 B] Get:49 http://ftpmaster.internal/ubuntu focal/main s390x libgcrypt20 s390x 1.8.5-3ubuntu1 [349 kB] Get:50 http://ftpmaster.internal/ubuntu focal/main s390x libncurses6 s390x 6.1+20191019-1ubuntu1 [94.7 kB] Get:51 http://ftpmaster.internal/ubuntu focal/main s390x libtinfo6 s390x 6.1+20191019-1ubuntu1 [83.6 kB] Get:52 http://ftpmaster.internal/ubuntu focal/main s390x libncursesw6 s390x 6.1+20191019-1ubuntu1 [122 kB] Get:53 http://ftpmaster.internal/ubuntu focal/main s390x libselinux1 s390x 2.9-2build1 [64.7 kB] Get:54 http://ftpmaster.internal/ubuntu focal/main s390x libsemanage-common all 2.9-3build1 [9736 B] Get:55 http://ftpmaster.internal/ubuntu focal/main s390x libsemanage1 s390x 2.9-3build1 [78.4 kB] Get:56 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libudev1 s390x 243-3ubuntu1 [74.1 kB] Get:57 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libsqlite3-0 s390x 3.30.1-1 [504 kB] Get:58 http://ftpmaster.internal/ubuntu focal/main s390x liblockfile-bin s390x 1.16-1.1 [11.4 kB] Get:59 http://ftpmaster.internal/ubuntu focal/main s390x liblockfile1 s390x 1.16-1.1 [6476 B] Get:60 http://ftpmaster.internal/ubuntu focal-proposed/main s390x linux-libc-dev s390x 5.3.0-21.22 [1082 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 45.4 MB in 1s (83.3 MB/s) (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../base-files_11ubuntu1_s390x.deb ... Unpacking base-files (11ubuntu1) over (10.2ubuntu7) ... Setting up base-files (11ubuntu1) ... 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 ... Updating /root/.profile to current default. (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../debianutils_4.9_s390x.deb ... Unpacking debianutils (4.9) over (4.8.6.3) ... Setting up debianutils (4.9) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.1+20191019-1ubuntu1_s390x.deb ... Unpacking ncurses-bin (6.1+20191019-1ubuntu1) over (6.1+20190803-1ubuntu1) ... Setting up ncurses-bin (6.1+20191019-1ubuntu1) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../perl_5.30.0-9_s390x.deb ... Unpacking perl (5.30.0-9) over (5.28.1-6build1) ... Replacing files in old package perl-base (5.28.1-6build1) ... Selecting previously unselected package perl-modules-5.30. Preparing to unpack .../perl-modules-5.30_5.30.0-9_all.deb ... Unpacking perl-modules-5.30 (5.30.0-9) ... Selecting previously unselected package libperl5.30:s390x. Preparing to unpack .../libperl5.30_5.30.0-9_s390x.deb ... Unpacking libperl5.30:s390x (5.30.0-9) ... Preparing to unpack .../perl-base_5.30.0-9_s390x.deb ... Unpacking perl-base (5.30.0-9) over (5.28.1-6build1) ... Setting up perl-base (5.30.0-9) ... (Reading database ... 14432 files and directories currently installed.) Preparing to unpack .../bzip2_1.0.8-2_s390x.deb ... Unpacking bzip2 (1.0.8-2) over (1.0.6-9.2) ... Preparing to unpack .../libbz2-1.0_1.0.8-2_s390x.deb ... Unpacking libbz2-1.0:s390x (1.0.8-2) over (1.0.6-9.2) ... Setting up libbz2-1.0:s390x (1.0.8-2) ... (Reading database ... 14432 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.1+20191019-1ubuntu1_all.deb ... Unpacking ncurses-base (6.1+20191019-1ubuntu1) over (6.1+20190803-1ubuntu1) ... Setting up ncurses-base (6.1+20191019-1ubuntu1) ... (Reading database ... 14432 files and directories currently installed.) Preparing to unpack .../lsb-base_11.1.0ubuntu1_all.deb ... Unpacking lsb-base (11.1.0ubuntu1) over (11.0.1ubuntu1) ... Setting up lsb-base (11.1.0ubuntu1) ... (Reading database ... 14431 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_2.96-1ubuntu1_s390x.deb ... Unpacking sysvinit-utils (2.96-1ubuntu1) over (2.95-5ubuntu2) ... Setting up sysvinit-utils (2.96-1ubuntu1) ... (Reading database ... 14431 files and directories currently installed.) Preparing to unpack .../systemd-sysv_243-3ubuntu1_s390x.deb ... Unpacking systemd-sysv (243-3ubuntu1) over (242-7ubuntu3) ... Preparing to unpack .../libacl1_2.2.53-5_s390x.deb ... Unpacking libacl1:s390x (2.2.53-5) over (2.2.53-4) ... Setting up libacl1:s390x (2.2.53-5) ... (Reading database ... 14431 files and directories currently installed.) Preparing to unpack .../libapparmor1_2.13.3-5ubuntu5_s390x.deb ... Unpacking libapparmor1:s390x (2.13.3-5ubuntu5) over (2.13.3-5ubuntu1) ... Preparing to unpack .../libaudit-common_1%3a2.8.5-2ubuntu2_all.deb ... Unpacking libaudit-common (1:2.8.5-2ubuntu2) over (1:2.8.5-2ubuntu1) ... Setting up libaudit-common (1:2.8.5-2ubuntu2) ... (Reading database ... 14431 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.7.9-2.1_s390x.deb ... Unpacking libcap-ng0:s390x (0.7.9-2.1) over (0.7.9-2) ... Setting up libcap-ng0:s390x (0.7.9-2.1) ... (Reading database ... 14431 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.8.5-2ubuntu2_s390x.deb ... Unpacking libaudit1:s390x (1:2.8.5-2ubuntu2) over (1:2.8.5-2ubuntu1) ... Setting up libaudit1:s390x (1:2.8.5-2ubuntu2) ... (Reading database ... 14431 files and directories currently installed.) Preparing to unpack .../libjson-c4_0.13.1+dfsg-6_s390x.deb ... Unpacking libjson-c4:s390x (0.13.1+dfsg-6) over (0.13.1+dfsg-4) ... Preparing to unpack .../libcryptsetup12_2%3a2.2.1-1ubuntu1_s390x.deb ... Unpacking libcryptsetup12:s390x (2:2.2.1-1ubuntu1) over (2:2.2.0-3ubuntu1) ... Selecting previously unselected package libnettle7:s390x. Preparing to unpack .../libnettle7_3.5.1+really3.5.1-2_s390x.deb ... Unpacking libnettle7:s390x (3.5.1+really3.5.1-2) ... Setting up libnettle7:s390x (3.5.1+really3.5.1-2) ... Selecting previously unselected package libhogweed5:s390x. (Reading database ... 14438 files and directories currently installed.) Preparing to unpack .../libhogweed5_3.5.1+really3.5.1-2_s390x.deb ... Unpacking libhogweed5:s390x (3.5.1+really3.5.1-2) ... Setting up libhogweed5:s390x (3.5.1+really3.5.1-2) ... (Reading database ... 14441 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.23.18.1-2_s390x.deb ... Unpacking libp11-kit0:s390x (0.23.18.1-2) over (0.23.17-2) ... Setting up libp11-kit0:s390x (0.23.18.1-2) ... (Reading database ... 14441 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.6.9-5ubuntu2_s390x.deb ... Unpacking libgnutls30:s390x (3.6.9-5ubuntu2) over (3.6.9-5ubuntu1) ... Setting up libgnutls30:s390x (3.6.9-5ubuntu2) ... (Reading database ... 14441 files and directories currently installed.) Preparing to unpack .../libkmod2_26-3ubuntu1_s390x.deb ... Unpacking libkmod2:s390x (26-3ubuntu1) over (26-1ubuntu1) ... Preparing to unpack .../liblz4-1_1.9.1-2_s390x.deb ... Unpacking liblz4-1:s390x (1.9.1-2) over (1.9.1-1) ... Setting up liblz4-1:s390x (1.9.1-2) ... (Reading database ... 14441 files and directories currently installed.) Preparing to unpack .../systemd_243-3ubuntu1_s390x.deb ... Unpacking systemd (243-3ubuntu1) over (242-7ubuntu3) ... Preparing to unpack .../libsystemd0_243-3ubuntu1_s390x.deb ... Unpacking libsystemd0:s390x (243-3ubuntu1) over (242-7ubuntu3) ... Setting up libsystemd0:s390x (243-3ubuntu1) ... (Reading database ... 14460 files and directories currently installed.) Preparing to unpack .../00-libcc1-0_9.2.1-17ubuntu1_s390x.deb ... Unpacking libcc1-0:s390x (9.2.1-17ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../01-binutils-s390x-linux-gnu_2.33.1-1ubuntu1_s390x.deb ... Unpacking binutils-s390x-linux-gnu (2.33.1-1ubuntu1) over (2.33-2ubuntu1) ... Preparing to unpack .../02-libbinutils_2.33.1-1ubuntu1_s390x.deb ... Unpacking libbinutils:s390x (2.33.1-1ubuntu1) over (2.33-2ubuntu1) ... Preparing to unpack .../03-binutils-common_2.33.1-1ubuntu1_s390x.deb ... Unpacking binutils-common:s390x (2.33.1-1ubuntu1) over (2.33-2ubuntu1) ... Preparing to unpack .../04-binutils_2.33.1-1ubuntu1_s390x.deb ... Unpacking binutils (2.33.1-1ubuntu1) over (2.33-2ubuntu1) ... Preparing to unpack .../05-libgomp1_9.2.1-17ubuntu1_s390x.deb ... Unpacking libgomp1:s390x (9.2.1-17ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../06-libitm1_9.2.1-17ubuntu1_s390x.deb ... Unpacking libitm1:s390x (9.2.1-17ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../07-libatomic1_9.2.1-17ubuntu1_s390x.deb ... Unpacking libatomic1:s390x (9.2.1-17ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../08-libasan5_9.2.1-17ubuntu1_s390x.deb ... Unpacking libasan5:s390x (9.2.1-17ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../09-libubsan1_9.2.1-17ubuntu1_s390x.deb ... Unpacking libubsan1:s390x (9.2.1-17ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../10-gcc-9-base_9.2.1-17ubuntu1_s390x.deb ... Unpacking gcc-9-base:s390x (9.2.1-17ubuntu1) over (9.2.1-9ubuntu2) ... Setting up gcc-9-base:s390x (9.2.1-17ubuntu1) ... (Reading database ... 14460 files and directories currently installed.) Preparing to unpack .../libstdc++6_9.2.1-17ubuntu1_s390x.deb ... Unpacking libstdc++6:s390x (9.2.1-17ubuntu1) over (9.2.1-9ubuntu2) ... Setting up libstdc++6:s390x (9.2.1-17ubuntu1) ... (Reading database ... 14460 files and directories currently installed.) Preparing to unpack .../0-g++-9_9.2.1-17ubuntu1_s390x.deb ... Unpacking g++-9 (9.2.1-17ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../1-libstdc++-9-dev_9.2.1-17ubuntu1_s390x.deb ... Unpacking libstdc++-9-dev:s390x (9.2.1-17ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../2-libgcc-9-dev_9.2.1-17ubuntu1_s390x.deb ... Unpacking libgcc-9-dev:s390x (9.2.1-17ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../3-gcc-9_9.2.1-17ubuntu1_s390x.deb ... Unpacking gcc-9 (9.2.1-17ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../4-cpp-9_9.2.1-17ubuntu1_s390x.deb ... Unpacking cpp-9 (9.2.1-17ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../5-libgcc1_1%3a9.2.1-17ubuntu1_s390x.deb ... Unpacking libgcc1:s390x (1:9.2.1-17ubuntu1) over (1:9.2.1-9ubuntu2) ... Setting up libgcc1:s390x (1:9.2.1-17ubuntu1) ... (Reading database ... 14460 files and directories currently installed.) Preparing to unpack .../libattr1_1%3a2.4.48-5_s390x.deb ... Unpacking libattr1:s390x (1:2.4.48-5) over (1:2.4.48-4) ... Setting up libattr1:s390x (1:2.4.48-5) ... (Reading database ... 14460 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.250ubuntu1_s390x.deb ... Unpacking libdebconfclient0:s390x (0.250ubuntu1) over (0.249ubuntu1) ... Setting up libdebconfclient0:s390x (0.250ubuntu1) ... (Reading database ... 14460 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.8.5-3ubuntu1_s390x.deb ... Unpacking libgcrypt20:s390x (1.8.5-3ubuntu1) over (1.8.4-5ubuntu2) ... Setting up libgcrypt20:s390x (1.8.5-3ubuntu1) ... (Reading database ... 14460 files and directories currently installed.) Preparing to unpack .../libncurses6_6.1+20191019-1ubuntu1_s390x.deb ... Unpacking libncurses6:s390x (6.1+20191019-1ubuntu1) over (6.1+20190803-1ubuntu1) ... Preparing to unpack .../libtinfo6_6.1+20191019-1ubuntu1_s390x.deb ... Unpacking libtinfo6:s390x (6.1+20191019-1ubuntu1) over (6.1+20190803-1ubuntu1) ... Setting up libtinfo6:s390x (6.1+20191019-1ubuntu1) ... (Reading database ... 14460 files and directories currently installed.) Preparing to unpack .../libncursesw6_6.1+20191019-1ubuntu1_s390x.deb ... Unpacking libncursesw6:s390x (6.1+20191019-1ubuntu1) over (6.1+20190803-1ubuntu1) ... Setting up libncursesw6:s390x (6.1+20191019-1ubuntu1) ... (Reading database ... 14460 files and directories currently installed.) Preparing to unpack .../libselinux1_2.9-2build1_s390x.deb ... Unpacking libselinux1:s390x (2.9-2build1) over (2.9-2) ... Setting up libselinux1:s390x (2.9-2build1) ... (Reading database ... 14460 files and directories currently installed.) Preparing to unpack .../libsemanage-common_2.9-3build1_all.deb ... Unpacking libsemanage-common (2.9-3build1) over (2.9-3) ... Setting up libsemanage-common (2.9-3build1) ... (Reading database ... 14460 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.9-3build1_s390x.deb ... Unpacking libsemanage1:s390x (2.9-3build1) over (2.9-3) ... Setting up libsemanage1:s390x (2.9-3build1) ... (Reading database ... 14460 files and directories currently installed.) Preparing to unpack .../libudev1_243-3ubuntu1_s390x.deb ... Unpacking libudev1:s390x (243-3ubuntu1) over (242-7ubuntu3) ... Setting up libudev1:s390x (243-3ubuntu1) ... (Reading database ... 14460 files and directories currently installed.) Preparing to unpack .../libsqlite3-0_3.30.1-1_s390x.deb ... Unpacking libsqlite3-0:s390x (3.30.1-1) over (3.29.0-2) ... Preparing to unpack .../liblockfile-bin_1.16-1.1_s390x.deb ... Unpacking liblockfile-bin (1.16-1.1) over (1.15-1) ... Preparing to unpack .../liblockfile1_1.16-1.1_s390x.deb ... Unpacking liblockfile1:s390x (1.16-1.1) over (1.15-1) ... Preparing to unpack .../linux-libc-dev_5.3.0-21.22_s390x.deb ... Unpacking linux-libc-dev:s390x (5.3.0-21.22) over (5.3.0-18.19) ... Setting up libapparmor1:s390x (2.13.3-5ubuntu5) ... Setting up liblockfile-bin (1.16-1.1) ... Setting up perl-modules-5.30 (5.30.0-9) ... Setting up libsqlite3-0:s390x (3.30.1-1) ... Setting up binutils-common:s390x (2.33.1-1ubuntu1) ... Setting up linux-libc-dev:s390x (5.3.0-21.22) ... Setting up libgomp1:s390x (9.2.1-17ubuntu1) ... Setting up bzip2 (1.0.8-2) ... Setting up libasan5:s390x (9.2.1-17ubuntu1) ... Setting up libncurses6:s390x (6.1+20191019-1ubuntu1) ... Setting up libatomic1:s390x (9.2.1-17ubuntu1) ... Setting up libubsan1:s390x (9.2.1-17ubuntu1) ... Setting up cpp-9 (9.2.1-17ubuntu1) ... Setting up libperl5.30:s390x (5.30.0-9) ... Setting up liblockfile1:s390x (1.16-1.1) ... Setting up libjson-c4:s390x (0.13.1+dfsg-6) ... Setting up libbinutils:s390x (2.33.1-1ubuntu1) ... Setting up libcc1-0:s390x (9.2.1-17ubuntu1) ... Setting up libitm1:s390x (9.2.1-17ubuntu1) ... Setting up libkmod2:s390x (26-3ubuntu1) ... Setting up binutils-s390x-linux-gnu (2.33.1-1ubuntu1) ... Setting up binutils (2.33.1-1ubuntu1) ... Setting up libgcc-9-dev:s390x (9.2.1-17ubuntu1) ... Setting up perl (5.30.0-9) ... Setting up libcryptsetup12:s390x (2:2.2.1-1ubuntu1) ... Setting up gcc-9 (9.2.1-17ubuntu1) ... Setting up libstdc++-9-dev:s390x (9.2.1-17ubuntu1) ... Setting up systemd (243-3ubuntu1) ... Installing new version of config file /etc/dhcp/dhclient-enter-hooks.d/resolved ... Installing new version of config file /etc/systemd/networkd.conf ... Installing new version of config file /etc/systemd/system.conf ... Installing new version of config file /etc/systemd/user.conf ... Initializing machine ID from random generator. Setting up g++-9 (9.2.1-17ubuntu1) ... Setting up systemd-sysv (243-3ubuntu1) ... Processing triggers for libc-bin (2.30-0ubuntu2) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-18019590 s390x focal-proposed -c chroot:build-PACKAGEBUILD-18019590 --arch=s390x --dist=focal-proposed --nolog menhir_20190924-1.dsc Initiating build PACKAGEBUILD-18019590 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-166-generic #195-Ubuntu SMP Tue Oct 1 09:34:26 UTC 2019 s390x sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on bos02-s390x-015.buildd +==============================================================================+ | menhir 20190924-1 (s390x) 03 Nov 2019 18:33 | +==============================================================================+ Package: menhir Version: 20190924-1 Source Version: 20190924-1 Distribution: focal-proposed Machine Architecture: s390x Host Architecture: s390x Build Architecture: s390x I: NOTICE: Log filtering will replace 'build/menhir-Tv28oi/menhir-20190924' with '<>' I: NOTICE: Log filtering will replace 'build/menhir-Tv28oi' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-18019590/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- menhir_20190924-1.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-Z5kSL_/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-Z5kSL_/apt_archive ./ InRelease Get:2 copy:/<>/resolver-Z5kSL_/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-Z5kSL_/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-Z5kSL_/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-Z5kSL_/apt_archive ./ Packages [527 B] Fetched 2860 B in 0s (0 B/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install core build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libhogweed4 libnettle6 libperl5.28 perl-modules-5.28 Use 'apt autoremove' to remove them. The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 856 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-Z5kSL_/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [856 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 856 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 14460 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_s390x.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: debhelper-compat (= 12), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml, coq Filtered Build-Depends: debhelper-compat (= 12), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml, coq dpkg-deb: building package 'sbuild-build-depends-menhir-dummy' in '/<>/resolver-Gjfk8X/apt_archive/sbuild-build-depends-menhir-dummy.deb'. Ign:1 copy:/<>/resolver-Gjfk8X/apt_archive ./ InRelease Get:2 copy:/<>/resolver-Gjfk8X/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-Gjfk8X/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-Gjfk8X/apt_archive ./ Sources [251 B] Get:5 copy:/<>/resolver-Gjfk8X/apt_archive ./ Packages [569 B] Fetched 2939 B in 0s (0 B/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install menhir build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libhogweed4 libnettle6 libperl5.28 perl-modules-5.28 Use 'apt autoremove' to remove them. The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils coq coq-theories debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcoq-ocaml libcroco3 libdebhelper-perl libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu63 libmagic-mgc libmagic1 libmpdec2 libncurses-dev libncurses5-dev libpipeline1 libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 m4 man-db mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox ocamlbuild po-debconf python3 python3-minimal python3.7 python3.7-minimal Suggested packages: autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation proofgeneral ledit | readline-editor libcoq-ocaml-dev why coq-doc dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser camlp4 ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl python3-doc python3-tk python3-venv python3.7-venv python3.7-doc binfmt-support Recommended packages: curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libltdl-dev libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils coq coq-theories debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcoq-ocaml libcroco3 libdebhelper-perl libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu63 libmagic-mgc libmagic1 libmpdec2 libncurses-dev libncurses5-dev libpipeline1 libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 m4 man-db mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox ocamlbuild po-debconf python3 python3-minimal python3.7 python3.7-minimal sbuild-build-depends-menhir-dummy 0 upgraded, 57 newly installed, 0 to remove and 0 not upgraded. Need to get 158 MB of archives. After this operation, 746 MB of additional disk space will be used. Get:1 copy:/<>/resolver-Gjfk8X/apt_archive ./ sbuild-build-depends-menhir-dummy 0.invalid.0 [896 B] Get:2 http://ftpmaster.internal/ubuntu focal/main s390x libpython3.7-minimal s390x 3.7.5-2 [544 kB] Get:3 http://ftpmaster.internal/ubuntu focal/main s390x libexpat1 s390x 2.2.9-1 [69.8 kB] Get:4 http://ftpmaster.internal/ubuntu focal/main s390x python3.7-minimal s390x 3.7.5-2 [1630 kB] Get:5 http://ftpmaster.internal/ubuntu focal-proposed/main s390x python3-minimal s390x 3.7.5-1ubuntu1 [23.3 kB] Get:6 http://ftpmaster.internal/ubuntu focal/main s390x mime-support all 3.64ubuntu1 [30.6 kB] Get:7 http://ftpmaster.internal/ubuntu focal/main s390x libmpdec2 s390x 2.4.2-2 [80.6 kB] Get:8 http://ftpmaster.internal/ubuntu focal/main s390x libpython3.7-stdlib s390x 3.7.5-2 [1693 kB] Get:9 http://ftpmaster.internal/ubuntu focal/main s390x python3.7 s390x 3.7.5-2 [301 kB] Get:10 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libpython3-stdlib s390x 3.7.5-1ubuntu1 [6844 B] Get:11 http://ftpmaster.internal/ubuntu focal-proposed/main s390x python3 s390x 3.7.5-1ubuntu1 [47.2 kB] Get:12 http://ftpmaster.internal/ubuntu focal/main s390x libbsd0 s390x 0.10.0-1 [43.7 kB] Get:13 http://ftpmaster.internal/ubuntu focal/main s390x bsdmainutils s390x 11.1.2ubuntu2 [181 kB] Get:14 http://ftpmaster.internal/ubuntu focal/main s390x libuchardet0 s390x 0.0.6-3 [64.5 kB] Get:15 http://ftpmaster.internal/ubuntu focal/main s390x groff-base s390x 1.22.4-3 [819 kB] Get:16 http://ftpmaster.internal/ubuntu focal/main s390x libpipeline1 s390x 1.5.1-2 [24.5 kB] Get:17 http://ftpmaster.internal/ubuntu focal-proposed/main s390x man-db s390x 2.9.0-1 [1103 kB] Get:18 http://ftpmaster.internal/ubuntu focal/main s390x libmagic-mgc s390x 1:5.37-6 [210 kB] Get:19 http://ftpmaster.internal/ubuntu focal/main s390x libmagic1 s390x 1:5.37-6 [72.3 kB] Get:20 http://ftpmaster.internal/ubuntu focal/main s390x file s390x 1:5.37-6 [23.0 kB] Get:21 http://ftpmaster.internal/ubuntu focal/main s390x libelf1 s390x 0.176-1.1 [41.4 kB] Get:22 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libglib2.0-0 s390x 2.62.2-2 [1165 kB] Get:23 http://ftpmaster.internal/ubuntu focal/main s390x libicu63 s390x 63.2-2 [8044 kB] Get:24 http://ftpmaster.internal/ubuntu focal/main s390x libxml2 s390x 2.9.4+dfsg1-7ubuntu5 [664 kB] Get:25 http://ftpmaster.internal/ubuntu focal/main s390x gettext-base s390x 0.19.8.1-9 [48.1 kB] Get:26 http://ftpmaster.internal/ubuntu focal/main s390x libsigsegv2 s390x 2.12-2 [13.8 kB] Get:27 http://ftpmaster.internal/ubuntu focal-proposed/main s390x m4 s390x 1.4.18-4 [196 kB] Get:28 http://ftpmaster.internal/ubuntu focal/main s390x autoconf all 2.69-11ubuntu1 [321 kB] Get:29 http://ftpmaster.internal/ubuntu focal/main s390x autotools-dev all 20180224.1 [39.6 kB] Get:30 http://ftpmaster.internal/ubuntu focal/main s390x automake all 1:1.16.1-4ubuntu3 [522 kB] Get:31 http://ftpmaster.internal/ubuntu focal/main s390x autopoint all 0.19.8.1-9 [412 kB] Get:32 http://ftpmaster.internal/ubuntu focal/universe s390x coq-theories s390x 8.9.1-1 [20.3 MB] Get:33 http://ftpmaster.internal/ubuntu focal/universe s390x ocaml-base-nox s390x 4.05.0-12ubuntu3 [535 kB] Get:34 http://ftpmaster.internal/ubuntu focal/universe s390x libcoq-ocaml s390x 8.9.1-1 [5533 kB] Get:35 http://ftpmaster.internal/ubuntu focal/main s390x libncurses-dev s390x 6.1+20191019-1ubuntu1 [318 kB] Get:36 http://ftpmaster.internal/ubuntu focal/main s390x libncurses5-dev s390x 6.1+20191019-1ubuntu1 [992 B] Get:37 http://ftpmaster.internal/ubuntu focal/universe s390x ocaml-compiler-libs s390x 4.05.0-12ubuntu3 [18.8 MB] Get:38 http://ftpmaster.internal/ubuntu focal/universe s390x ocaml-interp s390x 4.05.0-12ubuntu3 [3465 kB] Get:39 http://ftpmaster.internal/ubuntu focal/universe s390x ocaml-nox s390x 4.05.0-12ubuntu3 [27.6 MB] Get:40 http://ftpmaster.internal/ubuntu focal/universe s390x libfindlib-ocaml s390x 1.8.1-1build2 [167 kB] Get:41 http://ftpmaster.internal/ubuntu focal/universe s390x ocaml-findlib s390x 1.8.1-1build2 [402 kB] Get:42 http://ftpmaster.internal/ubuntu focal/universe s390x coq s390x 8.9.1-1 [59.5 MB] Get:43 http://ftpmaster.internal/ubuntu focal/main s390x libtool all 2.4.6-11 [194 kB] Get:44 http://ftpmaster.internal/ubuntu focal/main s390x dh-autoreconf all 19 [16.1 kB] Get:45 http://ftpmaster.internal/ubuntu focal/main s390x libdebhelper-perl all 12.7.1ubuntu1 [52.0 kB] Get:46 http://ftpmaster.internal/ubuntu focal-proposed/main s390x libarchive-zip-perl all 1.67-1 [90.4 kB] Get:47 http://ftpmaster.internal/ubuntu focal/main s390x libsub-override-perl all 0.09-2 [9532 B] Get:48 http://ftpmaster.internal/ubuntu focal/main s390x libfile-stripnondeterminism-perl all 1.6.2-1 [16.1 kB] Get:49 http://ftpmaster.internal/ubuntu focal/main s390x dh-strip-nondeterminism all 1.6.2-1 [5228 B] Get:50 http://ftpmaster.internal/ubuntu focal/main s390x dwz s390x 0.13-1 [75.0 kB] Get:51 http://ftpmaster.internal/ubuntu focal/main s390x libcroco3 s390x 0.6.13-1 [73.7 kB] Get:52 http://ftpmaster.internal/ubuntu focal/main s390x gettext s390x 0.19.8.1-9 [858 kB] Get:53 http://ftpmaster.internal/ubuntu focal/main s390x intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:54 http://ftpmaster.internal/ubuntu focal/main s390x po-debconf all 1.0.21 [233 kB] Get:55 http://ftpmaster.internal/ubuntu focal/main s390x debhelper all 12.7.1ubuntu1 [875 kB] Get:56 http://ftpmaster.internal/ubuntu focal/universe s390x ocamlbuild s390x 0.14.0-1build2 [799 kB] Get:57 http://ftpmaster.internal/ubuntu focal/universe s390x dh-ocaml all 1.1.0 [79.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 158 MB in 4s (37.7 MB/s) Selecting previously unselected package libpython3.7-minimal:s390x. (Reading database ... 14460 files and directories currently installed.) Preparing to unpack .../libpython3.7-minimal_3.7.5-2_s390x.deb ... Unpacking libpython3.7-minimal:s390x (3.7.5-2) ... Selecting previously unselected package libexpat1:s390x. Preparing to unpack .../libexpat1_2.2.9-1_s390x.deb ... Unpacking libexpat1:s390x (2.2.9-1) ... Selecting previously unselected package python3.7-minimal. Preparing to unpack .../python3.7-minimal_3.7.5-2_s390x.deb ... Unpacking python3.7-minimal (3.7.5-2) ... Setting up libpython3.7-minimal:s390x (3.7.5-2) ... Setting up libexpat1:s390x (2.2.9-1) ... Setting up python3.7-minimal (3.7.5-2) ... Selecting previously unselected package python3-minimal. (Reading database ... 14709 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.7.5-1ubuntu1_s390x.deb ... Unpacking python3-minimal (3.7.5-1ubuntu1) ... Selecting previously unselected package mime-support. Preparing to unpack .../1-mime-support_3.64ubuntu1_all.deb ... Unpacking mime-support (3.64ubuntu1) ... Selecting previously unselected package libmpdec2:s390x. Preparing to unpack .../2-libmpdec2_2.4.2-2_s390x.deb ... Unpacking libmpdec2:s390x (2.4.2-2) ... Selecting previously unselected package libpython3.7-stdlib:s390x. Preparing to unpack .../3-libpython3.7-stdlib_3.7.5-2_s390x.deb ... Unpacking libpython3.7-stdlib:s390x (3.7.5-2) ... Selecting previously unselected package python3.7. Preparing to unpack .../4-python3.7_3.7.5-2_s390x.deb ... Unpacking python3.7 (3.7.5-2) ... Selecting previously unselected package libpython3-stdlib:s390x. Preparing to unpack .../5-libpython3-stdlib_3.7.5-1ubuntu1_s390x.deb ... Unpacking libpython3-stdlib:s390x (3.7.5-1ubuntu1) ... Setting up python3-minimal (3.7.5-1ubuntu1) ... Selecting previously unselected package python3. (Reading database ... 15147 files and directories currently installed.) Preparing to unpack .../00-python3_3.7.5-1ubuntu1_s390x.deb ... Unpacking python3 (3.7.5-1ubuntu1) ... Selecting previously unselected package libbsd0:s390x. Preparing to unpack .../01-libbsd0_0.10.0-1_s390x.deb ... Unpacking libbsd0:s390x (0.10.0-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../02-bsdmainutils_11.1.2ubuntu2_s390x.deb ... Unpacking bsdmainutils (11.1.2ubuntu2) ... Selecting previously unselected package libuchardet0:s390x. Preparing to unpack .../03-libuchardet0_0.0.6-3_s390x.deb ... Unpacking libuchardet0:s390x (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../04-groff-base_1.22.4-3_s390x.deb ... Unpacking groff-base (1.22.4-3) ... Selecting previously unselected package libpipeline1:s390x. Preparing to unpack .../05-libpipeline1_1.5.1-2_s390x.deb ... Unpacking libpipeline1:s390x (1.5.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../06-man-db_2.9.0-1_s390x.deb ... Unpacking man-db (2.9.0-1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../07-libmagic-mgc_1%3a5.37-6_s390x.deb ... Unpacking libmagic-mgc (1:5.37-6) ... Selecting previously unselected package libmagic1:s390x. Preparing to unpack .../08-libmagic1_1%3a5.37-6_s390x.deb ... Unpacking libmagic1:s390x (1:5.37-6) ... Selecting previously unselected package file. Preparing to unpack .../09-file_1%3a5.37-6_s390x.deb ... Unpacking file (1:5.37-6) ... Selecting previously unselected package libelf1:s390x. Preparing to unpack .../10-libelf1_0.176-1.1_s390x.deb ... Unpacking libelf1:s390x (0.176-1.1) ... Selecting previously unselected package libglib2.0-0:s390x. Preparing to unpack .../11-libglib2.0-0_2.62.2-2_s390x.deb ... Unpacking libglib2.0-0:s390x (2.62.2-2) ... Selecting previously unselected package libicu63:s390x. Preparing to unpack .../12-libicu63_63.2-2_s390x.deb ... Unpacking libicu63:s390x (63.2-2) ... Selecting previously unselected package libxml2:s390x. Preparing to unpack .../13-libxml2_2.9.4+dfsg1-7ubuntu5_s390x.deb ... Unpacking libxml2:s390x (2.9.4+dfsg1-7ubuntu5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../14-gettext-base_0.19.8.1-9_s390x.deb ... Unpacking gettext-base (0.19.8.1-9) ... Selecting previously unselected package libsigsegv2:s390x. Preparing to unpack .../15-libsigsegv2_2.12-2_s390x.deb ... Unpacking libsigsegv2:s390x (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../16-m4_1.4.18-4_s390x.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../17-autoconf_2.69-11ubuntu1_all.deb ... Unpacking autoconf (2.69-11ubuntu1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../18-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../19-automake_1%3a1.16.1-4ubuntu3_all.deb ... Unpacking automake (1:1.16.1-4ubuntu3) ... Selecting previously unselected package autopoint. Preparing to unpack .../20-autopoint_0.19.8.1-9_all.deb ... Unpacking autopoint (0.19.8.1-9) ... Selecting previously unselected package coq-theories. Preparing to unpack .../21-coq-theories_8.9.1-1_s390x.deb ... Unpacking coq-theories (8.9.1-1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../22-ocaml-base-nox_4.05.0-12ubuntu3_s390x.deb ... Unpacking ocaml-base-nox (4.05.0-12ubuntu3) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../23-libcoq-ocaml_8.9.1-1_s390x.deb ... Unpacking libcoq-ocaml (8.9.1-1) ... Selecting previously unselected package libncurses-dev:s390x. Preparing to unpack .../24-libncurses-dev_6.1+20191019-1ubuntu1_s390x.deb ... Unpacking libncurses-dev:s390x (6.1+20191019-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:s390x. Preparing to unpack .../25-libncurses5-dev_6.1+20191019-1ubuntu1_s390x.deb ... Unpacking libncurses5-dev:s390x (6.1+20191019-1ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../26-ocaml-compiler-libs_4.05.0-12ubuntu3_s390x.deb ... Unpacking ocaml-compiler-libs (4.05.0-12ubuntu3) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../27-ocaml-interp_4.05.0-12ubuntu3_s390x.deb ... Unpacking ocaml-interp (4.05.0-12ubuntu3) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../28-ocaml-nox_4.05.0-12ubuntu3_s390x.deb ... Unpacking ocaml-nox (4.05.0-12ubuntu3) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../29-libfindlib-ocaml_1.8.1-1build2_s390x.deb ... Unpacking libfindlib-ocaml (1.8.1-1build2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../30-ocaml-findlib_1.8.1-1build2_s390x.deb ... Unpacking ocaml-findlib (1.8.1-1build2) ... Selecting previously unselected package coq. Preparing to unpack .../31-coq_8.9.1-1_s390x.deb ... Unpacking coq (8.9.1-1) ... Selecting previously unselected package libtool. Preparing to unpack .../32-libtool_2.4.6-11_all.deb ... Unpacking libtool (2.4.6-11) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../33-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../34-libdebhelper-perl_12.7.1ubuntu1_all.deb ... Unpacking libdebhelper-perl (12.7.1ubuntu1) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../35-libarchive-zip-perl_1.67-1_all.deb ... Unpacking libarchive-zip-perl (1.67-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../36-libsub-override-perl_0.09-2_all.deb ... Unpacking libsub-override-perl (0.09-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../37-libfile-stripnondeterminism-perl_1.6.2-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.6.2-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../38-dh-strip-nondeterminism_1.6.2-1_all.deb ... Unpacking dh-strip-nondeterminism (1.6.2-1) ... Selecting previously unselected package dwz. Preparing to unpack .../39-dwz_0.13-1_s390x.deb ... Unpacking dwz (0.13-1) ... Selecting previously unselected package libcroco3:s390x. Preparing to unpack .../40-libcroco3_0.6.13-1_s390x.deb ... Unpacking libcroco3:s390x (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../41-gettext_0.19.8.1-9_s390x.deb ... Unpacking gettext (0.19.8.1-9) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../42-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../43-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../44-debhelper_12.7.1ubuntu1_all.deb ... Unpacking debhelper (12.7.1ubuntu1) ... Selecting previously unselected package ocamlbuild. Preparing to unpack .../45-ocamlbuild_0.14.0-1build2_s390x.deb ... Unpacking ocamlbuild (0.14.0-1build2) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../46-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 .../47-sbuild-build-depends-menhir-dummy_0.invalid.0_s390x.deb ... Unpacking sbuild-build-depends-menhir-dummy (0.invalid.0) ... Setting up libpipeline1:s390x (1.5.1-2) ... Setting up libncurses-dev:s390x (6.1+20191019-1ubuntu1) ... Setting up mime-support (3.64ubuntu1) ... Setting up libmagic-mgc (1:5.37-6) ... Setting up libarchive-zip-perl (1.67-1) ... Setting up libglib2.0-0:s390x (2.62.2-2) ... No schema files found: doing nothing. Setting up libdebhelper-perl (12.7.1ubuntu1) ... Setting up dh-ocaml (1.1.0) ... Setting up libmagic1:s390x (1:5.37-6) ... Setting up gettext-base (0.19.8.1-9) ... Setting up file (1:5.37-6) ... Setting up libicu63:s390x (63.2-2) ... Setting up autotools-dev (20180224.1) ... Setting up libsigsegv2:s390x (2.12-2) ... Setting up autopoint (0.19.8.1-9) ... Setting up libuchardet0:s390x (0.0.6-3) ... Setting up libncurses5-dev:s390x (6.1+20191019-1ubuntu1) ... Setting up libsub-override-perl (0.09-2) ... Setting up ocaml-base-nox (4.05.0-12ubuntu3) ... Setting up libmpdec2:s390x (2.4.2-2) ... Setting up libbsd0:s390x (0.10.0-1) ... Setting up libelf1:s390x (0.176-1.1) ... Setting up libxml2:s390x (2.9.4+dfsg1-7ubuntu5) ... Setting up libfile-stripnondeterminism-perl (1.6.2-1) ... Setting up libpython3.7-stdlib:s390x (3.7.5-2) ... Setting up libtool (2.4.6-11) ... Setting up libfindlib-ocaml (1.8.1-1build2) ... Setting up m4 (1.4.18-4) ... Setting up ocamlbuild (0.14.0-1build2) ... Setting up bsdmainutils (11.1.2ubuntu2) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up ocaml-findlib (1.8.1-1build2) ... Setting up libcroco3:s390x (0.6.13-1) ... Setting up libcoq-ocaml (8.9.1-1) ... Setting up autoconf (2.69-11ubuntu1) ... Setting up dh-strip-nondeterminism (1.6.2-1) ... Setting up dwz (0.13-1) ... Setting up groff-base (1.22.4-3) ... Setting up libpython3-stdlib:s390x (3.7.5-1ubuntu1) ... Setting up automake (1:1.16.1-4ubuntu3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up python3.7 (3.7.5-2) ... Setting up gettext (0.19.8.1-9) ... Setting up python3 (3.7.5-1ubuntu1) ... Setting up man-db (2.9.0-1) ... Not building database; man-db/auto-update is not 'true'. Created symlink /etc/systemd/system/timers.target.wants/man-db.timer → /lib/systemd/system/man-db.timer. Setting up intltool-debian (0.35.0+20060710.5) ... Setting up po-debconf (1.0.21) ... Setting up dh-autoreconf (19) ... Setting up coq-theories (8.9.1-1) ... Setting up ocaml-compiler-libs (4.05.0-12ubuntu3) ... Setting up debhelper (12.7.1ubuntu1) ... Setting up ocaml-interp (4.05.0-12ubuntu3) ... Setting up ocaml-nox (4.05.0-12ubuntu3) ... Setting up coq (8.9.1-1) ... Setting up sbuild-build-depends-menhir-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.30-0ubuntu2) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-166-generic s390x (s390x) Toolchain package versions: binutils_2.33.1-1ubuntu1 dpkg-dev_1.19.7ubuntu2 g++-9_9.2.1-17ubuntu1 gcc-9_9.2.1-17ubuntu1 libc6-dev_2.30-0ubuntu2 libstdc++-9-dev_9.2.1-17ubuntu1 libstdc++6_9.2.1-17ubuntu1 linux-libc-dev_5.3.0-21.22 Package versions: adduser_3.118ubuntu1 advancecomp_2.1-2.1 apt_1.9.4 autoconf_2.69-11ubuntu1 automake_1:1.16.1-4ubuntu3 autopoint_0.19.8.1-9 autotools-dev_20180224.1 base-files_11ubuntu1 base-passwd_3.5.46 bash_5.0-4ubuntu1 binutils_2.33.1-1ubuntu1 binutils-common_2.33.1-1ubuntu1 binutils-s390x-linux-gnu_2.33.1-1ubuntu1 bsdmainutils_11.1.2ubuntu2 bsdutils_1:2.34-0.1ubuntu2 build-essential_12.8ubuntu1 bzip2_1.0.8-2 ca-certificates_20190110 coq_8.9.1-1 coq-theories_8.9.1-1 coreutils_8.30-3ubuntu2 cpp_4:9.2.1-3.1ubuntu1 cpp-9_9.2.1-17ubuntu1 dash_0.5.10.2-6 debconf_1.5.73 debhelper_12.7.1ubuntu1 debianutils_4.9 dh-autoreconf_19 dh-ocaml_1.1.0 dh-strip-nondeterminism_1.6.2-1 diffutils_1:3.7-3 dpkg_1.19.7ubuntu2 dpkg-dev_1.19.7ubuntu2 dwz_0.13-1 e2fsprogs_1.45.3-4ubuntu2 fakeroot_1.24-1 fdisk_2.34-0.1ubuntu2 file_1:5.37-6 findutils_4.6.0+git+20190209-2ubuntu1 g++_4:9.2.1-3.1ubuntu1 g++-9_9.2.1-17ubuntu1 gcc_4:9.2.1-3.1ubuntu1 gcc-9_9.2.1-17ubuntu1 gcc-9-base_9.2.1-17ubuntu1 gettext_0.19.8.1-9 gettext-base_0.19.8.1-9 gpg_2.2.12-1ubuntu3 gpg-agent_2.2.12-1ubuntu3 gpgconf_2.2.12-1ubuntu3 gpgv_2.2.12-1ubuntu3 grep_3.3-1build1 groff-base_1.22.4-3 gzip_1.10-0ubuntu3 hostname_3.22 init_1.57 init-system-helpers_1.57 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-5 libapparmor1_2.13.3-5ubuntu5 libapt-pkg5.90_1.9.4 libarchive-zip-perl_1.67-1 libargon2-1_0~20171227-0.2 libasan5_9.2.1-17ubuntu1 libassuan0_2.5.3-7ubuntu1 libatomic1_9.2.1-17ubuntu1 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-2ubuntu2 libaudit1_1:2.8.5-2ubuntu2 libbinutils_2.33.1-1ubuntu1 libblkid1_2.34-0.1ubuntu2 libbsd0_0.10.0-1 libbz2-1.0_1.0.8-2 libc-bin_2.30-0ubuntu2 libc-dev-bin_2.30-0ubuntu2 libc6_2.30-0ubuntu2 libc6-dev_2.30-0ubuntu2 libcap-ng0_0.7.9-2.1 libcap2_1:2.25-2 libcc1-0_9.2.1-17ubuntu1 libcom-err2_1.45.3-4ubuntu2 libcoq-ocaml_8.9.1-1 libcroco3_0.6.13-1 libcryptsetup12_2:2.2.1-1ubuntu1 libdb5.3_5.3.28+dfsg1-0.6ubuntu1 libdebconfclient0_0.250ubuntu1 libdebhelper-perl_12.7.1ubuntu1 libdevmapper1.02.1_2:1.02.155-2ubuntu6 libdpkg-perl_1.19.7ubuntu2 libelf1_0.176-1.1 libexpat1_2.2.9-1 libext2fs2_1.45.3-4ubuntu2 libfakeroot_1.24-1 libfdisk1_2.34-0.1ubuntu2 libffi6_3.2.1-9 libfile-stripnondeterminism-perl_1.6.2-1 libfindlib-ocaml_1.8.1-1build2 libgcc-9-dev_9.2.1-17ubuntu1 libgcc1_1:9.2.1-17ubuntu1 libgcrypt20_1.8.5-3ubuntu1 libgdbm-compat4_1.18.1-5 libgdbm6_1.18.1-5 libglib2.0-0_2.62.2-2 libgmp10_2:6.1.2+dfsg-4 libgnutls30_3.6.9-5ubuntu2 libgomp1_9.2.1-17ubuntu1 libgpg-error0_1.36-7 libhogweed4_3.4.1-1 libhogweed5_3.5.1+really3.5.1-2 libicu63_63.2-2 libidn2-0_2.2.0-2 libip4tc2_1.8.3-2ubuntu5 libisl21_0.21-2 libitm1_9.2.1-17ubuntu1 libjson-c4_0.13.1+dfsg-6 libkmod2_26-3ubuntu1 liblockfile-bin_1.16-1.1 liblockfile1_1.16-1.1 liblz4-1_1.9.1-2 liblzma5_5.2.4-1 libmagic-mgc_1:5.37-6 libmagic1_1:5.37-6 libmount1_2.34-0.1ubuntu2 libmpc3_1.1.0-1 libmpdec2_2.4.2-2 libmpfr6_4.0.2-1 libncurses-dev_6.1+20191019-1ubuntu1 libncurses5-dev_6.1+20191019-1ubuntu1 libncurses6_6.1+20191019-1ubuntu1 libncursesw6_6.1+20191019-1ubuntu1 libnettle6_3.4.1-1 libnettle7_3.5.1+really3.5.1-2 libnpth0_1.6-1 libp11-kit0_0.23.18.1-2 libpam-modules_1.3.1-5ubuntu1 libpam-modules-bin_1.3.1-5ubuntu1 libpam-runtime_1.3.1-5ubuntu1 libpam0g_1.3.1-5ubuntu1 libpcre2-8-0_10.32-5 libpcre3_2:8.39-12 libperl5.28_5.28.1-6build1 libperl5.30_5.30.0-9 libpipeline1_1.5.1-2 libpng16-16_1.6.37-1 libprocps7_2:3.3.15-2ubuntu3 libpython3-stdlib_3.7.5-1ubuntu1 libpython3.7-minimal_3.7.5-2 libpython3.7-stdlib_3.7.5-2 libreadline8_8.0-3 libseccomp2_2.4.1-0ubuntu0.19.10.3 libselinux1_2.9-2build1 libsemanage-common_2.9-3build1 libsemanage1_2.9-3build1 libsepol1_2.9-2 libsigsegv2_2.12-2 libsmartcols1_2.34-0.1ubuntu2 libsqlite3-0_3.30.1-1 libss2_1.45.3-4ubuntu2 libssl1.1_1.1.1c-1ubuntu4 libstdc++-9-dev_9.2.1-17ubuntu1 libstdc++6_9.2.1-17ubuntu1 libsub-override-perl_0.09-2 libsystemd0_243-3ubuntu1 libtasn1-6_4.14-3 libtinfo6_6.1+20191019-1ubuntu1 libtool_2.4.6-11 libubsan1_9.2.1-17ubuntu1 libuchardet0_0.0.6-3 libudev1_243-3ubuntu1 libunistring2_0.9.10-2 libuuid1_2.34-0.1ubuntu2 libxml2_2.9.4+dfsg1-7ubuntu5 libzstd1_1.4.3+dfsg-1 linux-libc-dev_5.3.0-21.22 lockfile-progs_0.1.18 login_1:4.5-1.1ubuntu4 logsave_1.45.3-4ubuntu2 lsb-base_11.1.0ubuntu1 m4_1.4.18-4 make_4.2.1-1.2 man-db_2.9.0-1 mawk_1.3.3-17ubuntu3 mime-support_3.64ubuntu1 mount_2.34-0.1ubuntu2 ncurses-base_6.1+20191019-1ubuntu1 ncurses-bin_6.1+20191019-1ubuntu1 ocaml-base-nox_4.05.0-12ubuntu3 ocaml-compiler-libs_4.05.0-12ubuntu3 ocaml-findlib_1.8.1-1build2 ocaml-interp_4.05.0-12ubuntu3 ocaml-nox_4.05.0-12ubuntu3 ocamlbuild_0.14.0-1build2 openssl_1.1.1c-1ubuntu4 optipng_0.7.7-1 passwd_1:4.5-1.1ubuntu4 patch_2.7.6-6 perl_5.30.0-9 perl-base_5.30.0-9 perl-modules-5.28_5.28.1-6build1 perl-modules-5.30_5.30.0-9 pinentry-curses_1.1.0-3 pkgbinarymangler_144 po-debconf_1.0.21 policyrcd-script-zg2_0.1-3 procps_2:3.3.15-2ubuntu3 python3_3.7.5-1ubuntu1 python3-minimal_3.7.5-1ubuntu1 python3.7_3.7.5-2 python3.7-minimal_3.7.5-2 readline-common_8.0-3 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-menhir-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12 systemd_243-3ubuntu1 systemd-sysv_243-3ubuntu1 sysvinit-utils_2.96-1ubuntu1 tar_1.30+dfsg-6 tzdata_2019c-3 ubuntu-keyring_2018.09.18.1 util-linux_2.34-0.1ubuntu2 xz-utils_5.2.4-1 zlib1g_1:1.2.11.dfsg-1ubuntu3 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Sat Nov 2 10:52:19 2019 UTC gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./menhir_20190924-1.dsc dpkg-source: info: extracting menhir in menhir-20190924 dpkg-source: info: unpacking menhir_20190924.orig.tar.gz dpkg-source: info: unpacking menhir_20190924-1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying demos-enable-bytecode 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-18019590 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-18019590 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-18019590 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 20190924-1 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build . dpkg-buildpackage: info: host architecture s390x fakeroot debian/rules clean dh clean --with ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' /usr/bin/make -C src/ clean PREFIX=/<>/debian/tmp/usr make[2]: Entering directory '/<>/src' rm -rf _stage1 _stage2 _stage3 _sdk rm -f *.mli.html rm -f *.old *.new make[2]: Leaving directory '/<>/src' make[1]: Leaving directory '/<>' dh_ocamlclean rm -f ocamlinit-stamp debian/libmenhir-ocaml-dev.install debian/libmenhir-ocaml-dev.dirs 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/libmenhir-coq.substvars debian/files rm -fr -- debian/menhir/ debian/tmp/ debian/libmenhir-ocaml-dev/ debian/menhir-doc/ debian/libmenhir-coq/ find . \( \( \ \( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS -o -path .\*/.pc -o -path .\*/_darcs \) -prune -o -type f -a \ \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \ -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \ -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \ -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \ \) -exec rm -f {} + \) -o \ \( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) \) debian/rules build-arch dh build-arch --with ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a sed -e 's%@OCamlABI@%4.05.0%g' -e 's%@OCamlStdlibDir@%/usr/lib/ocaml%g' -e 's%@OCamlDllDir@%/usr/lib/ocaml/stublibs%g' -e 's/^OPT: //' -e '/^BYTE: /d' -e 's/^DYN: //' debian/libmenhir-ocaml-dev.install.in > debian/libmenhir-ocaml-dev.install 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 touch ocamlinit-stamp dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory '/<>' /usr/bin/make TARGET=native PREFIX=/usr make[2]: Entering directory '/<>' make[3]: Entering directory '/<>/src' make[4]: Entering directory '/<>/src' /usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild /usr/bin/ocamldep.opt -modules 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 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 -a menhirLib.cmx -o menhirLib.cmxa /usr/bin/ocamlopt.opt -shared -linkall menhirLib.cmxa -o menhirLib.cmxs /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 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/ocamldep.opt -modules settings.ml > settings.ml.depends /usr/bin/ocamldep.opt -modules settings.mli > settings.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 settings.cmi settings.mli /usr/bin/ocamldep.opt -modules installation.ml > installation.ml.depends /usr/bin/ocamldep.opt -modules installation.mli > installation.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o installation.cmi installation.mli /usr/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml /usr/bin/ocamldep.opt -modules basicSyntax.ml > basicSyntax.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 syntax.ml > syntax.ml.depends /usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o basicSyntax.cmo basicSyntax.ml /usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends /usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends /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 positions.cmx positions.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml /usr/bin/ocamldep.opt -modules front.ml > front.ml.depends /usr/bin/ocamldep.opt -modules front.mli > front.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli /usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends /usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli /usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends /usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli /usr/bin/ocamldep.opt -modules error.ml > error.ml.depends /usr/bin/ocamldep.opt -modules error.mli > error.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml /usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml /usr/bin/ocamldep.opt -modules basicPrinter.ml > basicPrinter.ml.depends /usr/bin/ocamldep.opt -modules basicPrinter.mli > basicPrinter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o basicPrinter.cmi basicPrinter.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o basicSyntax.cmx basicSyntax.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/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/ocamldep.opt -modules Compatibility.ml > Compatibility.ml.depends /usr/bin/ocamldep.opt -modules Compatibility.mli > Compatibility.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Compatibility.cmi Compatibility.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 Compatibility.cmx Compatibility.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml /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 printer.cmx printer.ml /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli /usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends /usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml cp -p yaccDriver.ml Driver.ml /usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends /usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends cp -p yacc-parser.mly parser.mly /usr/bin/ocamlyacc parser.mly /usr/bin/ocamldep.opt -modules parser.mli > parser.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli /usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends /usr/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends /usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli /usr/bin/ocamllex.opt -q lexpointfree.mll /usr/bin/ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexpointfree.cmx lexpointfree.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml /usr/bin/ocamldep.opt -modules Drop.ml > Drop.ml.depends /usr/bin/ocamldep.opt -modules Drop.mli > Drop.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli /usr/bin/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/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/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends /usr/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli /usr/bin/ocamldep.opt -modules 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 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 inlining.ml > inlining.ml.depends /usr/bin/ocamldep.opt -modules inlining.mli > inlining.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o inlining.cmi inlining.mli /usr/bin/ocamllex.opt -q chopInlined.mll /usr/bin/ocamldep.opt -modules chopInlined.ml > chopInlined.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o chopInlined.cmo chopInlined.ml /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/ocamldep.opt -modules Memoize.ml > Memoize.ml.depends /usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o chopInlined.cmx chopInlined.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.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 CompletedNatWitness.ml > CompletedNatWitness.ml.depends /usr/bin/ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends /usr/bin/ocamldep.opt -modules Seq.mli > Seq.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli /usr/bin/ocamldep.opt -modules Seq.ml > Seq.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.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 CompletedNatWitness.cmx CompletedNatWitness.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 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 expandTokenAliases.ml > expandTokenAliases.ml.depends /usr/bin/ocamldep.opt -modules expandTokenAliases.mli > expandTokenAliases.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmi expandTokenAliases.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmx expandTokenAliases.ml /usr/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends /usr/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli /usr/bin/ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends /usr/bin/ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends /usr/bin/ocamldep.opt -modules SortInference.mli > SortInference.mli.depends /usr/bin/ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli /usr/bin/ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends /usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml /usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends /usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli /usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends /usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli /usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends /usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli /usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends /usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml /usr/bin/ocamldep.opt -modules standard_mly.ml > standard_mly.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o standard_mly.cmo standard_mly.ml /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 basicPrinter.cmx basicPrinter.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o inlining.cmx inlining.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 partialGrammar.cmx partialGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o standard_mly.cmx standard_mly.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/ocamldep.opt -modules DFS.ml > DFS.ml.depends /usr/bin/ocamldep.opt -modules DFS.mli > DFS.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DFS.cmi DFS.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 DFS.cmx DFS.ml /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 codeInliner.ml > codeInliner.ml.depends /usr/bin/ocamldep.opt -modules codeInliner.mli > codeInliner.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeInliner.cmi codeInliner.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 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 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 LRijkstraCore.ml > LRijkstraCore.ml.depends /usr/bin/ocamldep.opt -modules LRijkstraCore.mli > LRijkstraCore.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli /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/ocamldep.opt -modules Trie.ml > Trie.ml.depends /usr/bin/ocamldep.opt -modules Trie.mli > Trie.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli /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/ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml /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 -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.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 codeInliner.cmx codeInliner.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 -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 installation.cmx keyword.cmx stringSet.cmx version.cmx settings.cmx codeBits.cmx action.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Compatibility.cmx Seq.cmx CompletedNatWitness.cmx DFS.cmx lexpointfree.cmx option.cmx parserAux.cmx parser.cmx Driver.cmx basicSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx lineCount.cmx printer.cmx basicPrinter.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx listMonad.cmx inlining.cmx keywordExpansion.cmx lexer.cmx partialGrammar.cmx reachability.cmx standard_mly.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.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 traverse.cmx codeInliner.cmx coqBackend.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 19(434), max: 13, min: 2, average(total): 4.263(1.143) } 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 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 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 -a menhirLib.cmx -o menhirLib.cmxa /usr/bin/ocamlopt.opt -shared -linkall menhirLib.cmxa -o menhirLib.cmxs /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 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/ocamldep.opt -modules settings.ml > settings.ml.depends /usr/bin/ocamldep.opt -modules settings.mli > settings.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 settings.cmi settings.mli /usr/bin/ocamldep.opt -modules installation.ml > installation.ml.depends /usr/bin/ocamldep.opt -modules installation.mli > installation.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o installation.cmi installation.mli /usr/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml /usr/bin/ocamldep.opt -modules basicSyntax.ml > basicSyntax.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 syntax.ml > syntax.ml.depends /usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o basicSyntax.cmo basicSyntax.ml /usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends /usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends /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 positions.cmx positions.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml /usr/bin/ocamldep.opt -modules front.ml > front.ml.depends /usr/bin/ocamldep.opt -modules front.mli > front.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli /usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends /usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli /usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends /usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli /usr/bin/ocamldep.opt -modules error.ml > error.ml.depends /usr/bin/ocamldep.opt -modules error.mli > error.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml /usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml /usr/bin/ocamldep.opt -modules basicPrinter.ml > basicPrinter.ml.depends /usr/bin/ocamldep.opt -modules basicPrinter.mli > basicPrinter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o basicPrinter.cmi basicPrinter.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o basicSyntax.cmx basicSyntax.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/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/ocamldep.opt -modules Compatibility.ml > Compatibility.ml.depends /usr/bin/ocamldep.opt -modules Compatibility.mli > Compatibility.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Compatibility.cmi Compatibility.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 Compatibility.cmx Compatibility.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml /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 printer.cmx printer.ml /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli /usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends /usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml cp -p fancyDriver.ml Driver.ml /usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends /usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends cp -p fancy-parser.mly parser.mly ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends /usr/bin/ocamllex.opt -q lexpointfree.mll /usr/bin/ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends /usr/bin/ocamldep.opt -modules newRuleSyntax.mli > newRuleSyntax.mli.depends /usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmi newRuleSyntax.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 368 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 47 states. Priority played a role in 0 of these states. 211 out of 368 states have a default reduction. 110 out of 368 states are represented. 44 out of 96 symbols keep track of their start position. 48 out of 96 symbols keep track of their end position. The action table is 13984 entries; 1795 non-zero; 1566 compressed. The action table occupies roughly 3224 bytes. The goto table is 20976 entries; 360 non-zero; 728 compressed. The goto table occupies roughly 1544 bytes. The error table occupies roughly 1784 bytes. The default_reduction table occupies roughly 400 bytes. The lhs table occupies roughly 168 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 parser.ml > parser.ml.depends /usr/bin/ocamldep.opt -modules newRuleSyntax.ml > newRuleSyntax.ml.depends /usr/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexpointfree.cmx lexpointfree.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 newRuleSyntax.cmx newRuleSyntax.ml ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --infer parser.mly --list-errors > parser.mly.auto.messages + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --infer parser.mly --list-errors > parser.mly.auto.messages Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 368 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 47 states. Priority played a role in 0 of these states. 211 out of 368 states have a default reduction. 110 out of 368 states are represented. 44 out of 96 symbols keep track of their start position. 48 out of 96 symbols keep track of their end position. ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 368 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 47 states. Priority played a role in 0 of these states. 211 out of 368 states have a default reduction. 110 out of 368 states are represented. 44 out of 96 symbols keep track of their start position. 48 out of 96 symbols keep track of their end position. Read 105 sample input sentences and 105 error messages. Read 105 sample input sentences and 50 error messages. ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 368 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 47 states. Priority played a role in 0 of these states. 211 out of 368 states have a default reduction. 110 out of 368 states are represented. 44 out of 96 symbols keep track of their start position. 48 out of 96 symbols keep track of their end position. Read 105 sample input sentences and 50 error messages. /usr/bin/ocamldep.opt -modules parserMessages.ml > parserMessages.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserMessages.cmo parserMessages.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserMessages.cmx parserMessages.ml /usr/bin/ocamldep.opt -modules Drop.ml > Drop.ml.depends /usr/bin/ocamldep.opt -modules Drop.mli > Drop.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli /usr/bin/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/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/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends /usr/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli /usr/bin/ocamldep.opt -modules 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 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 inlining.ml > inlining.ml.depends /usr/bin/ocamldep.opt -modules inlining.mli > inlining.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o inlining.cmi inlining.mli /usr/bin/ocamllex.opt -q chopInlined.mll /usr/bin/ocamldep.opt -modules chopInlined.ml > chopInlined.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o chopInlined.cmo chopInlined.ml /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/ocamldep.opt -modules Memoize.ml > Memoize.ml.depends /usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o chopInlined.cmx chopInlined.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.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 CompletedNatWitness.ml > CompletedNatWitness.ml.depends /usr/bin/ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends /usr/bin/ocamldep.opt -modules Seq.mli > Seq.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli /usr/bin/ocamldep.opt -modules Seq.ml > Seq.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.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 CompletedNatWitness.cmx CompletedNatWitness.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 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 expandTokenAliases.ml > expandTokenAliases.ml.depends /usr/bin/ocamldep.opt -modules expandTokenAliases.mli > expandTokenAliases.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmi expandTokenAliases.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmx expandTokenAliases.ml /usr/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends /usr/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli /usr/bin/ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends /usr/bin/ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends /usr/bin/ocamldep.opt -modules SortInference.mli > SortInference.mli.depends /usr/bin/ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli /usr/bin/ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends /usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml /usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends /usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli /usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends /usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli /usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends /usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli /usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends /usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml /usr/bin/ocamldep.opt -modules standard_mly.ml > standard_mly.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o standard_mly.cmo standard_mly.ml /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 basicPrinter.cmx basicPrinter.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o inlining.cmx inlining.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 partialGrammar.cmx partialGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o standard_mly.cmx standard_mly.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/ocamldep.opt -modules DFS.ml > DFS.ml.depends /usr/bin/ocamldep.opt -modules DFS.mli > DFS.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DFS.cmi DFS.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 DFS.cmx DFS.ml /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 codeInliner.ml > codeInliner.ml.depends /usr/bin/ocamldep.opt -modules codeInliner.mli > codeInliner.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeInliner.cmi codeInliner.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 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 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 -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --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 -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --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 LRijkstraCore.ml > LRijkstraCore.ml.depends /usr/bin/ocamldep.opt -modules LRijkstraCore.mli > LRijkstraCore.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli /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/ocamldep.opt -modules Trie.ml > Trie.ml.depends /usr/bin/ocamldep.opt -modules Trie.mli > Trie.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli /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/ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml /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 -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.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 codeInliner.cmx codeInliner.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 -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 installation.cmx keyword.cmx stringSet.cmx version.cmx settings.cmx codeBits.cmx action.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Compatibility.cmx Seq.cmx CompletedNatWitness.cmx DFS.cmx lexpointfree.cmx option.cmx parserAux.cmx newRuleSyntax.cmx parser.cmx parserMessages.cmx Driver.cmx basicSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx lineCount.cmx printer.cmx basicPrinter.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx listMonad.cmx inlining.cmx keywordExpansion.cmx lexer.cmx partialGrammar.cmx reachability.cmx standard_mly.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.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 traverse.cmx codeInliner.cmx coqBackend.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 21(443), max: 13, min: 2, average(total): 4.095(1.147) } 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 -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --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 positions.mli > positions.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli /usr/bin/ocamllex.opt -q lexpointfree.mll /usr/bin/ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends /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 newRuleSyntax.mli > newRuleSyntax.mli.depends /usr/bin/ocamldep.opt -modules syntax.ml > syntax.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/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 InputFile.mli > InputFile.mli.depends /usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.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 settings.cmi settings.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml /usr/bin/ocamldep.opt -modules option.mli > option.mli.depends /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 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 lexpointfree.cmo lexpointfree.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmi newRuleSyntax.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.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 -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly + ../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly Grammar has 56 nonterminal symbols, among which 1 start symbols. Grammar has 37 terminal symbols. Grammar has 129 productions. Built an LR(0) automaton with 194 states. The grammar is not SLR(1) -- 5 states have a conflict. Built an LR(1) automaton with 368 states. One shift/reduce conflict was silently solved. Extra reductions on error were added in 47 states. Priority played a role in 0 of these states. 211 out of 368 states have a default reduction. 110 out of 368 states are represented. 44 out of 96 symbols keep track of their start position. 48 out of 96 symbols keep track of their end position. The action table is 13984 entries; 1795 non-zero; 1566 compressed. The action table occupies roughly 3224 bytes. The goto table is 20976 entries; 360 non-zero; 728 compressed. The goto table occupies roughly 1544 bytes. The error table occupies roughly 1784 bytes. The default_reduction table occupies roughly 400 bytes. The lhs table occupies roughly 168 bytes. The trace table occupies roughly 8 bytes. # Parallel statistics: { count(total): 3(77), max: 12, min: 3, average(total): 7.333(1.247) } 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 /usr/bin/ocamlopt.opt -a menhirSdk.cmx -o menhirSdk.cmxa /usr/bin/ocamlopt.opt -shared -linkall menhirSdk.cmxa -o menhirSdk.cmxs # Parallel statistics: { count(total): 1(23), max: 2, min: 2, average(total): 2.000(1.043) } make[3]: Leaving directory '/<>/src' Creating menhirLib.ml Creating menhirLib.mli make[2]: Leaving directory '/<>' /usr/bin/make -C coq-menhirlib make[2]: Entering directory '/<>/coq-menhirlib' Compiling Alphabet... Compiling Grammar... Compiling Automaton... Compiling Validator_classes... Compiling Validator_complete... Compiling Validator_safe... Compiling Interpreter... Compiling Interpreter_complete... Compiling Version... Compiling Interpreter_correct... Compiling Main... make[2]: Leaving directory '/<>/coq-menhirlib' make[1]: Leaving directory '/<>' create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary-arch dh binary-arch --with ocaml dh_testroot -a dh_prep -a rm -f -- debian/menhir.substvars debian/libmenhir-ocaml-dev.substvars debian/libmenhir-coq.substvars rm -fr -- debian/.debhelper/generated/menhir/ debian/menhir/ debian/tmp/ debian/.debhelper/generated/libmenhir-ocaml-dev/ debian/libmenhir-ocaml-dev/ debian/.debhelper/generated/libmenhir-coq/ debian/libmenhir-coq/ dh_installdirs -a install -d debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/ debian/rules override_dh_auto_install make[1]: Entering directory '/<>' mkdir -p /<>/debian/tmp//usr/lib/ocaml /usr/bin/make TARGET=native PREFIX=/<>/debian/tmp/usr install make[2]: Entering directory '/<>' mkdir -p /<>/debian/tmp/usr/bin install src/_stage2/menhir.native /<>/debian/tmp/usr/bin/menhir mkdir -p /<>/debian/tmp/usr/share/menhir Installing MenhirLib and MenhirSdk via ocamlfind. Installed /<>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.o Installed /<>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmxs 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.cmxs 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 doc/manual.pdf ] ; then \ mkdir -p /<>/debian/tmp/usr/share/doc/menhir /<>/debian/tmp/usr/share/man/man1 ; \ cp -r doc/manual.pdf doc/manual.html doc/manual*.png demos /<>/debian/tmp/usr/share/doc/menhir ; \ cp -r doc/menhir.1 /<>/debian/tmp/usr/share/man/man1 ; \ fi make[2]: Leaving directory '/<>' /usr/bin/make -C coq-menhirlib DESTDIR=/<>/debian/tmp install make[2]: Entering directory '/<>/coq-menhirlib' rm -rf /<>/debian/tmp/usr/lib/coq/user-contrib/MenhirLib mkdir -p /<>/debian/tmp/usr/lib/coq/user-contrib/MenhirLib install -m 644 *.v *.vo *.glob /<>/debian/tmp/usr/lib/coq/user-contrib/MenhirLib make[2]: Leaving directory '/<>/coq-menhirlib' make[1]: Leaving directory '/<>' dh_install -a install -d debian/menhir/usr cp --reflink=auto -a ./debian/tmp/usr/bin debian/menhir/usr/ install -d debian/menhir/usr/share cp --reflink=auto -a ./debian/tmp/usr/share/man ./debian/tmp/usr/share/menhir debian/menhir/usr/share/ install -d debian/.debhelper/generated/menhir cp --reflink=auto -a ./debian/tmp/usr/lib/ocaml/menhirLib ./debian/tmp/usr/lib/ocaml/menhirSdk debian/libmenhir-ocaml-dev//usr/lib/ocaml/ install -d debian/.debhelper/generated/libmenhir-ocaml-dev install -d debian/.debhelper/generated/menhir-doc install -d debian/libmenhir-coq//usr/lib/coq/user-contrib cp --reflink=auto -a debian/tmp/usr/lib/coq/user-contrib/MenhirLib/ debian/libmenhir-coq//usr/lib/coq/user-contrib/ install -d debian/.debhelper/generated/libmenhir-coq dh_ocamldoc -a dh_installdocs -a install -d debian/menhir/usr/share/doc/menhir install -p -m0644 debian/copyright debian/menhir/usr/share/doc/menhir/copyright install -d debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev install -p -m0644 debian/copyright debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev/copyright install -d debian/libmenhir-coq/usr/share/doc/libmenhir-coq install -p -m0644 debian/copyright debian/libmenhir-coq/usr/share/doc/libmenhir-coq/copyright dh_installchangelogs -a 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/libmenhir-coq/usr/share/doc/libmenhir-coq/changelog.Debian debian/rules override_dh_installexamples make[1]: Entering directory '/<>' dh_installexamples if [ -d debian/menhir-doc/usr/share/doc/menhir/examples ]; \ then \ find debian/menhir-doc/usr/share/doc/menhir/examples \ -name .gitignore -delete ; \ fi make[1]: Leaving directory '/<>' dh_installman -a man-recode --to-code UTF-8 --suffix .dh-new debian/menhir/usr/share/man/man1/menhir.1 mv debian/menhir/usr/share/man/man1/menhir.1.dh-new debian/menhir/usr/share/man/man1/menhir.1 chmod 0644 -- debian/menhir/usr/share/man/man1/menhir.1 dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a cd debian/menhir cd debian/libmenhir-ocaml-dev cd debian/libmenhir-coq 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 chmod a-x usr/share/doc/libmenhir-coq/changelog.Debian gzip -9nf usr/share/doc/libmenhir-ocaml-dev/changelog.Debian gzip -9nf usr/share/doc/libmenhir-coq/changelog.Debian gzip -9nf usr/share/doc/menhir/changelog.Debian usr/share/man/man1/menhir.1 cd '/<>' cd '/<>' cd '/<>' dh_fixperms -a find debian/menhir -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/libmenhir-ocaml-dev -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/libmenhir-coq -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/libmenhir-coq ! -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-coq/usr/share/doc -type f -a -true -a ! -regex 'debian/libmenhir-coq/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/libmenhir-ocaml-dev/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 find debian/menhir/usr/share/man -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/libmenhir-coq/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 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' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/libmenhir-coq -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' -o -name '*.node' \) -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' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/libmenhir-coq/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/libmenhir-ocaml-dev/usr/lib -type f -name '*.ali' -a -true -a -true -print0 2>/dev/null | xargs -0r chmod uga-w rm -f debian/libmenhir-coq.debhelper.log debian/libmenhir-ocaml-dev.debhelper.log debian/menhir.debhelper.log debian/rules override_dh_missing make[1]: Entering directory '/<>' dh_missing --fail-missing make[1]: Leaving directory '/<>' rm -f debian/libmenhir-coq.debhelper.log debian/libmenhir-ocaml-dev.debhelper.log debian/menhir.debhelper.log debian/rules override_dh_dwz make[1]: Entering directory '/<>' dh_dwz --no-dwz-multifile dwz -- debian/menhir/usr/bin/menhir dwz -- debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs make[1]: Leaving directory '/<>' dh_strip -a install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ef objcopy --only-keep-debug --compress-debug-sections debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ef/7bbcae8de3426462e9def9ab32a21294bd50ed.debug install -d debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/cc objcopy --only-keep-debug --compress-debug-sections debian/menhir/usr/bin/menhir debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/cc/83a2e2e8832c59cc2b5c3c8664e2cc63b9f045.debug chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ef/7bbcae8de3426462e9def9ab32a21294bd50ed.debug chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ef/7bbcae8de3426462e9def9ab32a21294bd50ed.debug strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs objcopy --add-gnu-debuglink debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ef/7bbcae8de3426462e9def9ab32a21294bd50ed.debug debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/d4 objcopy --only-keep-debug --compress-debug-sections debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/d4/8453a8f5e68056f611f8005c5cfbd7a6d74560.debug chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/d4/8453a8f5e68056f611f8005c5cfbd7a6d74560.debug chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/d4/8453a8f5e68056f611f8005c5cfbd7a6d74560.debug strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs objcopy --add-gnu-debuglink debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/d4/8453a8f5e68056f611f8005c5cfbd7a6d74560.debug debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/share/doc ln -s libmenhir-ocaml-dev debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/share/doc/libmenhir-ocaml-dev-dbgsym chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/cc/83a2e2e8832c59cc2b5c3c8664e2cc63b9f045.debug chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/cc/83a2e2e8832c59cc2b5c3c8664e2cc63b9f045.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/cc/83a2e2e8832c59cc2b5c3c8664e2cc63b9f045.debug debian/menhir/usr/bin/menhir install -d debian/.debhelper/menhir/dbgsym-root/usr/share/doc ln -s menhir debian/.debhelper/menhir/dbgsym-root/usr/share/doc/menhir-dbgsym dh_makeshlibs -a rm -f debian/menhir/DEBIAN/shlibs rm -f debian/libmenhir-ocaml-dev/DEBIAN/shlibs rm -f debian/libmenhir-coq/DEBIAN/shlibs dh_shlibdeps -a install -d debian/menhir/DEBIAN dpkg-shlibdeps -Tdebian/menhir.substvars debian/menhir/usr/bin/menhir install -d debian/libmenhir-ocaml-dev/DEBIAN dpkg-shlibdeps -Tdebian/libmenhir-ocaml-dev.substvars debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs dh_installdeb -a install -d debian/libmenhir-coq/DEBIAN dh_ocaml -a +++ Remove former .olist.debhelper files +++ +++ Generate .olist.debhelper files +++ cat debian/libmenhir-ocaml-dev.olist.debhelper debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmx debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs 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 debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs cat debian/menhir.olist.debhelper cat debian/libmenhir-coq.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 20190924-1 --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/menhirLib/menhirLib.cmxs Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs 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 Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs mkdir -p debian/libmenhir-ocaml-dev//var/lib/ocaml/lintian /usr/bin/ocaml-lintian -v --package libmenhir-ocaml-dev --version 20190924-1 < 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 > debian/libmenhir-ocaml-dev.substvars.new || true mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars grep -a -s -v '^ocaml:Depends=' debian/libmenhir-ocaml-dev.substvars > debian/libmenhir-ocaml-dev.substvars.new || true mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars (grep -a -s -v ocaml:Provides debian/libmenhir-ocaml-dev.substvars; echo ocaml:Provides=libmenhir-ocaml-dev-ic674) > 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 v20190924-1 depends on ocaml-nox/ocaml-base-nox v4.05.0-12ubuntu3 through CamlinternalLazy (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 libmenhir-coq dep < debian/libmenhir-coq.olist.debhelper rm -f debian/libmenhir-coq.debhelper.log debian/libmenhir-ocaml-dev.debhelper.log debian/menhir.debhelper.log debian/rules override_dh_gencontrol make[1]: Entering directory '/<>' dh_gencontrol -- -VF:CoqABI="8.9.1+4.05.0" echo misc:Depends= >> debian/libmenhir-coq.substvars echo misc:Pre-Depends= >> debian/libmenhir-coq.substvars dpkg-gencontrol -plibmenhir-coq -ldebian/changelog -Tdebian/libmenhir-coq.substvars -Pdebian/libmenhir-coq -VF:CoqABI=8.9.1\+4.05.0 echo misc:Depends= >> debian/libmenhir-ocaml-dev.substvars echo misc:Pre-Depends= >> debian/libmenhir-ocaml-dev.substvars install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN dpkg-gencontrol -plibmenhir-ocaml-dev -ldebian/changelog -Tdebian/libmenhir-ocaml-dev.substvars -Pdebian/.debhelper/libmenhir-ocaml-dev/dbgsym-root -VF:CoqABI=8.9.1\+4.05.0 -UPre-Depends -URecommends -USuggests -UEnhances -UProvides -UEssential -UConflicts -DPriority=optional -UHomepage -UImportant -DAuto-Built-Package=debug-symbols -DPackage=libmenhir-ocaml-dev-dbgsym "-DDepends=libmenhir-ocaml-dev (= \${binary:Version})" "-DDescription=debug symbols for libmenhir-ocaml-dev" "-DBuild-Ids=d48453a8f5e68056f611f8005c5cfbd7a6d74560 ef7bbcae8de3426462e9def9ab32a21294bd50ed" -DSection=debug -DPackage-Type=ddeb -UMulti-Arch -UReplaces -UBreaks 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 -VF:CoqABI=8.9.1\+4.05.0 -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=cc83a2e2e8832c59cc2b5c3c8664e2cc63b9f045 -DSection=debug -DPackage-Type=ddeb -UMulti-Arch -UReplaces -UBreaks dpkg-gencontrol: warning: Depends field of package libmenhir-coq: substitution variable ${ocaml:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package libmenhir-coq: substitution variable ${shlibs:Depends} used, but is not defined chmod 0644 -- debian/libmenhir-coq/DEBIAN/control chown 0:0 -- debian/libmenhir-coq/DEBIAN/control dpkg-gencontrol: warning: Depends field of package libmenhir-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/control chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/control dpkg-gencontrol -plibmenhir-ocaml-dev -ldebian/changelog -Tdebian/libmenhir-ocaml-dev.substvars -Pdebian/libmenhir-ocaml-dev -UMulti-Arch -VF:CoqABI=8.9.1\+4.05.0 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 -VF:CoqABI=8.9.1\+4.05.0 dpkg-gencontrol: warning: Depends field of package libmenhir-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined chmod 0644 -- debian/menhir/DEBIAN/control chown 0:0 -- debian/menhir/DEBIAN/control chmod 0644 -- debian/libmenhir-ocaml-dev/DEBIAN/control chown 0:0 -- debian/libmenhir-ocaml-dev/DEBIAN/control make[1]: Leaving directory '/<>' dh_md5sums -a cd debian/menhir >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums cd debian/libmenhir-ocaml-dev >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums cd debian/libmenhir-coq >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums chmod 0644 -- debian/libmenhir-ocaml-dev/DEBIAN/md5sums chown 0:0 -- debian/libmenhir-ocaml-dev/DEBIAN/md5sums cd debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums chmod 0644 -- debian/menhir/DEBIAN/md5sums chown 0:0 -- debian/menhir/DEBIAN/md5sums cd debian/.debhelper/menhir/dbgsym-root >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums chmod 0644 -- debian/libmenhir-coq/DEBIAN/md5sums chown 0:0 -- debian/libmenhir-coq/DEBIAN/md5sums chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/md5sums chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/md5sums chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/md5sums chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/md5sums dh_builddeb -a dpkg-deb --build debian/menhir .. dpkg-deb --build debian/libmenhir-ocaml-dev .. dpkg-deb --build debian/libmenhir-coq .. INFO: pkgstriptranslations version 144 INFO: pkgstriptranslations version 144 INFO: pkgstriptranslations version 144 pkgstriptranslations: processing libmenhir-coq (in debian/libmenhir-coq); do_strip: , oemstrip: pkgstriptranslations: processing menhir (in debian/menhir); do_strip: , oemstrip: pkgstriptranslations: processing libmenhir-ocaml-dev (in debian/libmenhir-ocaml-dev); 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-coq/DEBIAN/control, package libmenhir-coq, directory debian/libmenhir-coq INFO: pkgstripfiles: waiting for lock (libmenhir-coq) ... pkgstripfiles: processing control file: debian/menhir/DEBIAN/control, package menhir, directory debian/menhir 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: 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_20190924-1_s390x.deb'. INFO: pkgstripfiles: waiting for lock (libmenhir-coq) ... 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_20190924-1_s390x.deb'. install -d debian/.debhelper/scratch-space/build-libmenhir-ocaml-dev dpkg-deb --build debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root debian/.debhelper/scratch-space/build-libmenhir-ocaml-dev INFO: pkgstriptranslations version 144 pkgstriptranslations: processing libmenhir-ocaml-dev-dbgsym (in debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root); do_strip: , oemstrip: install -d debian/.debhelper/scratch-space/build-menhir dpkg-deb --build debian/.debhelper/menhir/dbgsym-root debian/.debhelper/scratch-space/build-menhir pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " INFO: pkgstriptranslations version 144 pkgstripfiles: processing control file: debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/control, package libmenhir-ocaml-dev-dbgsym, directory debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root dpkg-deb: building package 'libmenhir-ocaml-dev-dbgsym' in 'debian/.debhelper/scratch-space/build-libmenhir-ocaml-dev/libmenhir-ocaml-dev-dbgsym_20190924-1_s390x.deb'. pkgstriptranslations: processing menhir-dbgsym (in debian/.debhelper/menhir/dbgsym-root); do_strip: , oemstrip: pkgstripfiles: Truncating usr/share/doc/libmenhir-coq/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package libmenhir-coq ... Renaming libmenhir-ocaml-dev-dbgsym_20190924-1_s390x.deb to libmenhir-ocaml-dev-dbgsym_20190924-1_s390x.ddeb mv debian/.debhelper/scratch-space/build-libmenhir-ocaml-dev/libmenhir-ocaml-dev-dbgsym_20190924-1_s390x.deb ../libmenhir-ocaml-dev-dbgsym_20190924-1_s390x.ddeb pkgstripfiles: No PNG files. dpkg-deb: building package 'libmenhir-coq' in '../libmenhir-coq_20190924-1_s390x.deb'. pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/.debhelper/menhir/dbgsym-root/DEBIAN/control, package menhir-dbgsym, directory debian/.debhelper/menhir/dbgsym-root dpkg-deb: building package 'menhir-dbgsym' in 'debian/.debhelper/scratch-space/build-menhir/menhir-dbgsym_20190924-1_s390x.deb'. Renaming menhir-dbgsym_20190924-1_s390x.deb to menhir-dbgsym_20190924-1_s390x.ddeb mv debian/.debhelper/scratch-space/build-menhir/menhir-dbgsym_20190924-1_s390x.deb ../menhir-dbgsym_20190924-1_s390x.ddeb dpkg-genbuildinfo --build=any dpkg-genchanges --build=any -mLaunchpad Build Daemon >../menhir_20190924-1_s390x.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 20191103-1834 Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ menhir_20190924-1_s390x.changes: -------------------------------- Format: 1.8 Date: Sat, 02 Nov 2019 11:51:19 +0100 Source: menhir Binary: libmenhir-coq libmenhir-ocaml-dev menhir Architecture: s390x Version: 20190924-1 Distribution: focal-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Ralf Treinen Description: libmenhir-coq - Support library for verified Coq parsers produced by Menhir libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml Changes: menhir (20190924-1) unstable; urgency=medium . * New upstream version * Set Multi-Arch:foreign for the menhir-doc package * Standards-Version: 4.4.1 (no change) Checksums-Sha1: 341bd65a69f3d5cfdfa0bcdd2ec8576c445d9e06 1353908 libmenhir-coq_20190924-1_s390x.deb ce68ad303bd33540b0d8b18c417eb232a3176acb 13888 libmenhir-ocaml-dev-dbgsym_20190924-1_s390x.ddeb 7c1cfaab957f1a336e1f5f4e01e31db73791569a 199436 libmenhir-ocaml-dev_20190924-1_s390x.deb b60e7a114cc4b1384e875f43aedac63418a8acc1 168124 menhir-dbgsym_20190924-1_s390x.ddeb bec7caf255266a0be535fc99e44557b0d6d00bec 6728 menhir_20190924-1_s390x.buildinfo 8fa9d12c3c116d28bda9930b9b545a0edfafdce9 711956 menhir_20190924-1_s390x.deb Checksums-Sha256: c26b6986ea96c6ad5065fa32d1ce5408f6309c72a67acb724f2998e3e3ada64b 1353908 libmenhir-coq_20190924-1_s390x.deb 348e04c865fcb0cf02fcd968df34bd76ff0550ecb35c5602a73aaceabcc95d54 13888 libmenhir-ocaml-dev-dbgsym_20190924-1_s390x.ddeb 09d89e337bbdfd9b68ce4ba5e45e586cb5eefd643fec63a04182a96138089df5 199436 libmenhir-ocaml-dev_20190924-1_s390x.deb ae934cd94098f1c594ee874ce455c1296fa269b548dc11135a395397f6297a03 168124 menhir-dbgsym_20190924-1_s390x.ddeb ad8f2d11da00829b404c62bac2943824c676cef5bb1b0fd9a82b971099c723b8 6728 menhir_20190924-1_s390x.buildinfo 9fd5400c0a0c212854cc78193f69fbf852358f379159cf6bf7f8f79f9e444e10 711956 menhir_20190924-1_s390x.deb Files: f7a65c2c36d825be861ce382b4989b30 1353908 ocaml optional libmenhir-coq_20190924-1_s390x.deb a6da35e5d85d46a4df97be97b95f158f 13888 debug optional libmenhir-ocaml-dev-dbgsym_20190924-1_s390x.ddeb ad919c915fc72be150cd81ac470668a8 199436 ocaml optional libmenhir-ocaml-dev_20190924-1_s390x.deb 5c32ae95572171269a9cd7f340dbcc5b 168124 debug optional menhir-dbgsym_20190924-1_s390x.ddeb 0b8b0966af84f20715da7164ea6a924b 6728 ocaml optional menhir_20190924-1_s390x.buildinfo 0346545a001a4e1a3b2b294e1670e579 711956 ocaml optional menhir_20190924-1_s390x.deb +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libmenhir-coq_20190924-1_s390x.deb ---------------------------------- new debian package, version 2.0. size 1353908 bytes: control archive=1664 bytes. 854 bytes, 21 lines control 2976 bytes, 35 lines md5sums Package: libmenhir-coq Source: menhir Version: 20190924-1 Architecture: s390x Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 5398 Depends: coq-8.9.1+4.05.0 Recommends: menhir Section: ocaml Priority: optional Homepage: http://gallium.inria.fr/~fpottier/menhir/ Description: Support library for verified Coq parsers produced by Menhir The Menhir parser generator, when invoked with the --coq option, produces parser code in the Coq language. . These parsers must be linked against this library, which provides both an interpreter (which allows running the generated parser) and a validator (which allows verifying, at parser construction time, that the generated parser is correct and complete with respect to the grammar). drwxr-xr-x root/root 0 2019-11-02 10:51 ./ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/lib/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/lib/coq/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/lib/coq/user-contrib/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/ -rw-r--r-- root/root 33880 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Alphabet.glob -rw-r--r-- root/root 8570 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Alphabet.v -rw-r--r-- root/root 84278 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Alphabet.vo -rw-r--r-- root/root 9017 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Automaton.glob -rw-r--r-- root/root 6620 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Automaton.v -rw-r--r-- root/root 114721 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Automaton.vo -rw-r--r-- root/root 10889 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Grammar.glob -rw-r--r-- root/root 6111 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Grammar.v -rw-r--r-- root/root 74943 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Grammar.vo -rw-r--r-- root/root 43689 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter.glob -rw-r--r-- root/root 18386 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter.v -rw-r--r-- root/root 306157 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter.vo -rw-r--r-- root/root 108430 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_complete.glob -rw-r--r-- root/root 33610 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_complete.v -rw-r--r-- root/root 1500296 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_complete.vo -rw-r--r-- root/root 20073 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_correct.glob -rw-r--r-- root/root 7342 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_correct.v -rw-r--r-- root/root 244395 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_correct.vo -rw-r--r-- root/root 7632 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Main.glob -rw-r--r-- root/root 3428 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Main.v -rw-r--r-- root/root 1396094 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Main.vo -rw-r--r-- root/root 6564 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Validator_classes.glob -rw-r--r-- root/root 3127 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Validator_classes.v -rw-r--r-- root/root 39578 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Validator_classes.vo -rw-r--r-- root/root 38996 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Validator_complete.glob -rw-r--r-- root/root 15314 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Validator_complete.v -rw-r--r-- root/root 1176087 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Validator_complete.vo -rw-r--r-- root/root 18911 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Validator_safe.glob -rw-r--r-- root/root 8362 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Validator_safe.v -rw-r--r-- root/root 144096 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Validator_safe.vo -rw-r--r-- root/root 210 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Version.glob -rw-r--r-- root/root 1022 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Version.v -rw-r--r-- root/root 1832 2019-11-02 10:51 ./usr/lib/coq/user-contrib/MenhirLib/Version.vo drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/share/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/share/doc/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/share/doc/libmenhir-coq/ -rw-r--r-- root/root 1184 2019-11-02 10:51 ./usr/share/doc/libmenhir-coq/changelog.Debian.gz -rw-r--r-- root/root 3171 2019-11-02 10:51 ./usr/share/doc/libmenhir-coq/copyright libmenhir-ocaml-dev_20190924-1_s390x.deb ---------------------------------------- new debian package, version 2.0. size 199436 bytes: control archive=1360 bytes. 1077 bytes, 25 lines control 1318 bytes, 18 lines md5sums Package: libmenhir-ocaml-dev Source: menhir Version: 20190924-1 Architecture: s390x Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 995 Depends: ocaml-nox-4.05.0 Suggests: ocaml-findlib Provides: libmenhir-ocaml-dev-ic674 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 2019-11-02 10:51 ./ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/lib/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/lib/ocaml/menhirLib/ -rw-r--r-- root/root 196 2019-11-02 10:51 ./usr/lib/ocaml/menhirLib/META -rw-r--r-- root/root 41871 2019-11-02 10:51 ./usr/lib/ocaml/menhirLib/menhirLib.cmi -rw-r--r-- root/root 221622 2019-11-02 10:51 ./usr/lib/ocaml/menhirLib/menhirLib.cmo -rw-r--r-- root/root 10774 2019-11-02 10:51 ./usr/lib/ocaml/menhirLib/menhirLib.cmx -rw-r--r-- root/root 140976 2019-11-02 10:51 ./usr/lib/ocaml/menhirLib/menhirLib.cmxs -rw-r--r-- root/root 127811 2019-11-02 10:51 ./usr/lib/ocaml/menhirLib/menhirLib.ml -rw-r--r-- root/root 69573 2019-11-02 10:51 ./usr/lib/ocaml/menhirLib/menhirLib.mli -rw-r--r-- root/root 153632 2019-11-02 10:51 ./usr/lib/ocaml/menhirLib/menhirLib.o drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/lib/ocaml/menhirSdk/ -rw-r--r-- root/root 208 2019-11-02 10:51 ./usr/lib/ocaml/menhirSdk/META -rw-r--r-- root/root 16028 2019-11-02 10:51 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmi -rw-r--r-- root/root 84120 2019-11-02 10:51 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmo -rw-r--r-- root/root 7300 2019-11-02 10:51 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmx -rw-r--r-- root/root 54400 2019-11-02 10:51 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmxs -rw-r--r-- root/root 57224 2019-11-02 10:51 ./usr/lib/ocaml/menhirSdk/menhirSdk.o drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/share/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/share/doc/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/share/doc/libmenhir-ocaml-dev/ -rw-r--r-- root/root 1184 2019-11-02 10:51 ./usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 3171 2019-11-02 10:51 ./usr/share/doc/libmenhir-ocaml-dev/copyright drwxr-xr-x root/root 0 2019-11-02 10:51 ./var/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./var/lib/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 20 2019-11-02 10:51 ./var/lib/ocaml/lintian/libmenhir-ocaml-dev.info drwxr-xr-x root/root 0 2019-11-02 10:51 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 328 2019-11-02 10:51 ./var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums menhir_20190924-1_s390x.deb --------------------------- new debian package, version 2.0. size 711956 bytes: control archive=948 bytes. 943 bytes, 22 lines control 254 bytes, 4 lines md5sums Package: menhir Version: 20190924-1 Architecture: s390x Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 3486 Depends: libc6 (>= 2.29) 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 2019-11-02 10:51 ./ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/bin/ -rwxr-xr-x root/root 3549176 2019-11-02 10:51 ./usr/bin/menhir drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/share/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/share/doc/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/share/doc/menhir/ -rw-r--r-- root/root 1183 2019-11-02 10:51 ./usr/share/doc/menhir/changelog.Debian.gz -rw-r--r-- root/root 3171 2019-11-02 10:51 ./usr/share/doc/menhir/copyright drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/share/man/ drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/share/man/man1/ -rw-r--r-- root/root 1960 2019-11-02 10:51 ./usr/share/man/man1/menhir.1.gz drwxr-xr-x root/root 0 2019-11-02 10:51 ./usr/share/menhir/ +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: s390x Build-Space: 102904 Build-Time: 33 Distribution: focal-proposed Host Architecture: s390x Install-Time: 24 Job: menhir_20190924-1.dsc Machine Architecture: s390x Package: menhir Package-Time: 58 Source-Version: 20190924-1 Space: 102904 Status: successful Version: 20190924-1 -------------------------------------------------------------------------------- Finished at 20191103-1834 Build needed 00:00:58, 102904k disc space RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=focal --arch=s390x PACKAGEBUILD-18019590 Scanning for processes to kill in build PACKAGEBUILD-18019590