https://launchpad.net/ubuntu/+source/menhir/20190626-5ubuntu1/+build/17453373 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux bos02-ppc64el-011 4.4.0-159-generic #187-Ubuntu SMP Thu Aug 1 16:28:09 UTC 2019 ppc64le Buildd toolchain package versions: launchpad-buildd_176 python-lpbuildd_176 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... 22 Aug 10:03:27 ntpdate[1890]: adjust time server 10.211.37.1 offset 0.002544 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=eoan --arch=ppc64el PACKAGEBUILD-17453373 --image-type chroot /home/buildd/filecache-default/8ecade3ba39252410f2285d8b2f76e6336361d85 Creating target for build PACKAGEBUILD-17453373 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=eoan --arch=ppc64el PACKAGEBUILD-17453373 Starting target for build PACKAGEBUILD-17453373 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=eoan --arch=ppc64el PACKAGEBUILD-17453373 'deb http://ftpmaster.internal/ubuntu eoan main universe' 'deb http://ftpmaster.internal/ubuntu eoan-security main universe' 'deb http://ftpmaster.internal/ubuntu eoan-updates main universe' 'deb http://ftpmaster.internal/ubuntu eoan-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-17453373 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=eoan --arch=ppc64el PACKAGEBUILD-17453373 Updating target for build PACKAGEBUILD-17453373 Get:1 http://ftpmaster.internal/ubuntu eoan InRelease [255 kB] Get:2 http://ftpmaster.internal/ubuntu eoan-security InRelease [79.7 kB] Get:3 http://ftpmaster.internal/ubuntu eoan-updates InRelease [79.7 kB] Get:4 http://ftpmaster.internal/ubuntu eoan-proposed InRelease [107 kB] Get:5 http://ftpmaster.internal/ubuntu eoan/main ppc64el Packages [927 kB] Get:6 http://ftpmaster.internal/ubuntu eoan/main Translation-en [501 kB] Get:7 http://ftpmaster.internal/ubuntu eoan/universe ppc64el Packages [8731 kB] Get:8 http://ftpmaster.internal/ubuntu eoan/universe Translation-en [5285 kB] Get:9 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el Packages [133 kB] Get:10 http://ftpmaster.internal/ubuntu eoan-proposed/main Translation-en [70.1 kB] Get:11 http://ftpmaster.internal/ubuntu eoan-proposed/universe ppc64el Packages [809 kB] Get:12 http://ftpmaster.internal/ubuntu eoan-proposed/universe Translation-en [427 kB] Fetched 17.4 MB in 4s (4931 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages were automatically installed and are no longer required: g++-8 libapt-pkg5.0 libisl19 libjson-c3 libreadline7 libstdc++-8-dev Use 'sudo apt autoremove' to remove them. The following NEW packages will be installed: cpp-9 g++-9 gcc-9 gcc-9-base libapt-pkg5.90 libgcc-9-dev libisl21 libjson-c4 libpcre2-8-0 libreadline8 libstdc++-9-dev The following packages will be upgraded: adduser advancecomp apt base-files base-passwd bash binutils binutils-common binutils-powerpc64le-linux-gnu bsdutils build-essential bzip2 ca-certificates coreutils cpp cpp-8 dash debconf debianutils diffutils dmsetup dpkg dpkg-dev e2fslibs e2fsprogs fdisk findutils g++ g++-8 gcc gcc-8 gcc-8-base gpg gpg-agent gpgconf gpgv grep gzip init init-system-helpers libacl1 libapparmor1 libargon2-1 libasan5 libassuan0 libatomic1 libattr1 libaudit-common libaudit1 libbinutils libblkid1 libbz2-1.0 libc-bin libc-dev-bin libc6 libc6-dev libcap-ng0 libcap2 libcc1-0 libcom-err2 libcomerr2 libcryptsetup12 libdb5.3 libdebconfclient0 libdevmapper1.02.1 libdpkg-perl libext2fs2 libfdisk1 libgcc-8-dev libgcc1 libgcrypt20 libgdbm-compat4 libgdbm6 libgnutls30 libgomp1 libgpg-error0 libhogweed4 libidn11 libidn2-0 libitm1 libkmod2 liblockfile-bin liblockfile1 liblsan0 liblz4-1 liblzma5 libmount1 libmpfr6 libncurses6 libncursesw6 libnettle6 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libpcre3 libperl5.28 libpng16-16 libprocps7 libquadmath0 libseccomp2 libselinux1 libsemanage-common libsemanage1 libsepol1 libslang2 libsmartcols1 libsqlite3-0 libss2 libssl1.1 libstdc++-8-dev libstdc++6 libsystemd0 libtasn1-6 libtinfo6 libtsan0 libubsan1 libudev1 libunistring2 libuuid1 libzstd1 linux-libc-dev login lsb-base mount multiarch-support ncurses-base ncurses-bin openssl optipng passwd patch perl perl-base perl-modules-5.28 pinentry-curses pkgbinarymangler procps readline-common sed systemd systemd-sysv sysvinit-utils tar tzdata util-linux xz-utils zlib1g 149 upgraded, 11 newly installed, 0 to remove and 0 not upgraded. Need to get 114 MB of archives. After this operation, 126 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu eoan/main ppc64el libc6-dev ppc64el 2.29-0ubuntu3 [2565 kB] Get:2 http://ftpmaster.internal/ubuntu eoan/main ppc64el libc-dev-bin ppc64el 2.29-0ubuntu3 [72.6 kB] Get:3 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el linux-libc-dev ppc64el 5.2.0-13.14 [1078 kB] Get:4 http://ftpmaster.internal/ubuntu eoan/main ppc64el libc6 ppc64el 2.29-0ubuntu3 [2707 kB] Get:5 http://ftpmaster.internal/ubuntu eoan/main ppc64el libc-bin ppc64el 2.29-0ubuntu3 [627 kB] Get:6 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el gcc-9-base ppc64el 9.2.1-3ubuntu1 [19.2 kB] Get:7 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libgcc1 ppc64el 1:9.2.1-3ubuntu1 [29.6 kB] Get:8 http://ftpmaster.internal/ubuntu eoan/main ppc64el base-files ppc64el 10.2ubuntu4 [60.7 kB] Get:9 http://ftpmaster.internal/ubuntu eoan/main ppc64el debianutils ppc64el 4.8.6.3 [86.3 kB] Get:10 http://ftpmaster.internal/ubuntu eoan/main ppc64el bash ppc64el 5.0-4ubuntu1 [723 kB] Get:11 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el bsdutils ppc64el 1:2.34-0.1ubuntu2 [68.0 kB] Get:12 http://ftpmaster.internal/ubuntu eoan/main ppc64el coreutils ppc64el 8.30-3ubuntu1 [1313 kB] Get:13 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el lsb-base all 11.0.1ubuntu1 [12.6 kB] Get:14 http://ftpmaster.internal/ubuntu eoan/main ppc64el tar ppc64el 1.30+dfsg-6 [288 kB] Get:15 http://ftpmaster.internal/ubuntu eoan/main ppc64el dpkg ppc64el 1.19.7ubuntu1 [1158 kB] Get:16 http://ftpmaster.internal/ubuntu eoan/main ppc64el libperl5.28 ppc64el 5.28.1-6 [3837 kB] Get:17 http://ftpmaster.internal/ubuntu eoan/main ppc64el perl ppc64el 5.28.1-6 [204 kB] Get:18 http://ftpmaster.internal/ubuntu eoan/main ppc64el perl-base ppc64el 5.28.1-6 [1514 kB] Get:19 http://ftpmaster.internal/ubuntu eoan/main ppc64el perl-modules-5.28 all 5.28.1-6 [2818 kB] Get:20 http://ftpmaster.internal/ubuntu eoan/main ppc64el bzip2 ppc64el 1.0.6-9.2 [36.8 kB] Get:21 http://ftpmaster.internal/ubuntu eoan/main ppc64el libbz2-1.0 ppc64el 1.0.6-9.2 [43.3 kB] Get:22 http://ftpmaster.internal/ubuntu eoan/main ppc64el libdb5.3 ppc64el 5.3.28+dfsg1-0.6ubuntu1 [716 kB] Get:23 http://ftpmaster.internal/ubuntu eoan/main ppc64el libgdbm6 ppc64el 1.18.1-4 [31.6 kB] Get:24 http://ftpmaster.internal/ubuntu eoan/main ppc64el libgdbm-compat4 ppc64el 1.18.1-4 [6660 B] Get:25 http://ftpmaster.internal/ubuntu eoan/main ppc64el zlib1g ppc64el 1:1.2.11.dfsg-1ubuntu3 [57.0 kB] Get:26 http://ftpmaster.internal/ubuntu eoan/main ppc64el debconf all 1.5.73 [122 kB] Get:27 http://ftpmaster.internal/ubuntu eoan/main ppc64el dash ppc64el 0.5.10.2-6 [99.9 kB] Get:28 http://ftpmaster.internal/ubuntu eoan/main ppc64el diffutils ppc64el 1:3.7-3 [227 kB] Get:29 http://ftpmaster.internal/ubuntu eoan/main ppc64el findutils ppc64el 4.6.0+git+20190209-2ubuntu1 [362 kB] Get:30 http://ftpmaster.internal/ubuntu eoan/main ppc64el grep ppc64el 3.3-1 [157 kB] Get:31 http://ftpmaster.internal/ubuntu eoan/main ppc64el gzip ppc64el 1.10-0ubuntu2 [103 kB] Get:32 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libblkid1 ppc64el 2.34-0.1ubuntu2 [158 kB] Get:33 http://ftpmaster.internal/ubuntu eoan/main ppc64el libpcre2-8-0 ppc64el 10.32-5 [183 kB] Get:34 http://ftpmaster.internal/ubuntu eoan/main ppc64el libselinux1 ppc64el 2.9-2 [82.3 kB] Get:35 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libmount1 ppc64el 2.34-0.1ubuntu2 [170 kB] Get:36 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libsmartcols1 ppc64el 2.34-0.1ubuntu2 [113 kB] Get:37 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libuuid1 ppc64el 2.34-0.1ubuntu2 [22.0 kB] Get:38 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libfdisk1 ppc64el 2.34-0.1ubuntu2 [193 kB] Get:39 http://ftpmaster.internal/ubuntu eoan/main ppc64el libncurses6 ppc64el 6.1+20190803-1ubuntu1 [120 kB] Get:40 http://ftpmaster.internal/ubuntu eoan/main ppc64el libtinfo6 ppc64el 6.1+20190803-1ubuntu1 [101 kB] Get:41 http://ftpmaster.internal/ubuntu eoan/main ppc64el libncursesw6 ppc64el 6.1+20190803-1ubuntu1 [152 kB] Get:42 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el fdisk ppc64el 2.34-0.1ubuntu2 [128 kB] Get:43 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el login ppc64el 1:4.5-1.1ubuntu3 [267 kB] Get:44 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el util-linux ppc64el 2.34-0.1ubuntu2 [1066 kB] Get:45 http://ftpmaster.internal/ubuntu eoan/main ppc64el ncurses-bin ppc64el 6.1+20190803-1ubuntu1 [179 kB] Get:46 http://ftpmaster.internal/ubuntu eoan/main ppc64el sed ppc64el 4.7-1 [203 kB] Get:47 http://ftpmaster.internal/ubuntu eoan/main ppc64el libdebconfclient0 ppc64el 0.249ubuntu1 [6428 B] Get:48 http://ftpmaster.internal/ubuntu eoan/main ppc64el base-passwd ppc64el 3.5.46 [51.0 kB] Get:49 http://ftpmaster.internal/ubuntu eoan/main ppc64el init-system-helpers all 1.57 [38.3 kB] Get:50 http://ftpmaster.internal/ubuntu eoan/main ppc64el ncurses-base all 6.1+20190803-1ubuntu1 [17.7 kB] Get:51 http://ftpmaster.internal/ubuntu eoan/main ppc64el sysvinit-utils ppc64el 2.95-5ubuntu2 [22.8 kB] Get:52 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libstdc++6 ppc64el 9.2.1-3ubuntu1 [542 kB] Get:53 http://ftpmaster.internal/ubuntu eoan/main ppc64el liblz4-1 ppc64el 1.9.1-1 [74.8 kB] Get:54 http://ftpmaster.internal/ubuntu eoan/main ppc64el liblzma5 ppc64el 5.2.4-1 [110 kB] Get:55 http://ftpmaster.internal/ubuntu eoan/main ppc64el libtasn1-6 ppc64el 4.14-2 [44.6 kB] Get:56 http://ftpmaster.internal/ubuntu eoan/main ppc64el libnettle6 ppc64el 3.4.1-1 [145 kB] Get:57 http://ftpmaster.internal/ubuntu eoan/main ppc64el libhogweed4 ppc64el 3.4.1-1 [145 kB] Get:58 http://ftpmaster.internal/ubuntu eoan/main ppc64el libunistring2 ppc64el 0.9.10-2 [386 kB] Get:59 http://ftpmaster.internal/ubuntu eoan/main ppc64el libidn2-0 ppc64el 2.2.0-1 [53.4 kB] Get:60 http://ftpmaster.internal/ubuntu eoan/main ppc64el libp11-kit0 ppc64el 0.23.16.1-2 [200 kB] Get:61 http://ftpmaster.internal/ubuntu eoan/main ppc64el libgnutls30 ppc64el 3.6.9-4 [773 kB] Get:62 http://ftpmaster.internal/ubuntu eoan/main ppc64el systemd-sysv ppc64el 240-6ubuntu9 [9384 B] Get:63 http://ftpmaster.internal/ubuntu eoan/main ppc64el libacl1 ppc64el 2.2.53-4 [20.8 kB] Get:64 http://ftpmaster.internal/ubuntu eoan/main ppc64el libapparmor1 ppc64el 2.13.2-9ubuntu7 [38.5 kB] Get:65 http://ftpmaster.internal/ubuntu eoan/main ppc64el libaudit-common all 1:2.8.5-2ubuntu1 [4084 B] Get:66 http://ftpmaster.internal/ubuntu eoan/main ppc64el libcap-ng0 ppc64el 0.7.9-2 [12.4 kB] Get:67 http://ftpmaster.internal/ubuntu eoan/main ppc64el libaudit1 ppc64el 1:2.8.5-2ubuntu1 [42.7 kB] Get:68 http://ftpmaster.internal/ubuntu eoan/main ppc64el libcap2 ppc64el 1:2.25-2 [14.9 kB] Get:69 http://ftpmaster.internal/ubuntu eoan/main ppc64el libjson-c4 ppc64el 0.13.1+dfsg-4 [33.0 kB] Get:70 http://ftpmaster.internal/ubuntu eoan/main ppc64el libargon2-1 ppc64el 0~20171227-0.2 [21.9 kB] Get:71 http://ftpmaster.internal/ubuntu eoan/main ppc64el libudev1 ppc64el 240-6ubuntu9 [78.0 kB] Get:72 http://ftpmaster.internal/ubuntu eoan/main ppc64el libdevmapper1.02.1 ppc64el 2:1.02.155-2ubuntu5 [153 kB] Get:73 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libssl1.1 ppc64el 1.1.1c-1ubuntu4 [1357 kB] Get:74 http://ftpmaster.internal/ubuntu eoan/main ppc64el libcryptsetup12 ppc64el 2:2.2.0-1ubuntu2 [214 kB] Get:75 http://ftpmaster.internal/ubuntu eoan/main ppc64el libgpg-error0 ppc64el 1.36-7 [69.0 kB] Get:76 http://ftpmaster.internal/ubuntu eoan/main ppc64el libidn11 ppc64el 1.33-2.2ubuntu2 [48.8 kB] Get:77 http://ftpmaster.internal/ubuntu eoan/main ppc64el libkmod2 ppc64el 26-1ubuntu1 [51.8 kB] Get:78 http://ftpmaster.internal/ubuntu eoan/main ppc64el libpam0g ppc64el 1.3.1-5ubuntu1 [62.7 kB] Get:79 http://ftpmaster.internal/ubuntu eoan/main ppc64el libseccomp2 ppc64el 2.4.1-0ubuntu0.19.10.3 [48.6 kB] Get:80 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el mount ppc64el 2.34-0.1ubuntu2 [122 kB] Get:81 http://ftpmaster.internal/ubuntu eoan/main ppc64el libsepol1 ppc64el 2.9-2 [286 kB] Get:82 http://ftpmaster.internal/ubuntu eoan/main ppc64el libsemanage-common all 2.9-3 [9760 B] Get:83 http://ftpmaster.internal/ubuntu eoan/main ppc64el libsemanage1 ppc64el 2.9-3 [95.2 kB] Get:84 http://ftpmaster.internal/ubuntu eoan/main ppc64el libpam-modules-bin ppc64el 1.3.1-5ubuntu1 [43.6 kB] Get:85 http://ftpmaster.internal/ubuntu eoan/main ppc64el libpam-modules ppc64el 1.3.1-5ubuntu1 [287 kB] Get:86 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el passwd ppc64el 1:4.5-1.1ubuntu3 [821 kB] Get:87 http://ftpmaster.internal/ubuntu eoan/main ppc64el adduser all 3.118ubuntu1 [163 kB] Get:88 http://ftpmaster.internal/ubuntu eoan/main ppc64el systemd ppc64el 240-6ubuntu9 [4034 kB] Get:89 http://ftpmaster.internal/ubuntu eoan/main ppc64el libsystemd0 ppc64el 240-6ubuntu9 [300 kB] Get:90 http://ftpmaster.internal/ubuntu eoan/main ppc64el libzstd1 ppc64el 1.4.3+dfsg-1 [299 kB] Get:91 http://ftpmaster.internal/ubuntu eoan/main ppc64el libapt-pkg5.90 ppc64el 1.9.3 [910 kB] Get:92 http://ftpmaster.internal/ubuntu eoan/main ppc64el libgcrypt20 ppc64el 1.8.4-5ubuntu1 [449 kB] Get:93 http://ftpmaster.internal/ubuntu eoan/main ppc64el gpgv ppc64el 2.2.12-1ubuntu3 [237 kB] Get:94 http://ftpmaster.internal/ubuntu eoan/main ppc64el apt ppc64el 1.9.3 [1309 kB] Get:95 http://ftpmaster.internal/ubuntu eoan/main ppc64el libext2fs2 ppc64el 1.45.2-1ubuntu1 [215 kB] Get:96 http://ftpmaster.internal/ubuntu eoan/main ppc64el e2fsprogs ppc64el 1.45.2-1ubuntu1 [580 kB] Get:97 http://ftpmaster.internal/ubuntu eoan/main ppc64el init ppc64el 1.57 [6088 B] Get:98 http://ftpmaster.internal/ubuntu eoan/main ppc64el libattr1 ppc64el 1:2.4.48-4 [13.7 kB] Get:99 http://ftpmaster.internal/ubuntu eoan/main ppc64el libpam-runtime all 1.3.1-5ubuntu1 [37.3 kB] Get:100 http://ftpmaster.internal/ubuntu eoan/main ppc64el libpcre3 ppc64el 2:8.39-12 [239 kB] Get:101 http://ftpmaster.internal/ubuntu eoan/main ppc64el libcom-err2 ppc64el 1.45.2-1ubuntu1 [10.5 kB] Get:102 http://ftpmaster.internal/ubuntu eoan/main ppc64el libprocps7 ppc64el 2:3.3.15-2ubuntu3 [36.0 kB] Get:103 http://ftpmaster.internal/ubuntu eoan/main ppc64el libss2 ppc64el 1.45.2-1ubuntu1 [12.5 kB] Get:104 http://ftpmaster.internal/ubuntu eoan/main ppc64el procps ppc64el 2:3.3.15-2ubuntu3 [247 kB] Get:105 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el openssl ppc64el 1.1.1c-1ubuntu4 [618 kB] Get:106 http://ftpmaster.internal/ubuntu eoan/main ppc64el ca-certificates all 20190110 [146 kB] Get:107 http://ftpmaster.internal/ubuntu eoan/main ppc64el dmsetup ppc64el 2:1.02.155-2ubuntu5 [82.4 kB] Get:108 http://ftpmaster.internal/ubuntu eoan/main ppc64el readline-common all 8.0-2 [53.4 kB] Get:109 http://ftpmaster.internal/ubuntu eoan/main ppc64el libreadline8 ppc64el 8.0-2 [143 kB] Get:110 http://ftpmaster.internal/ubuntu eoan/main ppc64el libslang2 ppc64el 2.3.2-4 [415 kB] Get:111 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libsqlite3-0 ppc64el 3.29.0-2 [564 kB] Get:112 http://ftpmaster.internal/ubuntu eoan/main ppc64el tzdata all 2019b-2 [187 kB] Get:113 http://ftpmaster.internal/ubuntu eoan/main ppc64el xz-utils ppc64el 5.2.4-1 [87.9 kB] Get:114 http://ftpmaster.internal/ubuntu eoan/main ppc64el libpng16-16 ppc64el 1.6.37-1 [208 kB] Get:115 http://ftpmaster.internal/ubuntu eoan/main ppc64el multiarch-support ppc64el 2.29-0ubuntu3 [6928 B] Get:116 http://ftpmaster.internal/ubuntu eoan/main ppc64el advancecomp ppc64el 2.1-2.1 [248 kB] Get:117 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el binutils-powerpc64le-linux-gnu ppc64el 2.32.51.20190821-1ubuntu1 [1786 kB] Get:118 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libbinutils ppc64el 2.32.51.20190821-1ubuntu1 [510 kB] Get:119 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el binutils ppc64el 2.32.51.20190821-1ubuntu1 [3412 B] Get:120 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el binutils-common ppc64el 2.32.51.20190821-1ubuntu1 [202 kB] Get:121 http://ftpmaster.internal/ubuntu eoan/main ppc64el libisl21 ppc64el 0.21-1 [683 kB] Get:122 http://ftpmaster.internal/ubuntu eoan/main ppc64el libmpfr6 ppc64el 4.0.2-1 [263 kB] Get:123 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el cpp-9 ppc64el 9.2.1-3ubuntu1 [9026 kB] Get:124 http://ftpmaster.internal/ubuntu eoan/main ppc64el g++ ppc64el 4:9.1.0-1ubuntu4 [1596 B] Get:125 http://ftpmaster.internal/ubuntu eoan/main ppc64el gcc ppc64el 4:9.1.0-1ubuntu4 [5224 B] Get:126 http://ftpmaster.internal/ubuntu eoan/main ppc64el cpp ppc64el 4:9.1.0-1ubuntu4 [27.6 kB] Get:127 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libcc1-0 ppc64el 9.2.1-3ubuntu1 [52.8 kB] Get:128 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libgomp1 ppc64el 9.2.1-3ubuntu1 [92.6 kB] Get:129 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libitm1 ppc64el 9.2.1-3ubuntu1 [29.5 kB] Get:130 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libatomic1 ppc64el 9.2.1-3ubuntu1 [9940 B] Get:131 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libasan5 ppc64el 9.2.1-3ubuntu1 [408 kB] Get:132 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el liblsan0 ppc64el 9.2.1-3ubuntu1 [148 kB] Get:133 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libtsan0 ppc64el 9.2.1-3ubuntu1 [305 kB] Get:134 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libubsan1 ppc64el 9.2.1-3ubuntu1 [140 kB] Get:135 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libquadmath0 ppc64el 9.2.1-3ubuntu1 [149 kB] Get:136 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libgcc-9-dev ppc64el 9.2.1-3ubuntu1 [1262 kB] Get:137 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el gcc-9 ppc64el 9.2.1-3ubuntu1 [9750 kB] Get:138 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libstdc++-9-dev ppc64el 9.2.1-3ubuntu1 [1723 kB] Get:139 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el g++-9 ppc64el 9.2.1-3ubuntu1 [10.4 MB] Get:140 http://ftpmaster.internal/ubuntu eoan/main ppc64el dpkg-dev all 1.19.7ubuntu1 [679 kB] Get:141 http://ftpmaster.internal/ubuntu eoan/main ppc64el libdpkg-perl all 1.19.7ubuntu1 [230 kB] Get:142 http://ftpmaster.internal/ubuntu eoan/main ppc64el patch ppc64el 2.7.6-6 [115 kB] Get:143 http://ftpmaster.internal/ubuntu eoan/main ppc64el build-essential ppc64el 12.6ubuntu2 [4684 B] Get:144 http://ftpmaster.internal/ubuntu eoan/universe ppc64el g++-8 ppc64el 8.3.0-21ubuntu1 [10.2 MB] Get:145 http://ftpmaster.internal/ubuntu eoan/universe ppc64el gcc-8 ppc64el 8.3.0-21ubuntu1 [9712 kB] Get:146 http://ftpmaster.internal/ubuntu eoan/universe ppc64el libstdc++-8-dev ppc64el 8.3.0-21ubuntu1 [1581 kB] Get:147 http://ftpmaster.internal/ubuntu eoan/universe ppc64el libgcc-8-dev ppc64el 8.3.0-21ubuntu1 [1193 kB] Get:148 http://ftpmaster.internal/ubuntu eoan/universe ppc64el cpp-8 ppc64el 8.3.0-21ubuntu1 [8969 kB] Get:149 http://ftpmaster.internal/ubuntu eoan/universe ppc64el gcc-8-base ppc64el 8.3.0-21ubuntu1 [18.5 kB] Get:150 http://ftpmaster.internal/ubuntu eoan/main ppc64el e2fslibs ppc64el 1.45.2-1ubuntu1 [2716 B] Get:151 http://ftpmaster.internal/ubuntu eoan/main ppc64el libassuan0 ppc64el 2.5.3-7ubuntu1 [38.3 kB] Get:152 http://ftpmaster.internal/ubuntu eoan/main ppc64el pinentry-curses ppc64el 1.1.0-3 [39.9 kB] Get:153 http://ftpmaster.internal/ubuntu eoan/main ppc64el gpg ppc64el 2.2.12-1ubuntu3 [540 kB] Get:154 http://ftpmaster.internal/ubuntu eoan/main ppc64el gpgconf ppc64el 2.2.12-1ubuntu3 [147 kB] Get:155 http://ftpmaster.internal/ubuntu eoan/main ppc64el gpg-agent ppc64el 2.2.12-1ubuntu3 [268 kB] Get:156 http://ftpmaster.internal/ubuntu eoan/main ppc64el libcomerr2 ppc64el 1.45.2-1ubuntu1 [2708 B] Get:157 http://ftpmaster.internal/ubuntu eoan/main ppc64el liblockfile-bin ppc64el 1.15-1 [12.7 kB] Get:158 http://ftpmaster.internal/ubuntu eoan/main ppc64el liblockfile1 ppc64el 1.15-1 [7260 B] Get:159 http://ftpmaster.internal/ubuntu eoan/main ppc64el optipng ppc64el 0.7.7-1 [90.9 kB] Get:160 http://ftpmaster.internal/ubuntu eoan/main ppc64el pkgbinarymangler all 144 [55.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 114 MB in 1s (79.8 MB/s) (Reading database ... 12596 files and directories currently installed.) Preparing to unpack .../libc6-dev_2.29-0ubuntu3_ppc64el.deb ... Unpacking libc6-dev:ppc64el (2.29-0ubuntu3) over (2.28-0ubuntu1) ... Preparing to unpack .../libc-dev-bin_2.29-0ubuntu3_ppc64el.deb ... Unpacking libc-dev-bin (2.29-0ubuntu3) over (2.28-0ubuntu1) ... Preparing to unpack .../linux-libc-dev_5.2.0-13.14_ppc64el.deb ... Unpacking linux-libc-dev:ppc64el (5.2.0-13.14) over (4.18.0-11.12) ... Preparing to unpack .../libc6_2.29-0ubuntu3_ppc64el.deb ... Unpacking libc6:ppc64el (2.29-0ubuntu3) over (2.28-0ubuntu1) ... Setting up libc6:ppc64el (2.29-0ubuntu3) ... (Reading database ... 12644 files and directories currently installed.) Preparing to unpack .../libc-bin_2.29-0ubuntu3_ppc64el.deb ... Unpacking libc-bin (2.29-0ubuntu3) over (2.28-0ubuntu1) ... Setting up libc-bin (2.29-0ubuntu3) ... Selecting previously unselected package gcc-9-base:ppc64el. (Reading database ... 12644 files and directories currently installed.) Preparing to unpack .../gcc-9-base_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking gcc-9-base:ppc64el (9.2.1-3ubuntu1) ... Setting up gcc-9-base:ppc64el (9.2.1-3ubuntu1) ... (Reading database ... 12650 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a9.2.1-3ubuntu1_ppc64el.deb ... Unpacking libgcc1:ppc64el (1:9.2.1-3ubuntu1) over (1:8.2.0-12ubuntu1) ... Setting up libgcc1:ppc64el (1:9.2.1-3ubuntu1) ... (Reading database ... 12650 files and directories currently installed.) Preparing to unpack .../base-files_10.2ubuntu4_ppc64el.deb ... Unpacking base-files (10.2ubuntu4) over (10.1ubuntu8) ... Setting up base-files (10.2ubuntu4) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... (Reading database ... 12650 files and directories currently installed.) Preparing to unpack .../debianutils_4.8.6.3_ppc64el.deb ... Unpacking debianutils (4.8.6.3) over (4.8.6) ... Setting up debianutils (4.8.6.3) ... (Reading database ... 12650 files and directories currently installed.) Preparing to unpack .../bash_5.0-4ubuntu1_ppc64el.deb ... Unpacking bash (5.0-4ubuntu1) over (4.4.18-2ubuntu3) ... Setting up bash (5.0-4ubuntu1) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... 12650 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.34-0.1ubuntu2_ppc64el.deb ... Unpacking bsdutils (1:2.34-0.1ubuntu2) over (1:2.32-0.1ubuntu2) ... Setting up bsdutils (1:2.34-0.1ubuntu2) ... (Reading database ... 12650 files and directories currently installed.) Preparing to unpack .../coreutils_8.30-3ubuntu1_ppc64el.deb ... Unpacking coreutils (8.30-3ubuntu1) over (8.28-1ubuntu2) ... Setting up coreutils (8.30-3ubuntu1) ... (Reading database ... 12650 files and directories currently installed.) Preparing to unpack .../lsb-base_11.0.1ubuntu1_all.deb ... Unpacking lsb-base (11.0.1ubuntu1) over (9.20170808ubuntu1) ... Preparing to unpack .../tar_1.30+dfsg-6_ppc64el.deb ... Unpacking tar (1.30+dfsg-6) over (1.30+dfsg-3) ... Setting up tar (1.30+dfsg-6) ... (Reading database ... 12650 files and directories currently installed.) Preparing to unpack .../dpkg_1.19.7ubuntu1_ppc64el.deb ... Unpacking dpkg (1.19.7ubuntu1) over (1.19.2ubuntu1) ... Setting up dpkg (1.19.7ubuntu1) ... Installing new version of config file /etc/cron.daily/dpkg ... (Reading database ... 12658 files and directories currently installed.) Preparing to unpack .../libperl5.28_5.28.1-6_ppc64el.deb ... Unpacking libperl5.28:ppc64el (5.28.1-6) over (5.28.1-3) ... Preparing to unpack .../perl_5.28.1-6_ppc64el.deb ... Unpacking perl (5.28.1-6) over (5.28.1-3) ... Preparing to unpack .../perl-base_5.28.1-6_ppc64el.deb ... Unpacking perl-base (5.28.1-6) over (5.28.1-3) ... Setting up perl-base (5.28.1-6) ... (Reading database ... 12660 files and directories currently installed.) Preparing to unpack .../perl-modules-5.28_5.28.1-6_all.deb ... Unpacking perl-modules-5.28 (5.28.1-6) over (5.28.1-3) ... Preparing to unpack .../bzip2_1.0.6-9.2_ppc64el.deb ... Unpacking bzip2 (1.0.6-9.2) over (1.0.6-9) ... Preparing to unpack .../libbz2-1.0_1.0.6-9.2_ppc64el.deb ... Unpacking libbz2-1.0:ppc64el (1.0.6-9.2) over (1.0.6-9) ... Setting up libbz2-1.0:ppc64el (1.0.6-9.2) ... (Reading database ... 12660 files and directories currently installed.) Preparing to unpack .../libdb5.3_5.3.28+dfsg1-0.6ubuntu1_ppc64el.deb ... Unpacking libdb5.3:ppc64el (5.3.28+dfsg1-0.6ubuntu1) over (5.3.28+dfsg1-0.2) ... Setting up libdb5.3:ppc64el (5.3.28+dfsg1-0.6ubuntu1) ... (Reading database ... 12660 files and directories currently installed.) Preparing to unpack .../libgdbm6_1.18.1-4_ppc64el.deb ... Unpacking libgdbm6:ppc64el (1.18.1-4) over (1.18.1-2) ... Preparing to unpack .../libgdbm-compat4_1.18.1-4_ppc64el.deb ... Unpacking libgdbm-compat4:ppc64el (1.18.1-4) over (1.18.1-2) ... Preparing to unpack .../zlib1g_1%3a1.2.11.dfsg-1ubuntu3_ppc64el.deb ... Unpacking zlib1g:ppc64el (1:1.2.11.dfsg-1ubuntu3) over (1:1.2.11.dfsg-0ubuntu2) ... Setting up zlib1g:ppc64el (1:1.2.11.dfsg-1ubuntu3) ... (Reading database ... 12660 files and directories currently installed.) Preparing to unpack .../debconf_1.5.73_all.deb ... Unpacking debconf (1.5.73) over (1.5.69) ... Setting up debconf (1.5.73) ... (Reading database ... 12660 files and directories currently installed.) Preparing to unpack .../dash_0.5.10.2-6_ppc64el.deb ... Unpacking dash (0.5.10.2-6) over (0.5.10.2-2) ... Setting up dash (0.5.10.2-6) ... (Reading database ... 12661 files and directories currently installed.) Preparing to unpack .../diffutils_1%3a3.7-3_ppc64el.deb ... Unpacking diffutils (1:3.7-3) over (1:3.6-1) ... Setting up diffutils (1:3.7-3) ... (Reading database ... 12661 files and directories currently installed.) Preparing to unpack .../findutils_4.6.0+git+20190209-2ubuntu1_ppc64el.deb ... Unpacking findutils (4.6.0+git+20190209-2ubuntu1) over (4.6.0+git+20181018-1) ... Setting up findutils (4.6.0+git+20190209-2ubuntu1) ... (Reading database ... 12661 files and directories currently installed.) Preparing to unpack .../grep_3.3-1_ppc64el.deb ... Unpacking grep (3.3-1) over (3.1-3) ... Setting up grep (3.3-1) ... (Reading database ... 12661 files and directories currently installed.) Preparing to unpack .../gzip_1.10-0ubuntu2_ppc64el.deb ... Unpacking gzip (1.10-0ubuntu2) over (1.6-5ubuntu2) ... Setting up gzip (1.10-0ubuntu2) ... (Reading database ... 12661 files and directories currently installed.) Preparing to unpack .../libblkid1_2.34-0.1ubuntu2_ppc64el.deb ... Unpacking libblkid1:ppc64el (2.34-0.1ubuntu2) over (2.32-0.1ubuntu2) ... Setting up libblkid1:ppc64el (2.34-0.1ubuntu2) ... Selecting previously unselected package libpcre2-8-0:ppc64el. (Reading database ... 12661 files and directories currently installed.) Preparing to unpack .../libpcre2-8-0_10.32-5_ppc64el.deb ... Unpacking libpcre2-8-0:ppc64el (10.32-5) ... Setting up libpcre2-8-0:ppc64el (10.32-5) ... (Reading database ... 12667 files and directories currently installed.) Preparing to unpack .../libselinux1_2.9-2_ppc64el.deb ... Unpacking libselinux1:ppc64el (2.9-2) over (2.8-1build2) ... Setting up libselinux1:ppc64el (2.9-2) ... (Reading database ... 12667 files and directories currently installed.) Preparing to unpack .../libmount1_2.34-0.1ubuntu2_ppc64el.deb ... Unpacking libmount1:ppc64el (2.34-0.1ubuntu2) over (2.32-0.1ubuntu2) ... Setting up libmount1:ppc64el (2.34-0.1ubuntu2) ... (Reading database ... 12667 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.34-0.1ubuntu2_ppc64el.deb ... Unpacking libsmartcols1:ppc64el (2.34-0.1ubuntu2) over (2.32-0.1ubuntu2) ... Setting up libsmartcols1:ppc64el (2.34-0.1ubuntu2) ... (Reading database ... 12667 files and directories currently installed.) Preparing to unpack .../libuuid1_2.34-0.1ubuntu2_ppc64el.deb ... Unpacking libuuid1:ppc64el (2.34-0.1ubuntu2) over (2.32-0.1ubuntu2) ... Setting up libuuid1:ppc64el (2.34-0.1ubuntu2) ... (Reading database ... 12667 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.34-0.1ubuntu2_ppc64el.deb ... Unpacking libfdisk1:ppc64el (2.34-0.1ubuntu2) over (2.32-0.1ubuntu2) ... Setting up libfdisk1:ppc64el (2.34-0.1ubuntu2) ... (Reading database ... 12667 files and directories currently installed.) Preparing to unpack .../libncurses6_6.1+20190803-1ubuntu1_ppc64el.deb ... Unpacking libncurses6:ppc64el (6.1+20190803-1ubuntu1) over (6.1+20180210-4ubuntu1) ... Preparing to unpack .../libtinfo6_6.1+20190803-1ubuntu1_ppc64el.deb ... Unpacking libtinfo6:ppc64el (6.1+20190803-1ubuntu1) over (6.1+20180210-4ubuntu1) ... Setting up libtinfo6:ppc64el (6.1+20190803-1ubuntu1) ... (Reading database ... 12667 files and directories currently installed.) Preparing to unpack .../libncursesw6_6.1+20190803-1ubuntu1_ppc64el.deb ... Unpacking libncursesw6:ppc64el (6.1+20190803-1ubuntu1) over (6.1+20180210-4ubuntu1) ... Setting up libncursesw6:ppc64el (6.1+20190803-1ubuntu1) ... (Reading database ... 12667 files and directories currently installed.) Preparing to unpack .../fdisk_2.34-0.1ubuntu2_ppc64el.deb ... Unpacking fdisk (2.34-0.1ubuntu2) over (2.32-0.1ubuntu2) ... Setting up fdisk (2.34-0.1ubuntu2) ... (Reading database ... 12670 files and directories currently installed.) Preparing to unpack .../util-linux_2.34-0.1ubuntu2_ppc64el.deb ... Unpacking util-linux (2.34-0.1ubuntu2) over (2.32-0.1ubuntu2) ... Replacing files in old package login (1:4.5-1ubuntu1) ... Preparing to unpack .../login_1%3a4.5-1.1ubuntu3_ppc64el.deb ... Unpacking login (1:4.5-1.1ubuntu3) over (1:4.5-1ubuntu1) ... Setting up login (1:4.5-1.1ubuntu3) ... (Reading database ... 12674 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.1+20190803-1ubuntu1_ppc64el.deb ... Unpacking ncurses-bin (6.1+20190803-1ubuntu1) over (6.1+20180210-4ubuntu1) ... Setting up ncurses-bin (6.1+20190803-1ubuntu1) ... (Reading database ... 12674 files and directories currently installed.) Preparing to unpack .../archives/sed_4.7-1_ppc64el.deb ... Unpacking sed (4.7-1) over (4.5-2) ... Setting up sed (4.7-1) ... (Reading database ... 12674 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.249ubuntu1_ppc64el.deb ... Unpacking libdebconfclient0:ppc64el (0.249ubuntu1) over (0.244ubuntu1) ... Setting up libdebconfclient0:ppc64el (0.249ubuntu1) ... (Reading database ... 12674 files and directories currently installed.) Preparing to unpack .../base-passwd_3.5.46_ppc64el.deb ... Unpacking base-passwd (3.5.46) over (3.5.45) ... Setting up base-passwd (3.5.46) ... (Reading database ... 12674 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.57_all.deb ... Unpacking init-system-helpers (1.57) over (1.56) ... Setting up init-system-helpers (1.57) ... (Reading database ... 12674 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.1+20190803-1ubuntu1_all.deb ... Unpacking ncurses-base (6.1+20190803-1ubuntu1) over (6.1+20180210-4ubuntu1) ... Setting up ncurses-base (6.1+20190803-1ubuntu1) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_2.95-5ubuntu2_ppc64el.deb ... Unpacking sysvinit-utils (2.95-5ubuntu2) over (2.88dsf-59.10ubuntu2) ... Setting up util-linux (2.34-0.1ubuntu2) ... Setting up sysvinit-utils (2.95-5ubuntu2) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../libstdc++6_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking libstdc++6:ppc64el (9.2.1-3ubuntu1) over (8.2.0-12ubuntu1) ... Setting up libstdc++6:ppc64el (9.2.1-3ubuntu1) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../liblz4-1_1.9.1-1_ppc64el.deb ... Unpacking liblz4-1:ppc64el (1.9.1-1) over (1.8.2-1ubuntu1) ... Setting up liblz4-1:ppc64el (1.9.1-1) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../liblzma5_5.2.4-1_ppc64el.deb ... Unpacking liblzma5:ppc64el (5.2.4-1) over (5.2.2-1.3) ... Setting up liblzma5:ppc64el (5.2.4-1) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../libtasn1-6_4.14-2_ppc64el.deb ... Unpacking libtasn1-6:ppc64el (4.14-2) over (4.13-3) ... Setting up libtasn1-6:ppc64el (4.14-2) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../libnettle6_3.4.1-1_ppc64el.deb ... Unpacking libnettle6:ppc64el (3.4.1-1) over (3.4.1~rc1-1) ... Setting up libnettle6:ppc64el (3.4.1-1) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../libhogweed4_3.4.1-1_ppc64el.deb ... Unpacking libhogweed4:ppc64el (3.4.1-1) over (3.4.1~rc1-1) ... Setting up libhogweed4:ppc64el (3.4.1-1) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../libunistring2_0.9.10-2_ppc64el.deb ... Unpacking libunistring2:ppc64el (0.9.10-2) over (0.9.10-1ubuntu1) ... Setting up libunistring2:ppc64el (0.9.10-2) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../libidn2-0_2.2.0-1_ppc64el.deb ... Unpacking libidn2-0:ppc64el (2.2.0-1) over (2.0.5-1) ... Setting up libidn2-0:ppc64el (2.2.0-1) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.23.16.1-2_ppc64el.deb ... Unpacking libp11-kit0:ppc64el (0.23.16.1-2) over (0.23.14-2) ... Setting up libp11-kit0:ppc64el (0.23.16.1-2) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.6.9-4_ppc64el.deb ... Unpacking libgnutls30:ppc64el (3.6.9-4) over (3.6.4-2ubuntu2) ... Setting up libgnutls30:ppc64el (3.6.9-4) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../systemd-sysv_240-6ubuntu9_ppc64el.deb ... Unpacking systemd-sysv (240-6ubuntu9) over (239-7ubuntu15) ... Preparing to unpack .../libacl1_2.2.53-4_ppc64el.deb ... Unpacking libacl1:ppc64el (2.2.53-4) over (2.2.52-3build1) ... Setting up libacl1:ppc64el (2.2.53-4) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../libapparmor1_2.13.2-9ubuntu7_ppc64el.deb ... Unpacking libapparmor1:ppc64el (2.13.2-9ubuntu7) over (2.12-4ubuntu10) ... Preparing to unpack .../libaudit-common_1%3a2.8.5-2ubuntu1_all.deb ... Unpacking libaudit-common (1:2.8.5-2ubuntu1) over (1:2.8.3-1ubuntu3) ... Setting up libaudit-common (1:2.8.5-2ubuntu1) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.7.9-2_ppc64el.deb ... Unpacking libcap-ng0:ppc64el (0.7.9-2) over (0.7.9-1build1) ... Setting up libcap-ng0:ppc64el (0.7.9-2) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.8.5-2ubuntu1_ppc64el.deb ... Unpacking libaudit1:ppc64el (1:2.8.5-2ubuntu1) over (1:2.8.3-1ubuntu3) ... Setting up libaudit1:ppc64el (1:2.8.5-2ubuntu1) ... (Reading database ... 12677 files and directories currently installed.) Preparing to unpack .../libcap2_1%3a2.25-2_ppc64el.deb ... Unpacking libcap2:ppc64el (1:2.25-2) over (1:2.25-1.2) ... Selecting previously unselected package libjson-c4:ppc64el. Preparing to unpack .../libjson-c4_0.13.1+dfsg-4_ppc64el.deb ... Unpacking libjson-c4:ppc64el (0.13.1+dfsg-4) ... Preparing to unpack .../libargon2-1_0~20171227-0.2_ppc64el.deb ... Unpacking libargon2-1:ppc64el (0~20171227-0.2) over (0~20171227-0.1) ... Preparing to unpack .../libudev1_240-6ubuntu9_ppc64el.deb ... Unpacking libudev1:ppc64el (240-6ubuntu9) over (239-7ubuntu15) ... Setting up libudev1:ppc64el (240-6ubuntu9) ... (Reading database ... 12684 files and directories currently installed.) Preparing to unpack .../libdevmapper1.02.1_2%3a1.02.155-2ubuntu5_ppc64el.deb ... Unpacking libdevmapper1.02.1:ppc64el (2:1.02.155-2ubuntu5) over (2:1.02.145-4.1ubuntu4) ... Preparing to unpack .../libssl1.1_1.1.1c-1ubuntu4_ppc64el.deb ... Unpacking libssl1.1:ppc64el (1.1.1c-1ubuntu4) over (1.1.1a-1ubuntu2) ... Preparing to unpack .../libcryptsetup12_2%3a2.2.0-1ubuntu2_ppc64el.deb ... Unpacking libcryptsetup12:ppc64el (2:2.2.0-1ubuntu2) over (2:2.0.4-2ubuntu2) ... Preparing to unpack .../libgpg-error0_1.36-7_ppc64el.deb ... Unpacking libgpg-error0:ppc64el (1.36-7) over (1.32-3) ... Setting up libgpg-error0:ppc64el (1.36-7) ... (Reading database ... 12684 files and directories currently installed.) Preparing to unpack .../libidn11_1.33-2.2ubuntu2_ppc64el.deb ... Unpacking libidn11:ppc64el (1.33-2.2ubuntu2) over (1.33-2.2ubuntu1) ... Preparing to unpack .../libkmod2_26-1ubuntu1_ppc64el.deb ... Unpacking libkmod2:ppc64el (26-1ubuntu1) over (25-1ubuntu2) ... Preparing to unpack .../libpam0g_1.3.1-5ubuntu1_ppc64el.deb ... Unpacking libpam0g:ppc64el (1.3.1-5ubuntu1) over (1.1.8-3.6ubuntu2) ... Setting up libpam0g:ppc64el (1.3.1-5ubuntu1) ... Checking for services that may need to be restarted...Checking init scripts... Nothing to restart. (Reading database ... 12684 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.4.1-0ubuntu0.19.10.3_ppc64el.deb ... Unpacking libseccomp2:ppc64el (2.4.1-0ubuntu0.19.10.3) over (2.3.3-3ubuntu2) ... Setting up libseccomp2:ppc64el (2.4.1-0ubuntu0.19.10.3) ... (Reading database ... 12684 files and directories currently installed.) Preparing to unpack .../mount_2.34-0.1ubuntu2_ppc64el.deb ... Unpacking mount (2.34-0.1ubuntu2) over (2.32-0.1ubuntu2) ... Preparing to unpack .../libsepol1_2.9-2_ppc64el.deb ... Unpacking libsepol1:ppc64el (2.9-2) over (2.8-1) ... Setting up libsepol1:ppc64el (2.9-2) ... (Reading database ... 12684 files and directories currently installed.) Preparing to unpack .../libsemanage-common_2.9-3_all.deb ... Unpacking libsemanage-common (2.9-3) over (2.8-1build2) ... Setting up libsemanage-common (2.9-3) ... (Reading database ... 12685 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.9-3_ppc64el.deb ... Unpacking libsemanage1:ppc64el (2.9-3) over (2.8-1build2) ... Setting up libsemanage1:ppc64el (2.9-3) ... (Reading database ... 12685 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.3.1-5ubuntu1_ppc64el.deb ... Unpacking libpam-modules-bin (1.3.1-5ubuntu1) over (1.1.8-3.6ubuntu2) ... Setting up libpam-modules-bin (1.3.1-5ubuntu1) ... (Reading database ... 12685 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.3.1-5ubuntu1_ppc64el.deb ... Unpacking libpam-modules:ppc64el (1.3.1-5ubuntu1) over (1.1.8-3.6ubuntu2) ... Setting up libpam-modules:ppc64el (1.3.1-5ubuntu1) ... Installing new version of config file /etc/security/access.conf ... Installing new version of config file /etc/security/limits.conf ... (Reading database ... 12685 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.5-1.1ubuntu3_ppc64el.deb ... Unpacking passwd (1:4.5-1.1ubuntu3) over (1:4.5-1ubuntu1) ... Setting up passwd (1:4.5-1.1ubuntu3) ... (Reading database ... 12685 files and directories currently installed.) Preparing to unpack .../adduser_3.118ubuntu1_all.deb ... Unpacking adduser (3.118ubuntu1) over (3.117ubuntu1) ... Setting up adduser (3.118ubuntu1) ... (Reading database ... 12685 files and directories currently installed.) Preparing to unpack .../systemd_240-6ubuntu9_ppc64el.deb ... Unpacking systemd (240-6ubuntu9) over (239-7ubuntu15) ... Preparing to unpack .../libsystemd0_240-6ubuntu9_ppc64el.deb ... Unpacking libsystemd0:ppc64el (240-6ubuntu9) over (239-7ubuntu15) ... Setting up libsystemd0:ppc64el (240-6ubuntu9) ... (Reading database ... 12701 files and directories currently installed.) Preparing to unpack .../libzstd1_1.4.3+dfsg-1_ppc64el.deb ... Unpacking libzstd1:ppc64el (1.4.3+dfsg-1) over (1.3.5+dfsg-1ubuntu1) ... Setting up libzstd1:ppc64el (1.4.3+dfsg-1) ... Selecting previously unselected package libapt-pkg5.90:ppc64el. (Reading database ... 12701 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.90_1.9.3_ppc64el.deb ... Unpacking libapt-pkg5.90:ppc64el (1.9.3) ... Setting up libapt-pkg5.90:ppc64el (1.9.3) ... (Reading database ... 12750 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.8.4-5ubuntu1_ppc64el.deb ... Unpacking libgcrypt20:ppc64el (1.8.4-5ubuntu1) over (1.8.4-3ubuntu1) ... Setting up libgcrypt20:ppc64el (1.8.4-5ubuntu1) ... (Reading database ... 12750 files and directories currently installed.) Preparing to unpack .../gpgv_2.2.12-1ubuntu3_ppc64el.deb ... Unpacking gpgv (2.2.12-1ubuntu3) over (2.2.8-3ubuntu1) ... Setting up gpgv (2.2.12-1ubuntu3) ... (Reading database ... 12750 files and directories currently installed.) Preparing to unpack .../archives/apt_1.9.3_ppc64el.deb ... Unpacking apt (1.9.3) over (1.8.0~alpha2ubuntu1) ... Setting up apt (1.9.3) ... Installing new version of config file /etc/apt/apt.conf.d/01autoremove ... (Reading database ... 12774 files and directories currently installed.) Preparing to unpack .../libext2fs2_1.45.2-1ubuntu1_ppc64el.deb ... Unpacking libext2fs2:ppc64el (1.45.2-1ubuntu1) over (1.44.4-2ubuntu1) ... Setting up libext2fs2:ppc64el (1.45.2-1ubuntu1) ... (Reading database ... 12773 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.45.2-1ubuntu1_ppc64el.deb ... Unpacking e2fsprogs (1.45.2-1ubuntu1) over (1.44.4-2ubuntu1) ... Setting up libapparmor1:ppc64el (2.13.2-9ubuntu7) ... Setting up libcap2:ppc64el (1:2.25-2) ... Setting up libargon2-1:ppc64el (0~20171227-0.2) ... Setting up libdevmapper1.02.1:ppc64el (2:1.02.155-2ubuntu5) ... Setting up libjson-c4:ppc64el (0.13.1+dfsg-4) ... Setting up libssl1.1:ppc64el (1.1.1c-1ubuntu4) ... Setting up libcryptsetup12:ppc64el (2:2.2.0-1ubuntu2) ... Setting up libidn11:ppc64el (1.33-2.2ubuntu2) ... Setting up libkmod2:ppc64el (26-1ubuntu1) ... Setting up mount (2.34-0.1ubuntu2) ... Setting up systemd (240-6ubuntu9) ... Installing new version of config file /etc/dhcp/dhclient-enter-hooks.d/resolved ... Installing new version of config file /etc/systemd/journald.conf ... Installing new version of config file /etc/systemd/resolved.conf ... Installing new version of config file /etc/systemd/system.conf ... Setting up systemd-sysv (240-6ubuntu9) ... (Reading database ... 12789 files and directories currently installed.) Preparing to unpack .../archives/init_1.57_ppc64el.deb ... Unpacking init (1.57) over (1.56) ... Preparing to unpack .../libattr1_1%3a2.4.48-4_ppc64el.deb ... Unpacking libattr1:ppc64el (1:2.4.48-4) over (1:2.4.47-2build1) ... Setting up libattr1:ppc64el (1:2.4.48-4) ... (Reading database ... 12790 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.3.1-5ubuntu1_all.deb ... Unpacking libpam-runtime (1.3.1-5ubuntu1) over (1.1.8-3.6ubuntu2) ... Setting up libpam-runtime (1.3.1-5ubuntu1) ... (Reading database ... 12790 files and directories currently installed.) Preparing to unpack .../libpcre3_2%3a8.39-12_ppc64el.deb ... Unpacking libpcre3:ppc64el (2:8.39-12) over (2:8.39-11) ... Setting up libpcre3:ppc64el (2:8.39-12) ... (Reading database ... 12790 files and directories currently installed.) Preparing to unpack .../00-libcom-err2_1.45.2-1ubuntu1_ppc64el.deb ... Unpacking libcom-err2:ppc64el (1.45.2-1ubuntu1) over (1.44.4-2ubuntu1) ... Preparing to unpack .../01-libprocps7_2%3a3.3.15-2ubuntu3_ppc64el.deb ... Unpacking libprocps7:ppc64el (2:3.3.15-2ubuntu3) over (2:3.3.15-2ubuntu1) ... Preparing to unpack .../02-libss2_1.45.2-1ubuntu1_ppc64el.deb ... Unpacking libss2:ppc64el (1.45.2-1ubuntu1) over (1.44.4-2ubuntu1) ... Preparing to unpack .../03-procps_2%3a3.3.15-2ubuntu3_ppc64el.deb ... Unpacking procps (2:3.3.15-2ubuntu3) over (2:3.3.15-2ubuntu1) ... Preparing to unpack .../04-openssl_1.1.1c-1ubuntu4_ppc64el.deb ... Unpacking openssl (1.1.1c-1ubuntu4) over (1.1.1a-1ubuntu2) ... Preparing to unpack .../05-ca-certificates_20190110_all.deb ... Unpacking ca-certificates (20190110) over (20180409) ... Preparing to unpack .../06-dmsetup_2%3a1.02.155-2ubuntu5_ppc64el.deb ... Unpacking dmsetup (2:1.02.155-2ubuntu5) over (2:1.02.145-4.1ubuntu4) ... Preparing to unpack .../07-readline-common_8.0-2_all.deb ... Unpacking readline-common (8.0-2) over (7.0-5) ... Selecting previously unselected package libreadline8:ppc64el. Preparing to unpack .../08-libreadline8_8.0-2_ppc64el.deb ... Unpacking libreadline8:ppc64el (8.0-2) ... Preparing to unpack .../09-libslang2_2.3.2-4_ppc64el.deb ... Unpacking libslang2:ppc64el (2.3.2-4) over (2.3.2-1ubuntu1) ... Preparing to unpack .../10-libsqlite3-0_3.29.0-2_ppc64el.deb ... Unpacking libsqlite3-0:ppc64el (3.29.0-2) over (3.26.0-2) ... Preparing to unpack .../11-tzdata_2019b-2_all.deb ... Unpacking tzdata (2019b-2) over (2018g-1) ... Preparing to unpack .../12-xz-utils_5.2.4-1_ppc64el.deb ... Unpacking xz-utils (5.2.4-1) over (5.2.2-1.3) ... Preparing to unpack .../13-libpng16-16_1.6.37-1_ppc64el.deb ... Unpacking libpng16-16:ppc64el (1.6.37-1) over (1.6.34-2) ... Preparing to unpack .../14-multiarch-support_2.29-0ubuntu3_ppc64el.deb ... Unpacking multiarch-support (2.29-0ubuntu3) over (2.28-0ubuntu1) ... Preparing to unpack .../15-advancecomp_2.1-2.1_ppc64el.deb ... Unpacking advancecomp (2.1-2.1) over (2.1-1) ... Preparing to unpack .../16-binutils-powerpc64le-linux-gnu_2.32.51.20190821-1ubuntu1_ppc64el.deb ... Unpacking binutils-powerpc64le-linux-gnu (2.32.51.20190821-1ubuntu1) over (2.31.1-10ubuntu1) ... Preparing to unpack .../17-libbinutils_2.32.51.20190821-1ubuntu1_ppc64el.deb ... Unpacking libbinutils:ppc64el (2.32.51.20190821-1ubuntu1) over (2.31.1-10ubuntu1) ... Preparing to unpack .../18-binutils_2.32.51.20190821-1ubuntu1_ppc64el.deb ... Unpacking binutils (2.32.51.20190821-1ubuntu1) over (2.31.1-10ubuntu1) ... Preparing to unpack .../19-binutils-common_2.32.51.20190821-1ubuntu1_ppc64el.deb ... Unpacking binutils-common:ppc64el (2.32.51.20190821-1ubuntu1) over (2.31.1-10ubuntu1) ... Selecting previously unselected package libisl21:ppc64el. Preparing to unpack .../20-libisl21_0.21-1_ppc64el.deb ... Unpacking libisl21:ppc64el (0.21-1) ... Preparing to unpack .../21-libmpfr6_4.0.2-1_ppc64el.deb ... Unpacking libmpfr6:ppc64el (4.0.2-1) over (4.0.1-2) ... Selecting previously unselected package cpp-9. Preparing to unpack .../22-cpp-9_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking cpp-9 (9.2.1-3ubuntu1) ... Preparing to unpack .../23-g++_4%3a9.1.0-1ubuntu4_ppc64el.deb ... Unpacking g++ (4:9.1.0-1ubuntu4) over (4:8.2.0-2ubuntu2) ... Preparing to unpack .../24-gcc_4%3a9.1.0-1ubuntu4_ppc64el.deb ... Unpacking gcc (4:9.1.0-1ubuntu4) over (4:8.2.0-2ubuntu2) ... Preparing to unpack .../25-cpp_4%3a9.1.0-1ubuntu4_ppc64el.deb ... Unpacking cpp (4:9.1.0-1ubuntu4) over (4:8.2.0-2ubuntu2) ... Preparing to unpack .../26-libcc1-0_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking libcc1-0:ppc64el (9.2.1-3ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../27-libgomp1_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking libgomp1:ppc64el (9.2.1-3ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../28-libitm1_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking libitm1:ppc64el (9.2.1-3ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../29-libatomic1_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking libatomic1:ppc64el (9.2.1-3ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../30-libasan5_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking libasan5:ppc64el (9.2.1-3ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../31-liblsan0_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking liblsan0:ppc64el (9.2.1-3ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../32-libtsan0_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking libtsan0:ppc64el (9.2.1-3ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../33-libubsan1_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking libubsan1:ppc64el (9.2.1-3ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../34-libquadmath0_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking libquadmath0:ppc64el (9.2.1-3ubuntu1) over (8.2.0-12ubuntu1) ... Selecting previously unselected package libgcc-9-dev:ppc64el. Preparing to unpack .../35-libgcc-9-dev_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking libgcc-9-dev:ppc64el (9.2.1-3ubuntu1) ... Selecting previously unselected package gcc-9. Preparing to unpack .../36-gcc-9_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking gcc-9 (9.2.1-3ubuntu1) ... Selecting previously unselected package libstdc++-9-dev:ppc64el. Preparing to unpack .../37-libstdc++-9-dev_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking libstdc++-9-dev:ppc64el (9.2.1-3ubuntu1) ... Selecting previously unselected package g++-9. Preparing to unpack .../38-g++-9_9.2.1-3ubuntu1_ppc64el.deb ... Unpacking g++-9 (9.2.1-3ubuntu1) ... Preparing to unpack .../39-dpkg-dev_1.19.7ubuntu1_all.deb ... Unpacking dpkg-dev (1.19.7ubuntu1) over (1.19.2ubuntu1) ... Preparing to unpack .../40-libdpkg-perl_1.19.7ubuntu1_all.deb ... Unpacking libdpkg-perl (1.19.7ubuntu1) over (1.19.2ubuntu1) ... Preparing to unpack .../41-patch_2.7.6-6_ppc64el.deb ... Unpacking patch (2.7.6-6) over (2.7.6-3) ... Preparing to unpack .../42-build-essential_12.6ubuntu2_ppc64el.deb ... Unpacking build-essential (12.6ubuntu2) over (12.5ubuntu2) ... Preparing to unpack .../43-g++-8_8.3.0-21ubuntu1_ppc64el.deb ... Unpacking g++-8 (8.3.0-21ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../44-gcc-8_8.3.0-21ubuntu1_ppc64el.deb ... Unpacking gcc-8 (8.3.0-21ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../45-libstdc++-8-dev_8.3.0-21ubuntu1_ppc64el.deb ... Unpacking libstdc++-8-dev:ppc64el (8.3.0-21ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../46-libgcc-8-dev_8.3.0-21ubuntu1_ppc64el.deb ... Unpacking libgcc-8-dev:ppc64el (8.3.0-21ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../47-cpp-8_8.3.0-21ubuntu1_ppc64el.deb ... Unpacking cpp-8 (8.3.0-21ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../48-gcc-8-base_8.3.0-21ubuntu1_ppc64el.deb ... Unpacking gcc-8-base:ppc64el (8.3.0-21ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../49-e2fslibs_1.45.2-1ubuntu1_ppc64el.deb ... Unpacking e2fslibs:ppc64el (1.45.2-1ubuntu1) over (1.44.4-2ubuntu1) ... Preparing to unpack .../50-libassuan0_2.5.3-7ubuntu1_ppc64el.deb ... Unpacking libassuan0:ppc64el (2.5.3-7ubuntu1) over (2.5.1-2) ... Preparing to unpack .../51-pinentry-curses_1.1.0-3_ppc64el.deb ... Unpacking pinentry-curses (1.1.0-3) over (1.1.0-1build2) ... Preparing to unpack .../52-gpg_2.2.12-1ubuntu3_ppc64el.deb ... Unpacking gpg (2.2.12-1ubuntu3) over (2.2.8-3ubuntu1) ... Preparing to unpack .../53-gpgconf_2.2.12-1ubuntu3_ppc64el.deb ... Unpacking gpgconf (2.2.12-1ubuntu3) over (2.2.8-3ubuntu1) ... Preparing to unpack .../54-gpg-agent_2.2.12-1ubuntu3_ppc64el.deb ... Unpacking gpg-agent (2.2.12-1ubuntu3) over (2.2.8-3ubuntu1) ... Preparing to unpack .../55-libcomerr2_1.45.2-1ubuntu1_ppc64el.deb ... Unpacking libcomerr2:ppc64el (1.45.2-1ubuntu1) over (1.44.4-2ubuntu1) ... Preparing to unpack .../56-liblockfile-bin_1.15-1_ppc64el.deb ... Unpacking liblockfile-bin (1.15-1) over (1.14-1.1) ... Preparing to unpack .../57-liblockfile1_1.15-1_ppc64el.deb ... Unpacking liblockfile1:ppc64el (1.15-1) over (1.14-1.1) ... Preparing to unpack .../58-optipng_0.7.7-1_ppc64el.deb ... Unpacking optipng (0.7.7-1) over (0.7.6-1.1) ... Preparing to unpack .../59-pkgbinarymangler_144_all.deb ... Unpacking pkgbinarymangler (144) over (143) ... Setting up perl-modules-5.28 (5.28.1-6) ... Setting up libisl21:ppc64el (0.21-1) ... Setting up lsb-base (11.0.1ubuntu1) ... Setting up liblockfile-bin (1.15-1) ... Setting up e2fslibs:ppc64el (1.45.2-1ubuntu1) ... Setting up init (1.57) ... Setting up libprocps7:ppc64el (2:3.3.15-2ubuntu3) ... Setting up libsqlite3-0:ppc64el (3.29.0-2) ... Setting up binutils-common:ppc64el (2.32.51.20190821-1ubuntu1) ... Setting up linux-libc-dev:ppc64el (5.2.0-13.14) ... Setting up libcom-err2:ppc64el (1.45.2-1ubuntu1) ... Setting up libassuan0:ppc64el (2.5.3-7ubuntu1) ... Setting up libgomp1:ppc64el (9.2.1-3ubuntu1) ... Setting up bzip2 (1.0.6-9.2) ... Setting up tzdata (2019b-2) ... Current default time zone: 'Etc/UTC' Local time is now: Thu Aug 22 10:04:01 UTC 2019. Universal Time is now: Thu Aug 22 10:04:01 UTC 2019. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up libasan5:ppc64el (9.2.1-3ubuntu1) ... Setting up libslang2:ppc64el (2.3.2-4) ... Setting up multiarch-support (2.29-0ubuntu3) ... Setting up libmpfr6:ppc64el (4.0.2-1) ... Setting up libncurses6:ppc64el (6.1+20190803-1ubuntu1) ... Setting up xz-utils (5.2.4-1) ... Setting up libquadmath0:ppc64el (9.2.1-3ubuntu1) ... Setting up libpng16-16:ppc64el (1.6.37-1) ... Setting up libatomic1:ppc64el (9.2.1-3ubuntu1) ... Setting up patch (2.7.6-6) ... Setting up libss2:ppc64el (1.45.2-1ubuntu1) ... Setting up gcc-8-base:ppc64el (8.3.0-21ubuntu1) ... Setting up libubsan1:ppc64el (9.2.1-3ubuntu1) ... Setting up advancecomp (2.1-2.1) ... Setting up dmsetup (2:1.02.155-2ubuntu5) ... Setting up libcomerr2:ppc64el (1.45.2-1ubuntu1) ... Setting up procps (2:3.3.15-2ubuntu3) ... Installing new version of config file /etc/sysctl.d/10-network-security.conf ... Setting up cpp-9 (9.2.1-3ubuntu1) ... Setting up liblockfile1:ppc64el (1.15-1) ... Setting up libbinutils:ppc64el (2.32.51.20190821-1ubuntu1) ... Setting up cpp-8 (8.3.0-21ubuntu1) ... Setting up libc-dev-bin (2.29-0ubuntu3) ... Setting up openssl (1.1.1c-1ubuntu4) ... Installing new version of config file /etc/ssl/openssl.cnf ... Setting up readline-common (8.0-2) ... Setting up libcc1-0:ppc64el (9.2.1-3ubuntu1) ... Setting up liblsan0:ppc64el (9.2.1-3ubuntu1) ... Setting up libitm1:ppc64el (9.2.1-3ubuntu1) ... Setting up libgdbm6:ppc64el (1.18.1-4) ... Setting up libtsan0:ppc64el (9.2.1-3ubuntu1) ... Setting up pinentry-curses (1.1.0-3) ... Setting up libreadline8:ppc64el (8.0-2) ... Setting up e2fsprogs (1.45.2-1ubuntu1) ... Installing new version of config file /etc/mke2fs.conf ... Created symlink /etc/systemd/system/timers.target.wants/e2scrub_all.timer -> /lib/systemd/system/e2scrub_all.timer. Created symlink /etc/systemd/system/default.target.wants/e2scrub_reap.service -> /lib/systemd/system/e2scrub_reap.service. Setting up libgcc-9-dev:ppc64el (9.2.1-3ubuntu1) ... Setting up ca-certificates (20190110) ... Updating certificates in /etc/ssl/certs... 2 added, 7 removed; done. Setting up optipng (0.7.7-1) ... Setting up libgdbm-compat4:ppc64el (1.18.1-4) ... Setting up libgcc-8-dev:ppc64el (8.3.0-21ubuntu1) ... Setting up libperl5.28:ppc64el (5.28.1-6) ... Setting up cpp (4:9.1.0-1ubuntu4) ... Setting up gpgconf (2.2.12-1ubuntu3) ... Setting up libc6-dev:ppc64el (2.29-0ubuntu3) ... Setting up binutils-powerpc64le-linux-gnu (2.32.51.20190821-1ubuntu1) ... Setting up gpg (2.2.12-1ubuntu3) ... Setting up libstdc++-8-dev:ppc64el (8.3.0-21ubuntu1) ... Setting up gpg-agent (2.2.12-1ubuntu3) ... Setting up libstdc++-9-dev:ppc64el (9.2.1-3ubuntu1) ... Setting up pkgbinarymangler (144) ... Setting up binutils (2.32.51.20190821-1ubuntu1) ... Setting up perl (5.28.1-6) ... Setting up libdpkg-perl (1.19.7ubuntu1) ... Setting up gcc-9 (9.2.1-3ubuntu1) ... Setting up gcc-8 (8.3.0-21ubuntu1) ... Setting up gcc (4:9.1.0-1ubuntu4) ... Setting up dpkg-dev (1.19.7ubuntu1) ... Setting up g++-9 (9.2.1-3ubuntu1) ... Setting up g++ (4:9.1.0-1ubuntu4) ... Setting up g++-8 (8.3.0-21ubuntu1) ... Setting up build-essential (12.6ubuntu2) ... Processing triggers for systemd (240-6ubuntu9) ... Processing triggers for libc-bin (2.29-0ubuntu3) ... Processing triggers for ca-certificates (20190110) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-17453373 ppc64el eoan-proposed -c chroot:build-PACKAGEBUILD-17453373 --arch=ppc64el --dist=eoan-proposed --nolog menhir_20190626-5ubuntu1.dsc Initiating build PACKAGEBUILD-17453373 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-159-generic #187-Ubuntu SMP Thu Aug 1 16:28:09 UTC 2019 ppc64le sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on bos02-ppc64el-011.buildd +==============================================================================+ | menhir 20190626-5ubuntu1 (ppc64el) 22 Aug 2019 10:04 | +==============================================================================+ Package: menhir Version: 20190626-5ubuntu1 Source Version: 20190626-5ubuntu1 Distribution: eoan-proposed Machine Architecture: ppc64el Host Architecture: ppc64el Build Architecture: ppc64el I: NOTICE: Log filtering will replace 'build/menhir-i6VqcH/menhir-20190626' with '<>' I: NOTICE: Log filtering will replace 'build/menhir-i6VqcH' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-17453373/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- menhir_20190626-5ubuntu1.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-8jiSKj/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-8jiSKj/apt_archive ./ InRelease Get:2 copy:/<>/resolver-8jiSKj/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-8jiSKj/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-8jiSKj/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-8jiSKj/apt_archive ./ Packages [529 B] Fetched 2862 B in 0s (213 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install core build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: g++-8 libapt-pkg5.0 libisl19 libjson-c3 libreadline7 libstdc++-8-dev Use 'apt autoremove' to remove them. The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 856 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-8jiSKj/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 ... 13844 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_ppc64el.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-YPo_Td/apt_archive/sbuild-build-depends-menhir-dummy.deb'. Ign:1 copy:/<>/resolver-YPo_Td/apt_archive ./ InRelease Get:2 copy:/<>/resolver-YPo_Td/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-YPo_Td/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-YPo_Td/apt_archive ./ Sources [251 B] Get:5 copy:/<>/resolver-YPo_Td/apt_archive ./ Packages [572 B] Fetched 2942 B in 0s (230 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install menhir build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: g++-8 libapt-pkg5.0 libisl19 libjson-c3 libreadline7 libstdc++-8-dev 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 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 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, 56 newly installed, 0 to remove and 0 not upgraded. Need to get 162 MB of archives. After this operation, 767 MB of additional disk space will be used. Get:1 copy:/<>/resolver-YPo_Td/apt_archive ./ sbuild-build-depends-menhir-dummy 0.invalid.0 [896 B] Get:2 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libpython3.7-minimal ppc64el 3.7.4-3 [549 kB] Get:3 http://ftpmaster.internal/ubuntu eoan/main ppc64el libexpat1 ppc64el 2.2.7-1 [77.3 kB] Get:4 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el python3.7-minimal ppc64el 3.7.4-3 [2025 kB] Get:5 http://ftpmaster.internal/ubuntu eoan/main ppc64el python3-minimal ppc64el 3.7.3-1 [23.4 kB] Get:6 http://ftpmaster.internal/ubuntu eoan/main ppc64el mime-support all 3.63ubuntu1 [30.8 kB] Get:7 http://ftpmaster.internal/ubuntu eoan/main ppc64el libmpdec2 ppc64el 2.4.2-2 [86.8 kB] Get:8 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libpython3.7-stdlib ppc64el 3.7.4-3 [1783 kB] Get:9 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el python3.7 ppc64el 3.7.4-3 [294 kB] Get:10 http://ftpmaster.internal/ubuntu eoan/main ppc64el libpython3-stdlib ppc64el 3.7.3-1 [6980 B] Get:11 http://ftpmaster.internal/ubuntu eoan/main ppc64el python3 ppc64el 3.7.3-1 [47.2 kB] Get:12 http://ftpmaster.internal/ubuntu eoan/main ppc64el libbsd0 ppc64el 0.10.0-1 [55.1 kB] Get:13 http://ftpmaster.internal/ubuntu eoan/main ppc64el bsdmainutils ppc64el 11.1.2ubuntu2 [185 kB] Get:14 http://ftpmaster.internal/ubuntu eoan/main ppc64el libuchardet0 ppc64el 0.0.6-3 [67.7 kB] Get:15 http://ftpmaster.internal/ubuntu eoan/main ppc64el groff-base ppc64el 1.22.4-3 [936 kB] Get:16 http://ftpmaster.internal/ubuntu eoan/main ppc64el libpipeline1 ppc64el 1.5.1-2 [27.7 kB] Get:17 http://ftpmaster.internal/ubuntu eoan/main ppc64el man-db ppc64el 2.8.6.1-1 [1142 kB] Get:18 http://ftpmaster.internal/ubuntu eoan/main ppc64el libmagic-mgc ppc64el 1:5.37-5 [209 kB] Get:19 http://ftpmaster.internal/ubuntu eoan/main ppc64el libmagic1 ppc64el 1:5.37-5 [91.9 kB] Get:20 http://ftpmaster.internal/ubuntu eoan/main ppc64el file ppc64el 1:5.37-5 [24.0 kB] Get:21 http://ftpmaster.internal/ubuntu eoan/main ppc64el libelf1 ppc64el 0.176-1.1 [51.6 kB] Get:22 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el libglib2.0-0 ppc64el 2.61.2-2 [1361 kB] Get:23 http://ftpmaster.internal/ubuntu eoan/main ppc64el libicu63 ppc64el 63.2-2 [8505 kB] Get:24 http://ftpmaster.internal/ubuntu eoan/main ppc64el libxml2 ppc64el 2.9.4+dfsg1-7ubuntu3 [666 kB] Get:25 http://ftpmaster.internal/ubuntu eoan/main ppc64el gettext-base ppc64el 0.19.8.1-9 [52.8 kB] Get:26 http://ftpmaster.internal/ubuntu eoan/main ppc64el libsigsegv2 ppc64el 2.12-2 [13.9 kB] Get:27 http://ftpmaster.internal/ubuntu eoan/main ppc64el m4 ppc64el 1.4.18-2 [203 kB] Get:28 http://ftpmaster.internal/ubuntu eoan/main ppc64el autoconf all 2.69-11 [322 kB] Get:29 http://ftpmaster.internal/ubuntu eoan/main ppc64el autotools-dev all 20180224.1 [39.6 kB] Get:30 http://ftpmaster.internal/ubuntu eoan/main ppc64el automake all 1:1.16.1-4ubuntu3 [522 kB] Get:31 http://ftpmaster.internal/ubuntu eoan/main ppc64el autopoint all 0.19.8.1-9 [412 kB] Get:32 http://ftpmaster.internal/ubuntu eoan-proposed/universe ppc64el coq-theories ppc64el 8.9.1-1 [20.3 MB] Get:33 http://ftpmaster.internal/ubuntu eoan-proposed/universe ppc64el ocaml-base-nox ppc64el 4.05.0-12ubuntu3 [559 kB] Get:34 http://ftpmaster.internal/ubuntu eoan-proposed/universe ppc64el libcoq-ocaml ppc64el 8.9.1-1 [5578 kB] Get:35 http://ftpmaster.internal/ubuntu eoan/main ppc64el libncurses-dev ppc64el 6.1+20190803-1ubuntu1 [411 kB] Get:36 http://ftpmaster.internal/ubuntu eoan/main ppc64el libncurses5-dev ppc64el 6.1+20190803-1ubuntu1 [996 B] Get:37 http://ftpmaster.internal/ubuntu eoan-proposed/universe ppc64el ocaml-compiler-libs ppc64el 4.05.0-12ubuntu3 [18.9 MB] Get:38 http://ftpmaster.internal/ubuntu eoan-proposed/universe ppc64el ocaml-interp ppc64el 4.05.0-12ubuntu3 [3466 kB] Get:39 http://ftpmaster.internal/ubuntu eoan-proposed/universe ppc64el ocaml-nox ppc64el 4.05.0-12ubuntu3 [28.5 MB] Get:40 http://ftpmaster.internal/ubuntu eoan-proposed/universe ppc64el libfindlib-ocaml ppc64el 1.8.1-1build1 [171 kB] Get:41 http://ftpmaster.internal/ubuntu eoan-proposed/universe ppc64el ocaml-findlib ppc64el 1.8.1-1build1 [414 kB] Get:42 http://ftpmaster.internal/ubuntu eoan-proposed/universe ppc64el coq ppc64el 8.9.1-1 [60.5 MB] Get:43 http://ftpmaster.internal/ubuntu eoan/main ppc64el libtool all 2.4.6-10 [194 kB] Get:44 http://ftpmaster.internal/ubuntu eoan/main ppc64el dh-autoreconf all 19 [16.1 kB] Get:45 http://ftpmaster.internal/ubuntu eoan/main ppc64el libarchive-zip-perl all 1.64-1 [84.9 kB] Get:46 http://ftpmaster.internal/ubuntu eoan/main ppc64el libsub-override-perl all 0.09-2 [9532 B] Get:47 http://ftpmaster.internal/ubuntu eoan/main ppc64el libfile-stripnondeterminism-perl all 1.5.0-1 [15.7 kB] Get:48 http://ftpmaster.internal/ubuntu eoan/main ppc64el dh-strip-nondeterminism all 1.5.0-1 [5204 B] Get:49 http://ftpmaster.internal/ubuntu eoan/main ppc64el dwz ppc64el 0.13-1 [87.4 kB] Get:50 http://ftpmaster.internal/ubuntu eoan/main ppc64el libcroco3 ppc64el 0.6.13-1 [92.1 kB] Get:51 http://ftpmaster.internal/ubuntu eoan/main ppc64el gettext ppc64el 0.19.8.1-9 [978 kB] Get:52 http://ftpmaster.internal/ubuntu eoan/main ppc64el intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:53 http://ftpmaster.internal/ubuntu eoan/main ppc64el po-debconf all 1.0.21 [233 kB] Get:54 http://ftpmaster.internal/ubuntu eoan-proposed/main ppc64el debhelper all 12.4ubuntu1 [910 kB] Get:55 http://ftpmaster.internal/ubuntu eoan/universe ppc64el ocamlbuild ppc64el 0.14.0-1build1 [870 kB] Get:56 http://ftpmaster.internal/ubuntu eoan/universe ppc64el dh-ocaml all 1.1.0 [79.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 162 MB in 2s (74.2 MB/s) Selecting previously unselected package libpython3.7-minimal:ppc64el. (Reading database ... 13844 files and directories currently installed.) Preparing to unpack .../libpython3.7-minimal_3.7.4-3_ppc64el.deb ... Unpacking libpython3.7-minimal:ppc64el (3.7.4-3) ... Selecting previously unselected package libexpat1:ppc64el. Preparing to unpack .../libexpat1_2.2.7-1_ppc64el.deb ... Unpacking libexpat1:ppc64el (2.2.7-1) ... Selecting previously unselected package python3.7-minimal. Preparing to unpack .../python3.7-minimal_3.7.4-3_ppc64el.deb ... Unpacking python3.7-minimal (3.7.4-3) ... Setting up libpython3.7-minimal:ppc64el (3.7.4-3) ... Setting up libexpat1:ppc64el (2.2.7-1) ... Setting up python3.7-minimal (3.7.4-3) ... Selecting previously unselected package python3-minimal. (Reading database ... 14093 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.7.3-1_ppc64el.deb ... Unpacking python3-minimal (3.7.3-1) ... Selecting previously unselected package mime-support. Preparing to unpack .../1-mime-support_3.63ubuntu1_all.deb ... Unpacking mime-support (3.63ubuntu1) ... Selecting previously unselected package libmpdec2:ppc64el. Preparing to unpack .../2-libmpdec2_2.4.2-2_ppc64el.deb ... Unpacking libmpdec2:ppc64el (2.4.2-2) ... Selecting previously unselected package libpython3.7-stdlib:ppc64el. Preparing to unpack .../3-libpython3.7-stdlib_3.7.4-3_ppc64el.deb ... Unpacking libpython3.7-stdlib:ppc64el (3.7.4-3) ... Selecting previously unselected package python3.7. Preparing to unpack .../4-python3.7_3.7.4-3_ppc64el.deb ... Unpacking python3.7 (3.7.4-3) ... Selecting previously unselected package libpython3-stdlib:ppc64el. Preparing to unpack .../5-libpython3-stdlib_3.7.3-1_ppc64el.deb ... Unpacking libpython3-stdlib:ppc64el (3.7.3-1) ... Setting up python3-minimal (3.7.3-1) ... Selecting previously unselected package python3. (Reading database ... 14531 files and directories currently installed.) Preparing to unpack .../00-python3_3.7.3-1_ppc64el.deb ... Unpacking python3 (3.7.3-1) ... Selecting previously unselected package libbsd0:ppc64el. Preparing to unpack .../01-libbsd0_0.10.0-1_ppc64el.deb ... Unpacking libbsd0:ppc64el (0.10.0-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../02-bsdmainutils_11.1.2ubuntu2_ppc64el.deb ... Unpacking bsdmainutils (11.1.2ubuntu2) ... Selecting previously unselected package libuchardet0:ppc64el. Preparing to unpack .../03-libuchardet0_0.0.6-3_ppc64el.deb ... Unpacking libuchardet0:ppc64el (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../04-groff-base_1.22.4-3_ppc64el.deb ... Unpacking groff-base (1.22.4-3) ... Selecting previously unselected package libpipeline1:ppc64el. Preparing to unpack .../05-libpipeline1_1.5.1-2_ppc64el.deb ... Unpacking libpipeline1:ppc64el (1.5.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../06-man-db_2.8.6.1-1_ppc64el.deb ... Unpacking man-db (2.8.6.1-1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../07-libmagic-mgc_1%3a5.37-5_ppc64el.deb ... Unpacking libmagic-mgc (1:5.37-5) ... Selecting previously unselected package libmagic1:ppc64el. Preparing to unpack .../08-libmagic1_1%3a5.37-5_ppc64el.deb ... Unpacking libmagic1:ppc64el (1:5.37-5) ... Selecting previously unselected package file. Preparing to unpack .../09-file_1%3a5.37-5_ppc64el.deb ... Unpacking file (1:5.37-5) ... Selecting previously unselected package libelf1:ppc64el. Preparing to unpack .../10-libelf1_0.176-1.1_ppc64el.deb ... Unpacking libelf1:ppc64el (0.176-1.1) ... Selecting previously unselected package libglib2.0-0:ppc64el. Preparing to unpack .../11-libglib2.0-0_2.61.2-2_ppc64el.deb ... Unpacking libglib2.0-0:ppc64el (2.61.2-2) ... Selecting previously unselected package libicu63:ppc64el. Preparing to unpack .../12-libicu63_63.2-2_ppc64el.deb ... Unpacking libicu63:ppc64el (63.2-2) ... Selecting previously unselected package libxml2:ppc64el. Preparing to unpack .../13-libxml2_2.9.4+dfsg1-7ubuntu3_ppc64el.deb ... Unpacking libxml2:ppc64el (2.9.4+dfsg1-7ubuntu3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../14-gettext-base_0.19.8.1-9_ppc64el.deb ... Unpacking gettext-base (0.19.8.1-9) ... Selecting previously unselected package libsigsegv2:ppc64el. Preparing to unpack .../15-libsigsegv2_2.12-2_ppc64el.deb ... Unpacking libsigsegv2:ppc64el (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../16-m4_1.4.18-2_ppc64el.deb ... Unpacking m4 (1.4.18-2) ... Selecting previously unselected package autoconf. Preparing to unpack .../17-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... 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_ppc64el.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_ppc64el.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_ppc64el.deb ... Unpacking libcoq-ocaml (8.9.1-1) ... Selecting previously unselected package libncurses-dev:ppc64el. Preparing to unpack .../24-libncurses-dev_6.1+20190803-1ubuntu1_ppc64el.deb ... Unpacking libncurses-dev:ppc64el (6.1+20190803-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:ppc64el. Preparing to unpack .../25-libncurses5-dev_6.1+20190803-1ubuntu1_ppc64el.deb ... Unpacking libncurses5-dev:ppc64el (6.1+20190803-1ubuntu1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../26-ocaml-compiler-libs_4.05.0-12ubuntu3_ppc64el.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_ppc64el.deb ... Unpacking ocaml-interp (4.05.0-12ubuntu3) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../28-ocaml-nox_4.05.0-12ubuntu3_ppc64el.deb ... Unpacking ocaml-nox (4.05.0-12ubuntu3) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../29-libfindlib-ocaml_1.8.1-1build1_ppc64el.deb ... Unpacking libfindlib-ocaml (1.8.1-1build1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../30-ocaml-findlib_1.8.1-1build1_ppc64el.deb ... Unpacking ocaml-findlib (1.8.1-1build1) ... Selecting previously unselected package coq. Preparing to unpack .../31-coq_8.9.1-1_ppc64el.deb ... Unpacking coq (8.9.1-1) ... Selecting previously unselected package libtool. Preparing to unpack .../32-libtool_2.4.6-10_all.deb ... Unpacking libtool (2.4.6-10) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../33-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../34-libarchive-zip-perl_1.64-1_all.deb ... Unpacking libarchive-zip-perl (1.64-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../35-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 .../36-libfile-stripnondeterminism-perl_1.5.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.5.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../37-dh-strip-nondeterminism_1.5.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.5.0-1) ... Selecting previously unselected package dwz. Preparing to unpack .../38-dwz_0.13-1_ppc64el.deb ... Unpacking dwz (0.13-1) ... Selecting previously unselected package libcroco3:ppc64el. Preparing to unpack .../39-libcroco3_0.6.13-1_ppc64el.deb ... Unpacking libcroco3:ppc64el (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../40-gettext_0.19.8.1-9_ppc64el.deb ... Unpacking gettext (0.19.8.1-9) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../41-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 .../42-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../43-debhelper_12.4ubuntu1_all.deb ... Unpacking debhelper (12.4ubuntu1) ... Selecting previously unselected package ocamlbuild. Preparing to unpack .../44-ocamlbuild_0.14.0-1build1_ppc64el.deb ... Unpacking ocamlbuild (0.14.0-1build1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../45-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 .../46-sbuild-build-depends-menhir-dummy_0.invalid.0_ppc64el.deb ... Unpacking sbuild-build-depends-menhir-dummy (0.invalid.0) ... Setting up libpipeline1:ppc64el (1.5.1-2) ... Setting up libncurses-dev:ppc64el (6.1+20190803-1ubuntu1) ... Setting up mime-support (3.63ubuntu1) ... Setting up libmagic-mgc (1:5.37-5) ... Setting up libarchive-zip-perl (1.64-1) ... Setting up libglib2.0-0:ppc64el (2.61.2-2) ... No schema files found: doing nothing. Setting up dh-ocaml (1.1.0) ... Setting up libmagic1:ppc64el (1:5.37-5) ... Setting up gettext-base (0.19.8.1-9) ... Setting up file (1:5.37-5) ... Setting up libicu63:ppc64el (63.2-2) ... Setting up autotools-dev (20180224.1) ... Setting up libsigsegv2:ppc64el (2.12-2) ... Setting up autopoint (0.19.8.1-9) ... Setting up libuchardet0:ppc64el (0.0.6-3) ... Setting up libncurses5-dev:ppc64el (6.1+20190803-1ubuntu1) ... Setting up libsub-override-perl (0.09-2) ... Setting up ocaml-base-nox (4.05.0-12ubuntu3) ... Setting up libmpdec2:ppc64el (2.4.2-2) ... Setting up libbsd0:ppc64el (0.10.0-1) ... Setting up libelf1:ppc64el (0.176-1.1) ... Setting up libxml2:ppc64el (2.9.4+dfsg1-7ubuntu3) ... Setting up libfile-stripnondeterminism-perl (1.5.0-1) ... Setting up libpython3.7-stdlib:ppc64el (3.7.4-3) ... Setting up libtool (2.4.6-10) ... Setting up libfindlib-ocaml (1.8.1-1build1) ... Setting up m4 (1.4.18-2) ... Setting up ocamlbuild (0.14.0-1build1) ... 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-1build1) ... Setting up libcroco3:ppc64el (0.6.13-1) ... Setting up libcoq-ocaml (8.9.1-1) ... Setting up autoconf (2.69-11) ... Setting up dwz (0.13-1) ... Setting up groff-base (1.22.4-3) ... Setting up libpython3-stdlib:ppc64el (3.7.3-1) ... 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.4-3) ... Setting up gettext (0.19.8.1-9) ... Setting up python3 (3.7.3-1) ... Setting up man-db (2.8.6.1-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.4ubuntu1) ... Setting up ocaml-interp (4.05.0-12ubuntu3) ... Setting up dh-strip-nondeterminism (1.5.0-1) ... 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.29-0ubuntu3) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-159-generic ppc64el (ppc64le) Toolchain package versions: binutils_2.32.51.20190821-1ubuntu1 dpkg-dev_1.19.7ubuntu1 g++-8_8.3.0-21ubuntu1 g++-9_9.2.1-3ubuntu1 gcc-8_8.3.0-21ubuntu1 gcc-9_9.2.1-3ubuntu1 libc6-dev_2.29-0ubuntu3 libstdc++-8-dev_8.3.0-21ubuntu1 libstdc++-9-dev_9.2.1-3ubuntu1 libstdc++6_9.2.1-3ubuntu1 linux-libc-dev_5.2.0-13.14 Package versions: adduser_3.118ubuntu1 advancecomp_2.1-2.1 apt_1.9.3 autoconf_2.69-11 automake_1:1.16.1-4ubuntu3 autopoint_0.19.8.1-9 autotools-dev_20180224.1 base-files_10.2ubuntu4 base-passwd_3.5.46 bash_5.0-4ubuntu1 binutils_2.32.51.20190821-1ubuntu1 binutils-common_2.32.51.20190821-1ubuntu1 binutils-powerpc64le-linux-gnu_2.32.51.20190821-1ubuntu1 bsdmainutils_11.1.2ubuntu2 bsdutils_1:2.34-0.1ubuntu2 build-essential_12.6ubuntu2 bzip2_1.0.6-9.2 ca-certificates_20190110 coq_8.9.1-1 coq-theories_8.9.1-1 coreutils_8.30-3ubuntu1 cpp_4:9.1.0-1ubuntu4 cpp-8_8.3.0-21ubuntu1 cpp-9_9.2.1-3ubuntu1 dash_0.5.10.2-6 debconf_1.5.73 debhelper_12.4ubuntu1 debianutils_4.8.6.3 dh-autoreconf_19 dh-ocaml_1.1.0 dh-strip-nondeterminism_1.5.0-1 diffutils_1:3.7-3 dmsetup_2:1.02.155-2ubuntu5 dpkg_1.19.7ubuntu1 dpkg-dev_1.19.7ubuntu1 dwz_0.13-1 e2fslibs_1.45.2-1ubuntu1 e2fsprogs_1.45.2-1ubuntu1 fakeroot_1.23-1 fdisk_2.34-0.1ubuntu2 file_1:5.37-5 findutils_4.6.0+git+20190209-2ubuntu1 g++_4:9.1.0-1ubuntu4 g++-8_8.3.0-21ubuntu1 g++-9_9.2.1-3ubuntu1 gcc_4:9.1.0-1ubuntu4 gcc-8_8.3.0-21ubuntu1 gcc-8-base_8.3.0-21ubuntu1 gcc-9_9.2.1-3ubuntu1 gcc-9-base_9.2.1-3ubuntu1 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-1 groff-base_1.22.4-3 gzip_1.10-0ubuntu2 hostname_3.21 init_1.57 init-system-helpers_1.57 initscripts_2.88dsf-59.3ubuntu2 insserv_1.14.0-5ubuntu3 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-4 libapparmor1_2.13.2-9ubuntu7 libapt-pkg5.0_1.8.0~alpha2ubuntu1 libapt-pkg5.90_1.9.3 libarchive-zip-perl_1.64-1 libargon2-1_0~20171227-0.2 libasan5_9.2.1-3ubuntu1 libassuan0_2.5.3-7ubuntu1 libatomic1_9.2.1-3ubuntu1 libattr1_1:2.4.48-4 libaudit-common_1:2.8.5-2ubuntu1 libaudit1_1:2.8.5-2ubuntu1 libbinutils_2.32.51.20190821-1ubuntu1 libblkid1_2.34-0.1ubuntu2 libbsd0_0.10.0-1 libbz2-1.0_1.0.6-9.2 libc-bin_2.29-0ubuntu3 libc-dev-bin_2.29-0ubuntu3 libc6_2.29-0ubuntu3 libc6-dev_2.29-0ubuntu3 libcap-ng0_0.7.9-2 libcap2_1:2.25-2 libcc1-0_9.2.1-3ubuntu1 libcom-err2_1.45.2-1ubuntu1 libcomerr2_1.45.2-1ubuntu1 libcoq-ocaml_8.9.1-1 libcroco3_0.6.13-1 libcryptsetup12_2:2.2.0-1ubuntu2 libdb5.3_5.3.28+dfsg1-0.6ubuntu1 libdebconfclient0_0.249ubuntu1 libdevmapper1.02.1_2:1.02.155-2ubuntu5 libdpkg-perl_1.19.7ubuntu1 libelf1_0.176-1.1 libexpat1_2.2.7-1 libext2fs2_1.45.2-1ubuntu1 libfakeroot_1.23-1 libfdisk1_2.34-0.1ubuntu2 libffi6_3.2.1-9 libfile-stripnondeterminism-perl_1.5.0-1 libfindlib-ocaml_1.8.1-1build1 libgcc-8-dev_8.3.0-21ubuntu1 libgcc-9-dev_9.2.1-3ubuntu1 libgcc1_1:9.2.1-3ubuntu1 libgcrypt20_1.8.4-5ubuntu1 libgdbm-compat4_1.18.1-4 libgdbm6_1.18.1-4 libglib2.0-0_2.61.2-2 libgmp10_2:6.1.2+dfsg-4 libgnutls30_3.6.9-4 libgomp1_9.2.1-3ubuntu1 libgpg-error0_1.36-7 libhogweed4_3.4.1-1 libicu63_63.2-2 libidn11_1.33-2.2ubuntu2 libidn2-0_2.2.0-1 libip4tc0_1.6.1-2ubuntu3 libisl19_0.20-2 libisl21_0.21-1 libitm1_9.2.1-3ubuntu1 libjson-c3_0.12.1-1.3 libjson-c4_0.13.1+dfsg-4 libkmod2_26-1ubuntu1 liblockfile-bin_1.15-1 liblockfile1_1.15-1 liblsan0_9.2.1-3ubuntu1 liblz4-1_1.9.1-1 liblzma5_5.2.4-1 libmagic-mgc_1:5.37-5 libmagic1_1:5.37-5 libmount1_2.34-0.1ubuntu2 libmpc3_1.1.0-1 libmpdec2_2.4.2-2 libmpfr6_4.0.2-1 libncurses-dev_6.1+20190803-1ubuntu1 libncurses5-dev_6.1+20190803-1ubuntu1 libncurses6_6.1+20190803-1ubuntu1 libncursesw6_6.1+20190803-1ubuntu1 libnettle6_3.4.1-1 libnpth0_1.6-1 libp11-kit0_0.23.16.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-6 libpipeline1_1.5.1-2 libpng16-16_1.6.37-1 libprocps7_2:3.3.15-2ubuntu3 libpython3-stdlib_3.7.3-1 libpython3.7-minimal_3.7.4-3 libpython3.7-stdlib_3.7.4-3 libquadmath0_9.2.1-3ubuntu1 libreadline7_7.0-5 libreadline8_8.0-2 libseccomp2_2.4.1-0ubuntu0.19.10.3 libselinux1_2.9-2 libsemanage-common_2.9-3 libsemanage1_2.9-3 libsepol1_2.9-2 libsigsegv2_2.12-2 libslang2_2.3.2-4 libsmartcols1_2.34-0.1ubuntu2 libsqlite3-0_3.29.0-2 libss2_1.45.2-1ubuntu1 libssl1.1_1.1.1c-1ubuntu4 libstdc++-8-dev_8.3.0-21ubuntu1 libstdc++-9-dev_9.2.1-3ubuntu1 libstdc++6_9.2.1-3ubuntu1 libsub-override-perl_0.09-2 libsystemd0_240-6ubuntu9 libtasn1-6_4.14-2 libtinfo6_6.1+20190803-1ubuntu1 libtool_2.4.6-10 libtsan0_9.2.1-3ubuntu1 libubsan1_9.2.1-3ubuntu1 libuchardet0_0.0.6-3 libudev1_240-6ubuntu9 libunistring2_0.9.10-2 libusb-0.1-4_2:0.1.12-32 libustr-1.0-1_1.0.4-6 libuuid1_2.34-0.1ubuntu2 libxml2_2.9.4+dfsg1-7ubuntu3 libzstd1_1.4.3+dfsg-1 linux-libc-dev_5.2.0-13.14 lockfile-progs_0.1.18 login_1:4.5-1.1ubuntu3 lsb-base_11.0.1ubuntu1 m4_1.4.18-2 make_4.2.1-1.2 man-db_2.8.6.1-1 mawk_1.3.3-17ubuntu3 mime-support_3.63ubuntu1 mount_2.34-0.1ubuntu2 multiarch-support_2.29-0ubuntu3 ncurses-base_6.1+20190803-1ubuntu1 ncurses-bin_6.1+20190803-1ubuntu1 ocaml-base-nox_4.05.0-12ubuntu3 ocaml-compiler-libs_4.05.0-12ubuntu3 ocaml-findlib_1.8.1-1build1 ocaml-interp_4.05.0-12ubuntu3 ocaml-nox_4.05.0-12ubuntu3 ocamlbuild_0.14.0-1build1 openssl_1.1.1c-1ubuntu4 optipng_0.7.7-1 passwd_1:4.5-1.1ubuntu3 patch_2.7.6-6 perl_5.28.1-6 perl-base_5.28.1-6 perl-modules-5.28_5.28.1-6 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.3-1 python3-minimal_3.7.3-1 python3.7_3.7.4-3 python3.7-minimal_3.7.4-3 readline-common_8.0-2 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_240-6ubuntu9 systemd-sysv_240-6ubuntu9 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.95-5ubuntu2 tar_1.30+dfsg-6 tzdata_2019b-2 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 Thu Aug 22 10:02:44 2019 UTC gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./menhir_20190626-5ubuntu1.dsc dpkg-source: info: extracting menhir in menhir-20190626 dpkg-source: info: unpacking menhir_20190626.orig.tar.gz dpkg-source: info: unpacking menhir_20190626-5ubuntu1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying demos-enable-bytecode dpkg-source: info: applying fixup-failure.patch Check disc space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-17453373 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-17453373 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-17453373 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 20190626-5ubuntu1 dpkg-buildpackage: info: source distribution eoan dpkg-source --before-build . dpkg-buildpackage: info: host architecture ppc64el 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.dirs debian/libmenhir-ocaml-dev.install dh_clean rm -f debian/debhelper-build-stamp rm -rf debian/.debhelper/ rm -f -- debian/menhir.substvars debian/libmenhir-ocaml-dev.substvars debian/menhir-doc.substvars debian/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.dirs.in > debian/libmenhir-ocaml-dev.dirs sed -e 's%@OCamlABI@%4.05.0%g' -e 's%@OCamlStdlibDir@%/usr/lib/ocaml%g' -e 's%@OCamlDllDir@%/usr/lib/ocaml/stublibs%g' -e 's/^OPT: //' -e '/^BYTE: /d' -e 's/^DYN: //' debian/libmenhir-ocaml-dev.install.in > debian/libmenhir-ocaml-dev.install touch ocamlinit-stamp dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory '/<>' /usr/bin/make TARGET=native PREFIX=/usr make[2]: Entering directory '/<>' make[3]: Entering directory '/<>/src' make[4]: Entering directory '/<>/src' /usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild /usr/bin/ocamldep.opt -modules 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/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/ocamldep.opt -modules grammar.ml > grammar.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml /usr/bin/ocamldep.opt -modules item.ml > item.ml.depends /usr/bin/ocamldep.opt -modules item.mli > item.mli.depends /usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml /usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends /usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml /usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends /usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml /usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends /usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml /usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends /usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli /usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends /usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli /usr/bin/ocamldep.opt -modules default.ml > default.ml.depends /usr/bin/ocamldep.opt -modules default.mli > default.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli /usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends /usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli /usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends /usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli /usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends /usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml /usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends /usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli /usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends /usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml /usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends /usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml /usr/bin/ocamldep.opt -modules 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 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 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): 18(428), max: 12, min: 2, average(total): 4.333(1.140) } 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 --stdlib .. --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 --stdlib .. --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 --stdlib .. --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 --stdlib .. --infer parser.mly --list-errors > parser.mly.auto.messages + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --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 --stdlib .. --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 --stdlib .. --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 --stdlib .. --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml + ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --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/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/ocamldep.opt -modules grammar.ml > grammar.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml /usr/bin/ocamldep.opt -modules item.ml > item.ml.depends /usr/bin/ocamldep.opt -modules item.mli > item.mli.depends /usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml /usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends /usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml /usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends /usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml /usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends /usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml /usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends /usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli /usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends /usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli /usr/bin/ocamldep.opt -modules default.ml > default.ml.depends /usr/bin/ocamldep.opt -modules default.mli > default.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli /usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends /usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli /usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends /usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli /usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends /usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml /usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends /usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli /usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends /usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml /usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends /usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml /usr/bin/ocamldep.opt -modules 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 --stdlib .. --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 --stdlib .. --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 --stdlib .. --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 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 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): 20(437), max: 12, min: 2, average(total): 4.150(1.144) } make[4]: Leaving directory '/<>/src' make[4]: Entering directory '/<>/src' /usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild cp -p fancy-parser.mly parser.mly ../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception -v --stdlib .. --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 --stdlib .. --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 --stdlib .. --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 Interpreter_correct... Compiling Version... 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 install -m 644 src/standard.mly /<>/debian/tmp/usr/share/menhir Installing MenhirLib and MenhirSdk via ocamlfind. Installed /<>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.o Installed /<>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.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/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev/changelog.Debian install -p -m0644 debian/changelog debian/menhir/usr/share/doc/menhir/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 -l --recode UTF-8 ./debian/menhir/usr/share/man/man1/menhir.1 > debian/menhir/usr/share/man/man1/menhir.1.dh-new mv debian/menhir/usr/share/man/man1/menhir.1.dh-new debian/menhir/usr/share/man/man1/menhir.1 chmod 0644 -- debian/menhir/usr/share/man/man1/menhir.1 dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a cd debian/menhir cd debian/libmenhir-ocaml-dev cd debian/libmenhir-coq chmod a-x usr/share/doc/menhir/changelog.Debian usr/share/man/man1/menhir.1 gzip -9nf usr/share/doc/menhir/changelog.Debian usr/share/man/man1/menhir.1 cd '/<>' 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 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-coq ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/libmenhir-ocaml-dev ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/menhir/usr/share/doc -type f -a -true -a ! -regex 'debian/menhir/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/libmenhir-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/menhir/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 find debian/libmenhir-ocaml-dev/usr/share/doc -type 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/man -type f -a -true -a -true -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/libmenhir-coq/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 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-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/usr/bin -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod a+x 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/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/menhir/dbgsym-root/usr/lib/debug/.build-id/38 objcopy --only-keep-debug --compress-debug-sections debian/menhir/usr/bin/menhir debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/38/7ae4216ffb88188c3261c47acbc66cfa63b9cd.debug install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/2d 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/2d/a3156eaee3b4a981e806d070a8f3136b8b4762.debug chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/2d/a3156eaee3b4a981e806d070a8f3136b8b4762.debug chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/2d/a3156eaee3b4a981e806d070a8f3136b8b4762.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/2d/a3156eaee3b4a981e806d070a8f3136b8b4762.debug debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/2f 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/2f/27c07bd43aadd3a8fe526bab2d7b9c2dcb7560.debug chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/2f/27c07bd43aadd3a8fe526bab2d7b9c2dcb7560.debug chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/2f/27c07bd43aadd3a8fe526bab2d7b9c2dcb7560.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/2f/27c07bd43aadd3a8fe526bab2d7b9c2dcb7560.debug debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/38/7ae4216ffb88188c3261c47acbc66cfa63b9cd.debug chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/38/7ae4216ffb88188c3261c47acbc66cfa63b9cd.debug strip --remove-section=.comment --remove-section=.note debian/menhir/usr/bin/menhir 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 objcopy --add-gnu-debuglink debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/38/7ae4216ffb88188c3261c47acbc66cfa63b9cd.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/menhirSdk/menhirSdk.cmxs debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.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 20190626-5ubuntu1 --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 20190626-5ubuntu1 < 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-ujln0) > 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 v20190626-5ubuntu1 depends on ocaml-nox/ocaml-base-nox v4.05.0-12ubuntu3 through Bytes (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 dh_gencontrol -a 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 -UMulti-Arch echo misc:Depends= >> debian/menhir.substvars echo misc:Pre-Depends= >> debian/menhir.substvars install -d debian/.debhelper/menhir/dbgsym-root/DEBIAN dpkg-gencontrol -pmenhir -ldebian/changelog -Tdebian/menhir.substvars -Pdebian/.debhelper/menhir/dbgsym-root -UPre-Depends -URecommends -USuggests -UEnhances -UProvides -UEssential -UConflicts -DPriority=optional -UHomepage -UImportant -DAuto-Built-Package=debug-symbols -DPackage=menhir-dbgsym "-DDepends=menhir (= \${binary:Version})" "-DDescription=debug symbols for menhir" -DBuild-Ids=387ae4216ffb88188c3261c47acbc66cfa63b9cd -DSection=debug -DPackage-Type=ddeb -UMulti-Arch -UReplaces -UBreaks 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 -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=2da3156eaee3b4a981e806d070a8f3136b8b4762 2f27c07bd43aadd3a8fe526bab2d7b9c2dcb7560" -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 dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined 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 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 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 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 dpkg-gencontrol: warning: Depends field of package libmenhir-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined chmod 0644 -- debian/libmenhir-ocaml-dev/DEBIAN/control chown 0:0 -- debian/libmenhir-ocaml-dev/DEBIAN/control 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 chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/md5sums chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/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/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-ocaml-dev (in debian/libmenhir-ocaml-dev); do_strip: , oemstrip: pkgstriptranslations: processing menhir (in debian/menhir); do_strip: , oemstrip: pkgstriptranslations: processing libmenhir-coq (in debian/libmenhir-coq); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libmenhir-ocaml-dev/DEBIAN/control, package libmenhir-ocaml-dev, directory debian/libmenhir-ocaml-dev INFO: pkgstripfiles: waiting for lock (libmenhir-ocaml-dev) ... pkgstripfiles: processing control file: debian/menhir/DEBIAN/control, package menhir, directory debian/menhir pkgstripfiles: Truncating usr/share/doc/menhir/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package menhir ... pkgstripfiles: No PNG files. dpkg-deb: building package 'menhir' in '../menhir_20190626-5ubuntu1_ppc64el.deb'. pkgstripfiles: Truncating usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package libmenhir-ocaml-dev ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libmenhir-ocaml-dev' in '../libmenhir-ocaml-dev_20190626-5ubuntu1_ppc64el.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 install -d debian/.debhelper/scratch-space/build-menhir dpkg-deb --build debian/.debhelper/menhir/dbgsym-root debian/.debhelper/scratch-space/build-menhir INFO: pkgstriptranslations version 144 pkgstriptranslations: processing libmenhir-ocaml-dev-dbgsym (in debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root); do_strip: , oemstrip: INFO: pkgstriptranslations version 144 pkgstriptranslations: processing menhir-dbgsym (in debian/.debhelper/menhir/dbgsym-root); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/.debhelper/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_20190626-5ubuntu1_ppc64el.deb'. Renaming libmenhir-ocaml-dev-dbgsym_20190626-5ubuntu1_ppc64el.deb to libmenhir-ocaml-dev-dbgsym_20190626-5ubuntu1_ppc64el.ddeb mv debian/.debhelper/scratch-space/build-libmenhir-ocaml-dev/libmenhir-ocaml-dev-dbgsym_20190626-5ubuntu1_ppc64el.deb ../libmenhir-ocaml-dev-dbgsym_20190626-5ubuntu1_ppc64el.ddeb 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_20190626-5ubuntu1_ppc64el.deb'. Renaming menhir-dbgsym_20190626-5ubuntu1_ppc64el.deb to menhir-dbgsym_20190626-5ubuntu1_ppc64el.ddeb mv debian/.debhelper/scratch-space/build-menhir/menhir-dbgsym_20190626-5ubuntu1_ppc64el.deb ../menhir-dbgsym_20190626-5ubuntu1_ppc64el.ddeb pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libmenhir-coq/DEBIAN/control, package libmenhir-coq, directory debian/libmenhir-coq 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 ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libmenhir-coq' in '../libmenhir-coq_20190626-5ubuntu1_ppc64el.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any -mLaunchpad Build Daemon >../menhir_20190626-5ubuntu1_ppc64el.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 20190822-1005 Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ menhir_20190626-5ubuntu1_ppc64el.changes: ----------------------------------------- Format: 1.8 Date: Thu, 22 Aug 2019 12:01:26 +0200 Source: menhir Binary: libmenhir-coq libmenhir-ocaml-dev menhir Architecture: ppc64el Version: 20190626-5ubuntu1 Distribution: eoan-proposed Urgency: low Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna 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 (20190626-5ubuntu1) eoan; urgency=low . * Merge from Debian unstable. Remaining changes: - Fix build error due to exported V=1 function in launchpad buildd configuration (patch accepted upstream) Checksums-Sha1: 6ca5b775dc3f0aa3e140333b8b5c4724aa315b39 1352600 libmenhir-coq_20190626-5ubuntu1_ppc64el.deb 851955a9b1f3bac6138b55eb28c77da26d37d147 14260 libmenhir-ocaml-dev-dbgsym_20190626-5ubuntu1_ppc64el.ddeb 0404a140c2fd5f17decf2ebac7d6dd8e43d6d116 209728 libmenhir-ocaml-dev_20190626-5ubuntu1_ppc64el.deb 5a8c212f7d000133fb4b77569136bed8857511cd 167248 menhir-dbgsym_20190626-5ubuntu1_ppc64el.ddeb 08672ed2aa2e079010af088f7cdd07ce2fa054d3 7019 menhir_20190626-5ubuntu1_ppc64el.buildinfo 01aa75b98044a5a46d0cafbfdde9afc48e3f12d8 717972 menhir_20190626-5ubuntu1_ppc64el.deb Checksums-Sha256: d51e4b563ec89c92ac371859d42b1c4d8478d07965d03acb7b495deb97295926 1352600 libmenhir-coq_20190626-5ubuntu1_ppc64el.deb 4d4565fae4b98857618d20b89f1cc2b5e805b4f556800691440b532627e5d47e 14260 libmenhir-ocaml-dev-dbgsym_20190626-5ubuntu1_ppc64el.ddeb e47b76251bbc4261bc3ca4f6c50d5e46f6a9473c4c0455256b9e96bf462d0258 209728 libmenhir-ocaml-dev_20190626-5ubuntu1_ppc64el.deb ee94ee40973296c1bbed21029e7858f8e70a90ba2a11ad27a6acb305d2c74b4d 167248 menhir-dbgsym_20190626-5ubuntu1_ppc64el.ddeb 3e2ff5a968061241f1398ea54ebec40b956bb877568b518cc29f44cc25bf1da1 7019 menhir_20190626-5ubuntu1_ppc64el.buildinfo 6a75c82cbc2e5244ba8dcae30f05715b5e5aa7dd589b751d9b8c2d57e28bfd64 717972 menhir_20190626-5ubuntu1_ppc64el.deb Files: 353b2c82e7b5a5310f0db4c883d0cc7e 1352600 ocaml optional libmenhir-coq_20190626-5ubuntu1_ppc64el.deb 3226e900a761cd3dd9af92f1f26c02b5 14260 debug optional libmenhir-ocaml-dev-dbgsym_20190626-5ubuntu1_ppc64el.ddeb caa355870fef526dad3e60a110ec8985 209728 ocaml optional libmenhir-ocaml-dev_20190626-5ubuntu1_ppc64el.deb 310b0be10ffbdf7d317f1310a79e43cc 167248 debug optional menhir-dbgsym_20190626-5ubuntu1_ppc64el.ddeb 39e2e893d72a33e02e500dba6ad1ee12 7019 ocaml optional menhir_20190626-5ubuntu1_ppc64el.buildinfo 92c5172ef8a21df63bae0a8fc11f70e7 717972 ocaml optional menhir_20190626-5ubuntu1_ppc64el.deb +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libmenhir-coq_20190626-5ubuntu1_ppc64el.deb ------------------------------------------- new debian package, version 2.0. size 1352600 bytes: control archive=1652 bytes. 842 bytes, 20 lines control 2976 bytes, 35 lines md5sums Package: libmenhir-coq Source: menhir Version: 20190626-5ubuntu1 Architecture: ppc64el Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 5398 Recommends: menhir, coq 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-08-22 10:01 ./ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/lib/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/lib/coq/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/lib/coq/user-contrib/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/ -rw-r--r-- root/root 33880 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Alphabet.glob -rw-r--r-- root/root 8570 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Alphabet.v -rw-r--r-- root/root 84278 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Alphabet.vo -rw-r--r-- root/root 9017 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Automaton.glob -rw-r--r-- root/root 6620 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Automaton.v -rw-r--r-- root/root 114721 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Automaton.vo -rw-r--r-- root/root 10889 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Grammar.glob -rw-r--r-- root/root 6111 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Grammar.v -rw-r--r-- root/root 74943 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Grammar.vo -rw-r--r-- root/root 43689 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter.glob -rw-r--r-- root/root 18386 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter.v -rw-r--r-- root/root 306157 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter.vo -rw-r--r-- root/root 108430 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_complete.glob -rw-r--r-- root/root 33610 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_complete.v -rw-r--r-- root/root 1500296 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_complete.vo -rw-r--r-- root/root 20073 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_correct.glob -rw-r--r-- root/root 7342 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_correct.v -rw-r--r-- root/root 244395 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_correct.vo -rw-r--r-- root/root 7632 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Main.glob -rw-r--r-- root/root 3428 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Main.v -rw-r--r-- root/root 1396094 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Main.vo -rw-r--r-- root/root 6660 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Validator_classes.glob -rw-r--r-- root/root 3118 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Validator_classes.v -rw-r--r-- root/root 39536 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Validator_classes.vo -rw-r--r-- root/root 38996 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Validator_complete.glob -rw-r--r-- root/root 15314 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Validator_complete.v -rw-r--r-- root/root 1176087 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Validator_complete.vo -rw-r--r-- root/root 18911 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Validator_safe.glob -rw-r--r-- root/root 8367 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Validator_safe.v -rw-r--r-- root/root 144096 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Validator_safe.vo -rw-r--r-- root/root 210 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Version.glob -rw-r--r-- root/root 1022 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Version.v -rw-r--r-- root/root 1832 2019-08-22 10:01 ./usr/lib/coq/user-contrib/MenhirLib/Version.vo drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/share/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/share/doc/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/share/doc/libmenhir-coq/ -rw-r--r-- root/root 1150 2019-08-22 10:01 ./usr/share/doc/libmenhir-coq/changelog.Debian.gz -rw-r--r-- root/root 3171 2019-08-21 22:19 ./usr/share/doc/libmenhir-coq/copyright libmenhir-ocaml-dev_20190626-5ubuntu1_ppc64el.deb ------------------------------------------------- new debian package, version 2.0. size 209728 bytes: control archive=1364 bytes. 1087 bytes, 25 lines control 1318 bytes, 18 lines md5sums Package: libmenhir-ocaml-dev Source: menhir Version: 20190626-5ubuntu1 Architecture: ppc64el Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 1130 Depends: ocaml-nox-4.05.0 Suggests: ocaml-findlib Provides: libmenhir-ocaml-dev-ujln0 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-08-22 10:01 ./ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/lib/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/lib/ocaml/menhirLib/ -rw-r--r-- root/root 196 2019-08-22 10:01 ./usr/lib/ocaml/menhirLib/META -rw-r--r-- root/root 41871 2019-08-22 10:01 ./usr/lib/ocaml/menhirLib/menhirLib.cmi -rw-r--r-- root/root 221622 2019-08-22 10:01 ./usr/lib/ocaml/menhirLib/menhirLib.cmo -rw-r--r-- root/root 10774 2019-08-22 10:01 ./usr/lib/ocaml/menhirLib/menhirLib.cmx -rw-r--r-- root/root 206592 2019-08-22 10:01 ./usr/lib/ocaml/menhirLib/menhirLib.cmxs -rw-r--r-- root/root 127811 2019-08-22 10:01 ./usr/lib/ocaml/menhirLib/menhirLib.ml -rw-r--r-- root/root 69573 2019-08-22 10:01 ./usr/lib/ocaml/menhirLib/menhirLib.mli -rw-r--r-- root/root 194336 2019-08-22 10:01 ./usr/lib/ocaml/menhirLib/menhirLib.o drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/lib/ocaml/menhirSdk/ -rw-r--r-- root/root 208 2019-08-22 10:01 ./usr/lib/ocaml/menhirSdk/META -rw-r--r-- root/root 16028 2019-08-22 10:01 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmi -rw-r--r-- root/root 84120 2019-08-22 10:01 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmo -rw-r--r-- root/root 7300 2019-08-22 10:01 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmx -rw-r--r-- root/root 70864 2019-08-22 10:01 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmxs -rw-r--r-- root/root 73616 2019-08-22 10:01 ./usr/lib/ocaml/menhirSdk/menhirSdk.o drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/share/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/share/doc/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/share/doc/libmenhir-ocaml-dev/ -rw-r--r-- root/root 1151 2019-08-22 10:01 ./usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 3171 2019-08-21 22:19 ./usr/share/doc/libmenhir-ocaml-dev/copyright drwxr-xr-x root/root 0 2019-08-22 10:01 ./var/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./var/lib/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 27 2019-08-22 10:01 ./var/lib/ocaml/lintian/libmenhir-ocaml-dev.info drwxr-xr-x root/root 0 2019-08-22 10:01 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 356 2019-08-22 10:01 ./var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums menhir_20190626-5ubuntu1_ppc64el.deb ------------------------------------ new debian package, version 2.0. size 717972 bytes: control archive=984 bytes. 952 bytes, 22 lines control 318 bytes, 5 lines md5sums Package: menhir Version: 20190626-5ubuntu1 Architecture: ppc64el Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 3370 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-08-22 10:01 ./ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/bin/ -rwxr-xr-x root/root 3421656 2019-08-22 10:01 ./usr/bin/menhir drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/share/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/share/doc/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/share/doc/menhir/ -rw-r--r-- root/root 1150 2019-08-22 10:01 ./usr/share/doc/menhir/changelog.Debian.gz -rw-r--r-- root/root 3171 2019-08-21 22:19 ./usr/share/doc/menhir/copyright drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/share/man/ drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/share/man/man1/ -rw-r--r-- root/root 1960 2019-08-22 10:01 ./usr/share/man/man1/menhir.1.gz drwxr-xr-x root/root 0 2019-08-22 10:01 ./usr/share/menhir/ -rw-r--r-- root/root 7720 2019-08-22 10:01 ./usr/share/menhir/standard.mly +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: ppc64el Build-Space: 103024 Build-Time: 49 Distribution: eoan-proposed Host Architecture: ppc64el Install-Time: 28 Job: menhir_20190626-5ubuntu1.dsc Machine Architecture: ppc64el Package: menhir Package-Time: 77 Source-Version: 20190626-5ubuntu1 Space: 103024 Status: successful Version: 20190626-5ubuntu1 -------------------------------------------------------------------------------- Finished at 20190822-1005 Build needed 00:01:17, 103024k disc space RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=eoan --arch=ppc64el PACKAGEBUILD-17453373 Scanning for processes to kill in build PACKAGEBUILD-17453373