Sun Jun 20 16:19:06 UTC 2021 I: starting to build menhir/buster/amd64 on jenkins on '2021-06-20 16:18' Sun Jun 20 16:19:06 UTC 2021 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/amd64_1/356/console.log Sun Jun 20 16:19:06 UTC 2021 I: Downloading source for buster/menhir=20181113-1 --2021-06-20 16:19:06-- http://deb.debian.org/debian/pool/main/m/menhir/menhir_20181113-1.dsc Connecting to 78.137.99.97:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2249 (2.2K) Saving to: ‘menhir_20181113-1.dsc’ 0K .. 100% 339M=0s 2021-06-20 16:19:06 (339 MB/s) - ‘menhir_20181113-1.dsc’ saved [2249/2249] Sun Jun 20 16:19:07 UTC 2021 I: menhir_20181113-1.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: menhir Binary: menhir, libmenhir-ocaml-dev, menhir-doc Architecture: any all Version: 20181113-1 Maintainer: Debian OCaml Maintainers Uploaders: Samuel Mimram , Mehdi Dogguy , Ralf Treinen Homepage: http://gallium.inria.fr/~fpottier/menhir/ Standards-Version: 4.2.1 Vcs-Browser: https://salsa.debian.org/ocaml-team/menhir Vcs-Git: https://salsa.debian.org/ocaml-team/menhir.git Testsuite: autopkgtest Testsuite-Triggers: ocaml-findlib, ocaml-nox, ocamlbuild Build-Depends: debhelper (>= 11), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml (>= 0.9) Package-List: libmenhir-ocaml-dev deb ocaml optional arch=any menhir deb ocaml optional arch=any menhir-doc deb doc optional arch=all Checksums-Sha1: b912ca1d1184d4f0bcb7e75ffdc8b0fafa0db5ec 1028432 menhir_20181113.orig.tar.gz 9f70565e6c3d0c44afb98df0e42c780d0eee1d7d 7432 menhir_20181113-1.debian.tar.xz Checksums-Sha256: 3878f8772620bd13f08ea2c367c0f60b1078d2563cd4711577efaffc4550a176 1028432 menhir_20181113.orig.tar.gz c4be79d76c0c143d846f285e72fe9313f9727a6d9b0eebf6d48995daceab71d9 7432 menhir_20181113-1.debian.tar.xz Files: 1c57e4b6a99603bd4169506e3d937950 1028432 menhir_20181113.orig.tar.gz bbffcc5ebecb99c43f6453a5efa1f7fd 7432 menhir_20181113-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlvskjIACgkQdFxHZtTK zf//mhAAmcy2XUomnWtzVWblsqCWaAlW2iWJxxu7R54ktx1wrytg9yTNWwSr5Rwk rg5YbljfGCqYnczU4INNonY6LEUNpy7QQECRf34P/eLSz2NSVzUEmmA4eBKFWRcQ e7Vt7AuigUg4hVZK26dlOayfIMOdlyK/7yzTdiPsBZULFpUjuoFGSM7CzcjbstGF MwF9YW+cwhZGoNM9TMFI9FLdbxRrVQWIcTjiZ4XyoL9JFv6/FSWwrmwdR1roGc7Y uKlnDMz5rZhH55TVr+RCNzvC4SyLtY8kp2AfihQ4HE8ArEN8EQo5n4YX5szmnFKk /sLMO2FBL1AWrTxRIlcJhoCcA0K0n8ugJ/gXNnA5MrXadHz5myH/vA69hVW1jZSa CKvf0Kch9j8bvJ/zBNESR/AEOIaXOmuCtkBsceAv1jHaywzYGioiCeLv+q5xZCY+ XrFn/4ugT2A1yO/7+0186j4hCi7QWI6p0aXtWQrdksc3EIViRyUxUepGlo8pROuN 9vGCxGavuBbfNGk03zEZnyyJvNHLNavqalE5ZkNB5SZiRvD1+d6OeqWfxkebifWO kOH1Q1Xiabovrk1SG9CpgDHHRwNM6bxiAGIkp9KoS57nBkWJCg9GZLsrk+JWogbD M0LldMXAfqgoVWwT/8v34fiV+gcY9qgoY0vlvNws32cnAvvcZT8= =dnhJ -----END PGP SIGNATURE----- Sun Jun 20 16:19:07 UTC 2021 I: Checking whether the package is not for us Sun Jun 20 16:19:07 UTC 2021 I: Starting 1st build on remote node ionos1-amd64.debian.net. Sun Jun 20 16:19:07 UTC 2021 I: Preparing to do remote build '1' on ionos1-amd64.debian.net. Sun Jun 20 16:22:52 UTC 2021 I: Deleting $TMPDIR on ionos1-amd64.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Sun Jun 20 04:19:08 -12 2021 I: pbuilder-time-stamp: 1624205948 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [menhir_20181113-1.dsc] I: copying [./menhir_20181113.orig.tar.gz] I: copying [./menhir_20181113-1.debian.tar.xz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error gpgv: Signature made Wed Nov 14 09:22:58 2018 -12 gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./menhir_20181113-1.dsc dpkg-source: info: extracting menhir in menhir-20181113 dpkg-source: info: unpacking menhir_20181113.orig.tar.gz dpkg-source: info: unpacking menhir_20181113-1.debian.tar.xz I: using fakeroot in build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/6268/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='amd64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=15' DISTRIBUTION='' HOME='/root' HOST_ARCH='amd64' IFS=' ' INVOCATION_ID='bac873b2f61a4e60a24dfd857f1846a8' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='6268' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.mrRCs2AO6W/pbuilderrc_aOzw --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.mrRCs2AO6W/b1 --logfile b1/build.log menhir_20181113-1.dsc' SUDO_GID='110' SUDO_UID='105' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://78.137.99.97:3128' I: uname -a Linux ionos1-amd64 4.19.0-17-amd64 #1 SMP Debian 4.19.194-1 (2021-06-10) x86_64 GNU/Linux I: ls -l /bin total 5116 -rwxr-xr-x 1 root root 1168776 Apr 17 2019 bash -rwxr-xr-x 3 root root 38984 Jul 10 2019 bunzip2 -rwxr-xr-x 3 root root 38984 Jul 10 2019 bzcat lrwxrwxrwx 1 root root 6 Jul 10 2019 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2227 Jul 10 2019 bzdiff lrwxrwxrwx 1 root root 6 Jul 10 2019 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4877 Jun 24 2019 bzexe lrwxrwxrwx 1 root root 6 Jul 10 2019 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3641 Jul 10 2019 bzgrep -rwxr-xr-x 3 root root 38984 Jul 10 2019 bzip2 -rwxr-xr-x 1 root root 14328 Jul 10 2019 bzip2recover lrwxrwxrwx 1 root root 6 Jul 10 2019 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Jul 10 2019 bzmore -rwxr-xr-x 1 root root 43744 Feb 28 2019 cat -rwxr-xr-x 1 root root 64320 Feb 28 2019 chgrp -rwxr-xr-x 1 root root 64288 Feb 28 2019 chmod -rwxr-xr-x 1 root root 72512 Feb 28 2019 chown -rwxr-xr-x 1 root root 146880 Feb 28 2019 cp -rwxr-xr-x 1 root root 121464 Jan 17 2019 dash -rwxr-xr-x 1 root root 109408 Feb 28 2019 date -rwxr-xr-x 1 root root 76712 Feb 28 2019 dd -rwxr-xr-x 1 root root 93744 Feb 28 2019 df -rwxr-xr-x 1 root root 138856 Feb 28 2019 dir -rwxr-xr-x 1 root root 84288 Jan 9 2019 dmesg lrwxrwxrwx 1 root root 8 Sep 26 2018 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Sep 26 2018 domainname -> hostname -rwxr-xr-x 1 root root 39520 Feb 28 2019 echo -rwxr-xr-x 1 root root 28 Jan 7 2019 egrep -rwxr-xr-x 1 root root 35424 Feb 28 2019 false -rwxr-xr-x 1 root root 28 Jan 7 2019 fgrep -rwxr-xr-x 1 root root 68880 Jan 9 2019 findmnt -rwsr-xr-x 1 root root 34896 Apr 22 2020 fusermount -rwxr-xr-x 1 root root 198976 Jan 7 2019 grep -rwxr-xr-x 2 root root 2345 Jan 5 2019 gunzip -rwxr-xr-x 1 root root 6375 Jan 5 2019 gzexe -rwxr-xr-x 1 root root 98048 Jan 5 2019 gzip -rwxr-xr-x 1 root root 26696 Sep 26 2018 hostname -rwxr-xr-x 1 root root 68552 Feb 28 2019 ln -rwxr-xr-x 1 root root 56760 Jul 26 2018 login -rwxr-xr-x 1 root root 138856 Feb 28 2019 ls -rwxr-xr-x 1 root root 108624 Jan 9 2019 lsblk -rwxr-xr-x 1 root root 89088 Feb 28 2019 mkdir -rwxr-xr-x 1 root root 68544 Feb 28 2019 mknod -rwxr-xr-x 1 root root 43808 Feb 28 2019 mktemp -rwxr-xr-x 1 root root 43008 Jan 9 2019 more -rwsr-xr-x 1 root root 51280 Jan 9 2019 mount -rwxr-xr-x 1 root root 14408 Jan 9 2019 mountpoint -rwxr-xr-x 1 root root 138728 Feb 28 2019 mv lrwxrwxrwx 1 root root 8 Sep 26 2018 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Feb 14 2019 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 39616 Feb 28 2019 pwd lrwxrwxrwx 1 root root 4 Apr 17 2019 rbash -> bash -rwxr-xr-x 1 root root 47776 Feb 28 2019 readlink -rwxr-xr-x 1 root root 68416 Feb 28 2019 rm -rwxr-xr-x 1 root root 47776 Feb 28 2019 rmdir -rwxr-xr-x 1 root root 23312 Jan 21 2019 run-parts -rwxr-xr-x 1 root root 122224 Dec 22 2018 sed lrwxrwxrwx 1 root root 4 Jun 6 20:23 sh -> dash -rwxr-xr-x 1 root root 39552 Feb 28 2019 sleep -rwxr-xr-x 1 root root 80672 Feb 28 2019 stty -rwsr-xr-x 1 root root 63568 Jan 9 2019 su -rwxr-xr-x 1 root root 35488 Feb 28 2019 sync -rwxr-xr-x 1 root root 445560 Apr 23 2019 tar -rwxr-xr-x 1 root root 14440 Jan 21 2019 tempfile -rwxr-xr-x 1 root root 97152 Feb 28 2019 touch -rwxr-xr-x 1 root root 35424 Feb 28 2019 true -rwxr-xr-x 1 root root 14328 Apr 22 2020 ulockmgr_server -rwsr-xr-x 1 root root 34888 Jan 9 2019 umount -rwxr-xr-x 1 root root 39584 Feb 28 2019 uname -rwxr-xr-x 2 root root 2345 Jan 5 2019 uncompress -rwxr-xr-x 1 root root 138856 Feb 28 2019 vdir -rwxr-xr-x 1 root root 34896 Jan 9 2019 wdctl -rwxr-xr-x 1 root root 946 Jan 21 2019 which lrwxrwxrwx 1 root root 8 Sep 26 2018 ypdomainname -> hostname -rwxr-xr-x 1 root root 1983 Jan 5 2019 zcat -rwxr-xr-x 1 root root 1677 Jan 5 2019 zcmp -rwxr-xr-x 1 root root 5879 Jan 5 2019 zdiff -rwxr-xr-x 1 root root 29 Jan 5 2019 zegrep -rwxr-xr-x 1 root root 29 Jan 5 2019 zfgrep -rwxr-xr-x 1 root root 2080 Jan 5 2019 zforce -rwxr-xr-x 1 root root 7584 Jan 5 2019 zgrep -rwxr-xr-x 1 root root 2205 Jan 5 2019 zless -rwxr-xr-x 1 root root 1841 Jan 5 2019 zmore -rwxr-xr-x 1 root root 4552 Jan 5 2019 znew I: user script /srv/workspace/pbuilder/6268/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: amd64 Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper (>= 11), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml (>= 0.9) dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19195 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper (>= 11); however: Package debhelper is not installed. pbuilder-satisfydepends-dummy depends on ocaml-nox (>= 4.02~); however: Package ocaml-nox is not installed. pbuilder-satisfydepends-dummy depends on ocamlbuild; however: Package ocamlbuild is not installed. pbuilder-satisfydepends-dummy depends on ocaml-findlib; however: Package ocaml-findlib is not installed. pbuilder-satisfydepends-dummy depends on dh-ocaml (>= 0.9); however: Package dh-ocaml is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdmainutils{a} debhelper{a} dh-autoreconf{a} dh-ocaml{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libbsd0{a} libcroco3{a} libelf1{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libglib2.0-0{a} libicu63{a} libmagic-mgc{a} libmagic1{a} libncurses-dev{a} libncurses5-dev{a} libncurses6{a} libpipeline1{a} libsigsegv2{a} libtool{a} libuchardet0{a} libxml2{a} m4{a} man-db{a} ocaml-base-nox{a} ocaml-compiler-libs{a} ocaml-findlib{a} ocaml-interp{a} ocaml-nox{a} ocamlbuild{a} po-debconf{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: curl ledit libarchive-cpio-perl libfindlib-ocaml-dev libglib2.0-data libgpm2 libltdl-dev libmail-sendmail-perl lynx rlfe rlwrap shared-mime-info wget xdg-user-dirs 0 packages upgraded, 43 newly installed, 0 to remove and 0 not upgraded. Need to get 71.6 MB of archives. After unpacking 310 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian buster/main amd64 libbsd0 amd64 0.9.1-2+deb10u1 [99.5 kB] Get: 2 http://deb.debian.org/debian buster/main amd64 bsdmainutils amd64 11.1.2+b1 [191 kB] Get: 3 http://deb.debian.org/debian buster/main amd64 libuchardet0 amd64 0.0.6-3 [64.9 kB] Get: 4 http://deb.debian.org/debian buster/main amd64 groff-base amd64 1.22.4-3+deb10u1 [916 kB] Get: 5 http://deb.debian.org/debian buster/main amd64 libpipeline1 amd64 1.5.1-2 [31.2 kB] Get: 6 http://deb.debian.org/debian buster/main amd64 man-db amd64 2.8.5-2 [1274 kB] Get: 7 http://deb.debian.org/debian buster/main amd64 sensible-utils all 0.0.12 [15.8 kB] Get: 8 http://deb.debian.org/debian buster/main amd64 libmagic-mgc amd64 1:5.35-4+deb10u2 [242 kB] Get: 9 http://deb.debian.org/debian buster/main amd64 libmagic1 amd64 1:5.35-4+deb10u2 [118 kB] Get: 10 http://deb.debian.org/debian buster/main amd64 file amd64 1:5.35-4+deb10u2 [66.4 kB] Get: 11 http://deb.debian.org/debian buster/main amd64 gettext-base amd64 0.19.8.1-9 [123 kB] Get: 12 http://deb.debian.org/debian buster/main amd64 libsigsegv2 amd64 2.12-2 [32.8 kB] Get: 13 http://deb.debian.org/debian buster/main amd64 m4 amd64 1.4.18-2 [203 kB] Get: 14 http://deb.debian.org/debian buster/main amd64 autoconf all 2.69-11 [341 kB] Get: 15 http://deb.debian.org/debian buster/main amd64 autotools-dev all 20180224.1 [77.0 kB] Get: 16 http://deb.debian.org/debian buster/main amd64 automake all 1:1.16.1-4 [771 kB] Get: 17 http://deb.debian.org/debian buster/main amd64 autopoint all 0.19.8.1-9 [434 kB] Get: 18 http://deb.debian.org/debian buster/main amd64 libtool all 2.4.6-9 [547 kB] Get: 19 http://deb.debian.org/debian buster/main amd64 dh-autoreconf all 19 [16.9 kB] Get: 20 http://deb.debian.org/debian buster/main amd64 libarchive-zip-perl all 1.64-1 [96.8 kB] Get: 21 http://deb.debian.org/debian buster/main amd64 libfile-stripnondeterminism-perl all 1.1.2-1 [19.8 kB] Get: 22 http://deb.debian.org/debian buster/main amd64 dh-strip-nondeterminism all 1.1.2-1 [13.0 kB] Get: 23 http://deb.debian.org/debian buster/main amd64 libelf1 amd64 0.176-1.1 [161 kB] Get: 24 http://deb.debian.org/debian buster/main amd64 dwz amd64 0.12-3 [78.0 kB] Get: 25 http://deb.debian.org/debian buster/main amd64 libglib2.0-0 amd64 2.58.3-2+deb10u3 [1259 kB] Get: 26 http://deb.debian.org/debian buster/main amd64 libicu63 amd64 63.1-6+deb10u1 [8300 kB] Get: 27 http://deb.debian.org/debian buster/main amd64 libxml2 amd64 2.9.4+dfsg1-7+deb10u2 [689 kB] Get: 28 http://deb.debian.org/debian buster/main amd64 libcroco3 amd64 0.6.12-3 [145 kB] Get: 29 http://deb.debian.org/debian buster/main amd64 libncurses6 amd64 6.1+20181013-2+deb10u2 [102 kB] Get: 30 http://deb.debian.org/debian buster/main amd64 gettext amd64 0.19.8.1-9 [1303 kB] Get: 31 http://deb.debian.org/debian buster/main amd64 intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 32 http://deb.debian.org/debian buster/main amd64 po-debconf all 1.0.21 [248 kB] Get: 33 http://deb.debian.org/debian buster/main amd64 debhelper all 12.1.1 [1016 kB] Get: 34 http://deb.debian.org/debian buster/main amd64 dh-ocaml all 1.1.0 [83.3 kB] Get: 35 http://deb.debian.org/debian buster/main amd64 ocaml-base-nox amd64 4.05.0-11 [654 kB] Get: 36 http://deb.debian.org/debian buster/main amd64 libfindlib-ocaml amd64 1.7.3-2+b1 [167 kB] Get: 37 http://deb.debian.org/debian buster/main amd64 libncurses-dev amd64 6.1+20181013-2+deb10u2 [333 kB] Get: 38 http://deb.debian.org/debian buster/main amd64 libncurses5-dev amd64 6.1+20181013-2+deb10u2 [948 B] Get: 39 http://deb.debian.org/debian buster/main amd64 ocaml-interp amd64 4.05.0-11 [3582 kB] Get: 40 http://deb.debian.org/debian buster/main amd64 ocaml-nox amd64 4.05.0-11 [27.6 MB] Get: 41 http://deb.debian.org/debian buster/main amd64 ocaml-compiler-libs amd64 4.05.0-11 [19.0 MB] Get: 42 http://deb.debian.org/debian buster/main amd64 ocaml-findlib amd64 1.7.3-2+b1 [370 kB] Get: 43 http://deb.debian.org/debian buster/main amd64 ocamlbuild amd64 0.11.0-3 [740 kB] Fetched 71.6 MB in 1s (58.3 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19195 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.9.1-2+deb10u1_amd64.deb ... Unpacking libbsd0:amd64 (0.9.1-2+deb10u1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2+b1_amd64.deb ... Unpacking bsdmainutils (11.1.2+b1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../02-libuchardet0_0.0.6-3_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../03-groff-base_1.22.4-3+deb10u1_amd64.deb ... Unpacking groff-base (1.22.4-3+deb10u1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../04-libpipeline1_1.5.1-2_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.8.5-2_amd64.deb ... Unpacking man-db (2.8.5-2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../06-sensible-utils_0.0.12_all.deb ... Unpacking sensible-utils (0.0.12) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../07-libmagic-mgc_1%3a5.35-4+deb10u2_amd64.deb ... Unpacking libmagic-mgc (1:5.35-4+deb10u2) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../08-libmagic1_1%3a5.35-4+deb10u2_amd64.deb ... Unpacking libmagic1:amd64 (1:5.35-4+deb10u2) ... Selecting previously unselected package file. Preparing to unpack .../09-file_1%3a5.35-4+deb10u2_amd64.deb ... Unpacking file (1:5.35-4+deb10u2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../10-gettext-base_0.19.8.1-9_amd64.deb ... Unpacking gettext-base (0.19.8.1-9) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../11-libsigsegv2_2.12-2_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../12-m4_1.4.18-2_amd64.deb ... Unpacking m4 (1.4.18-2) ... Selecting previously unselected package autoconf. Preparing to unpack .../13-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../14-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../15-automake_1%3a1.16.1-4_all.deb ... Unpacking automake (1:1.16.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../16-autopoint_0.19.8.1-9_all.deb ... Unpacking autopoint (0.19.8.1-9) ... Selecting previously unselected package libtool. Preparing to unpack .../17-libtool_2.4.6-9_all.deb ... Unpacking libtool (2.4.6-9) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../18-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../19-libarchive-zip-perl_1.64-1_all.deb ... Unpacking libarchive-zip-perl (1.64-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../20-libfile-stripnondeterminism-perl_1.1.2-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.1.2-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../21-dh-strip-nondeterminism_1.1.2-1_all.deb ... Unpacking dh-strip-nondeterminism (1.1.2-1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../22-libelf1_0.176-1.1_amd64.deb ... Unpacking libelf1:amd64 (0.176-1.1) ... Selecting previously unselected package dwz. Preparing to unpack .../23-dwz_0.12-3_amd64.deb ... Unpacking dwz (0.12-3) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../24-libglib2.0-0_2.58.3-2+deb10u3_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.58.3-2+deb10u3) ... Selecting previously unselected package libicu63:amd64. Preparing to unpack .../25-libicu63_63.1-6+deb10u1_amd64.deb ... Unpacking libicu63:amd64 (63.1-6+deb10u1) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../26-libxml2_2.9.4+dfsg1-7+deb10u2_amd64.deb ... Unpacking libxml2:amd64 (2.9.4+dfsg1-7+deb10u2) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../27-libcroco3_0.6.12-3_amd64.deb ... Unpacking libcroco3:amd64 (0.6.12-3) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../28-libncurses6_6.1+20181013-2+deb10u2_amd64.deb ... Unpacking libncurses6:amd64 (6.1+20181013-2+deb10u2) ... Selecting previously unselected package gettext. Preparing to unpack .../29-gettext_0.19.8.1-9_amd64.deb ... Unpacking gettext (0.19.8.1-9) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../30-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 .../31-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../32-debhelper_12.1.1_all.deb ... Unpacking debhelper (12.1.1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../33-dh-ocaml_1.1.0_all.deb ... Unpacking dh-ocaml (1.1.0) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../34-ocaml-base-nox_4.05.0-11_amd64.deb ... Unpacking ocaml-base-nox (4.05.0-11) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../35-libfindlib-ocaml_1.7.3-2+b1_amd64.deb ... Unpacking libfindlib-ocaml (1.7.3-2+b1) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../36-libncurses-dev_6.1+20181013-2+deb10u2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.1+20181013-2+deb10u2) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../37-libncurses5-dev_6.1+20181013-2+deb10u2_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.1+20181013-2+deb10u2) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../38-ocaml-interp_4.05.0-11_amd64.deb ... Unpacking ocaml-interp (4.05.0-11) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../39-ocaml-nox_4.05.0-11_amd64.deb ... Unpacking ocaml-nox (4.05.0-11) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../40-ocaml-compiler-libs_4.05.0-11_amd64.deb ... Unpacking ocaml-compiler-libs (4.05.0-11) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../41-ocaml-findlib_1.7.3-2+b1_amd64.deb ... Unpacking ocaml-findlib (1.7.3-2+b1) ... Selecting previously unselected package ocamlbuild. Preparing to unpack .../42-ocamlbuild_0.11.0-3_amd64.deb ... Unpacking ocamlbuild (0.11.0-3) ... Setting up libpipeline1:amd64 (1.5.1-2) ... Setting up libmagic-mgc (1:5.35-4+deb10u2) ... Setting up libarchive-zip-perl (1.64-1) ... Setting up libglib2.0-0:amd64 (2.58.3-2+deb10u3) ... No schema files found: doing nothing. Setting up dh-ocaml (1.1.0) ... Setting up libmagic1:amd64 (1:5.35-4+deb10u2) ... Setting up gettext-base (0.19.8.1-9) ... Setting up file (1:5.35-4+deb10u2) ... Setting up libicu63:amd64 (63.1-6+deb10u1) ... Setting up autotools-dev (20180224.1) ... Setting up libncurses6:amd64 (6.1+20181013-2+deb10u2) ... Setting up libsigsegv2:amd64 (2.12-2) ... Setting up autopoint (0.19.8.1-9) ... Setting up sensible-utils (0.0.12) ... Setting up libuchardet0:amd64 (0.0.6-3) ... Setting up ocaml-base-nox (4.05.0-11) ... Setting up libbsd0:amd64 (0.9.1-2+deb10u1) ... Setting up libelf1:amd64 (0.176-1.1) ... Setting up libxml2:amd64 (2.9.4+dfsg1-7+deb10u2) ... Setting up libfile-stripnondeterminism-perl (1.1.2-1) ... Setting up libncurses-dev:amd64 (6.1+20181013-2+deb10u2) ... Setting up libtool (2.4.6-9) ... Setting up libfindlib-ocaml (1.7.3-2+b1) ... Setting up m4 (1.4.18-2) ... Setting up ocamlbuild (0.11.0-3) ... Setting up bsdmainutils (11.1.2+b1) ... 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.7.3-2+b1) ... Setting up libcroco3:amd64 (0.6.12-3) ... Setting up autoconf (2.69-11) ... Setting up dwz (0.12-3) ... Setting up groff-base (1.22.4-3+deb10u1) ... Setting up libncurses5-dev:amd64 (6.1+20181013-2+deb10u2) ... Setting up automake (1:1.16.1-4) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up gettext (0.19.8.1-9) ... Setting up man-db (2.8.5-2) ... Not building database; man-db/auto-update is not 'true'. Setting up intltool-debian (0.35.0+20060710.5) ... Setting up po-debconf (1.0.21) ... Setting up ocaml-compiler-libs (4.05.0-11) ... Setting up debhelper (12.1.1) ... Setting up dh-autoreconf (19) ... Setting up ocaml-interp (4.05.0-11) ... Setting up dh-strip-nondeterminism (1.1.2-1) ... Setting up ocaml-nox (4.05.0-11) ... Processing triggers for libc-bin (2.28-10) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps Reading package lists... Building dependency tree... Reading state information... fakeroot is already the newest version (1.23-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: Running cd /build/menhir-20181113/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b dpkg-buildpackage: info: source package menhir dpkg-buildpackage: info: source version 20181113-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Ralf Treinen dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 fakeroot debian/rules clean dh clean --with ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/build/menhir-20181113' /usr/bin/make -C src/ clean PREFIX=/build/menhir-20181113/debian/tmp/usr make[2]: Entering directory '/build/menhir-20181113/src' rm -rf _stage1 _stage2 _stage3 _sdk rm -f *.mli.html rm -f *.old *.new make[2]: Leaving directory '/build/menhir-20181113/src' make[1]: Leaving directory '/build/menhir-20181113' dh_ocamlclean rm -f ocamlinit-stamp debian/libmenhir-ocaml-dev.install debian/libmenhir-ocaml-dev.dirs dh_clean rm -f debian/debhelper-build-stamp rm -rf debian/.debhelper/ rm -f -- debian/menhir.substvars debian/libmenhir-ocaml-dev.substvars debian/menhir-doc.substvars debian/files rm -fr -- debian/menhir/ debian/tmp/ debian/libmenhir-ocaml-dev/ debian/menhir-doc/ find . \( \( \ \( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS -o -path .\*/.pc -o -path .\*/_darcs \) -prune -o -type f -a \ \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \ -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \ -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \ -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \ \) -exec rm -f {} + \) -o \ \( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) \) debian/rules build dh build --with ocaml dh_update_autotools_config dh_autoreconf dh_ocamlinit sed -e 's%@OCamlABI@%4.05.0%g' -e 's%@OCamlStdlibDir@%/usr/lib/ocaml%g' -e 's%@OCamlDllDir@%/usr/lib/ocaml/stublibs%g' -e 's/^OPT: //' -e '/^BYTE: /d' -e 's/^DYN: //' debian/libmenhir-ocaml-dev.install.in > debian/libmenhir-ocaml-dev.install sed -e 's%@OCamlABI@%4.05.0%g' -e 's%@OCamlStdlibDir@%/usr/lib/ocaml%g' -e 's%@OCamlDllDir@%/usr/lib/ocaml/stublibs%g' -e 's/^OPT: //' -e '/^BYTE: /d' -e 's/^DYN: //' debian/libmenhir-ocaml-dev.dirs.in > debian/libmenhir-ocaml-dev.dirs touch ocamlinit-stamp dh_auto_configure debian/rules override_dh_auto_build make[1]: Entering directory '/build/menhir-20181113' /usr/bin/make TARGET=native PREFIX=/usr make[2]: Entering directory '/build/menhir-20181113' make[3]: Entering directory '/build/menhir-20181113/src' make[4]: Entering directory '/build/menhir-20181113/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 front.ml > front.ml.depends /usr/bin/ocamldep.opt -modules front.mli > front.mli.depends /usr/bin/ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends /usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends /usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends /usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends /usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli /usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends /usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli /usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends /usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli /usr/bin/ocamldep.opt -modules error.ml > error.ml.depends /usr/bin/ocamldep.opt -modules error.mli > error.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli /usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml /usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml /usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml /usr/bin/ocamldep.opt -modules InputFile.ml > InputFile.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli /usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends /usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml cp -p yaccDriver.ml Driver.ml /usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends /usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends cp -p yacc-parser.mly parser.mly /usr/bin/ocamlyacc parser.mly /usr/bin/ocamldep.opt -modules parser.mli > parser.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli /usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends /usr/bin/ocamldep.opt -modules 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 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 option.cmx option.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/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml /usr/bin/ocamldep.opt -modules IO.ml > IO.ml.depends /usr/bin/ocamldep.opt -modules IO.mli > IO.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli /usr/bin/ocamldep.opt -modules infer.ml > infer.ml.depends /usr/bin/ocamldep.opt -modules infer.mli > infer.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli /usr/bin/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 printer.ml > printer.ml.depends /usr/bin/ocamldep.opt -modules printer.mli > printer.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli /usr/bin/ocamllex.opt -q lineCount.mll /usr/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml /usr/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends /usr/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml /usr/bin/ocamllex.opt -q lexdep.mll /usr/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml /usr/bin/ocamllex.opt -q lexmli.mll /usr/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml /usr/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends /usr/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli /usr/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends /usr/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends /usr/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends /usr/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli /usr/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends /usr/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends /usr/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli /usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml /usr/bin/ocamldep.opt -modules 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 nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends /usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli /usr/bin/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/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/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 Memoize.ml > Memoize.ml.depends /usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli /usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml /usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends /usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml /usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends /usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli /usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends /usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli /usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends /usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml /usr/bin/ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends /usr/bin/ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml /usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml /usr/bin/ocamldep.opt -modules item.ml > item.ml.depends /usr/bin/ocamldep.opt -modules item.mli > item.mli.depends /usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml /usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends /usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml /usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends /usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml /usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends /usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml /usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends /usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli /usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends /usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli /usr/bin/ocamldep.opt -modules default.ml > default.ml.depends /usr/bin/ocamldep.opt -modules default.mli > default.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli /usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends /usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli /usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends /usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli /usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends /usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml /usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends /usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli /usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends /usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml /usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends /usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml /usr/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends /usr/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli /usr/bin/ocamldep.opt -modules inliner.ml > inliner.ml.depends /usr/bin/ocamldep.opt -modules inliner.mli > inliner.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli /usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml /usr/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends /usr/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends /usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends /usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli /usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends /usr/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends /usr/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml /usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml /usr/bin/ocamllex.opt -q segment.mll /usr/bin/ocamldep.opt -modules segment.ml > segment.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml /usr/bin/ocamllex.opt -q sentenceLexer.mll /usr/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends /usr/bin/ocamlyacc sentenceParser.mly /usr/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends /usr/bin/ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml /usr/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml /usr/bin/ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends /usr/bin/ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli /usr/bin/ocamldep.opt -modules astar.ml > astar.ml.depends /usr/bin/ocamldep.opt -modules astar.mli > astar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml /usr/bin/ocamldep.opt -modules 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 coqBackend.cmx coqBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o inliner.cmx inliner.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml /usr/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx 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 Seq.cmx CompletedNatWitness.cmx lexpointfree.cmx option.cmx parserAux.cmx parser.cmx Driver.cmx unparameterizedSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx lineCount.cmx nonterminalType.cmx printer.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx 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 coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 17(426), max: 12, min: 2, average(total): 4.412(1.136) } make[4]: Leaving directory '/build/menhir-20181113/src' make[4]: Entering directory '/build/menhir-20181113/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 front.ml > front.ml.depends /usr/bin/ocamldep.opt -modules front.mli > front.mli.depends /usr/bin/ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends /usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends /usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends /usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends /usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli /usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends /usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli /usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends /usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli /usr/bin/ocamldep.opt -modules error.ml > error.ml.depends /usr/bin/ocamldep.opt -modules error.mli > error.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli /usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml /usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml /usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml /usr/bin/ocamldep.opt -modules InputFile.ml > InputFile.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends /usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli /usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends /usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml cp -p fancyDriver.ml Driver.ml /usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends /usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends cp -p fancy-parser.mly parser.mly ../_stage1/menhir.native -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 newRuleSyntax.mli > newRuleSyntax.mli.depends /usr/bin/ocamldep.opt -modules option.mli > option.mli.depends /usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends /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 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/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/ocamldep.opt -modules option.ml > option.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 option.cmx option.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o 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/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml /usr/bin/ocamldep.opt -modules IO.ml > IO.ml.depends /usr/bin/ocamldep.opt -modules IO.mli > IO.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli /usr/bin/ocamldep.opt -modules infer.ml > infer.ml.depends /usr/bin/ocamldep.opt -modules infer.mli > infer.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli /usr/bin/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 printer.ml > printer.ml.depends /usr/bin/ocamldep.opt -modules printer.mli > printer.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli /usr/bin/ocamllex.opt -q lineCount.mll /usr/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml /usr/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends /usr/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml /usr/bin/ocamllex.opt -q lexdep.mll /usr/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml /usr/bin/ocamllex.opt -q lexmli.mll /usr/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml /usr/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends /usr/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli /usr/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends /usr/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends /usr/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends /usr/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli /usr/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends /usr/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends /usr/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli /usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml /usr/bin/ocamldep.opt -modules 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 nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends /usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli /usr/bin/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/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/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 Memoize.ml > Memoize.ml.depends /usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli /usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml /usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends /usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml /usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends /usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli /usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends /usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli /usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends /usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml /usr/bin/ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends /usr/bin/ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml /usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml /usr/bin/ocamldep.opt -modules item.ml > item.ml.depends /usr/bin/ocamldep.opt -modules item.mli > item.mli.depends /usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml /usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends /usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml /usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends /usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml /usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends /usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml /usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends /usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli /usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends /usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli /usr/bin/ocamldep.opt -modules default.ml > default.ml.depends /usr/bin/ocamldep.opt -modules default.mli > default.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli /usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends /usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli /usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends /usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli /usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends /usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml /usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends /usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli /usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends /usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml /usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends /usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml /usr/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends /usr/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli /usr/bin/ocamldep.opt -modules inliner.ml > inliner.ml.depends /usr/bin/ocamldep.opt -modules inliner.mli > inliner.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli /usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml /usr/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends /usr/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends /usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends /usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli /usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends /usr/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends /usr/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml /usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml /usr/bin/ocamllex.opt -q segment.mll /usr/bin/ocamldep.opt -modules segment.ml > segment.ml.depends /usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml /usr/bin/ocamllex.opt -q sentenceLexer.mll /usr/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends ../_stage1/menhir.native -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 coqBackend.cmx coqBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o inliner.cmx inliner.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml /usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml /usr/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx 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 Seq.cmx CompletedNatWitness.cmx lexpointfree.cmx option.cmx parserAux.cmx newRuleSyntax.cmx parser.cmx parserMessages.cmx Driver.cmx unparameterizedSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx lineCount.cmx nonterminalType.cmx printer.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx 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 coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native # Parallel statistics: { count(total): 20(434), max: 12, min: 2, average(total): 4.100(1.143) } make[4]: Leaving directory '/build/menhir-20181113/src' make[4]: Entering directory '/build/menhir-20181113/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/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 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(75), max: 12, min: 3, average(total): 7.000(1.240) } Bootstrap successful. make[4]: Leaving directory '/build/menhir-20181113/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 '/build/menhir-20181113/src' Creating menhirLib.ml Creating menhirLib.mli make[2]: Leaving directory '/build/menhir-20181113' make[1]: Leaving directory '/build/menhir-20181113' create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary dh binary --with ocaml dh_testroot dh_prep rm -f -- debian/menhir.substvars debian/libmenhir-ocaml-dev.substvars debian/menhir-doc.substvars rm -fr -- debian/.debhelper/generated/menhir/ debian/menhir/ debian/tmp/ debian/.debhelper/generated/libmenhir-ocaml-dev/ debian/libmenhir-ocaml-dev/ debian/.debhelper/generated/menhir-doc/ debian/menhir-doc/ dh_installdirs install -d debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/ debian/rules override_dh_auto_install make[1]: Entering directory '/build/menhir-20181113' mkdir -p /build/menhir-20181113/debian/tmp//usr/lib/ocaml /usr/bin/make TARGET=native PREFIX=/build/menhir-20181113/debian/tmp/usr install make[2]: Entering directory '/build/menhir-20181113' mkdir -p /build/menhir-20181113/debian/tmp/usr/bin install src/_stage2/menhir.native /build/menhir-20181113/debian/tmp/usr/bin/menhir mkdir -p /build/menhir-20181113/debian/tmp/usr/share/menhir install -m 644 src/standard.mly /build/menhir-20181113/debian/tmp/usr/share/menhir Installing MenhirLib and MenhirSdk via ocamlfind. Installed /build/menhir-20181113/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.o Installed /build/menhir-20181113/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmxs Installed /build/menhir-20181113/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmx Installed /build/menhir-20181113/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmo Installed /build/menhir-20181113/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmi Installed /build/menhir-20181113/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.ml Installed /build/menhir-20181113/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.mli Installed /build/menhir-20181113/debian/tmp//usr/lib/ocaml/menhirLib/META Installed /build/menhir-20181113/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.o Installed /build/menhir-20181113/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.cmxs Installed /build/menhir-20181113/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.cmx Installed /build/menhir-20181113/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.cmo Installed /build/menhir-20181113/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.cmi Installed /build/menhir-20181113/debian/tmp//usr/lib/ocaml/menhirSdk/META if [ -f doc/manual.pdf ] ; then \ mkdir -p /build/menhir-20181113/debian/tmp/usr/share/doc/menhir /build/menhir-20181113/debian/tmp/usr/share/man/man1 ; \ cp -r doc/manual.pdf doc/manual.html doc/manual*.png demos /build/menhir-20181113/debian/tmp/usr/share/doc/menhir ; \ cp -r doc/menhir.1 /build/menhir-20181113/debian/tmp/usr/share/man/man1 ; \ fi make[2]: Leaving directory '/build/menhir-20181113' make[1]: Leaving directory '/build/menhir-20181113' dh_install install -d debian/menhir/usr cp --reflink=auto -a ./debian/tmp/usr/bin debian/menhir/usr/ install -d debian/menhir/usr/share cp --reflink=auto -a ./debian/tmp/usr/share/man ./debian/tmp/usr/share/menhir debian/menhir/usr/share/ install -d debian/.debhelper/generated/menhir cp --reflink=auto -a ./debian/tmp/usr/lib/ocaml/menhirLib ./debian/tmp/usr/lib/ocaml/menhirSdk debian/libmenhir-ocaml-dev//usr/lib/ocaml/ install -d debian/.debhelper/generated/libmenhir-ocaml-dev install -d debian/.debhelper/generated/menhir-doc dh_ocamldoc dh_installdocs install -d debian/menhir/usr/share/doc/menhir install -p -m0644 debian/copyright debian/menhir/usr/share/doc/menhir/copyright install -d debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev install -p -m0644 debian/copyright debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev/copyright install -d debian/menhir-doc/usr/share/doc/menhir-doc install -d debian/menhir-doc/usr/share/doc/menhir cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/manual.pdf debian/menhir-doc/usr/share/doc/menhir cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/manual.html debian/menhir-doc/usr/share/doc/menhir cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/manual001.png debian/menhir-doc/usr/share/doc/menhir cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/manual002.png debian/menhir-doc/usr/share/doc/menhir cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/manual003.png debian/menhir-doc/usr/share/doc/menhir chown -R 0:0 debian/menhir-doc/usr/share/doc chmod -R u\+rw,go=rX debian/menhir-doc/usr/share/doc install -p -m0644 debian/copyright debian/menhir-doc/usr/share/doc/menhir-doc/copyright install -d debian/menhir-doc/usr/share/doc-base/ install -p -m0644 debian/menhir-doc.doc-base debian/menhir-doc/usr/share/doc-base/menhir dh_installchangelogs install -p -m0644 debian/changelog debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev/changelog.Debian install -p -m0644 ./CHANGES.md debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev/changelog install -p -m0644 debian/changelog debian/menhir-doc/usr/share/doc/menhir-doc/changelog.Debian install -p -m0644 ./CHANGES.md debian/menhir-doc/usr/share/doc/menhir-doc/changelog install -p -m0644 debian/changelog debian/menhir/usr/share/doc/menhir/changelog.Debian install -p -m0644 ./CHANGES.md debian/menhir/usr/share/doc/menhir/changelog debian/rules override_dh_installexamples make[1]: Entering directory '/build/menhir-20181113' dh_installexamples install -d debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-alias debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-ast-dune debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-dune debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-incremental debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-incremental-dune debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-inspection debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-inspection-dune debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-new-syntax-dune debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-param debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-param-dune debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-two debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/calc-two-dune debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/generate-printers debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/generate-printers-dune debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/Makefile debian/menhir-doc/usr/share/doc/menhir/examples cp --reflink=auto -a ./debian/tmp/usr/share/doc/menhir/demos/obsolete debian/menhir-doc/usr/share/doc/menhir/examples 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 '/build/menhir-20181113' dh_installman man -l --recode UTF-8 ./debian/menhir/usr/share/man/man1/menhir.1 > debian/menhir/usr/share/man/man1/menhir.1.dh-new mv debian/menhir/usr/share/man/man1/menhir.1.dh-new debian/menhir/usr/share/man/man1/menhir.1 chmod 0644 -- debian/menhir/usr/share/man/man1/menhir.1 dh_perl dh_link dh_strip_nondeterminism Using 1542230072 as canonical time Normalizing debian/menhir-doc/usr/share/doc/menhir/manual002.png using File::StripNondeterminism::handlers::png Normalizing debian/menhir-doc/usr/share/doc/menhir/manual001.png using File::StripNondeterminism::handlers::png Normalizing debian/menhir-doc/usr/share/doc/menhir/manual003.png using File::StripNondeterminism::handlers::png dh_compress cd debian/menhir cd debian/menhir-doc cd debian/libmenhir-ocaml-dev chmod a-x usr/share/doc/libmenhir-ocaml-dev/changelog usr/share/doc/libmenhir-ocaml-dev/changelog.Debian gzip -9nf usr/share/doc/libmenhir-ocaml-dev/changelog usr/share/doc/libmenhir-ocaml-dev/changelog.Debian chmod a-x usr/share/doc/menhir/changelog usr/share/doc/menhir/changelog.Debian usr/share/man/man1/menhir.1 cd '/build/menhir-20181113' gzip -9nf usr/share/doc/menhir/changelog usr/share/doc/menhir/changelog.Debian usr/share/man/man1/menhir.1 cd '/build/menhir-20181113' chmod a-x usr/share/doc/menhir-doc/changelog usr/share/doc/menhir-doc/changelog.Debian usr/share/doc/menhir/examples/calc-inspection-dune/ErrorReporting.ml usr/share/doc/menhir/examples/calc-inspection/ErrorReporting.ml usr/share/doc/menhir/examples/generate-printers-dune/generate.ml usr/share/doc/menhir/examples/generate-printers/generate.ml usr/share/doc/menhir/examples/obsolete/Makefile.shared usr/share/doc/menhir/manual.pdf gzip -9nf usr/share/doc/menhir-doc/changelog usr/share/doc/menhir-doc/changelog.Debian usr/share/doc/menhir/examples/calc-inspection-dune/ErrorReporting.ml usr/share/doc/menhir/examples/calc-inspection/ErrorReporting.ml usr/share/doc/menhir/examples/generate-printers-dune/generate.ml usr/share/doc/menhir/examples/generate-printers/generate.ml usr/share/doc/menhir/examples/obsolete/Makefile.shared usr/share/doc/menhir/manual.pdf cd '/build/menhir-20181113' dh_fixperms find debian/menhir -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/libmenhir-ocaml-dev -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/menhir-doc -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/menhir ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/libmenhir-ocaml-dev ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/menhir/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/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/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/menhir/usr/bin -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod a+x find debian/libmenhir-ocaml-dev/usr/lib -type f -name '*.ali' -a -true -a -true -print0 2>/dev/null | xargs -0r chmod uga-w find debian/menhir-doc ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/menhir-doc/usr/share/doc -type f -a -true -a ! -regex 'debian/menhir-doc/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/menhir-doc/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 find debian/menhir-doc -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 rm -f debian/libmenhir-ocaml-dev.debhelper.log debian/menhir-doc.debhelper.log debian/menhir.debhelper.log debian/rules override_dh_missing make[1]: Entering directory '/build/menhir-20181113' dh_missing --fail-missing make[1]: Leaving directory '/build/menhir-20181113' dh_strip install -d debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/7c objcopy --only-keep-debug --compress-debug-sections debian/menhir/usr/bin/menhir debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/7c/6ff416ccf2c317be4ac7ed45882292b86476ec.debug chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/7c/6ff416ccf2c317be4ac7ed45882292b86476ec.debug chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/7c/6ff416ccf2c317be4ac7ed45882292b86476ec.debug strip --remove-section=.comment --remove-section=.note debian/menhir/usr/bin/menhir objcopy --add-gnu-debuglink debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/7c/6ff416ccf2c317be4ac7ed45882292b86476ec.debug debian/menhir/usr/bin/menhir install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/1a 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/1a/1867a06b5b0874e7712c31f087f441d730fdac.debug chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/1a/1867a06b5b0874e7712c31f087f441d730fdac.debug chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/1a/1867a06b5b0874e7712c31f087f441d730fdac.debug strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs install -d debian/.debhelper/menhir/dbgsym-root/usr/share/doc ln -s menhir debian/.debhelper/menhir/dbgsym-root/usr/share/doc/menhir-dbgsym objcopy --add-gnu-debuglink debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/1a/1867a06b5b0874e7712c31f087f441d730fdac.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/f6 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/f6/0c783393afcdeda989622b324ad2a116c0244e.debug chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/f6/0c783393afcdeda989622b324ad2a116c0244e.debug chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/f6/0c783393afcdeda989622b324ad2a116c0244e.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/f6/0c783393afcdeda989622b324ad2a116c0244e.debug debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/share/doc ln -s libmenhir-ocaml-dev debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/share/doc/libmenhir-ocaml-dev-dbgsym dh_makeshlibs rm -f debian/menhir/DEBIAN/shlibs rm -f debian/libmenhir-ocaml-dev/DEBIAN/shlibs rm -f debian/menhir-doc/DEBIAN/shlibs dh_shlibdeps install -d debian/menhir/DEBIAN dpkg-shlibdeps -Tdebian/menhir.substvars debian/menhir/usr/bin/menhir 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 install -d debian/menhir-doc/DEBIAN dh_ocaml +++ Remove former .olist.debhelper files +++ +++ Generate .olist.debhelper files +++ cat debian/libmenhir-ocaml-dev.olist.debhelper debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmx debian/libmenhir-ocaml-dev/usr/lib/ocaml/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/menhir-doc.olist.debhelper +++ Compute .md5sums and lintian files for dev packages +++ mkdir -p debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums /usr/bin/ocaml-md5sums -v --package libmenhir-ocaml-dev --version 20181113-1 --dump-info debian/libmenhir-ocaml-dev.oinfo.debhelper --dump-provides debian/libmenhir-ocaml-dev.oprovides.debhelper compute < debian/libmenhir-ocaml-dev.olist.debhelper > debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmo Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmo Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmx Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmx Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmi Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmi Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmo Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmo Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmx Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmx Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs mkdir -p debian/libmenhir-ocaml-dev//var/lib/ocaml/lintian /usr/bin/ocaml-lintian -v --package libmenhir-ocaml-dev --version 20181113-1 < debian/libmenhir-ocaml-dev.olist.debhelper > debian/libmenhir-ocaml-dev//var/lib/ocaml/lintian/libmenhir-ocaml-dev.info grep -a -s -v '^ocaml:Provides=' debian/libmenhir-ocaml-dev.substvars > debian/libmenhir-ocaml-dev.substvars.new || true mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars grep -a -s -v '^ocaml:Depends=' debian/libmenhir-ocaml-dev.substvars > debian/libmenhir-ocaml-dev.substvars.new || true mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars (grep -a -s -v ocaml:Provides debian/libmenhir-ocaml-dev.substvars; echo ocaml:Provides=libmenhir-ocaml-dev-bzqi1) > 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 v20181113-1 depends on ocaml-nox/ocaml-base-nox v4.05.0-11 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 menhir-doc dep < debian/menhir-doc.olist.debhelper dh_gencontrol echo misc:Depends= >> debian/menhir-doc.substvars echo misc:Pre-Depends= >> debian/menhir-doc.substvars dpkg-gencontrol -pmenhir-doc -ldebian/changelog -Tdebian/menhir-doc.substvars -Pdebian/menhir-doc -UMulti-Arch echo misc:Depends= >> debian/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=1a1867a06b5b0874e7712c31f087f441d730fdac f60c783393afcdeda989622b324ad2a116c0244e" -DSection=debug -UMulti-Arch -UReplaces -UBreaks echo misc:Depends= >> debian/menhir.substvars echo misc:Pre-Depends= >> debian/menhir.substvars install -d debian/.debhelper/menhir/dbgsym-root/DEBIAN dpkg-gencontrol -pmenhir -ldebian/changelog -Tdebian/menhir.substvars -Pdebian/.debhelper/menhir/dbgsym-root -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=7c6ff416ccf2c317be4ac7ed45882292b86476ec -DSection=debug -UMulti-Arch -UReplaces -UBreaks 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/.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 chmod 0644 -- debian/menhir-doc/DEBIAN/control chown 0:0 -- debian/menhir-doc/DEBIAN/control chmod 0644 -- debian/libmenhir-ocaml-dev/DEBIAN/control chown 0:0 -- debian/libmenhir-ocaml-dev/DEBIAN/control dh_md5sums 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 chmod 0644 -- debian/menhir/DEBIAN/md5sums chown 0:0 -- debian/menhir/DEBIAN/md5sums chmod 0644 -- debian/libmenhir-ocaml-dev/DEBIAN/md5sums chown 0:0 -- debian/libmenhir-ocaml-dev/DEBIAN/md5sums cd debian/.debhelper/menhir/dbgsym-root >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums cd debian/menhir-doc >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/md5sums chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/md5sums chmod 0644 -- debian/menhir-doc/DEBIAN/md5sums chown 0:0 -- debian/menhir-doc/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/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/md5sums chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/md5sums dh_builddeb dpkg-deb --build debian/menhir .. dpkg-deb --build debian/.debhelper/menhir/dbgsym-root .. dpkg-deb --build debian/libmenhir-ocaml-dev .. dpkg-deb --build debian/menhir-doc .. dpkg-deb --build debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root .. dpkg-deb: building package 'menhir' in '../menhir_20181113-1_amd64.deb'. dpkg-deb: building package 'libmenhir-ocaml-dev' in '../libmenhir-ocaml-dev_20181113-1_amd64.deb'. dpkg-deb: building package 'menhir-dbgsym' in '../menhir-dbgsym_20181113-1_amd64.deb'. dpkg-deb: building package 'menhir-doc' in '../menhir-doc_20181113-1_all.deb'. dpkg-deb: building package 'libmenhir-ocaml-dev-dbgsym' in '../libmenhir-ocaml-dev-dbgsym_20181113-1_amd64.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../menhir_20181113-1_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/6268 and its subdirectories I: Current time: Sun Jun 20 04:22:51 -12 2021 I: pbuilder-time-stamp: 1624206171 Sun Jun 20 16:22:52 UTC 2021 I: 1st build successful. Starting 2nd build on remote node ionos5-amd64.debian.net. Sun Jun 20 16:22:52 UTC 2021 I: Preparing to do remote build '2' on ionos5-amd64.debian.net. Sun Jun 20 16:24:02 UTC 2021 I: Deleting $TMPDIR on ionos5-amd64.debian.net. Sun Jun 20 16:24:03 UTC 2021 I: menhir_20181113-1_amd64.changes: Format: 1.8 Date: Wed, 14 Nov 2018 22:14:32 +0100 Source: menhir Binary: libmenhir-ocaml-dev libmenhir-ocaml-dev-dbgsym menhir menhir-dbgsym menhir-doc Architecture: amd64 all Version: 20181113-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: libmenhir-ocaml-dev - Menhir library for OCaml menhir - Parser generator for OCaml menhir-doc - Documentation of the Menhir parser generator for OCaml Changes: menhir (20181113-1) unstable; urgency=medium . * new upstream version * d/watch: point to inria gitlab * d/menhir-doc.docs: also install png pictures of the manual * d/rules: remove .gitignore files in examples * Standards-Version 4.2.1 (no change) Checksums-Sha1: 4ad1b3cbb10d51b4e3c984bd00362a0bcc89a556 16112 libmenhir-ocaml-dev-dbgsym_20181113-1_amd64.deb 79da0912de2af2bcb1ab098cffcb36568e1c6f51 217496 libmenhir-ocaml-dev_20181113-1_amd64.deb 2c736276499b4a316fef9af233bcc0ff199f5b5d 200676 menhir-dbgsym_20181113-1_amd64.deb 40b2a3fb787d7c109b28b8f06d4d041dc3887f30 572064 menhir-doc_20181113-1_all.deb c826124924a8aec45aa89a286c4ce46e438e9844 5871 menhir_20181113-1_amd64.buildinfo 79c8de704df8eddb7f2730981a6818c7d1a9c781 641224 menhir_20181113-1_amd64.deb Checksums-Sha256: 1c31dec536fb0c2d19301022bddb5bdbb9932baab6f713e7b918eabc92d663df 16112 libmenhir-ocaml-dev-dbgsym_20181113-1_amd64.deb de0ae9489966205a8e990c11e92a5206700661939d2a8448d984a4c2307b0e36 217496 libmenhir-ocaml-dev_20181113-1_amd64.deb 17064c4991c8e864b3b6efac28c91377722d4e4ba64393ea83031f880563ad7e 200676 menhir-dbgsym_20181113-1_amd64.deb 80adb57d8fab1cc76ccd071d23f23c4b607cc2896d6326eb1e6217d5d2e64166 572064 menhir-doc_20181113-1_all.deb 9d1e2c67c54874531847bd36523928e8686b3b220aa5b4a87851e3700f8ac4b4 5871 menhir_20181113-1_amd64.buildinfo cce94cdb71f392fefedf0f73e1317f96f40b17555035d7cfc22fb1d278e671ed 641224 menhir_20181113-1_amd64.deb Files: 12464beb3b5de04a41a84fa02dd47a01 16112 debug optional libmenhir-ocaml-dev-dbgsym_20181113-1_amd64.deb f9de63ab5b4ffd973cd4db90853ce52c 217496 ocaml optional libmenhir-ocaml-dev_20181113-1_amd64.deb 8f1e909994303f95bea691b33a00cc59 200676 debug optional menhir-dbgsym_20181113-1_amd64.deb 7de296ab17ae7d688d8808f706ca4e50 572064 doc optional menhir-doc_20181113-1_all.deb fe789b08ccb0924d4da703ef6b80ec50 5871 ocaml optional menhir_20181113-1_amd64.buildinfo fafbe74197b551dca4113ef10c17307a 641224 ocaml optional menhir_20181113-1_amd64.deb Sun Jun 20 16:24:04 UTC 2021 I: diffoscope 177 will be used to compare the two builds: # Profiling output for: /usr/bin/diffoscope --html /srv/reproducible-results/rbuild-debian/tmp.mrRCs2AO6W/menhir_20181113-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/tmp.mrRCs2AO6W/menhir_20181113-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/tmp.mrRCs2AO6W/menhir_20181113-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/tmp.mrRCs2AO6W/b1/menhir_20181113-1_amd64.changes /srv/reproducible-results/rbuild-debian/tmp.mrRCs2AO6W/b2/menhir_20181113-1_amd64.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call abc.DotChangesFile ## main (total time: 0.234s) 0.234s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.036s) 0.036s 10 calls diffoscope.comparators.binary.FilesystemFile 0.000s 8 calls abc.DotChangesFile Sun Jun 20 16:24:05 UTC 2021 I: diffoscope 177 found no differences in the changes files, and a .buildinfo file also exists. Sun Jun 20 16:24:05 UTC 2021 I: menhir from buster built successfully and reproducibly on amd64. Sun Jun 20 16:24:06 UTC 2021 I: Submitting .buildinfo files to external archives: Sun Jun 20 16:24:06 UTC 2021 I: Submitting 8.0K b1/menhir_20181113-1_amd64.buildinfo.asc Sun Jun 20 16:24:08 UTC 2021 I: Submitting 8.0K b2/menhir_20181113-1_amd64.buildinfo.asc Sun Jun 20 16:24:09 UTC 2021 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Sun Jun 20 16:24:09 UTC 2021 I: Done submitting .buildinfo files. Sun Jun 20 16:24:09 UTC 2021 I: Removing signed menhir_20181113-1_amd64.buildinfo.asc files: removed './b1/menhir_20181113-1_amd64.buildinfo.asc' removed './b2/menhir_20181113-1_amd64.buildinfo.asc'