Raspbian Package Auto-Building

Build log for menhir (20190626-6) on armhf

menhir → 20190626-6 → armhf → 2019-09-02 11:17:51 

sbuild (Debian sbuild) 0.71.0 (24 Aug 2016) on bm-wb-03

+==============================================================================+
| menhir 20190626-6 (armhf)                    Mon, 02 Sep 2019 10:55:30 +0000 |
+==============================================================================+

Package: menhir
Version: 20190626-6
Source Version: 20190626-6
Distribution: bullseye-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/bullseye-staging-armhf-sbuild-5fa66eb2-239c-43da-83d2-4e4d4160ba28' with '<<CHROOT>>'

+------------------------------------------------------------------------------+
| Update chroot                                                                |
+------------------------------------------------------------------------------+

Get:1 http://172.17.0.1/private bullseye-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private bullseye-staging/main Sources [11.5 MB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf Packages [13.0 MB]
Fetched 24.5 MB in 26s (941 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Fetch source files                                                           |
+------------------------------------------------------------------------------+


Check APT
---------

Checking available source versions...

Download source files with APT
------------------------------

Reading package lists...
NOTICE: 'menhir' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/menhir.git
Please use:
git clone https://salsa.debian.org/ocaml-team/menhir.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 2506 kB of source archives.
Get:1 http://172.17.0.1/private bullseye-staging/main menhir 20190626-6 (dsc) [2050 B]
Get:2 http://172.17.0.1/private bullseye-staging/main menhir 20190626-6 (tar) [2488 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main menhir 20190626-6 (diff) [16.3 kB]
Fetched 2506 kB in 0s (8968 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/menhir-X4kpw8/menhir-20190626' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/menhir-X4kpw8' with '<<BUILDDIR>>'

+------------------------------------------------------------------------------+
| Install build-essential                                                      |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-BN7GUo/apt_archive/sbuild-build-depends-core-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 1 entries to output Packages file.
gpg: keybox '/<<BUILDDIR>>/resolver-BN7GUo/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-BN7GUo/gpg/trustdb.gpg: trustdb created
gpg: key 35506D9A48F77B2E: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg:               imported: 1
gpg: key 35506D9A48F77B2E: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 35506D9A48F77B2E: secret key imported
gpg: Total number processed: 1
gpg:              unchanged: 1
gpg:       secret keys read: 1
gpg:   secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-BN7GUo/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-BN7GUo/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-BN7GUo/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-BN7GUo/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-BN7GUo/apt_archive ./ Packages [431 B]
Fetched 2107 B in 1s (2832 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...

Install core build dependencies (apt-based resolver)
----------------------------------------------------

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following package was automatically installed and is no longer required:
  netbase
Use 'apt autoremove' to remove it.
The following NEW packages will be installed:
  sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 95 not upgraded.
Need to get 848 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-BN7GUo/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [848 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 848 B in 0s (0 B/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 12050 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Check architectures                                                          |
+------------------------------------------------------------------------------+

Arch check ok (armhf included in any all)

+------------------------------------------------------------------------------+
| Install package build dependencies                                           |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: debhelper-compat (= 12), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml, coq
Filtered Build-Depends: debhelper-compat (= 12), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml, coq
dpkg-deb: building package 'sbuild-build-depends-menhir-dummy' in '/<<BUILDDIR>>/resolver-BN7GUo/apt_archive/sbuild-build-depends-menhir-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-core-dummy sbuild-build-depends-menhir-dummy
dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-BN7GUo/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-BN7GUo/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-BN7GUo/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-BN7GUo/apt_archive ./ Sources [527 B]
Get:5 copy:/<<BUILDDIR>>/resolver-BN7GUo/apt_archive ./ Packages [610 B]
Fetched 2470 B in 1s (3023 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...

Install menhir build dependencies (apt-based resolver)
------------------------------------------------------

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following package was automatically installed and is no longer required:
  netbase
Use 'apt autoremove' to remove it.
The following additional packages will be installed:
  autoconf automake autopoint autotools-dev bsdmainutils coq coq-theories
  debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext
  gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0
  libcoq-ocaml libcroco3 libelf1 libexpat1 libfile-stripnondeterminism-perl
  libfindlib-ocaml libglib2.0-0 libicu63 libmagic-mgc libmagic1 libmpdec2
  libncurses-dev libncurses5-dev libncurses6 libncursesw6 libpipeline1
  libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libreadline8
  libsigsegv2 libssl1.1 libsub-override-perl libtinfo5 libtinfo6 libtool
  libuchardet0 libxml2 m4 man-db mime-support ocaml-base-nox
  ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox ocamlbuild
  po-debconf python3 python3-minimal python3.7 python3.7-minimal
  sensible-utils
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois
  vacation proofgeneral ledit | readline-editor libcoq-ocaml-dev why coq-doc
  dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff ncurses-doc
  libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less
  www-browser camlp4 ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl
  python3-doc python3-tk python3-venv python3.7-venv python3.7-doc
  binfmt-support
Recommended packages:
  curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info
  xdg-user-dirs libgpm2 libltdl-dev libfindlib-ocaml-dev ledit
  | readline-editor libmail-sendmail-perl
The following NEW packages will be installed:
  autoconf automake autopoint autotools-dev bsdmainutils coq coq-theories
  debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext
  gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0
  libcoq-ocaml libcroco3 libelf1 libexpat1 libfile-stripnondeterminism-perl
  libfindlib-ocaml libglib2.0-0 libicu63 libmagic-mgc libmagic1 libmpdec2
  libncurses-dev libncurses5-dev libncurses6 libpipeline1 libpython3-stdlib
  libpython3.7-minimal libpython3.7-stdlib libreadline8 libsigsegv2 libssl1.1
  libsub-override-perl libtinfo5 libtool libuchardet0 libxml2 m4 man-db
  mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp
  ocaml-nox ocamlbuild po-debconf python3 python3-minimal python3.7
  python3.7-minimal sbuild-build-depends-menhir-dummy sensible-utils
The following packages will be upgraded:
  libncursesw6 libtinfo6
2 upgraded, 61 newly installed, 0 to remove and 93 not upgraded.
Need to get 156 MB of archives.
After this operation, 656 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-BN7GUo/apt_archive ./ sbuild-build-depends-menhir-dummy 0.invalid.0 [896 B]
Get:2 http://172.17.0.1/private bullseye-staging/main armhf libbsd0 armhf 0.10.0-1 [112 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf libtinfo5 armhf 6.1+20190803-1 [314 kB]
Get:4 http://172.17.0.1/private bullseye-staging/main armhf bsdmainutils armhf 11.1.2 [182 kB]
Get:5 http://172.17.0.1/private bullseye-staging/main armhf libuchardet0 armhf 0.0.6-3 [62.2 kB]
Get:6 http://172.17.0.1/private bullseye-staging/main armhf groff-base armhf 1.22.4-3 [782 kB]
Get:7 http://172.17.0.1/private bullseye-staging/main armhf libpipeline1 armhf 1.5.1-2 [26.6 kB]
Get:8 http://172.17.0.1/private bullseye-staging/main armhf man-db armhf 2.8.7-3 [1254 kB]
Get:9 http://172.17.0.1/private bullseye-staging/main armhf libssl1.1 armhf 1.1.1c-1 [1259 kB]
Get:10 http://172.17.0.1/private bullseye-staging/main armhf libpython3.7-minimal armhf 3.7.4-3 [584 kB]
Get:11 http://172.17.0.1/private bullseye-staging/main armhf libexpat1 armhf 2.2.7-1 [77.2 kB]
Get:12 http://172.17.0.1/private bullseye-staging/main armhf python3.7-minimal armhf 3.7.4-3 [1462 kB]
Get:13 http://172.17.0.1/private bullseye-staging/main armhf python3-minimal armhf 3.7.3-1 [36.6 kB]
Get:14 http://172.17.0.1/private bullseye-staging/main armhf mime-support all 3.63 [37.7 kB]
Get:15 http://172.17.0.1/private bullseye-staging/main armhf libmpdec2 armhf 2.4.2-2 [67.2 kB]
Get:16 http://172.17.0.1/private bullseye-staging/main armhf libtinfo6 armhf 6.1+20190803-1 [318 kB]
Get:17 http://172.17.0.1/private bullseye-staging/main armhf libncursesw6 armhf 6.1+20190803-1 [104 kB]
Get:18 http://172.17.0.1/private bullseye-staging/main armhf libreadline8 armhf 8.0-3 [138 kB]
Get:19 http://172.17.0.1/private bullseye-staging/main armhf libpython3.7-stdlib armhf 3.7.4-3 [1673 kB]
Get:20 http://172.17.0.1/private bullseye-staging/main armhf python3.7 armhf 3.7.4-3 [340 kB]
Get:21 http://172.17.0.1/private bullseye-staging/main armhf libpython3-stdlib armhf 3.7.3-1 [20.0 kB]
Get:22 http://172.17.0.1/private bullseye-staging/main armhf python3 armhf 3.7.3-1 [61.5 kB]
Get:23 http://172.17.0.1/private bullseye-staging/main armhf sensible-utils all 0.0.12 [15.8 kB]
Get:24 http://172.17.0.1/private bullseye-staging/main armhf libmagic-mgc armhf 1:5.37-5 [253 kB]
Get:25 http://172.17.0.1/private bullseye-staging/main armhf libmagic1 armhf 1:5.37-5 [111 kB]
Get:26 http://172.17.0.1/private bullseye-staging/main armhf file armhf 1:5.37-5 [66.2 kB]
Get:27 http://172.17.0.1/private bullseye-staging/main armhf gettext-base armhf 0.19.8.1-9 [117 kB]
Get:28 http://172.17.0.1/private bullseye-staging/main armhf libsigsegv2 armhf 2.12-2 [32.3 kB]
Get:29 http://172.17.0.1/private bullseye-staging/main armhf m4 armhf 1.4.18-2 [185 kB]
Get:30 http://172.17.0.1/private bullseye-staging/main armhf autoconf all 2.69-11 [341 kB]
Get:31 http://172.17.0.1/private bullseye-staging/main armhf autotools-dev all 20180224.1 [77.0 kB]
Get:32 http://172.17.0.1/private bullseye-staging/main armhf automake all 1:1.16.1-4 [771 kB]
Get:33 http://172.17.0.1/private bullseye-staging/main armhf autopoint all 0.19.8.1-9 [434 kB]
Get:34 http://172.17.0.1/private bullseye-staging/main armhf coq-theories armhf 8.9.0-1+b2 [20.4 MB]
Get:35 http://172.17.0.1/private bullseye-staging/main armhf libncurses6 armhf 6.1+20190803-1 [79.3 kB]
Get:36 http://172.17.0.1/private bullseye-staging/main armhf ocaml-base-nox armhf 4.05.0-11+rpi1 [577 kB]
Get:37 http://172.17.0.1/private bullseye-staging/main armhf libcoq-ocaml armhf 8.9.0-1+b2 [5379 kB]
Get:38 http://172.17.0.1/private bullseye-staging/main armhf libncurses-dev armhf 6.1+20190803-1 [281 kB]
Get:39 http://172.17.0.1/private bullseye-staging/main armhf libncurses5-dev armhf 6.1+20190803-1 [940 B]
Get:40 http://172.17.0.1/private bullseye-staging/main armhf ocaml-compiler-libs armhf 4.05.0-11+rpi1 [19.2 MB]
Get:41 http://172.17.0.1/private bullseye-staging/main armhf ocaml-interp armhf 4.05.0-11+rpi1 [3582 kB]
Get:42 http://172.17.0.1/private bullseye-staging/main armhf ocaml-nox armhf 4.05.0-11+rpi1 [25.1 MB]
Get:43 http://172.17.0.1/private bullseye-staging/main armhf libfindlib-ocaml armhf 1.8.1-1 [169 kB]
Get:44 http://172.17.0.1/private bullseye-staging/main armhf ocaml-findlib armhf 1.8.1-1 [320 kB]
Get:45 http://172.17.0.1/private bullseye-staging/main armhf coq armhf 8.9.0-1+b2 [55.7 MB]
Get:46 http://172.17.0.1/private bullseye-staging/main armhf libtool all 2.4.6-9 [547 kB]
Get:47 http://172.17.0.1/private bullseye-staging/main armhf dh-autoreconf all 19 [16.9 kB]
Get:48 http://172.17.0.1/private bullseye-staging/main armhf libarchive-zip-perl all 1.64-1 [96.8 kB]
Get:49 http://172.17.0.1/private bullseye-staging/main armhf libsub-override-perl all 0.09-2 [10.2 kB]
Get:50 http://172.17.0.1/private bullseye-staging/main armhf libfile-stripnondeterminism-perl all 1.5.0-1 [22.8 kB]
Get:51 http://172.17.0.1/private bullseye-staging/main armhf dh-strip-nondeterminism all 1.5.0-1 [14.1 kB]
Get:52 http://172.17.0.1/private bullseye-staging/main armhf libelf1 armhf 0.176-1.1 [158 kB]
Get:53 http://172.17.0.1/private bullseye-staging/main armhf dwz armhf 0.13-1 [69.7 kB]
Get:54 http://172.17.0.1/private bullseye-staging/main armhf libglib2.0-0 armhf 2.60.6-2 [1109 kB]
Get:55 http://172.17.0.1/private bullseye-staging/main armhf libicu63 armhf 63.2-2 [7974 kB]
Get:56 http://172.17.0.1/private bullseye-staging/main armhf libxml2 armhf 2.9.4+dfsg1-7+b2 [571 kB]
Get:57 http://172.17.0.1/private bullseye-staging/main armhf libcroco3 armhf 0.6.13-1 [133 kB]
Get:58 http://172.17.0.1/private bullseye-staging/main armhf gettext armhf 0.19.8.1-9 [1219 kB]
Get:59 http://172.17.0.1/private bullseye-staging/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get:60 http://172.17.0.1/private bullseye-staging/main armhf po-debconf all 1.0.21 [248 kB]
Get:61 http://172.17.0.1/private bullseye-staging/main armhf debhelper all 12.5.3 [1036 kB]
Get:62 http://172.17.0.1/private bullseye-staging/main armhf dh-ocaml all 1.1.0 [83.3 kB]
Get:63 http://172.17.0.1/private bullseye-staging/main armhf ocamlbuild armhf 0.14.0-1 [723 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 156 MB in 14s (11.3 MB/s)
Selecting previously unselected package libbsd0:armhf.
(Reading database ... 12050 files and directories currently installed.)
Preparing to unpack .../00-libbsd0_0.10.0-1_armhf.deb ...
Unpacking libbsd0:armhf (0.10.0-1) ...
Selecting previously unselected package libtinfo5:armhf.
Preparing to unpack .../01-libtinfo5_6.1+20190803-1_armhf.deb ...
Unpacking libtinfo5:armhf (6.1+20190803-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../02-bsdmainutils_11.1.2_armhf.deb ...
Unpacking bsdmainutils (11.1.2) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../03-libuchardet0_0.0.6-3_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.6-3) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../04-groff-base_1.22.4-3_armhf.deb ...
Unpacking groff-base (1.22.4-3) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../05-libpipeline1_1.5.1-2_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.1-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../06-man-db_2.8.7-3_armhf.deb ...
Unpacking man-db (2.8.7-3) ...
Selecting previously unselected package libssl1.1:armhf.
Preparing to unpack .../07-libssl1.1_1.1.1c-1_armhf.deb ...
Unpacking libssl1.1:armhf (1.1.1c-1) ...
Selecting previously unselected package libpython3.7-minimal:armhf.
Preparing to unpack .../08-libpython3.7-minimal_3.7.4-3_armhf.deb ...
Unpacking libpython3.7-minimal:armhf (3.7.4-3) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../09-libexpat1_2.2.7-1_armhf.deb ...
Unpacking libexpat1:armhf (2.2.7-1) ...
Selecting previously unselected package python3.7-minimal.
Preparing to unpack .../10-python3.7-minimal_3.7.4-3_armhf.deb ...
Unpacking python3.7-minimal (3.7.4-3) ...
Setting up libssl1.1:armhf (1.1.1c-1) ...
Setting up libpython3.7-minimal:armhf (3.7.4-3) ...
Setting up libexpat1:armhf (2.2.7-1) ...
Setting up python3.7-minimal (3.7.4-3) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 12952 files and directories currently installed.)
Preparing to unpack .../python3-minimal_3.7.3-1_armhf.deb ...
Unpacking python3-minimal (3.7.3-1) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../mime-support_3.63_all.deb ...
Unpacking mime-support (3.63) ...
Selecting previously unselected package libmpdec2:armhf.
Preparing to unpack .../libmpdec2_2.4.2-2_armhf.deb ...
Unpacking libmpdec2:armhf (2.4.2-2) ...
Preparing to unpack .../libtinfo6_6.1+20190803-1_armhf.deb ...
Unpacking libtinfo6:armhf (6.1+20190803-1) over (6.1+20181013-2) ...
Setting up libtinfo6:armhf (6.1+20190803-1) ...
(Reading database ... 13006 files and directories currently installed.)
Preparing to unpack .../libncursesw6_6.1+20190803-1_armhf.deb ...
Unpacking libncursesw6:armhf (6.1+20190803-1) over (6.1+20181013-2) ...
Setting up libncursesw6:armhf (6.1+20190803-1) ...
Selecting previously unselected package libreadline8:armhf.
(Reading database ... 13006 files and directories currently installed.)
Preparing to unpack .../libreadline8_8.0-3_armhf.deb ...
Unpacking libreadline8:armhf (8.0-3) ...
Selecting previously unselected package libpython3.7-stdlib:armhf.
Preparing to unpack .../libpython3.7-stdlib_3.7.4-3_armhf.deb ...
Unpacking libpython3.7-stdlib:armhf (3.7.4-3) ...
Selecting previously unselected package python3.7.
Preparing to unpack .../python3.7_3.7.4-3_armhf.deb ...
Unpacking python3.7 (3.7.4-3) ...
Selecting previously unselected package libpython3-stdlib:armhf.
Preparing to unpack .../libpython3-stdlib_3.7.3-1_armhf.deb ...
Unpacking libpython3-stdlib:armhf (3.7.3-1) ...
Setting up python3-minimal (3.7.3-1) ...
Selecting previously unselected package python3.
(Reading database ... 13403 files and directories currently installed.)
Preparing to unpack .../00-python3_3.7.3-1_armhf.deb ...
Unpacking python3 (3.7.3-1) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../01-sensible-utils_0.0.12_all.deb ...
Unpacking sensible-utils (0.0.12) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../02-libmagic-mgc_1%3a5.37-5_armhf.deb ...
Unpacking libmagic-mgc (1:5.37-5) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../03-libmagic1_1%3a5.37-5_armhf.deb ...
Unpacking libmagic1:armhf (1:5.37-5) ...
Selecting previously unselected package file.
Preparing to unpack .../04-file_1%3a5.37-5_armhf.deb ...
Unpacking file (1:5.37-5) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../05-gettext-base_0.19.8.1-9_armhf.deb ...
Unpacking gettext-base (0.19.8.1-9) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../06-libsigsegv2_2.12-2_armhf.deb ...
Unpacking libsigsegv2:armhf (2.12-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../07-m4_1.4.18-2_armhf.deb ...
Unpacking m4 (1.4.18-2) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../08-autoconf_2.69-11_all.deb ...
Unpacking autoconf (2.69-11) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../09-autotools-dev_20180224.1_all.deb ...
Unpacking autotools-dev (20180224.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../10-automake_1%3a1.16.1-4_all.deb ...
Unpacking automake (1:1.16.1-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../11-autopoint_0.19.8.1-9_all.deb ...
Unpacking autopoint (0.19.8.1-9) ...
Selecting previously unselected package coq-theories.
Preparing to unpack .../12-coq-theories_8.9.0-1+b2_armhf.deb ...
Unpacking coq-theories (8.9.0-1+b2) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../13-libncurses6_6.1+20190803-1_armhf.deb ...
Unpacking libncurses6:armhf (6.1+20190803-1) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../14-ocaml-base-nox_4.05.0-11+rpi1_armhf.deb ...
Unpacking ocaml-base-nox (4.05.0-11+rpi1) ...
Selecting previously unselected package libcoq-ocaml.
Preparing to unpack .../15-libcoq-ocaml_8.9.0-1+b2_armhf.deb ...
Unpacking libcoq-ocaml (8.9.0-1+b2) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../16-libncurses-dev_6.1+20190803-1_armhf.deb ...
Unpacking libncurses-dev:armhf (6.1+20190803-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../17-libncurses5-dev_6.1+20190803-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.1+20190803-1) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../18-ocaml-compiler-libs_4.05.0-11+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.05.0-11+rpi1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../19-ocaml-interp_4.05.0-11+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.05.0-11+rpi1) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../20-ocaml-nox_4.05.0-11+rpi1_armhf.deb ...
Unpacking ocaml-nox (4.05.0-11+rpi1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../21-libfindlib-ocaml_1.8.1-1_armhf.deb ...
Unpacking libfindlib-ocaml (1.8.1-1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../22-ocaml-findlib_1.8.1-1_armhf.deb ...
Unpacking ocaml-findlib (1.8.1-1) ...
Selecting previously unselected package coq.
Preparing to unpack .../23-coq_8.9.0-1+b2_armhf.deb ...
Unpacking coq (8.9.0-1+b2) ...
Selecting previously unselected package libtool.
Preparing to unpack .../24-libtool_2.4.6-9_all.deb ...
Unpacking libtool (2.4.6-9) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../25-dh-autoreconf_19_all.deb ...
Unpacking dh-autoreconf (19) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../26-libarchive-zip-perl_1.64-1_all.deb ...
Unpacking libarchive-zip-perl (1.64-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../27-libsub-override-perl_0.09-2_all.deb ...
Unpacking libsub-override-perl (0.09-2) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../28-libfile-stripnondeterminism-perl_1.5.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.5.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../29-dh-strip-nondeterminism_1.5.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.5.0-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../30-libelf1_0.176-1.1_armhf.deb ...
Unpacking libelf1:armhf (0.176-1.1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../31-dwz_0.13-1_armhf.deb ...
Unpacking dwz (0.13-1) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../32-libglib2.0-0_2.60.6-2_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.60.6-2) ...
Selecting previously unselected package libicu63:armhf.
Preparing to unpack .../33-libicu63_63.2-2_armhf.deb ...
Unpacking libicu63:armhf (63.2-2) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../34-libxml2_2.9.4+dfsg1-7+b2_armhf.deb ...
Unpacking libxml2:armhf (2.9.4+dfsg1-7+b2) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../35-libcroco3_0.6.13-1_armhf.deb ...
Unpacking libcroco3:armhf (0.6.13-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../36-gettext_0.19.8.1-9_armhf.deb ...
Unpacking gettext (0.19.8.1-9) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../37-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 .../38-po-debconf_1.0.21_all.deb ...
Unpacking po-debconf (1.0.21) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../39-debhelper_12.5.3_all.deb ...
Unpacking debhelper (12.5.3) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../40-dh-ocaml_1.1.0_all.deb ...
Unpacking dh-ocaml (1.1.0) ...
Selecting previously unselected package ocamlbuild.
Preparing to unpack .../41-ocamlbuild_0.14.0-1_armhf.deb ...
Unpacking ocamlbuild (0.14.0-1) ...
Selecting previously unselected package sbuild-build-depends-menhir-dummy.
Preparing to unpack .../42-sbuild-build-depends-menhir-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-menhir-dummy (0.invalid.0) ...
Setting up libpipeline1:armhf (1.5.1-2) ...
Setting up mime-support (3.63) ...
Setting up libmagic-mgc (1:5.37-5) ...
Setting up libarchive-zip-perl (1.64-1) ...
Setting up libglib2.0-0:armhf (2.60.6-2) ...
No schema files found: doing nothing.
Setting up libreadline8:armhf (8.0-3) ...
Setting up dh-ocaml (1.1.0) ...
Setting up libmagic1:armhf (1:5.37-5) ...
Setting up gettext-base (0.19.8.1-9) ...
Setting up file (1:5.37-5) ...
Setting up libicu63:armhf (63.2-2) ...
Setting up autotools-dev (20180224.1) ...
Setting up libncurses6:armhf (6.1+20190803-1) ...
Setting up libsigsegv2:armhf (2.12-2) ...
Setting up autopoint (0.19.8.1-9) ...
Setting up sensible-utils (0.0.12) ...
Setting up libuchardet0:armhf (0.0.6-3) ...
Setting up libsub-override-perl (0.09-2) ...
Setting up ocaml-base-nox (4.05.0-11+rpi1) ...
Setting up libmpdec2:armhf (2.4.2-2) ...
Setting up libbsd0:armhf (0.10.0-1) ...
Setting up libtinfo5:armhf (6.1+20190803-1) ...
Setting up libelf1:armhf (0.176-1.1) ...
Setting up libxml2:armhf (2.9.4+dfsg1-7+b2) ...
Setting up libfile-stripnondeterminism-perl (1.5.0-1) ...
Setting up libpython3.7-stdlib:armhf (3.7.4-3) ...
Setting up libncurses-dev:armhf (6.1+20190803-1) ...
Setting up libtool (2.4.6-9) ...
Setting up libfindlib-ocaml (1.8.1-1) ...
Setting up m4 (1.4.18-2) ...
Setting up ocamlbuild (0.14.0-1) ...
Setting up bsdmainutils (11.1.2) ...
update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode
update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode
Setting up ocaml-findlib (1.8.1-1) ...
Setting up libcroco3:armhf (0.6.13-1) ...
Setting up libcoq-ocaml (8.9.0-1+b2) ...
Setting up autoconf (2.69-11) ...
Setting up dwz (0.13-1) ...
Setting up groff-base (1.22.4-3) ...
Setting up libncurses5-dev:armhf (6.1+20190803-1) ...
Setting up libpython3-stdlib:armhf (3.7.3-1) ...
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 python3.7 (3.7.4-3) ...
Setting up gettext (0.19.8.1-9) ...
Setting up python3 (3.7.3-1) ...
Setting up man-db (2.8.7-3) ...
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 dh-autoreconf (19) ...
Setting up coq-theories (8.9.0-1+b2) ...
Setting up ocaml-compiler-libs (4.05.0-11+rpi1) ...
Setting up debhelper (12.5.3) ...
Setting up ocaml-interp (4.05.0-11+rpi1) ...
Setting up dh-strip-nondeterminism (1.5.0-1) ...
Setting up ocaml-nox (4.05.0-11+rpi1) ...
Setting up coq (8.9.0-1+b2) ...
Setting up sbuild-build-depends-menhir-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.28-10+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Build environment                                                            |
+------------------------------------------------------------------------------+

Kernel: Linux 4.9.0-0.bpo.2-armmp armhf (armv7l)
Toolchain package versions: binutils_2.31.1-16+rpi1 dpkg-dev_1.19.7 g++-8_8.3.0-6+rpi1 gcc-8_8.3.0-6+rpi1 libc6-dev_2.28-10+rpi1 libstdc++-8-dev_8.3.0-6+rpi1 libstdc++6_8.3.0-6+rpi1 linux-libc-dev_4.18.20-2+rpi1
Package versions: adduser_3.118 apt_1.8.2 autoconf_2.69-11 automake_1:1.16.1-4 autopoint_0.19.8.1-9 autotools-dev_20180224.1 base-files_10.3+rpi1 base-passwd_3.5.46 bash_5.0-4 binutils_2.31.1-16+rpi1 binutils-arm-linux-gnueabihf_2.31.1-16+rpi1 binutils-common_2.31.1-16+rpi1 bsdmainutils_11.1.2 bsdutils_1:2.33.1-0.1 build-essential_12.6 bzip2_1.0.6-9.1 coq_8.9.0-1+b2 coq-theories_8.9.0-1+b2 coreutils_8.30-3 cpp_4:8.3.0-1+rpi2 cpp-8_8.3.0-6+rpi1 dash_0.5.10.2-5 debconf_1.5.71 debhelper_12.5.3 debianutils_4.8.6.1 dh-autoreconf_19 dh-ocaml_1.1.0 dh-strip-nondeterminism_1.5.0-1 diffutils_1:3.7-3 dirmngr_2.2.12-1+rpi1 dpkg_1.19.7 dpkg-dev_1.19.7 dwz_0.13-1 e2fsprogs_1.44.5-1 fakeroot_1.23-1 fdisk_2.33.1-0.1 file_1:5.37-5 findutils_4.6.0+git+20190209-2 g++_4:8.3.0-1+rpi2 g++-8_8.3.0-6+rpi1 gcc_4:8.3.0-1+rpi2 gcc-4.9-base_4.9.4-2+rpi1+b19 gcc-5-base_5.5.0-8 gcc-6-base_6.5.0-1+rpi1+b1 gcc-7-base_7.3.0-19 gcc-8_8.3.0-6+rpi1 gcc-8-base_8.3.0-6+rpi1 gettext_0.19.8.1-9 gettext-base_0.19.8.1-9 gnupg_2.2.12-1+rpi1 gnupg-l10n_2.2.12-1+rpi1 gnupg-utils_2.2.12-1+rpi1 gpg_2.2.12-1+rpi1 gpg-agent_2.2.12-1+rpi1 gpg-wks-client_2.2.12-1+rpi1 gpg-wks-server_2.2.12-1+rpi1 gpgconf_2.2.12-1+rpi1 gpgsm_2.2.12-1+rpi1 gpgv_2.2.12-1+rpi1 grep_3.3-1 groff-base_1.22.4-3 gzip_1.9-3 hostname_3.21 init-system-helpers_1.56+nmu1 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-4 libapt-pkg5.0_1.8.2 libarchive-zip-perl_1.64-1 libasan5_8.3.0-6+rpi1 libassuan0_2.5.2-1 libatomic1_8.3.0-6+rpi1 libattr1_1:2.4.48-4 libaudit-common_1:2.8.4-3 libaudit1_1:2.8.4-3 libbinutils_2.31.1-16+rpi1 libblkid1_2.33.1-0.1 libbsd0_0.10.0-1 libbz2-1.0_1.0.6-9.1 libc-bin_2.28-10+rpi1 libc-dev-bin_2.28-10+rpi1 libc6_2.28-10+rpi1 libc6-dev_2.28-10+rpi1 libcap-ng0_0.7.9-2 libcc1-0_8.3.0-6+rpi1 libcom-err2_1.44.5-1 libcoq-ocaml_8.9.0-1+b2 libcroco3_0.6.13-1 libdb5.3_5.3.28+dfsg1-0.5 libdebconfclient0_0.249 libdpkg-perl_1.19.7 libelf1_0.176-1.1 libexpat1_2.2.7-1 libext2fs2_1.44.5-1 libfakeroot_1.23-1 libfdisk1_2.33.1-0.1 libffi6_3.2.1-9 libfile-stripnondeterminism-perl_1.5.0-1 libfindlib-ocaml_1.8.1-1 libgcc-8-dev_8.3.0-6+rpi1 libgcc1_1:8.3.0-6+rpi1 libgcrypt20_1.8.4-5 libgdbm-compat4_1.18.1-4 libgdbm6_1.18.1-4 libglib2.0-0_2.60.6-2 libgmp10_2:6.1.2+dfsg-4 libgnutls30_3.6.7-4 libgomp1_8.3.0-6+rpi1 libgpg-error0_1.35-1 libhogweed4_3.4.1-1 libicu63_63.2-2 libidn2-0_2.0.5-1 libisl19_0.20-2 libksba8_1.3.5-2 libldap-2.4-2_2.4.47+dfsg-3+rpi1 libldap-common_2.4.47+dfsg-3+rpi1 liblocale-gettext-perl_1.07-3+b3 liblz4-1_1.8.3-1 liblzma5_5.2.4-1 libmagic-mgc_1:5.37-5 libmagic1_1:5.37-5 libmount1_2.33.1-0.1 libmpc3_1.1.0-1 libmpdec2_2.4.2-2 libmpfr6_4.0.2-1 libncurses-dev_6.1+20190803-1 libncurses5-dev_6.1+20190803-1 libncurses6_6.1+20190803-1 libncursesw6_6.1+20190803-1 libnettle6_3.4.1-1 libnpth0_1.6-1 libp11-kit0_0.23.15-2 libpam-modules_1.3.1-5 libpam-modules-bin_1.3.1-5 libpam-runtime_1.3.1-5 libpam0g_1.3.1-5 libpcre3_2:8.39-12 libperl5.28_5.28.1-6 libpipeline1_1.5.1-2 libpython3-stdlib_3.7.3-1 libpython3.7-minimal_3.7.4-3 libpython3.7-stdlib_3.7.4-3 libreadline7_7.0-5 libreadline8_8.0-3 libsasl2-2_2.1.27+dfsg-1+b1 libsasl2-modules-db_2.1.27+dfsg-1+b1 libseccomp2_2.3.3-4 libselinux1_2.8-1+b1 libsemanage-common_2.8-2 libsemanage1_2.8-2 libsepol1_2.8-1 libsigsegv2_2.12-2 libsmartcols1_2.33.1-0.1 libsqlite3-0_3.27.2-3 libss2_1.44.5-1 libssl1.1_1.1.1c-1 libstdc++-8-dev_8.3.0-6+rpi1 libstdc++6_8.3.0-6+rpi1 libsub-override-perl_0.09-2 libsystemd0_241-5+rpi1 libtasn1-6_4.13-3 libtext-charwidth-perl_0.04-7.1+b1 libtext-iconv-perl_1.7-5+b10 libtext-wrapi18n-perl_0.06-7.1 libtinfo5_6.1+20190803-1 libtinfo6_6.1+20190803-1 libtool_2.4.6-9 libubsan1_8.3.0-6+rpi1 libuchardet0_0.0.6-3 libudev1_241-5+rpi1 libunistring2_0.9.10-1 libuuid1_2.33.1-0.1 libxml2_2.9.4+dfsg1-7+b2 libzstd1_1.3.8+dfsg-3+rpi1 linux-libc-dev_4.18.20-2+rpi1 login_1:4.5-1.1 lsb-base_10.2019051400+rpi1 m4_1.4.18-2 make_4.2.1-1.2 man-db_2.8.7-3 mawk_1.3.3-17 mime-support_3.63 mount_2.33.1-0.1 ncurses-base_6.1+20181013-2 ncurses-bin_6.1+20181013-2 netbase_5.6 ocaml-base-nox_4.05.0-11+rpi1 ocaml-compiler-libs_4.05.0-11+rpi1 ocaml-findlib_1.8.1-1 ocaml-interp_4.05.0-11+rpi1 ocaml-nox_4.05.0-11+rpi1 ocamlbuild_0.14.0-1 passwd_1:4.5-1.1 patch_2.7.6-3 perl_5.28.1-6 perl-base_5.28.1-6 perl-modules-5.28_5.28.1-6 pinentry-curses_1.1.0-2 po-debconf_1.0.21 python3_3.7.3-1 python3-minimal_3.7.3-1 python3.7_3.7.4-3 python3.7-minimal_3.7.4-3 raspbian-archive-keyring_20120528.2 readline-common_7.0-5 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-menhir-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12 sysvinit-utils_2.93-8 tar_1.30+dfsg-6 tzdata_2019a-1 util-linux_2.33.1-0.1 xz-utils_5.2.4-1 zlib1g_1:1.2.11.dfsg-1

+------------------------------------------------------------------------------+
| Build                                                                        |
+------------------------------------------------------------------------------+


Unpack source
-------------

gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error
gpgv: Signature made Tue Aug 27 13:46:17 2019 UTC
gpgv:                using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./menhir_20190626-6.dsc
dpkg-source: info: extracting menhir in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking menhir_20190626.orig.tar.gz
dpkg-source: info: unpacking menhir_20190626-6.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying demos-enable-bytecode

Check disc space
----------------

Sufficient free space for build

User Environment
----------------

APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=bullseye-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bullseye-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bullseye-staging-armhf-sbuild-5fa66eb2-239c-43da-83d2-4e4d4160ba28
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=xterm
USER=buildd

dpkg-buildpackage
-----------------

dpkg-buildpackage: info: source package menhir
dpkg-buildpackage: info: source version 20190626-6
dpkg-buildpackage: info: source distribution unstable
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
 fakeroot debian/rules clean
dh clean --with ocaml
   debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make -C src/ clean PREFIX=/<<PKGBUILDDIR>>/debian/tmp/usr
make[2]: Entering directory '/<<PKGBUILDDIR>>/src'
rm -rf _stage1 _stage2 _stage3 _sdk
rm -f *.mli.html
rm -f *.old *.new
make[2]: Leaving directory '/<<PKGBUILDDIR>>/src'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_ocamlclean
	rm -f ocamlinit-stamp debian/libmenhir-ocaml-dev.dirs debian/libmenhir-ocaml-dev.install
   dh_clean
	rm -f debian/debhelper-build-stamp
	rm -rf debian/.debhelper/
	rm -f -- debian/menhir.substvars debian/libmenhir-ocaml-dev.substvars debian/menhir-doc.substvars debian/libmenhir-coq.substvars debian/files
	rm -fr -- debian/menhir/ debian/tmp/ debian/libmenhir-ocaml-dev/ debian/menhir-doc/ debian/libmenhir-coq/
	find .  \( \( \
		\( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS -o -path .\*/.pc -o -path .\*/_darcs \) -prune -o -type f -a \
	        \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \
		 -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \
		 -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \
		 -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \
		\) -exec rm -f {} + \) -o \
		\( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) \)
 debian/rules build-arch
dh build-arch --with ocaml
   dh_update_autotools_config -a
   dh_autoreconf -a
   dh_ocamlinit -a
	sed  -e 's%@OCamlABI@%4.05.0%g' -e 's%@OCamlStdlibDir@%/usr/lib/ocaml%g' -e 's%@OCamlDllDir@%/usr/lib/ocaml/stublibs%g' -e 's/^OPT: //' -e '/^BYTE: /d' -e 's/^DYN: //' debian/libmenhir-ocaml-dev.dirs.in > debian/libmenhir-ocaml-dev.dirs
	sed  -e 's%@OCamlABI@%4.05.0%g' -e 's%@OCamlStdlibDir@%/usr/lib/ocaml%g' -e 's%@OCamlDllDir@%/usr/lib/ocaml/stublibs%g' -e 's/^OPT: //' -e '/^BYTE: /d' -e 's/^DYN: //' debian/libmenhir-ocaml-dev.install.in > debian/libmenhir-ocaml-dev.install
	touch ocamlinit-stamp
   dh_auto_configure -a
   debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make TARGET=native PREFIX=/usr
make[2]: Entering directory '/<<PKGBUILDDIR>>'
make[3]: Entering directory '/<<PKGBUILDDIR>>/src'
make[4]: Entering directory '/<<PKGBUILDDIR>>/src'
/usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
/usr/bin/ocamldep.opt -modules General.mli > General.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli
/usr/bin/ocamldep.opt -modules General.ml > General.ml.depends
/usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli
/usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends
/usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli
/usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends
/usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
/usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends
/usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli
/usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends
/usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
/usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
/usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
/usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
/usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
/usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
/usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
/usr/bin/ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o General.cmx General.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Convert.cmx Convert.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Engine.cmx Engine.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o ErrorReports.cmx ErrorReports.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Printers.cmx Printers.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml
touch menhirLib.mli  ; if  /usr/bin/ocamlopt.opt -pack -g -bin-annot General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.cmx ErrorReports.cmx Printers.cmx InfiniteArray.cmx PackedIntArray.cmx RowDisplacement.cmx LinearizedArray.cmx TableFormat.cmx InspectionTableFormat.cmx InspectionTableInterpreter.cmx TableInterpreter.cmx StaticVersion.cmx -o menhirLib.cmx  ; then  rm -f menhirLib.mli  ; else  rm -f menhirLib.mli  ; exit 1; fi
/usr/bin/ocamlopt.opt -a menhirLib.cmx -o menhirLib.cmxa
/usr/bin/ocamlopt.opt -shared -linkall menhirLib.cmxa -o menhirLib.cmxs
/usr/bin/ocamldep.opt -modules menhir.ml > menhir.ml.depends
/usr/bin/ocamldep.opt -modules back.mli > back.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o back.cmi back.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o menhir.cmo menhir.ml
/usr/bin/ocamldep.opt -modules back.ml > back.ml.depends
/usr/bin/ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends
/usr/bin/ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends
/usr/bin/ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends
/usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli
/usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keyword.cmx keyword.ml
/usr/bin/ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml
/usr/bin/ocamldep.opt -modules version.ml > version.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_api.cmx cmly_api.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_format.cmx cmly_format.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o version.cmx version.ml
/usr/bin/ocamldep.opt -modules cmly_write.ml > cmly_write.ml.depends
/usr/bin/ocamldep.opt -modules cmly_write.mli > cmly_write.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli
/usr/bin/ocamldep.opt -modules action.ml > action.ml.depends
/usr/bin/ocamldep.opt -modules action.mli > action.mli.depends
/usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends
/usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli
/usr/bin/ocamldep.opt -modules codeBits.ml > codeBits.ml.depends
/usr/bin/ocamldep.opt -modules codeBits.mli > codeBits.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli
/usr/bin/ocamldep.opt -modules settings.ml > settings.ml.depends
/usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends
/usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli
/usr/bin/ocamldep.opt -modules installation.ml > installation.ml.depends
/usr/bin/ocamldep.opt -modules installation.mli > installation.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o installation.cmi installation.mli
/usr/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml
/usr/bin/ocamldep.opt -modules basicSyntax.ml > basicSyntax.ml.depends
/usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends
/usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
/usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends
/usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o basicSyntax.cmo basicSyntax.ml
/usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends
/usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml
/usr/bin/ocamldep.opt -modules InputFile.ml > InputFile.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml
/usr/bin/ocamldep.opt -modules front.ml > front.ml.depends
/usr/bin/ocamldep.opt -modules front.mli > front.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli
/usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends
/usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli
/usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends
/usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli
/usr/bin/ocamldep.opt -modules error.ml > error.ml.depends
/usr/bin/ocamldep.opt -modules error.mli > error.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml
/usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml
/usr/bin/ocamldep.opt -modules basicPrinter.ml > basicPrinter.ml.depends
/usr/bin/ocamldep.opt -modules basicPrinter.mli > basicPrinter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o basicPrinter.cmi basicPrinter.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o basicSyntax.cmx basicSyntax.ml
/usr/bin/ocamldep.opt -modules option.ml > option.ml.depends
/usr/bin/ocamldep.opt -modules option.mli > option.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli
/usr/bin/ocamldep.opt -modules printer.ml > printer.ml.depends
/usr/bin/ocamldep.opt -modules printer.mli > printer.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli
/usr/bin/ocamldep.opt -modules Compatibility.ml > Compatibility.ml.depends
/usr/bin/ocamldep.opt -modules Compatibility.mli > Compatibility.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Compatibility.cmi Compatibility.mli
/usr/bin/ocamllex.opt -q lineCount.mll
/usr/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Compatibility.cmx Compatibility.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli
/usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends
/usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml
cp -p yaccDriver.ml Driver.ml
/usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends
/usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends
cp -p yacc-parser.mly parser.mly
/usr/bin/ocamlyacc parser.mly
/usr/bin/ocamldep.opt -modules parser.mli > parser.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli
/usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends
/usr/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends
/usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
/usr/bin/ocamllex.opt -q lexpointfree.mll
/usr/bin/ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexpointfree.cmx lexpointfree.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml
/usr/bin/ocamldep.opt -modules Drop.ml > Drop.ml.depends
/usr/bin/ocamldep.opt -modules Drop.mli > Drop.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli
/usr/bin/ocamldep.opt -modules IO.ml > IO.ml.depends
/usr/bin/ocamldep.opt -modules IO.mli > IO.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli
/usr/bin/ocamldep.opt -modules infer.ml > infer.ml.depends
/usr/bin/ocamldep.opt -modules infer.mli > infer.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o IO.cmx IO.ml
/usr/bin/ocamldep.opt -modules interface.ml > interface.ml.depends
/usr/bin/ocamldep.opt -modules interface.mli > interface.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interface.cmi interface.mli
/usr/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends
/usr/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli
/usr/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends
/usr/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml
/usr/bin/ocamllex.opt -q lexdep.mll
/usr/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml
/usr/bin/ocamllex.opt -q lexmli.mll
/usr/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml
/usr/bin/ocamldep.opt -modules inlining.ml > inlining.ml.depends
/usr/bin/ocamldep.opt -modules inlining.mli > inlining.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o inlining.cmi inlining.mli
/usr/bin/ocamllex.opt -q chopInlined.mll
/usr/bin/ocamldep.opt -modules chopInlined.ml > chopInlined.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o chopInlined.cmo chopInlined.ml
/usr/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends
/usr/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli
/usr/bin/ocamldep.opt -modules Memoize.ml > Memoize.ml.depends
/usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o chopInlined.cmx chopInlined.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml
/usr/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends
/usr/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli
/usr/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends
/usr/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends
/usr/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends
/usr/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli
/usr/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends
/usr/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends
/usr/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli
/usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml
/usr/bin/ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends
/usr/bin/ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends
/usr/bin/ocamldep.opt -modules Seq.mli > Seq.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli
/usr/bin/ocamldep.opt -modules Seq.ml > Seq.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.ml
/usr/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends
/usr/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml
/usr/bin/ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends
/usr/bin/ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli
/usr/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends
/usr/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli
/usr/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends
/usr/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml
/usr/bin/ocamldep.opt -modules time.ml > time.ml.depends
/usr/bin/ocamldep.opt -modules time.mli > time.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmx CompletedNatWitness.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml
/usr/bin/ocamllex.opt -q lexer.mll
/usr/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml
/usr/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends
/usr/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli
/usr/bin/ocamldep.opt -modules expandTokenAliases.ml > expandTokenAliases.ml.depends
/usr/bin/ocamldep.opt -modules expandTokenAliases.mli > expandTokenAliases.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmi expandTokenAliases.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmx expandTokenAliases.ml
/usr/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends
/usr/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli
/usr/bin/ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends
/usr/bin/ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends
/usr/bin/ocamldep.opt -modules SortInference.mli > SortInference.mli.depends
/usr/bin/ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli
/usr/bin/ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends
/usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml
/usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends
/usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli
/usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends
/usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli
/usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends
/usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli
/usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends
/usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o basicPrinter.cmx basicPrinter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o inlining.cmx inlining.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml
/usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml
/usr/bin/ocamldep.opt -modules item.ml > item.ml.depends
/usr/bin/ocamldep.opt -modules item.mli > item.mli.depends
/usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml
/usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends
/usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml
/usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends
/usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml
/usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends
/usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml
/usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends
/usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli
/usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends
/usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli
/usr/bin/ocamldep.opt -modules default.ml > default.ml.depends
/usr/bin/ocamldep.opt -modules default.mli > default.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli
/usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends
/usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli
/usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends
/usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli
/usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends
/usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml
/usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends
/usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli
/usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends
/usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml
/usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends
/usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml
/usr/bin/ocamldep.opt -modules codeInliner.ml > codeInliner.ml.depends
/usr/bin/ocamldep.opt -modules codeInliner.mli > codeInliner.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeInliner.cmi codeInliner.mli
/usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml
/usr/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends
/usr/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli
/usr/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends
/usr/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends
/usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
/usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli
/usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends
/usr/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends
/usr/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml
/usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml
/usr/bin/ocamllex.opt -q segment.mll
/usr/bin/ocamldep.opt -modules segment.ml > segment.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml
/usr/bin/ocamllex.opt -q sentenceLexer.mll
/usr/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends
/usr/bin/ocamlyacc sentenceParser.mly
/usr/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends
/usr/bin/ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml
/usr/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml
/usr/bin/ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends
/usr/bin/ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli
/usr/bin/ocamldep.opt -modules astar.ml > astar.ml.depends
/usr/bin/ocamldep.opt -modules astar.mli > astar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml
/usr/bin/ocamldep.opt -modules LRijkstraCore.ml > LRijkstraCore.ml.depends
/usr/bin/ocamldep.opt -modules LRijkstraCore.mli > LRijkstraCore.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli
/usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends
/usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli
/usr/bin/ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends
/usr/bin/ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml
/usr/bin/ocamldep.opt -modules MySet.ml > MySet.ml.depends
/usr/bin/ocamldep.opt -modules MySet.mli > MySet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli
/usr/bin/ocamldep.opt -modules Trie.ml > Trie.ml.depends
/usr/bin/ocamldep.opt -modules Trie.mli > Trie.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o MySet.cmx MySet.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml
/usr/bin/ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends
/usr/bin/ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeInliner.cmx codeInliner.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml
/usr/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx installation.cmx keyword.cmx stringSet.cmx version.cmx settings.cmx codeBits.cmx action.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Compatibility.cmx Seq.cmx CompletedNatWitness.cmx lexpointfree.cmx option.cmx parserAux.cmx parser.cmx Driver.cmx basicSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx lineCount.cmx printer.cmx basicPrinter.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx listMonad.cmx inlining.cmx keywordExpansion.cmx lexer.cmx partialGrammar.cmx reachability.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx traverse.cmx codeInliner.cmx coqBackend.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native
# Parallel statistics: { count(total): 18(428), max: 12, min: 2, average(total): 4.333(1.140) }
make[4]: Leaving directory '/<<PKGBUILDDIR>>/src'
make[4]: Entering directory '/<<PKGBUILDDIR>>/src'
/usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
/usr/bin/ocamldep.opt -modules General.mli > General.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli
/usr/bin/ocamldep.opt -modules General.ml > General.ml.depends
/usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli
/usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends
/usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli
/usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends
/usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
/usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends
/usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli
/usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends
/usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
/usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
/usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
/usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
/usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
/usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
/usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
/usr/bin/ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o General.cmx General.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Convert.cmx Convert.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Engine.cmx Engine.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o ErrorReports.cmx ErrorReports.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Printers.cmx Printers.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml
touch menhirLib.mli  ; if  /usr/bin/ocamlopt.opt -pack -g -bin-annot General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.cmx ErrorReports.cmx Printers.cmx InfiniteArray.cmx PackedIntArray.cmx RowDisplacement.cmx LinearizedArray.cmx TableFormat.cmx InspectionTableFormat.cmx InspectionTableInterpreter.cmx TableInterpreter.cmx StaticVersion.cmx -o menhirLib.cmx  ; then  rm -f menhirLib.mli  ; else  rm -f menhirLib.mli  ; exit 1; fi
/usr/bin/ocamlopt.opt -a menhirLib.cmx -o menhirLib.cmxa
/usr/bin/ocamlopt.opt -shared -linkall menhirLib.cmxa -o menhirLib.cmxs
/usr/bin/ocamldep.opt -modules menhir.ml > menhir.ml.depends
/usr/bin/ocamldep.opt -modules back.mli > back.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o back.cmi back.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o menhir.cmo menhir.ml
/usr/bin/ocamldep.opt -modules back.ml > back.ml.depends
/usr/bin/ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends
/usr/bin/ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends
/usr/bin/ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends
/usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli
/usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keyword.cmx keyword.ml
/usr/bin/ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml
/usr/bin/ocamldep.opt -modules version.ml > version.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_api.cmx cmly_api.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_format.cmx cmly_format.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o version.cmx version.ml
/usr/bin/ocamldep.opt -modules cmly_write.ml > cmly_write.ml.depends
/usr/bin/ocamldep.opt -modules cmly_write.mli > cmly_write.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli
/usr/bin/ocamldep.opt -modules action.ml > action.ml.depends
/usr/bin/ocamldep.opt -modules action.mli > action.mli.depends
/usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends
/usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli
/usr/bin/ocamldep.opt -modules codeBits.ml > codeBits.ml.depends
/usr/bin/ocamldep.opt -modules codeBits.mli > codeBits.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli
/usr/bin/ocamldep.opt -modules settings.ml > settings.ml.depends
/usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends
/usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli
/usr/bin/ocamldep.opt -modules installation.ml > installation.ml.depends
/usr/bin/ocamldep.opt -modules installation.mli > installation.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o installation.cmi installation.mli
/usr/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml
/usr/bin/ocamldep.opt -modules basicSyntax.ml > basicSyntax.ml.depends
/usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends
/usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
/usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends
/usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o basicSyntax.cmo basicSyntax.ml
/usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends
/usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml
/usr/bin/ocamldep.opt -modules InputFile.ml > InputFile.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml
/usr/bin/ocamldep.opt -modules front.ml > front.ml.depends
/usr/bin/ocamldep.opt -modules front.mli > front.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli
/usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends
/usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli
/usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends
/usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli
/usr/bin/ocamldep.opt -modules error.ml > error.ml.depends
/usr/bin/ocamldep.opt -modules error.mli > error.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml
/usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml
/usr/bin/ocamldep.opt -modules basicPrinter.ml > basicPrinter.ml.depends
/usr/bin/ocamldep.opt -modules basicPrinter.mli > basicPrinter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o basicPrinter.cmi basicPrinter.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o basicSyntax.cmx basicSyntax.ml
/usr/bin/ocamldep.opt -modules option.ml > option.ml.depends
/usr/bin/ocamldep.opt -modules option.mli > option.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli
/usr/bin/ocamldep.opt -modules printer.ml > printer.ml.depends
/usr/bin/ocamldep.opt -modules printer.mli > printer.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli
/usr/bin/ocamldep.opt -modules Compatibility.ml > Compatibility.ml.depends
/usr/bin/ocamldep.opt -modules Compatibility.mli > Compatibility.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Compatibility.cmi Compatibility.mli
/usr/bin/ocamllex.opt -q lineCount.mll
/usr/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Compatibility.cmx Compatibility.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli
/usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends
/usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml
cp -p fancyDriver.ml Driver.ml
/usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends
/usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends
cp -p fancy-parser.mly parser.mly
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends
/usr/bin/ocamllex.opt -q lexpointfree.mll
/usr/bin/ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends
/usr/bin/ocamldep.opt -modules newRuleSyntax.mli > newRuleSyntax.mli.depends
/usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmi newRuleSyntax.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
+ ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
The action table is 13984 entries; 1795 non-zero; 1566 compressed.
The action table occupies roughly 3176 bytes.
The goto table is 20976 entries; 360 non-zero; 728 compressed.
The goto table occupies roughly 1500 bytes.
The error table occupies roughly 1764 bytes.
The default_reduction table occupies roughly 384 bytes.
The lhs table occupies roughly 148 bytes.
The trace table occupies roughly 4 bytes.
/usr/bin/ocamldep.opt -modules parser.mli > parser.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli
/usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends
/usr/bin/ocamldep.opt -modules newRuleSyntax.ml > newRuleSyntax.ml.depends
/usr/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexpointfree.cmx lexpointfree.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmx newRuleSyntax.ml
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --list-errors > parser.mly.auto.messages
+ ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --list-errors > parser.mly.auto.messages
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages
+ ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
Read 105 sample input sentences and 105 error messages.
Read 105 sample input sentences and 50 error messages.
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml
+ ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
Read 105 sample input sentences and 50 error messages.
/usr/bin/ocamldep.opt -modules parserMessages.ml > parserMessages.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserMessages.cmo parserMessages.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserMessages.cmx parserMessages.ml
/usr/bin/ocamldep.opt -modules Drop.ml > Drop.ml.depends
/usr/bin/ocamldep.opt -modules Drop.mli > Drop.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli
/usr/bin/ocamldep.opt -modules IO.ml > IO.ml.depends
/usr/bin/ocamldep.opt -modules IO.mli > IO.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli
/usr/bin/ocamldep.opt -modules infer.ml > infer.ml.depends
/usr/bin/ocamldep.opt -modules infer.mli > infer.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o IO.cmx IO.ml
/usr/bin/ocamldep.opt -modules interface.ml > interface.ml.depends
/usr/bin/ocamldep.opt -modules interface.mli > interface.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interface.cmi interface.mli
/usr/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends
/usr/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli
/usr/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends
/usr/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml
/usr/bin/ocamllex.opt -q lexdep.mll
/usr/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml
/usr/bin/ocamllex.opt -q lexmli.mll
/usr/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml
/usr/bin/ocamldep.opt -modules inlining.ml > inlining.ml.depends
/usr/bin/ocamldep.opt -modules inlining.mli > inlining.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o inlining.cmi inlining.mli
/usr/bin/ocamllex.opt -q chopInlined.mll
/usr/bin/ocamldep.opt -modules chopInlined.ml > chopInlined.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o chopInlined.cmo chopInlined.ml
/usr/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends
/usr/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli
/usr/bin/ocamldep.opt -modules Memoize.ml > Memoize.ml.depends
/usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o chopInlined.cmx chopInlined.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml
/usr/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends
/usr/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli
/usr/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends
/usr/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends
/usr/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends
/usr/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli
/usr/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends
/usr/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends
/usr/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli
/usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml
/usr/bin/ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends
/usr/bin/ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends
/usr/bin/ocamldep.opt -modules Seq.mli > Seq.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli
/usr/bin/ocamldep.opt -modules Seq.ml > Seq.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.ml
/usr/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends
/usr/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml
/usr/bin/ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends
/usr/bin/ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli
/usr/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends
/usr/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli
/usr/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends
/usr/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml
/usr/bin/ocamldep.opt -modules time.ml > time.ml.depends
/usr/bin/ocamldep.opt -modules time.mli > time.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmx CompletedNatWitness.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml
/usr/bin/ocamllex.opt -q lexer.mll
/usr/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml
/usr/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends
/usr/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli
/usr/bin/ocamldep.opt -modules expandTokenAliases.ml > expandTokenAliases.ml.depends
/usr/bin/ocamldep.opt -modules expandTokenAliases.mli > expandTokenAliases.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmi expandTokenAliases.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmx expandTokenAliases.ml
/usr/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends
/usr/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli
/usr/bin/ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends
/usr/bin/ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends
/usr/bin/ocamldep.opt -modules SortInference.mli > SortInference.mli.depends
/usr/bin/ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli
/usr/bin/ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends
/usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml
/usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends
/usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli
/usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends
/usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli
/usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends
/usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli
/usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends
/usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o basicPrinter.cmx basicPrinter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o inlining.cmx inlining.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml
/usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml
/usr/bin/ocamldep.opt -modules item.ml > item.ml.depends
/usr/bin/ocamldep.opt -modules item.mli > item.mli.depends
/usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml
/usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends
/usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml
/usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends
/usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml
/usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends
/usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml
/usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends
/usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli
/usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends
/usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli
/usr/bin/ocamldep.opt -modules default.ml > default.ml.depends
/usr/bin/ocamldep.opt -modules default.mli > default.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli
/usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends
/usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli
/usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends
/usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli
/usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends
/usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml
/usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends
/usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli
/usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends
/usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml
/usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends
/usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml
/usr/bin/ocamldep.opt -modules codeInliner.ml > codeInliner.ml.depends
/usr/bin/ocamldep.opt -modules codeInliner.mli > codeInliner.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeInliner.cmi codeInliner.mli
/usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml
/usr/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends
/usr/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli
/usr/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends
/usr/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends
/usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
/usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli
/usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends
/usr/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends
/usr/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml
/usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml
/usr/bin/ocamllex.opt -q segment.mll
/usr/bin/ocamldep.opt -modules segment.ml > segment.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml
/usr/bin/ocamllex.opt -q sentenceLexer.mll
/usr/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' sentenceParser.mly > sentenceParser.mly.depends
/usr/bin/ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly
+ ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly
Grammar has 6 nonterminal symbols, among which 2 start symbols.
Grammar has 6 terminal symbols.
Grammar has 11 productions.
Built an LR(0) automaton with 21 states.
The grammar is SLR(1).
Built an LR(1) automaton with 27 states.
13 out of 27 states have a default reduction.
7 out of 27 states are represented.
0 out of 16 symbols keep track of their start position.
0 out of 16 symbols keep track of their end position.
The action table is 189 entries; 32 non-zero; 43 compressed.
The action table occupies roughly 88 bytes.
The goto table is 216 entries; 19 non-zero; 46 compressed.
The goto table occupies roughly 92 bytes.
The error table occupies roughly 40 bytes.
The default_reduction table occupies roughly 32 bytes.
The lhs table occupies roughly 24 bytes.
The trace table occupies roughly 4 bytes.
/usr/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml
/usr/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml
/usr/bin/ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends
/usr/bin/ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli
/usr/bin/ocamldep.opt -modules astar.ml > astar.ml.depends
/usr/bin/ocamldep.opt -modules astar.mli > astar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml
/usr/bin/ocamldep.opt -modules LRijkstraCore.ml > LRijkstraCore.ml.depends
/usr/bin/ocamldep.opt -modules LRijkstraCore.mli > LRijkstraCore.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli
/usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends
/usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli
/usr/bin/ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends
/usr/bin/ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml
/usr/bin/ocamldep.opt -modules MySet.ml > MySet.ml.depends
/usr/bin/ocamldep.opt -modules MySet.mli > MySet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli
/usr/bin/ocamldep.opt -modules Trie.ml > Trie.ml.depends
/usr/bin/ocamldep.opt -modules Trie.mli > Trie.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o MySet.cmx MySet.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml
/usr/bin/ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends
/usr/bin/ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeInliner.cmx codeInliner.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml
/usr/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx installation.cmx keyword.cmx stringSet.cmx version.cmx settings.cmx codeBits.cmx action.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Compatibility.cmx Seq.cmx CompletedNatWitness.cmx lexpointfree.cmx option.cmx parserAux.cmx newRuleSyntax.cmx parser.cmx parserMessages.cmx Driver.cmx basicSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx lineCount.cmx printer.cmx basicPrinter.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx listMonad.cmx inlining.cmx keywordExpansion.cmx lexer.cmx partialGrammar.cmx reachability.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx traverse.cmx codeInliner.cmx coqBackend.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native
# Parallel statistics: { count(total): 20(437), max: 12, min: 2, average(total): 4.150(1.144) }
make[4]: Leaving directory '/<<PKGBUILDDIR>>/src'
make[4]: Entering directory '/<<PKGBUILDDIR>>/src'
/usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
cp -p fancy-parser.mly parser.mly
../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends
/usr/bin/ocamldep.opt -modules error.mli > error.mli.depends
/usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli
/usr/bin/ocamllex.opt -q lexpointfree.mll
/usr/bin/ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends
/usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
/usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
/usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
/usr/bin/ocamldep.opt -modules newRuleSyntax.mli > newRuleSyntax.mli.depends
/usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends
/usr/bin/ocamldep.opt -modules action.mli > action.mli.depends
/usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends
/usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends
/usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli
/usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
/usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml
/usr/bin/ocamldep.opt -modules option.mli > option.mli.depends
/usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli
/usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamldep.opt -modules General.mli > General.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli
/usr/bin/ocamldep.opt -modules General.ml > General.ml.depends
/usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli
/usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends
/usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli
/usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends
/usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
/usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends
/usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli
/usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends
/usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
/usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
/usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
/usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
/usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
/usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
/usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmi newRuleSyntax.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
/usr/bin/ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo
../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
+ ../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
The action table is 13984 entries; 1795 non-zero; 1566 compressed.
The action table occupies roughly 3176 bytes.
The goto table is 20976 entries; 360 non-zero; 728 compressed.
The goto table occupies roughly 1500 bytes.
The error table occupies roughly 1764 bytes.
The default_reduction table occupies roughly 384 bytes.
The lhs table occupies roughly 148 bytes.
The trace table occupies roughly 4 bytes.
# Parallel statistics: { count(total): 3(77), max: 12, min: 3, average(total): 7.333(1.247) }
Bootstrap successful.
make[4]: Leaving directory '/<<PKGBUILDDIR>>/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 '/<<PKGBUILDDIR>>/src'
Creating menhirLib.ml
Creating menhirLib.mli
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
/usr/bin/make -C coq-menhirlib
make[2]: Entering directory '/<<PKGBUILDDIR>>/coq-menhirlib'
Compiling Alphabet...
Compiling Grammar...
Compiling Automaton...
Compiling Validator_classes...
Compiling Validator_complete...
Compiling Validator_safe...
Compiling Interpreter...
Compiling Interpreter_complete...
Compiling Interpreter_correct...
Compiling Version...
Compiling Main...
make[2]: Leaving directory '/<<PKGBUILDDIR>>/coq-menhirlib'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   create-stamp debian/debhelper-build-stamp
 fakeroot debian/rules binary-arch
dh binary-arch --with ocaml
   dh_testroot -a
   dh_prep -a
	rm -f -- debian/menhir.substvars debian/libmenhir-ocaml-dev.substvars debian/libmenhir-coq.substvars
	rm -fr -- debian/.debhelper/generated/menhir/ debian/menhir/ debian/tmp/ debian/.debhelper/generated/libmenhir-ocaml-dev/ debian/libmenhir-ocaml-dev/ debian/.debhelper/generated/libmenhir-coq/ debian/libmenhir-coq/
   dh_installdirs -a
	install -d debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/
   debian/rules override_dh_auto_install
make[1]: Entering directory '/<<PKGBUILDDIR>>'
mkdir -p /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml
/usr/bin/make TARGET=native PREFIX=/<<PKGBUILDDIR>>/debian/tmp/usr install
make[2]: Entering directory '/<<PKGBUILDDIR>>'
mkdir -p /<<PKGBUILDDIR>>/debian/tmp/usr/bin
install src/_stage2/menhir.native /<<PKGBUILDDIR>>/debian/tmp/usr/bin/menhir
mkdir -p /<<PKGBUILDDIR>>/debian/tmp/usr/share/menhir
install -m 644 src/standard.mly /<<PKGBUILDDIR>>/debian/tmp/usr/share/menhir
Installing MenhirLib and MenhirSdk via ocamlfind.
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.o
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmxs
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmx
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmo
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmi
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.ml
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.mli
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/META
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.o
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.cmx
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.cmo
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.cmi
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirSdk/META
if [ -f doc/manual.pdf ] ; then \
  mkdir -p /<<PKGBUILDDIR>>/debian/tmp/usr/share/doc/menhir /<<PKGBUILDDIR>>/debian/tmp/usr/share/man/man1 ; \
  cp -r doc/manual.pdf doc/manual.html doc/manual*.png demos /<<PKGBUILDDIR>>/debian/tmp/usr/share/doc/menhir ; \
  cp -r doc/menhir.1 /<<PKGBUILDDIR>>/debian/tmp/usr/share/man/man1 ; \
fi
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
/usr/bin/make -C coq-menhirlib DESTDIR=/<<PKGBUILDDIR>>/debian/tmp install
make[2]: Entering directory '/<<PKGBUILDDIR>>/coq-menhirlib'
rm -rf /<<PKGBUILDDIR>>/debian/tmp/usr/lib/coq/user-contrib/MenhirLib
mkdir -p /<<PKGBUILDDIR>>/debian/tmp/usr/lib/coq/user-contrib/MenhirLib
install -m 644 *.v *.vo *.glob /<<PKGBUILDDIR>>/debian/tmp/usr/lib/coq/user-contrib/MenhirLib
make[2]: Leaving directory '/<<PKGBUILDDIR>>/coq-menhirlib'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_install -a
	install -d debian/menhir/usr
	cp --reflink=auto -a ./debian/tmp/usr/bin debian/menhir/usr/
	install -d debian/menhir/usr/share
	cp --reflink=auto -a ./debian/tmp/usr/share/man ./debian/tmp/usr/share/menhir debian/menhir/usr/share/
	install -d debian/.debhelper/generated/menhir
	cp --reflink=auto -a ./debian/tmp/usr/lib/ocaml/menhirLib ./debian/tmp/usr/lib/ocaml/menhirSdk debian/libmenhir-ocaml-dev//usr/lib/ocaml/
	install -d debian/.debhelper/generated/libmenhir-ocaml-dev
	install -d debian/.debhelper/generated/menhir-doc
	install -d debian/libmenhir-coq//usr/lib/coq/user-contrib
	cp --reflink=auto -a debian/tmp/usr/lib/coq/user-contrib/MenhirLib/ debian/libmenhir-coq//usr/lib/coq/user-contrib/
	install -d debian/.debhelper/generated/libmenhir-coq
   dh_ocamldoc -a
   dh_installdocs -a
	install -d debian/menhir/usr/share/doc/menhir
	install -p -m0644 debian/copyright debian/menhir/usr/share/doc/menhir/copyright
	install -d debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev
	install -p -m0644 debian/copyright debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev/copyright
	install -d debian/libmenhir-coq/usr/share/doc/libmenhir-coq
	install -p -m0644 debian/copyright debian/libmenhir-coq/usr/share/doc/libmenhir-coq/copyright
   dh_installchangelogs -a
	install -p -m0644 debian/changelog debian/libmenhir-coq/usr/share/doc/libmenhir-coq/changelog.Debian
	install -p -m0644 ./CHANGES.md debian/libmenhir-coq/usr/share/doc/libmenhir-coq/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
	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
   debian/rules override_dh_installexamples
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_installexamples
if [ -d debian/menhir-doc/usr/share/doc/menhir/examples ]; \
then \
  find debian/menhir-doc/usr/share/doc/menhir/examples \
    -name .gitignore -delete ; \
fi
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_installman -a
	man -l --recode UTF-8 ./debian/menhir/usr/share/man/man1/menhir.1 > debian/menhir/usr/share/man/man1/menhir.1.dh-new
	mv debian/menhir/usr/share/man/man1/menhir.1.dh-new debian/menhir/usr/share/man/man1/menhir.1
	chmod 0644 -- debian/menhir/usr/share/man/man1/menhir.1
   dh_perl -a
   dh_link -a
   dh_strip_nondeterminism -a
   dh_compress -a
	cd debian/menhir
	cd debian/libmenhir-ocaml-dev
	cd debian/libmenhir-coq
	chmod a-x usr/share/doc/libmenhir-coq/changelog usr/share/doc/libmenhir-coq/changelog.Debian
	chmod a-x 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
	gzip -9nf usr/share/doc/libmenhir-coq/changelog usr/share/doc/libmenhir-coq/changelog.Debian
	gzip -9nf usr/share/doc/menhir/changelog usr/share/doc/menhir/changelog.Debian usr/share/man/man1/menhir.1
	gzip -9nf usr/share/doc/libmenhir-ocaml-dev/changelog usr/share/doc/libmenhir-ocaml-dev/changelog.Debian
	cd '/<<PKGBUILDDIR>>'
	cd '/<<PKGBUILDDIR>>'
	cd '/<<PKGBUILDDIR>>'
   dh_fixperms -a
	find debian/menhir -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0
	find debian/libmenhir-ocaml-dev -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0
	find debian/libmenhir-coq -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0
	find debian/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 ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s
	find debian/libmenhir-coq ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s
	find debian/libmenhir-ocaml-dev/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/libmenhir-coq/usr/share/doc -type f -a -true -a ! -regex 'debian/libmenhir-coq/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/menhir/usr/share/doc -type f -a -true -a ! -regex 'debian/menhir/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/libmenhir-ocaml-dev/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755
	find debian/menhir/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755
	find debian/libmenhir-coq/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755
	find debian/libmenhir-ocaml-dev -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/menhir/usr/share/man -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/libmenhir-coq -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/menhir -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/libmenhir-coq/usr/lib -type f -name '*.ali' -a -true -a -true -print0 2>/dev/null | xargs -0r chmod uga-w
	find debian/libmenhir-ocaml-dev/usr/lib -type f -name '*.ali' -a -true -a -true -print0 2>/dev/null | xargs -0r chmod uga-w
	find debian/menhir/usr/bin -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod a+x
	rm -f debian/libmenhir-coq.debhelper.log debian/libmenhir-ocaml-dev.debhelper.log debian/menhir.debhelper.log
   debian/rules override_dh_missing
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_missing --fail-missing
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
	rm -f debian/libmenhir-coq.debhelper.log debian/libmenhir-ocaml-dev.debhelper.log debian/menhir.debhelper.log
   debian/rules override_dh_dwz
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_dwz --no-dwz-multifile
	dwz -- debian/menhir/usr/bin/menhir
	dwz -- debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_strip -a
	install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/e3
	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/e3/f0c1cbb7b6420db989619529a3f3da78e234e3.debug
	install -d debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/33
	objcopy --only-keep-debug --compress-debug-sections debian/menhir/usr/bin/menhir debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/33/05adf77b0c73734b2c12612ea5eec3991d0267.debug
	chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/e3/f0c1cbb7b6420db989619529a3f3da78e234e3.debug
	chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/e3/f0c1cbb7b6420db989619529a3f3da78e234e3.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/e3/f0c1cbb7b6420db989619529a3f3da78e234e3.debug debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs
	install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ec
	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/ec/e59e07f83ce7dc383095f47e8322692d27d967.debug
	chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ec/e59e07f83ce7dc383095f47e8322692d27d967.debug
	chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ec/e59e07f83ce7dc383095f47e8322692d27d967.debug
	strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
	objcopy --add-gnu-debuglink debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/ec/e59e07f83ce7dc383095f47e8322692d27d967.debug debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
	install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/share/doc
	ln -s libmenhir-ocaml-dev debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/share/doc/libmenhir-ocaml-dev-dbgsym
	chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/33/05adf77b0c73734b2c12612ea5eec3991d0267.debug
	chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/33/05adf77b0c73734b2c12612ea5eec3991d0267.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/33/05adf77b0c73734b2c12612ea5eec3991d0267.debug debian/menhir/usr/bin/menhir
	install -d debian/.debhelper/menhir/dbgsym-root/usr/share/doc
	ln -s menhir debian/.debhelper/menhir/dbgsym-root/usr/share/doc/menhir-dbgsym
   dh_makeshlibs -a
	rm -f debian/menhir/DEBIAN/shlibs
	rm -f debian/libmenhir-ocaml-dev/DEBIAN/shlibs
	rm -f debian/libmenhir-coq/DEBIAN/shlibs
   dh_shlibdeps -a
	install -d debian/menhir/DEBIAN
	dpkg-shlibdeps -Tdebian/menhir.substvars debian/menhir/usr/bin/menhir
	install -d debian/libmenhir-ocaml-dev/DEBIAN
	dpkg-shlibdeps -Tdebian/libmenhir-ocaml-dev.substvars debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
   dh_installdeb -a
	install -d debian/libmenhir-coq/DEBIAN
   dh_ocaml -a
	+++ Remove former .olist.debhelper files +++
	+++ Generate .olist.debhelper files +++
	cat debian/libmenhir-ocaml-dev.olist.debhelper
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmo
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmx
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmi
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmo
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmx
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
	cat debian/menhir.olist.debhelper
	cat debian/libmenhir-coq.olist.debhelper
	+++ Compute .md5sums and lintian files for dev packages +++
	mkdir -p debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums
	/usr/bin/ocaml-md5sums  -v --package libmenhir-ocaml-dev --version 20190626-6  --dump-info debian/libmenhir-ocaml-dev.oinfo.debhelper --dump-provides debian/libmenhir-ocaml-dev.oprovides.debhelper compute < debian/libmenhir-ocaml-dev.olist.debhelper > debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums
Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi

Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmo

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmo

Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmx

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmx

Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs

Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmi

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmi

Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmo

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmo

Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmx

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmx

Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs

	mkdir -p debian/libmenhir-ocaml-dev//var/lib/ocaml/lintian
	/usr/bin/ocaml-lintian  -v --package libmenhir-ocaml-dev --version 20190626-6 < 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-mqx95) > debian/libmenhir-ocaml-dev.substvars.new
	mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars
	+++ Compute dependencies for dev +++
	/usr/bin/ocaml-md5sums  -v --md5sums-dir debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums --load-info debian/libmenhir-ocaml-dev.oinfo.debhelper dep
Load from dump debian/libmenhir-ocaml-dev.oinfo.debhelper
libmenhir-ocaml-dev v20190626-6 depends on ocaml-nox/ocaml-base-nox v4.05.0-11+rpi1 through Bytes
	(grep -a -s -v ocaml:Depends debian/libmenhir-ocaml-dev.substvars; echo ocaml:Depends=ocaml-nox-4.05.0) > debian/libmenhir-ocaml-dev.substvars.new
	mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars
	+++ Compute dependencies for binary packages+++
	grep -a -s -v '^ocaml:Depends=' debian/menhir.substvars > debian/menhir.substvars.new || true
	mv debian/menhir.substvars.new debian/menhir.substvars
	/usr/bin/ocaml-md5sums  -v --md5sums-dir debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums  --package menhir dep < debian/menhir.olist.debhelper
	/usr/bin/ocaml-md5sums  -v --md5sums-dir debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums  --package libmenhir-coq dep < debian/libmenhir-coq.olist.debhelper
	rm -f debian/libmenhir-coq.debhelper.log debian/libmenhir-ocaml-dev.debhelper.log debian/menhir.debhelper.log
   debian/rules override_dh_gencontrol
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_gencontrol -- -VF:CoqABI="8.9.0+4.05.0"
	echo misc:Depends= >> debian/libmenhir-coq.substvars
	echo misc:Pre-Depends= >> debian/libmenhir-coq.substvars
	dpkg-gencontrol -plibmenhir-coq -ldebian/changelog -Tdebian/libmenhir-coq.substvars -Pdebian/libmenhir-coq -UMulti-Arch -VF:CoqABI=8.9.0\+4.05.0
	echo misc:Depends= >> debian/menhir.substvars
	echo misc:Pre-Depends= >> debian/menhir.substvars
	install -d debian/.debhelper/menhir/dbgsym-root/DEBIAN
	dpkg-gencontrol -pmenhir -ldebian/changelog -Tdebian/menhir.substvars -Pdebian/.debhelper/menhir/dbgsym-root -VF:CoqABI=8.9.0\+4.05.0 -UPre-Depends -URecommends -USuggests -UEnhances -UProvides -UEssential -UConflicts -DPriority=optional -UHomepage -UImportant -DAuto-Built-Package=debug-symbols -DPackage=menhir-dbgsym "-DDepends=menhir (= \${binary:Version})" "-DDescription=debug symbols for menhir" -DBuild-Ids=3305adf77b0c73734b2c12612ea5eec3991d0267 -DSection=debug -UMulti-Arch -UReplaces -UBreaks
	echo misc:Depends= >> debian/libmenhir-ocaml-dev.substvars
	echo misc:Pre-Depends= >> debian/libmenhir-ocaml-dev.substvars
	install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN
	dpkg-gencontrol -plibmenhir-ocaml-dev -ldebian/changelog -Tdebian/libmenhir-ocaml-dev.substvars -Pdebian/.debhelper/libmenhir-ocaml-dev/dbgsym-root -VF:CoqABI=8.9.0\+4.05.0 -UPre-Depends -URecommends -USuggests -UEnhances -UProvides -UEssential -UConflicts -DPriority=optional -UHomepage -UImportant -DAuto-Built-Package=debug-symbols -DPackage=libmenhir-ocaml-dev-dbgsym "-DDepends=libmenhir-ocaml-dev (= \${binary:Version})" "-DDescription=debug symbols for libmenhir-ocaml-dev" "-DBuild-Ids=e3f0c1cbb7b6420db989619529a3f3da78e234e3 ece59e07f83ce7dc383095f47e8322692d27d967" -DSection=debug -UMulti-Arch -UReplaces -UBreaks
dpkg-gencontrol: warning: Depends field of package libmenhir-coq: substitution variable ${ocaml:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package libmenhir-coq: substitution variable ${shlibs:Depends} used, but is not defined
	chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/control
	chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/control
	dpkg-gencontrol -plibmenhir-ocaml-dev -ldebian/changelog -Tdebian/libmenhir-ocaml-dev.substvars -Pdebian/libmenhir-ocaml-dev -UMulti-Arch -VF:CoqABI=8.9.0\+4.05.0
	chmod 0644 -- debian/libmenhir-coq/DEBIAN/control
	chown 0:0 -- debian/libmenhir-coq/DEBIAN/control
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 -VF:CoqABI=8.9.0\+4.05.0
	chmod 0644 -- debian/libmenhir-ocaml-dev/DEBIAN/control
	chown 0:0 -- debian/libmenhir-ocaml-dev/DEBIAN/control
dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined
	chmod 0644 -- debian/menhir/DEBIAN/control
	chown 0:0 -- debian/menhir/DEBIAN/control
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_md5sums -a
	cd debian/menhir >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums
	cd debian/libmenhir-coq >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums
	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/.debhelper/libmenhir-ocaml-dev/dbgsym-root >/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/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/md5sums
	chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/md5sums
	chmod 0644 -- debian/libmenhir-coq/DEBIAN/md5sums
	chown 0:0 -- debian/libmenhir-coq/DEBIAN/md5sums
   dh_builddeb -a
	dpkg-deb --build debian/menhir ..
	dpkg-deb --build debian/libmenhir-ocaml-dev ..
	dpkg-deb --build debian/libmenhir-coq ..
dpkg-deb: building package 'menhir' in '../menhir_20190626-6_armhf.deb'.
dpkg-deb: building package 'libmenhir-ocaml-dev' in '../libmenhir-ocaml-dev_20190626-6_armhf.deb'.
dpkg-deb: building package 'libmenhir-coq' in '../libmenhir-coq_20190626-6_armhf.deb'.
	dpkg-deb --build debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root ..
dpkg-deb: building package 'libmenhir-ocaml-dev-dbgsym' in '../libmenhir-ocaml-dev-dbgsym_20190626-6_armhf.deb'.
	dpkg-deb --build debian/.debhelper/menhir/dbgsym-root ..
dpkg-deb: building package 'menhir-dbgsym' in '../menhir-dbgsym_20190626-6_armhf.deb'.
 dpkg-genbuildinfo --build=any
 dpkg-genchanges --build=any -mRaspbian wandboard test autobuilder <root@raspbian.org> >../menhir_20190626-6_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2019-09-02T11:17:40Z

Finished
--------

I: Built successfully

+------------------------------------------------------------------------------+
| Post Build Chroot                                                            |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Changes                                                                      |
+------------------------------------------------------------------------------+


menhir_20190626-6_armhf.changes:
--------------------------------

Format: 1.8
Date: Tue, 27 Aug 2019 15:43:33 +0200
Source: menhir
Binary: libmenhir-coq libmenhir-ocaml-dev libmenhir-ocaml-dev-dbgsym menhir menhir-dbgsym
Architecture: armhf
Version: 20190626-6
Distribution: bullseye-staging
Urgency: medium
Maintainer: Raspbian wandboard test autobuilder <root@raspbian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
 libmenhir-coq - Support library for verified Coq parsers produced by Menhir
 libmenhir-ocaml-dev - Menhir library for OCaml
 menhir     - Parser generator for OCaml
Closes: 935873
Changes:
 menhir (20190626-6) unstable; urgency=medium
 .
   * Team upload
   * libmenhir-coq: add dependency to Coq ABI (Closes: #935873)
Checksums-Sha1:
 064b291341446839bea0938c50cccf124826bcb6 1366924 libmenhir-coq_20190626-6_armhf.deb
 b8f71d7ecf0a49d9f32cadc1c43a1e934019d359 15336 libmenhir-ocaml-dev-dbgsym_20190626-6_armhf.deb
 fa9e0e587b91171e9b5b43d70bd64eb0fe253fc3 215924 libmenhir-ocaml-dev_20190626-6_armhf.deb
 25ccdc10bf11a555c575cb2b3d8cd20c11ebc8fc 184084 menhir-dbgsym_20190626-6_armhf.deb
 28fcb30626071ef2795eb9c0878e3e9b0d7dd2f4 6152 menhir_20190626-6_armhf.buildinfo
 1a613af6830260080d0bbaf98cbd39fe9f59eaa0 552312 menhir_20190626-6_armhf.deb
Checksums-Sha256:
 ff7a850db062be3a49875fefa2e38998d96e204b266fa197b4b68ccb36225c59 1366924 libmenhir-coq_20190626-6_armhf.deb
 c9e96cb1b8cf9e953abb1d8fb62df6e90005a054fd61cf7546a8ca669f61dea4 15336 libmenhir-ocaml-dev-dbgsym_20190626-6_armhf.deb
 896d9c9cfa76fca7a56c1c04eb3a411522ef147287da80ba4a50356f5e71d290 215924 libmenhir-ocaml-dev_20190626-6_armhf.deb
 04854364287fc2327cf3155b9189b317b9263b4cf921841005b96ed22bad8121 184084 menhir-dbgsym_20190626-6_armhf.deb
 6a2222d5ba086a31e375a5c4da7320fc9f92e4d38f3bee4df25935e75903ec51 6152 menhir_20190626-6_armhf.buildinfo
 b203befc00874c98e753799e5062237b99aa28f59285b422ae4dc00bea1e43f9 552312 menhir_20190626-6_armhf.deb
Files:
 0c9d99126ecefabfca7593524abf251e 1366924 ocaml optional libmenhir-coq_20190626-6_armhf.deb
 aa8effd089158afc82b456448e0e4e11 15336 debug optional libmenhir-ocaml-dev-dbgsym_20190626-6_armhf.deb
 68519eb14e7fa4a035a06fa8385e6d93 215924 ocaml optional libmenhir-ocaml-dev_20190626-6_armhf.deb
 9a738dc6a6106946582667089ea6d829 184084 debug optional menhir-dbgsym_20190626-6_armhf.deb
 7b2203581ac189d4c7f9f69ad8456d0a 6152 ocaml optional menhir_20190626-6_armhf.buildinfo
 b17ddac3a9e4c9a16e1fe84b5a4366a0 552312 ocaml optional menhir_20190626-6_armhf.deb

+------------------------------------------------------------------------------+
| Package contents                                                             |
+------------------------------------------------------------------------------+


libmenhir-coq_20190626-6_armhf.deb
----------------------------------

 new Debian package, version 2.0.
 size 1366924 bytes: control archive=1644 bytes.
     775 bytes,    20 lines      control              
    3051 bytes,    36 lines      md5sums              
 Package: libmenhir-coq
 Source: menhir
 Version: 20190626-6
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 5399
 Depends: coq-8.9.0+4.05.0
 Recommends: menhir
 Section: ocaml
 Priority: optional
 Homepage: http://gallium.inria.fr/~fpottier/menhir/
 Description: Support library for verified Coq parsers produced by Menhir
  The Menhir parser generator, when invoked with the --coq option, produces
  parser code in the Coq language.
  .
  These parsers must be linked against this library, which provides
  both an interpreter (which allows running the generated parser) and
  a validator (which allows verifying, at parser construction time,
  that the generated parser is correct and complete with respect to
  the grammar).

drwxr-xr-x root/root         0 2019-08-27 13:43 ./
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/coq/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/coq/user-contrib/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/
-rw-r--r-- root/root     33880 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Alphabet.glob
-rw-r--r-- root/root      8570 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Alphabet.v
-rw-r--r-- root/root     83966 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Alphabet.vo
-rw-r--r-- root/root      9017 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Automaton.glob
-rw-r--r-- root/root      6620 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Automaton.v
-rw-r--r-- root/root    114426 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Automaton.vo
-rw-r--r-- root/root     10889 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Grammar.glob
-rw-r--r-- root/root      6111 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Grammar.v
-rw-r--r-- root/root     74655 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Grammar.vo
-rw-r--r-- root/root     43689 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter.glob
-rw-r--r-- root/root     18386 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter.v
-rw-r--r-- root/root    305276 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter.vo
-rw-r--r-- root/root    108430 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_complete.glob
-rw-r--r-- root/root     33610 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_complete.v
-rw-r--r-- root/root   1497868 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_complete.vo
-rw-r--r-- root/root     20073 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_correct.glob
-rw-r--r-- root/root      7342 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_correct.v
-rw-r--r-- root/root    243558 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_correct.vo
-rw-r--r-- root/root      7632 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Main.glob
-rw-r--r-- root/root      3428 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Main.v
-rw-r--r-- root/root   1394008 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Main.vo
-rw-r--r-- root/root      6660 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Validator_classes.glob
-rw-r--r-- root/root      3118 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Validator_classes.v
-rw-r--r-- root/root     39451 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Validator_classes.vo
-rw-r--r-- root/root     38996 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Validator_complete.glob
-rw-r--r-- root/root     15314 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Validator_complete.v
-rw-r--r-- root/root   1174469 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Validator_complete.vo
-rw-r--r-- root/root     18911 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Validator_safe.glob
-rw-r--r-- root/root      8367 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Validator_safe.v
-rw-r--r-- root/root    143808 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Validator_safe.vo
-rw-r--r-- root/root       210 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Version.glob
-rw-r--r-- root/root      1022 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Version.v
-rw-r--r-- root/root      1832 2019-08-27 13:43 ./usr/lib/coq/user-contrib/MenhirLib/Version.vo
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/doc/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/doc/libmenhir-coq/
-rw-r--r-- root/root      3876 2019-08-27 13:43 ./usr/share/doc/libmenhir-coq/changelog.Debian.gz
-rw-r--r-- root/root     12235 2019-06-26 09:17 ./usr/share/doc/libmenhir-coq/changelog.gz
-rw-r--r-- root/root      3171 2019-08-27 13:43 ./usr/share/doc/libmenhir-coq/copyright


libmenhir-ocaml-dev-dbgsym_20190626-6_armhf.deb
-----------------------------------------------

 new Debian package, version 2.0.
 size 15336 bytes: control archive=596 bytes.
     441 bytes,    12 lines      control              
     212 bytes,     2 lines      md5sums              
 Package: libmenhir-ocaml-dev-dbgsym
 Source: menhir
 Version: 20190626-6
 Auto-Built-Package: debug-symbols
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 72
 Depends: libmenhir-ocaml-dev (= 20190626-6)
 Section: debug
 Priority: optional
 Description: debug symbols for libmenhir-ocaml-dev
 Build-Ids: e3f0c1cbb7b6420db989619529a3f3da78e234e3 ece59e07f83ce7dc383095f47e8322692d27d967

drwxr-xr-x root/root         0 2019-08-27 13:43 ./
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/debug/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/debug/.build-id/e3/
-rw-r--r-- root/root     43980 2019-08-27 13:43 ./usr/lib/debug/.build-id/e3/f0c1cbb7b6420db989619529a3f3da78e234e3.debug
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/debug/.build-id/ec/
-rw-r--r-- root/root     18276 2019-08-27 13:43 ./usr/lib/debug/.build-id/ec/e59e07f83ce7dc383095f47e8322692d27d967.debug
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/doc/
lrwxrwxrwx root/root         0 2019-08-27 13:43 ./usr/share/doc/libmenhir-ocaml-dev-dbgsym -> libmenhir-ocaml-dev


libmenhir-ocaml-dev_20190626-6_armhf.deb
----------------------------------------

 new Debian package, version 2.0.
 size 215924 bytes: control archive=1344 bytes.
    1014 bytes,    24 lines      control              
    1399 bytes,    19 lines      md5sums              
 Package: libmenhir-ocaml-dev
 Source: menhir
 Version: 20190626-6
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 913
 Depends: ocaml-nox-4.05.0, libc6 (>= 2.4)
 Suggests: ocaml-findlib
 Provides: libmenhir-ocaml-dev-mqx95
 Section: ocaml
 Priority: optional
 Homepage: http://gallium.inria.fr/~fpottier/menhir/
 Description: Menhir library for OCaml
  Menhir is a LR(1) parser generator for the OCaml programming language.
  It is mostly compatible with the ocamlyacc parser generator provided with
  OCaml, and has a number of enhancements over ocamlyacc.
  .
  This package contains the Menhir library for the OCaml programming language.
  It gives access to, among others, the following modules:
   * InfiniteArray: implements infinite arrays, that is, arrays
     that grow transparently upon demand.
   * RowDisplacement: compresses a two-dimensional table, where some
     values are considered insignificant, via row displacement.
   * Engine: LR parsing engine.

drwxr-xr-x root/root         0 2019-08-27 13:43 ./
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/ocaml/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/ocaml/menhirLib/
-rw-r--r-- root/root       196 2019-08-27 13:43 ./usr/lib/ocaml/menhirLib/META
-rw-r--r-- root/root     41871 2019-08-27 13:43 ./usr/lib/ocaml/menhirLib/menhirLib.cmi
-rw-r--r-- root/root    221622 2019-08-27 13:43 ./usr/lib/ocaml/menhirLib/menhirLib.cmo
-rw-r--r-- root/root     10774 2019-08-27 13:43 ./usr/lib/ocaml/menhirLib/menhirLib.cmx
-rw-r--r-- root/root    107652 2019-08-27 13:43 ./usr/lib/ocaml/menhirLib/menhirLib.cmxs
-rw-r--r-- root/root    127811 2019-08-27 13:43 ./usr/lib/ocaml/menhirLib/menhirLib.ml
-rw-r--r-- root/root     69573 2019-08-27 13:43 ./usr/lib/ocaml/menhirLib/menhirLib.mli
-rw-r--r-- root/root    117820 2019-08-27 13:43 ./usr/lib/ocaml/menhirLib/menhirLib.o
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/ocaml/menhirSdk/
-rw-r--r-- root/root       208 2019-08-27 13:43 ./usr/lib/ocaml/menhirSdk/META
-rw-r--r-- root/root     16028 2019-08-27 13:43 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmi
-rw-r--r-- root/root     84120 2019-08-27 13:43 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmo
-rw-r--r-- root/root      7300 2019-08-27 13:43 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmx
-rw-r--r-- root/root     40292 2019-08-27 13:43 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
-rw-r--r-- root/root     43044 2019-08-27 13:43 ./usr/lib/ocaml/menhirSdk/menhirSdk.o
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/doc/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/doc/libmenhir-ocaml-dev/
-rw-r--r-- root/root      3876 2019-08-27 13:43 ./usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.gz
-rw-r--r-- root/root     12235 2019-06-26 09:17 ./usr/share/doc/libmenhir-ocaml-dev/changelog.gz
-rw-r--r-- root/root      3171 2019-08-27 13:43 ./usr/share/doc/libmenhir-ocaml-dev/copyright
drwxr-xr-x root/root         0 2019-08-27 13:43 ./var/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./var/lib/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./var/lib/ocaml/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./var/lib/ocaml/lintian/
-rw-r--r-- root/root        20 2019-08-27 13:43 ./var/lib/ocaml/lintian/libmenhir-ocaml-dev.info
drwxr-xr-x root/root         0 2019-08-27 13:43 ./var/lib/ocaml/md5sums/
-rw-r--r-- root/root       328 2019-08-27 13:43 ./var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums


menhir-dbgsym_20190626-6_armhf.deb
----------------------------------

 new Debian package, version 2.0.
 size 184084 bytes: control archive=524 bytes.
     362 bytes,    12 lines      control              
     106 bytes,     1 lines      md5sums              
 Package: menhir-dbgsym
 Source: menhir
 Version: 20190626-6
 Auto-Built-Package: debug-symbols
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 795
 Depends: menhir (= 20190626-6)
 Section: debug
 Priority: optional
 Description: debug symbols for menhir
 Build-Ids: 3305adf77b0c73734b2c12612ea5eec3991d0267

drwxr-xr-x root/root         0 2019-08-27 13:43 ./
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/debug/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/lib/debug/.build-id/33/
-rw-r--r-- root/root    803496 2019-08-27 13:43 ./usr/lib/debug/.build-id/33/05adf77b0c73734b2c12612ea5eec3991d0267.debug
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/doc/
lrwxrwxrwx root/root         0 2019-08-27 13:43 ./usr/share/doc/menhir-dbgsym -> menhir


menhir_20190626-6_armhf.deb
---------------------------

 new Debian package, version 2.0.
 size 552312 bytes: control archive=956 bytes.
     864 bytes,    21 lines      control              
     386 bytes,     6 lines      md5sums              
 Package: menhir
 Version: 20190626-6
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 1784
 Depends: libc6 (>= 2.28)
 Suggests: menhir-doc
 Section: ocaml
 Priority: optional
 Homepage: http://gallium.inria.fr/~fpottier/menhir/
 Description: Parser generator for OCaml
  Menhir is a LR(1) parser generator for the OCaml programming language.
  It is mostly compatible with the ocamlyacc parser generator provided with
  the OCaml system, and has the following enhancements over ocamlyacc:
   * it accepts LR(1) grammars,
   * it offers parameterized nonterminal symbols as well as a library of
     standard definitions,
   * it explains conflicts in terms of the grammar,
   * it allows grammar specifications to be split over multiple files and
     parametrized by OCaml modules,
   * it produces reentrant parsers.

drwxr-xr-x root/root         0 2019-08-27 13:43 ./
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/bin/
-rwxr-xr-x root/root   1785120 2019-08-27 13:43 ./usr/bin/menhir
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/doc/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/doc/menhir/
-rw-r--r-- root/root      3876 2019-08-27 13:43 ./usr/share/doc/menhir/changelog.Debian.gz
-rw-r--r-- root/root     12235 2019-06-26 09:17 ./usr/share/doc/menhir/changelog.gz
-rw-r--r-- root/root      3171 2019-08-27 13:43 ./usr/share/doc/menhir/copyright
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/man/
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/man/man1/
-rw-r--r-- root/root      1960 2019-08-27 13:43 ./usr/share/man/man1/menhir.1.gz
drwxr-xr-x root/root         0 2019-08-27 13:43 ./usr/share/menhir/
-rw-r--r-- root/root      7720 2019-08-27 13:43 ./usr/share/menhir/standard.mly


+------------------------------------------------------------------------------+
| Post Build                                                                   |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Cleanup                                                                      |
+------------------------------------------------------------------------------+

Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use

+------------------------------------------------------------------------------+
| Summary                                                                      |
+------------------------------------------------------------------------------+

Build Architecture: armhf
Build-Space: 87332
Build-Time: 278
Distribution: bullseye-staging
Host Architecture: armhf
Install-Time: 990
Job: menhir_20190626-6
Machine Architecture: armhf
Package: menhir
Package-Time: 1330
Source-Version: 20190626-6
Space: 87332
Status: successful
Version: 20190626-6
--------------------------------------------------------------------------------
Finished at 2019-09-02T11:17:40Z
Build needed 00:22:10, 87332k disc space