Raspbian Package Auto-Building

Build log for menhir (20181113-1) on armhf

menhir20181113-1armhf → 2018-11-20 10:45:58

sbuild (Debian sbuild) 0.72.0 (25 Oct 2016) on mb-lxc-02

+==============================================================================+
| menhir 20181113-1 (armhf)                    Tue, 20 Nov 2018 10:42:05 +0000 |
+==============================================================================+

Package: menhir
Version: 20181113-1
Source Version: 20181113-1
Distribution: buster-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/buster-staging-armhf-sbuild-005221e9-666c-46f2-9a48-dd8d1928c34d' with '<<CHROOT>>'

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

Get:1 http://172.17.0.1/private buster-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private buster-staging/main Sources [11.2 MB]
Get:3 http://172.17.0.1/private buster-staging/main armhf Packages [12.9 MB]
Fetched 24.1 MB in 8s (2924 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 1038 kB of source archives.
Get:1 http://172.17.0.1/private buster-staging/main menhir 20181113-1 (dsc) [2249 B]
Get:2 http://172.17.0.1/private buster-staging/main menhir 20181113-1 (tar) [1028 kB]
Get:3 http://172.17.0.1/private buster-staging/main menhir 20181113-1 (diff) [7432 B]
Fetched 1038 kB in 0s (6775 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/menhir-D9rXXR/menhir-20181113' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/menhir-D9rXXR' 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-cJFx8p/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-cJFx8p/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-cJFx8p/gpg/trustdb.gpg: trustdb created
gpg: key 37145E60F90AF620: 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 37145E60F90AF620: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 37145E60F90AF620: 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-cJFx8p/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-cJFx8p/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-cJFx8p/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-cJFx8p/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-cJFx8p/apt_archive ./ Packages [431 B]
Fetched 2107 B in 0s (11.2 kB/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 packages were automatically installed and are no longer required:
  ca-certificates dbus dbus-user-session e2fsprogs-l10n krb5-locales libexpat1
  libgpg-error-l10n libnss-systemd libpam-systemd libperl5.26 libssl1.1
  openssl perl-modules-5.26 systemd-sysv
Use 'apt autoremove' to remove them.
The following NEW packages will be installed:
  sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 1 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-cJFx8p/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 ... 17617 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 (>= 11), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml (>= 0.9)
Filtered Build-Depends: debhelper (>= 11), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml (>= 0.9)
dpkg-deb: building package 'sbuild-build-depends-menhir-dummy' in '/<<BUILDDIR>>/resolver-cJFx8p/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-cJFx8p/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-cJFx8p/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-cJFx8p/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-cJFx8p/apt_archive ./ Sources [525 B]
Get:5 copy:/<<BUILDDIR>>/resolver-cJFx8p/apt_archive ./ Packages [603 B]
Fetched 2461 B in 0s (13.0 kB/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 packages were automatically installed and are no longer required:
  ca-certificates dbus dbus-user-session e2fsprogs-l10n krb5-locales libexpat1
  libgpg-error-l10n libnss-systemd libpam-systemd libperl5.26 libssl1.1
  openssl perl-modules-5.26 systemd-sysv
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
  autoconf automake autopoint autotools-dev bsdmainutils debhelper
  dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base
  groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libelf1
  libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu63
  libmagic-mgc libmagic1 libncurses-dev libncurses5-dev libpipeline1
  libsigsegv2 libtool libxml2 m4 man-db ocaml-base-nox ocaml-compiler-libs
  ocaml-findlib ocaml-interp ocaml-nox ocamlbuild po-debconf
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois
  vacation dh-make 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
Recommended packages:
  curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info
  xdg-user-dirs libltdl-dev libfindlib-ocaml-dev ledit | readline-editor
  camlp4 libmail-sendmail-perl
The following NEW packages will be installed:
  autoconf automake autopoint autotools-dev bsdmainutils debhelper
  dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base
  groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libelf1
  libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu63
  libmagic-mgc libmagic1 libncurses-dev libncurses5-dev libpipeline1
  libsigsegv2 libtool libxml2 m4 man-db ocaml-base-nox ocaml-compiler-libs
  ocaml-findlib ocaml-interp ocaml-nox ocamlbuild po-debconf
  sbuild-build-depends-menhir-dummy
0 upgraded, 41 newly installed, 0 to remove and 1 not upgraded.
Need to get 67.9 MB/68.0 MB of archives.
After this operation, 276 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-cJFx8p/apt_archive ./ sbuild-build-depends-menhir-dummy 0.invalid.0 [888 B]
Get:2 http://172.17.0.1/private buster-staging/main armhf libbsd0 armhf 0.9.1-1 [104 kB]
Get:3 http://172.17.0.1/private buster-staging/main armhf bsdmainutils armhf 11.1.2 [182 kB]
Get:4 http://172.17.0.1/private buster-staging/main armhf groff-base armhf 1.22.3-10 [1005 kB]
Get:5 http://172.17.0.1/private buster-staging/main armhf libpipeline1 armhf 1.5.0-2 [25.1 kB]
Get:6 http://172.17.0.1/private buster-staging/main armhf man-db armhf 2.8.4-3 [1160 kB]
Get:7 http://172.17.0.1/private buster-staging/main armhf libmagic-mgc armhf 1:5.34-2 [239 kB]
Get:8 http://172.17.0.1/private buster-staging/main armhf libmagic1 armhf 1:5.34-2 [107 kB]
Get:9 http://172.17.0.1/private buster-staging/main armhf file armhf 1:5.34-2 [65.0 kB]
Get:10 http://172.17.0.1/private buster-staging/main armhf gettext-base armhf 0.19.8.1-9 [117 kB]
Get:11 http://172.17.0.1/private buster-staging/main armhf libsigsegv2 armhf 2.12-2 [32.3 kB]
Get:12 http://172.17.0.1/private buster-staging/main armhf m4 armhf 1.4.18-1 [185 kB]
Get:13 http://172.17.0.1/private buster-staging/main armhf autoconf all 2.69-11 [341 kB]
Get:14 http://172.17.0.1/private buster-staging/main armhf autotools-dev all 20180224.1 [77.0 kB]
Get:15 http://172.17.0.1/private buster-staging/main armhf automake all 1:1.16.1-4 [771 kB]
Get:16 http://172.17.0.1/private buster-staging/main armhf autopoint all 0.19.8.1-9 [434 kB]
Get:17 http://172.17.0.1/private buster-staging/main armhf libtool all 2.4.6-6 [547 kB]
Get:18 http://172.17.0.1/private buster-staging/main armhf dh-autoreconf all 19 [16.9 kB]
Get:19 http://172.17.0.1/private buster-staging/main armhf libarchive-zip-perl all 1.64-1 [96.8 kB]
Get:20 http://172.17.0.1/private buster-staging/main armhf libfile-stripnondeterminism-perl all 0.45.0-1 [20.5 kB]
Get:21 http://172.17.0.1/private buster-staging/main armhf dh-strip-nondeterminism all 0.45.0-1 [12.4 kB]
Get:22 http://172.17.0.1/private buster-staging/main armhf libelf1 armhf 0.170-0.5 [160 kB]
Get:23 http://172.17.0.1/private buster-staging/main armhf dwz armhf 0.12-2 [67.4 kB]
Get:24 http://172.17.0.1/private buster-staging/main armhf libglib2.0-0 armhf 2.58.1-2 [1051 kB]
Get:25 http://172.17.0.1/private buster-staging/main armhf libicu63 armhf 63.1-4 [7974 kB]
Get:26 http://172.17.0.1/private buster-staging/main armhf libxml2 armhf 2.9.4+dfsg1-7+b1 [570 kB]
Get:27 http://172.17.0.1/private buster-staging/main armhf gettext armhf 0.19.8.1-9 [1219 kB]
Get:28 http://172.17.0.1/private buster-staging/main armhf intltool-debian all 0.35.0+20060710.4 [26.3 kB]
Get:29 http://172.17.0.1/private buster-staging/main armhf po-debconf all 1.0.20 [247 kB]
Get:30 http://172.17.0.1/private buster-staging/main armhf debhelper all 11.5.3 [1002 kB]
Get:31 http://172.17.0.1/private buster-staging/main armhf dh-ocaml all 1.1.0 [83.3 kB]
Get:32 http://172.17.0.1/private buster-staging/main armhf ocaml-base-nox armhf 4.05.0-10+rpi1 [578 kB]
Get:33 http://172.17.0.1/private buster-staging/main armhf libfindlib-ocaml armhf 1.7.3-2 [164 kB]
Get:34 http://172.17.0.1/private buster-staging/main armhf libncurses-dev armhf 6.1+20181013-1 [278 kB]
Get:35 http://172.17.0.1/private buster-staging/main armhf libncurses5-dev armhf 6.1+20181013-1 [940 B]
Get:36 http://172.17.0.1/private buster-staging/main armhf ocaml-interp armhf 4.05.0-10+rpi1 [3586 kB]
Get:37 http://172.17.0.1/private buster-staging/main armhf ocaml-nox armhf 4.05.0-10+rpi1 [25.2 MB]
Get:38 http://172.17.0.1/private buster-staging/main armhf ocaml-compiler-libs armhf 4.05.0-10+rpi1 [19.2 MB]
Get:39 http://172.17.0.1/private buster-staging/main armhf ocaml-findlib armhf 1.7.3-2 [314 kB]
Get:40 http://172.17.0.1/private buster-staging/main armhf ocamlbuild armhf 0.11.0-3 [669 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 67.9 MB in 9s (7584 kB/s)
Selecting previously unselected package libbsd0:armhf.
(Reading database ... 17617 files and directories currently installed.)
Preparing to unpack .../00-libbsd0_0.9.1-1_armhf.deb ...
Unpacking libbsd0:armhf (0.9.1-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../01-bsdmainutils_11.1.2_armhf.deb ...
Unpacking bsdmainutils (11.1.2) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../02-groff-base_1.22.3-10_armhf.deb ...
Unpacking groff-base (1.22.3-10) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../03-libpipeline1_1.5.0-2_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.0-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../04-man-db_2.8.4-3_armhf.deb ...
Unpacking man-db (2.8.4-3) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../05-libmagic-mgc_1%3a5.34-2_armhf.deb ...
Unpacking libmagic-mgc (1:5.34-2) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../06-libmagic1_1%3a5.34-2_armhf.deb ...
Unpacking libmagic1:armhf (1:5.34-2) ...
Selecting previously unselected package file.
Preparing to unpack .../07-file_1%3a5.34-2_armhf.deb ...
Unpacking file (1:5.34-2) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../08-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 .../09-libsigsegv2_2.12-2_armhf.deb ...
Unpacking libsigsegv2:armhf (2.12-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../10-m4_1.4.18-1_armhf.deb ...
Unpacking m4 (1.4.18-1) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../11-autoconf_2.69-11_all.deb ...
Unpacking autoconf (2.69-11) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../12-autotools-dev_20180224.1_all.deb ...
Unpacking autotools-dev (20180224.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../13-automake_1%3a1.16.1-4_all.deb ...
Unpacking automake (1:1.16.1-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../14-autopoint_0.19.8.1-9_all.deb ...
Unpacking autopoint (0.19.8.1-9) ...
Selecting previously unselected package libtool.
Preparing to unpack .../15-libtool_2.4.6-6_all.deb ...
Unpacking libtool (2.4.6-6) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../16-dh-autoreconf_19_all.deb ...
Unpacking dh-autoreconf (19) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../17-libarchive-zip-perl_1.64-1_all.deb ...
Unpacking libarchive-zip-perl (1.64-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../18-libfile-stripnondeterminism-perl_0.45.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (0.45.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../19-dh-strip-nondeterminism_0.45.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (0.45.0-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../20-libelf1_0.170-0.5_armhf.deb ...
Unpacking libelf1:armhf (0.170-0.5) ...
Selecting previously unselected package dwz.
Preparing to unpack .../21-dwz_0.12-2_armhf.deb ...
Unpacking dwz (0.12-2) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../22-libglib2.0-0_2.58.1-2_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.58.1-2) ...
Selecting previously unselected package libicu63:armhf.
Preparing to unpack .../23-libicu63_63.1-4_armhf.deb ...
Unpacking libicu63:armhf (63.1-4) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../24-libxml2_2.9.4+dfsg1-7+b1_armhf.deb ...
Unpacking libxml2:armhf (2.9.4+dfsg1-7+b1) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../25-libcroco3_0.6.12-2_armhf.deb ...
Unpacking libcroco3:armhf (0.6.12-2) ...
Selecting previously unselected package gettext.
Preparing to unpack .../26-gettext_0.19.8.1-9_armhf.deb ...
Unpacking gettext (0.19.8.1-9) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../27-intltool-debian_0.35.0+20060710.4_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.4) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../28-po-debconf_1.0.20_all.deb ...
Unpacking po-debconf (1.0.20) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../29-debhelper_11.5.3_all.deb ...
Unpacking debhelper (11.5.3) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../30-dh-ocaml_1.1.0_all.deb ...
Unpacking dh-ocaml (1.1.0) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../31-ocaml-base-nox_4.05.0-10+rpi1_armhf.deb ...
Unpacking ocaml-base-nox (4.05.0-10+rpi1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../32-libfindlib-ocaml_1.7.3-2_armhf.deb ...
Unpacking libfindlib-ocaml (1.7.3-2) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../33-libncurses-dev_6.1+20181013-1_armhf.deb ...
Unpacking libncurses-dev:armhf (6.1+20181013-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../34-libncurses5-dev_6.1+20181013-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.1+20181013-1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../35-ocaml-interp_4.05.0-10+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.05.0-10+rpi1) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../36-ocaml-nox_4.05.0-10+rpi1_armhf.deb ...
Unpacking ocaml-nox (4.05.0-10+rpi1) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../37-ocaml-compiler-libs_4.05.0-10+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.05.0-10+rpi1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../38-ocaml-findlib_1.7.3-2_armhf.deb ...
Unpacking ocaml-findlib (1.7.3-2) ...
Selecting previously unselected package ocamlbuild.
Preparing to unpack .../39-ocamlbuild_0.11.0-3_armhf.deb ...
Unpacking ocamlbuild (0.11.0-3) ...
Selecting previously unselected package sbuild-build-depends-menhir-dummy.
Preparing to unpack .../40-sbuild-build-depends-menhir-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-menhir-dummy (0.invalid.0) ...
Setting up libarchive-zip-perl (1.64-1) ...
Setting up libicu63:armhf (63.1-4) ...
Setting up libsigsegv2:armhf (2.12-2) ...
Setting up libelf1:armhf (0.170-0.5) ...
Setting up groff-base (1.22.3-10) ...
Setting up libglib2.0-0:armhf (2.58.1-2) ...
No schema files found: removed existing output file.
Setting up ocaml-base-nox (4.05.0-10+rpi1) ...
Setting up dh-ocaml (1.1.0) ...
Setting up gettext-base (0.19.8.1-9) ...
Setting up libpipeline1:armhf (1.5.0-2) ...
Setting up m4 (1.4.18-1) ...
Setting up libbsd0:armhf (0.9.1-1) ...
Setting up libxml2:armhf (2.9.4+dfsg1-7+b1) ...
Setting up libmagic-mgc (1:5.34-2) ...
Setting up libmagic1:armhf (1:5.34-2) ...
Setting up libcroco3:armhf (0.6.12-2) ...
Processing triggers for libc-bin (2.27-8+rpi1) ...
Setting up dwz (0.12-2) ...
Setting up autotools-dev (20180224.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 libncurses-dev:armhf (6.1+20181013-1) ...
Setting up ocamlbuild (0.11.0-3) ...
Setting up libfindlib-ocaml (1.7.3-2) ...
Setting up ocaml-findlib (1.7.3-2) ...
Setting up autopoint (0.19.8.1-9) ...
Setting up libfile-stripnondeterminism-perl (0.45.0-1) ...
Setting up gettext (0.19.8.1-9) ...
Setting up autoconf (2.69-11) ...
Setting up file (1:5.34-2) ...
Setting up libncurses5-dev:armhf (6.1+20181013-1) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
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 man-db (2.8.4-3) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libtool (2.4.6-6) ...
Setting up po-debconf (1.0.20) ...
Setting up dh-autoreconf (19) ...
Setting up ocaml-interp (4.05.0-10+rpi1) ...
Setting up dh-strip-nondeterminism (0.45.0-1) ...
Setting up debhelper (11.5.3) ...
Setting up ocaml-nox (4.05.0-10+rpi1) ...
Setting up sbuild-build-depends-menhir-dummy (0.invalid.0) ...
Setting up ocaml-compiler-libs (4.05.0-10+rpi1) ...
Processing triggers for libc-bin (2.27-8+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges

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

Kernel: Linux 4.4.0-124-generic armhf (armv8l)
Toolchain package versions: binutils_2.31.1-7+rpi1 dpkg-dev_1.19.2 g++-8_8.2.0-9+rpi1 gcc-8_8.2.0-9+rpi1 libc6-dev_2.27-8+rpi1 libstdc++-8-dev_8.2.0-9+rpi1 libstdc++6_8.2.0-9+rpi1 linux-libc-dev_4.18.10-2+rpi1+b1
Package versions: adduser_3.118 apt_1.8.0~alpha2 autoconf_2.69-11 automake_1:1.16.1-4 autopoint_0.19.8.1-9 autotools-dev_20180224.1 base-files_10.1+rpi1 base-passwd_3.5.45 bash_4.4.18-3.1 binutils_2.31.1-7+rpi1 binutils-arm-linux-gnueabihf_2.31.1-7+rpi1 binutils-common_2.31.1-7+rpi1 bsdmainutils_11.1.2 bsdutils_1:2.32.1-0.1 build-essential_12.5 bzip2_1.0.6-9 ca-certificates_20170717 coreutils_8.30-1 cpio_2.12+dfsg-6 cpp_4:8.2.0-2+rpi1 cpp-8_8.2.0-9+rpi1 dash_0.5.10.2-1 dbus_1.12.10-1 dbus-user-session_1.12.10-1 debconf_1.5.69 debhelper_11.5.3 debianutils_4.8.6 dh-autoreconf_19 dh-ocaml_1.1.0 dh-strip-nondeterminism_0.45.0-1 diffutils_1:3.6-1 dirmngr_2.2.10-3+rpi1 dmsetup_2:1.02.145-4.1+b5 dpkg_1.19.2 dpkg-dev_1.19.2 dwz_0.12-2 e2fslibs_1.44.4-2 e2fsprogs_1.44.4-2 e2fsprogs-l10n_1.44.4-2 fakeroot_1.23-1 fdisk_2.32.1-0.1 file_1:5.34-2 findutils_4.6.0+git+20181018-1 g++_4:8.2.0-2+rpi1 g++-8_8.2.0-9+rpi1 gcc_4:8.2.0-2+rpi1 gcc-4.6-base_4.6.4-5+rpi1 gcc-4.7-base_4.7.3-11+rpi1 gcc-4.8-base_4.8.5-4 gcc-4.9-base_4.9.4-2+rpi1+b19 gcc-5-base_5.5.0-8 gcc-8_8.2.0-9+rpi1 gcc-8-base_8.2.0-9+rpi1 gettext_0.19.8.1-9 gettext-base_0.19.8.1-9 gnupg_2.2.10-3+rpi1 gnupg-agent_2.2.10-3+rpi1 gnupg-l10n_2.2.10-3+rpi1 gnupg-utils_2.2.10-3+rpi1 gpg_2.2.10-3+rpi1 gpg-agent_2.2.10-3+rpi1 gpg-wks-client_2.2.10-3+rpi1 gpg-wks-server_2.2.10-3+rpi1 gpgconf_2.2.10-3+rpi1 gpgsm_2.2.10-3+rpi1 gpgv_2.2.10-3+rpi1 grep_3.1-2 groff-base_1.22.3-10 gzip_1.9-2.1 hostname_3.21 inetutils-ping_2:1.9.4-5 init-system-helpers_1.55 initramfs-tools_0.132 initramfs-tools-core_0.132 intltool-debian_0.35.0+20060710.4 klibc-utils_2.0.4-14+rpi1 kmod_25-1 krb5-locales_1.16.1-1 libacl1_2.2.52-3 libapparmor1_2.13.1-3+b1 libapt-pkg5.0_1.8.0~alpha2 libarchive-zip-perl_1.64-1 libargon2-1_0~20171227-0.1 libasan5_8.2.0-9+rpi1 libassuan0_2.5.1-2 libatomic1_8.2.0-9+rpi1 libattr1_1:2.4.47-2 libaudit-common_1:2.8.4-2 libaudit1_1:2.8.4-2 libbinutils_2.31.1-7+rpi1 libblkid1_2.32.1-0.1 libbsd0_0.9.1-1 libbz2-1.0_1.0.6-9 libc-bin_2.27-8+rpi1 libc-dev-bin_2.27-8+rpi1 libc6_2.27-8+rpi1 libc6-dev_2.27-8+rpi1 libcap-ng0_0.7.9-1 libcap2_1:2.25-1.2 libcc1-0_8.2.0-9+rpi1 libcom-err2_1.44.4-2 libcroco3_0.6.12-2 libcryptsetup12_2:2.0.5-1 libcryptsetup4_2:1.7.5-1 libdb5.3_5.3.28+dfsg1-0.2 libdbus-1-3_1.12.10-1 libdebconfclient0_0.245 libdevmapper1.02.1_2:1.02.145-4.1+b5 libdpkg-perl_1.19.2 libdrm-common_2.4.95-1+rpi1 libdrm2_2.4.95-1+rpi1 libelf1_0.170-0.5 libexpat1_2.2.6-1 libext2fs2_1.44.4-2 libfakeroot_1.23-1 libfdisk1_2.32.1-0.1 libffi6_3.2.1-8 libfile-stripnondeterminism-perl_0.45.0-1 libfindlib-ocaml_1.7.3-2 libgcc-8-dev_8.2.0-9+rpi1 libgcc1_1:8.2.0-9+rpi1 libgcrypt20_1.8.4-3 libgdbm-compat4_1.18.1-1 libgdbm3_1.8.3-14 libgdbm6_1.18.1-1 libglib2.0-0_2.58.1-2 libgmp10_2:6.1.2+dfsg-3 libgnutls30_3.5.19-1+b1 libgomp1_8.2.0-9+rpi1 libgpg-error-l10n_1.32-3 libgpg-error0_1.32-3 libgssapi-krb5-2_1.16.1-1 libhogweed4_3.4-1 libicu63_63.1-4 libidn11_1.33-2.2 libidn2-0_2.0.5-1 libip4tc0_1.8.1-2 libisl19_0.20-2 libjson-c3_0.12.1-1.3 libk5crypto3_1.16.1-1 libkeyutils1_1.5.9-9.3 libklibc_2.0.4-14+rpi1 libkmod2_25-1 libkrb5-3_1.16.1-1 libkrb5support0_1.16.1-1 libksba8_1.3.5-2 libldap-2.4-2_2.4.46+dfsg-5+rpi1+b1 libldap-common_2.4.46+dfsg-5+rpi1 liblz4-1_1.8.2-1+rpi1 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.34-2 libmagic1_1:5.34-2 libmount1_2.32.1-0.1 libmpc3_1.1.0-1 libmpfr6_4.0.1-1 libncurses-dev_6.1+20181013-1 libncurses5_6.1+20181013-1 libncurses5-dev_6.1+20181013-1 libncurses6_6.1+20181013-1 libncursesw5_6.1+20181013-1 libncursesw6_6.1+20181013-1 libnettle6_3.4-1 libnpth0_1.6-1 libnss-systemd_239-11+rpi1 libp11-kit0_0.23.14-2 libpam-modules_1.1.8-3.8 libpam-modules-bin_1.1.8-3.8 libpam-runtime_1.1.8-3.8 libpam-systemd_239-11+rpi1 libpam0g_1.1.8-3.8 libpcre3_2:8.39-11+rpi1 libperl5.24_5.24.1-7 libperl5.26_5.26.2-7+b1 libperl5.28_5.28.0-3 libpipeline1_1.5.0-2 libplymouth4_0.9.4-1 libpng16-16_1.6.34-2+rpi1 libprocps7_2:3.3.15-2 libreadline7_7.0-5 libsasl2-2_2.1.27~rc8-1 libsasl2-modules-db_2.1.27~rc8-1 libseccomp2_2.3.3-3 libselinux1_2.8-1 libsemanage-common_2.8-1 libsemanage1_2.8-1 libsepol1_2.8-1 libsigsegv2_2.12-2 libsmartcols1_2.32.1-0.1 libsqlite3-0_3.25.3-1 libss2_1.44.4-2 libssl1.1_1.1.1-2 libstdc++-8-dev_8.2.0-9+rpi1 libstdc++6_8.2.0-9+rpi1 libsystemd0_239-11+rpi1 libtasn1-6_4.13-3 libtinfo5_6.1+20181013-1 libtinfo6_6.1+20181013-1 libtool_2.4.6-6 libubsan1_8.2.0-9+rpi1 libudev1_239-11+rpi1 libunistring2_0.9.10-1 libustr-1.0-1_1.0.4-6 libuuid1_2.32.1-0.1 libxml2_2.9.4+dfsg1-7+b1 libzstd1_1.3.5+dfsg-1+rpi1 linux-base_4.5 linux-libc-dev_4.18.10-2+rpi1+b1 login_1:4.5-1.1 lsb-base_9.20170808+rpi1 m4_1.4.18-1 make_4.2.1-1.2 makedev_2.3.1-94 man-db_2.8.4-3 mawk_1.3.3-17 mount_2.32.1-0.1 multiarch-support_2.27-8+rpi1 nano_3.1-1 ncurses-base_6.1+20181013-1 ncurses-bin_6.1+20181013-1 netbase_5.4 ocaml-base-nox_4.05.0-10+rpi1 ocaml-compiler-libs_4.05.0-10+rpi1 ocaml-findlib_1.7.3-2 ocaml-interp_4.05.0-10+rpi1 ocaml-nox_4.05.0-10+rpi1 ocamlbuild_0.11.0-3 openssl_1.1.1-2 passwd_1:4.5-1.1 patch_2.7.6-3 perl_5.28.0-3 perl-base_5.28.0-3 perl-modules-5.24_5.24.1-7 perl-modules-5.26_5.26.2-7 perl-modules-5.28_5.28.0-3 pinentry-curses_1.1.0-1 plymouth_0.9.4-1 po-debconf_1.0.20 procps_2:3.3.15-2 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.5-2 sensible-utils_0.0.12 systemd_239-11+rpi1 systemd-sysv_239-11+rpi1 sysvinit-utils_2.88dsf-59.11 tar_1.30+dfsg-2 tzdata_2018g-1 udev_239-11+rpi1 util-linux_2.32.1-0.1 xz-utils_5.2.2-1.3 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 Wed Nov 14 21:22:58 2018 UTC
gpgv:                using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./menhir_20181113-1.dsc
dpkg-source: info: extracting menhir in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking menhir_20181113.orig.tar.gz
dpkg-source: info: unpacking menhir_20181113-1.debian.tar.xz

Check disk 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=buster-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=buster-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=112
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=buster-staging-armhf-sbuild-005221e9-666c-46f2-9a48-dd8d1928c34d
SCHROOT_UID=107
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd

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

dpkg-buildpackage: info: source package menhir
dpkg-buildpackage: info: source version 20181113-1
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/files
	rm -fr -- debian/menhir/ debian/tmp/ debian/libmenhir-ocaml-dev/ debian/menhir-doc/
	find .  \( \( \
		\( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS -o -path .\*/.pc -o -path .\*/_darcs \) -prune -o -type f -a \
	        \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \
		 -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \
		 -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \
		 -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \
		\) -exec rm -f {} + \) -o \
		\( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) \)
 debian/rules build-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 front.ml > front.ml.depends
/usr/bin/ocamldep.opt -modules front.mli > front.mli.depends
/usr/bin/ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends
/usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends
/usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
/usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends
/usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli
/usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends
/usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli
/usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends
/usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli
/usr/bin/ocamldep.opt -modules error.ml > error.ml.depends
/usr/bin/ocamldep.opt -modules error.mli > error.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli
/usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml
/usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml
/usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml
/usr/bin/ocamldep.opt -modules InputFile.ml > InputFile.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli
/usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends
/usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml
cp -p yaccDriver.ml Driver.ml
/usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends
/usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends
cp -p yacc-parser.mly parser.mly
/usr/bin/ocamlyacc parser.mly
/usr/bin/ocamldep.opt -modules parser.mli > parser.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli
/usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends
/usr/bin/ocamldep.opt -modules option.ml > option.ml.depends
/usr/bin/ocamldep.opt -modules option.mli > option.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli
/usr/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends
/usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
/usr/bin/ocamllex.opt -q lexpointfree.mll
/usr/bin/ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexpointfree.cmx lexpointfree.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml
/usr/bin/ocamldep.opt -modules Drop.ml > Drop.ml.depends
/usr/bin/ocamldep.opt -modules Drop.mli > Drop.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml
/usr/bin/ocamldep.opt -modules IO.ml > IO.ml.depends
/usr/bin/ocamldep.opt -modules IO.mli > IO.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli
/usr/bin/ocamldep.opt -modules infer.ml > infer.ml.depends
/usr/bin/ocamldep.opt -modules infer.mli > infer.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o IO.cmx IO.ml
/usr/bin/ocamldep.opt -modules interface.ml > interface.ml.depends
/usr/bin/ocamldep.opt -modules interface.mli > interface.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interface.cmi interface.mli
/usr/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends
/usr/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli
/usr/bin/ocamldep.opt -modules printer.ml > printer.ml.depends
/usr/bin/ocamldep.opt -modules printer.mli > printer.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli
/usr/bin/ocamllex.opt -q lineCount.mll
/usr/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml
/usr/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends
/usr/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml
/usr/bin/ocamllex.opt -q lexdep.mll
/usr/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml
/usr/bin/ocamllex.opt -q lexmli.mll
/usr/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml
/usr/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends
/usr/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli
/usr/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends
/usr/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends
/usr/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends
/usr/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli
/usr/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends
/usr/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends
/usr/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli
/usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml
/usr/bin/ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends
/usr/bin/ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends
/usr/bin/ocamldep.opt -modules Seq.mli > Seq.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli
/usr/bin/ocamldep.opt -modules Seq.ml > Seq.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.ml
/usr/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends
/usr/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml
/usr/bin/ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends
/usr/bin/ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli
/usr/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends
/usr/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli
/usr/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends
/usr/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml
/usr/bin/ocamldep.opt -modules time.ml > time.ml.depends
/usr/bin/ocamldep.opt -modules time.mli > time.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmx CompletedNatWitness.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml
/usr/bin/ocamllex.opt -q lexer.mll
/usr/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml
/usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends
/usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli
/usr/bin/ocamllex.opt -q chopInlined.mll
/usr/bin/ocamldep.opt -modules chopInlined.ml > chopInlined.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o chopInlined.cmo chopInlined.ml
/usr/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends
/usr/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o chopInlined.cmx chopInlined.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml
/usr/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends
/usr/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli
/usr/bin/ocamldep.opt -modules expandTokenAliases.ml > expandTokenAliases.ml.depends
/usr/bin/ocamldep.opt -modules expandTokenAliases.mli > expandTokenAliases.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmi expandTokenAliases.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmx expandTokenAliases.ml
/usr/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends
/usr/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli
/usr/bin/ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends
/usr/bin/ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends
/usr/bin/ocamldep.opt -modules SortInference.mli > SortInference.mli.depends
/usr/bin/ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli
/usr/bin/ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends
/usr/bin/ocamldep.opt -modules Memoize.ml > Memoize.ml.depends
/usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli
/usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml
/usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends
/usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml
/usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends
/usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli
/usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends
/usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli
/usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends
/usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml
/usr/bin/ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends
/usr/bin/ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml
/usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml
/usr/bin/ocamldep.opt -modules item.ml > item.ml.depends
/usr/bin/ocamldep.opt -modules item.mli > item.mli.depends
/usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml
/usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends
/usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml
/usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends
/usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml
/usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends
/usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml
/usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends
/usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli
/usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends
/usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli
/usr/bin/ocamldep.opt -modules default.ml > default.ml.depends
/usr/bin/ocamldep.opt -modules default.mli > default.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli
/usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends
/usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli
/usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends
/usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli
/usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends
/usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml
/usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends
/usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli
/usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends
/usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml
/usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends
/usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml
/usr/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends
/usr/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli
/usr/bin/ocamldep.opt -modules inliner.ml > inliner.ml.depends
/usr/bin/ocamldep.opt -modules inliner.mli > inliner.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli
/usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml
/usr/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends
/usr/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends
/usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
/usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli
/usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends
/usr/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends
/usr/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml
/usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml
/usr/bin/ocamllex.opt -q segment.mll
/usr/bin/ocamldep.opt -modules segment.ml > segment.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml
/usr/bin/ocamllex.opt -q sentenceLexer.mll
/usr/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends
/usr/bin/ocamlyacc sentenceParser.mly
/usr/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends
/usr/bin/ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml
/usr/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml
/usr/bin/ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends
/usr/bin/ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli
/usr/bin/ocamldep.opt -modules astar.ml > astar.ml.depends
/usr/bin/ocamldep.opt -modules astar.mli > astar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml
/usr/bin/ocamldep.opt -modules LRijkstraCore.ml > LRijkstraCore.ml.depends
/usr/bin/ocamldep.opt -modules LRijkstraCore.mli > LRijkstraCore.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli
/usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends
/usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli
/usr/bin/ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends
/usr/bin/ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml
/usr/bin/ocamldep.opt -modules MySet.ml > MySet.ml.depends
/usr/bin/ocamldep.opt -modules MySet.mli > MySet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli
/usr/bin/ocamldep.opt -modules Trie.ml > Trie.ml.depends
/usr/bin/ocamldep.opt -modules Trie.mli > Trie.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o MySet.cmx MySet.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml
/usr/bin/ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends
/usr/bin/ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o inliner.cmx inliner.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml
/usr/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx installation.cmx keyword.cmx stringSet.cmx version.cmx settings.cmx codeBits.cmx action.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Seq.cmx CompletedNatWitness.cmx lexpointfree.cmx option.cmx parserAux.cmx parser.cmx Driver.cmx unparameterizedSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx lineCount.cmx nonterminalType.cmx printer.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native
# Parallel statistics: { count(total): 17(426), max: 12, min: 2, average(total): 4.412(1.136) }
make[4]: Leaving directory '/<<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 front.ml > front.ml.depends
/usr/bin/ocamldep.opt -modules front.mli > front.mli.depends
/usr/bin/ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends
/usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends
/usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
/usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends
/usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmo unparameterizedSyntax.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli
/usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends
/usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli
/usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends
/usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli
/usr/bin/ocamldep.opt -modules error.ml > error.ml.depends
/usr/bin/ocamldep.opt -modules error.mli > error.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli
/usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml
/usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml
/usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml
/usr/bin/ocamldep.opt -modules InputFile.ml > InputFile.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli
/usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends
/usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml
cp -p fancyDriver.ml Driver.ml
/usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends
/usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends
cp -p fancy-parser.mly parser.mly
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends
/usr/bin/ocamldep.opt -modules newRuleSyntax.mli > newRuleSyntax.mli.depends
/usr/bin/ocamldep.opt -modules option.mli > option.mli.depends
/usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmi newRuleSyntax.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
+ ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
The action table is 13984 entries; 1795 non-zero; 1566 compressed.
The action table occupies roughly 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/ocamllex.opt -q lexpointfree.mll
/usr/bin/ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml
/usr/bin/ocamldep.opt -modules option.ml > option.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexpointfree.cmx lexpointfree.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmx newRuleSyntax.ml
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --list-errors > parser.mly.auto.messages
+ ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --list-errors > parser.mly.auto.messages
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages
+ ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
Read 105 sample input sentences and 105 error messages.
Read 105 sample input sentences and 50 error messages.
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml
+ ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
Read 105 sample input sentences and 50 error messages.
/usr/bin/ocamldep.opt -modules parserMessages.ml > parserMessages.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserMessages.cmo parserMessages.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserMessages.cmx parserMessages.ml
/usr/bin/ocamldep.opt -modules Drop.ml > Drop.ml.depends
/usr/bin/ocamldep.opt -modules Drop.mli > Drop.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedSyntax.cmx unparameterizedSyntax.ml
/usr/bin/ocamldep.opt -modules IO.ml > IO.ml.depends
/usr/bin/ocamldep.opt -modules IO.mli > IO.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli
/usr/bin/ocamldep.opt -modules infer.ml > infer.ml.depends
/usr/bin/ocamldep.opt -modules infer.mli > infer.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o IO.cmx IO.ml
/usr/bin/ocamldep.opt -modules interface.ml > interface.ml.depends
/usr/bin/ocamldep.opt -modules interface.mli > interface.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interface.cmi interface.mli
/usr/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends
/usr/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli
/usr/bin/ocamldep.opt -modules printer.ml > printer.ml.depends
/usr/bin/ocamldep.opt -modules printer.mli > printer.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli
/usr/bin/ocamllex.opt -q lineCount.mll
/usr/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml
/usr/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends
/usr/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml
/usr/bin/ocamllex.opt -q lexdep.mll
/usr/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml
/usr/bin/ocamllex.opt -q lexmli.mll
/usr/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml
/usr/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends
/usr/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli
/usr/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends
/usr/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends
/usr/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends
/usr/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli
/usr/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends
/usr/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends
/usr/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli
/usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml
/usr/bin/ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends
/usr/bin/ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends
/usr/bin/ocamldep.opt -modules Seq.mli > Seq.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli
/usr/bin/ocamldep.opt -modules Seq.ml > Seq.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.ml
/usr/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends
/usr/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml
/usr/bin/ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends
/usr/bin/ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli
/usr/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends
/usr/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli
/usr/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends
/usr/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml
/usr/bin/ocamldep.opt -modules time.ml > time.ml.depends
/usr/bin/ocamldep.opt -modules time.mli > time.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmx CompletedNatWitness.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml
/usr/bin/ocamllex.opt -q lexer.mll
/usr/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml
/usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends
/usr/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli
/usr/bin/ocamllex.opt -q chopInlined.mll
/usr/bin/ocamldep.opt -modules chopInlined.ml > chopInlined.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o chopInlined.cmo chopInlined.ml
/usr/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends
/usr/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o chopInlined.cmx chopInlined.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml
/usr/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends
/usr/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli
/usr/bin/ocamldep.opt -modules expandTokenAliases.ml > expandTokenAliases.ml.depends
/usr/bin/ocamldep.opt -modules expandTokenAliases.mli > expandTokenAliases.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmi expandTokenAliases.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmx expandTokenAliases.ml
/usr/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends
/usr/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli
/usr/bin/ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends
/usr/bin/ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends
/usr/bin/ocamldep.opt -modules SortInference.mli > SortInference.mli.depends
/usr/bin/ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli
/usr/bin/ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends
/usr/bin/ocamldep.opt -modules Memoize.ml > Memoize.ml.depends
/usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli
/usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml
/usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends
/usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml
/usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends
/usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli
/usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends
/usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli
/usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends
/usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml
/usr/bin/ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends
/usr/bin/ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unparameterizedPrinter.cmx unparameterizedPrinter.ml
/usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml
/usr/bin/ocamldep.opt -modules item.ml > item.ml.depends
/usr/bin/ocamldep.opt -modules item.mli > item.mli.depends
/usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml
/usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends
/usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml
/usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends
/usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml
/usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends
/usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml
/usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends
/usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli
/usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends
/usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli
/usr/bin/ocamldep.opt -modules default.ml > default.ml.depends
/usr/bin/ocamldep.opt -modules default.mli > default.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli
/usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends
/usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli
/usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends
/usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli
/usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends
/usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml
/usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends
/usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli
/usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends
/usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml
/usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends
/usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml
/usr/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends
/usr/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli
/usr/bin/ocamldep.opt -modules inliner.ml > inliner.ml.depends
/usr/bin/ocamldep.opt -modules inliner.mli > inliner.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o inliner.cmi inliner.mli
/usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml
/usr/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends
/usr/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends
/usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
/usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli
/usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends
/usr/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends
/usr/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml
/usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml
/usr/bin/ocamllex.opt -q segment.mll
/usr/bin/ocamldep.opt -modules segment.ml > segment.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml
/usr/bin/ocamllex.opt -q sentenceLexer.mll
/usr/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' sentenceParser.mly > sentenceParser.mly.depends
/usr/bin/ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly
+ ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly
Grammar has 6 nonterminal symbols, among which 2 start symbols.
Grammar has 6 terminal symbols.
Grammar has 11 productions.
Built an LR(0) automaton with 21 states.
The grammar is SLR(1).
Built an LR(1) automaton with 27 states.
13 out of 27 states have a default reduction.
7 out of 27 states are represented.
0 out of 16 symbols keep track of their start position.
0 out of 16 symbols keep track of their end position.
The action table is 189 entries; 32 non-zero; 43 compressed.
The action table occupies roughly 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 coqBackend.cmx coqBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o inliner.cmx inliner.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml
/usr/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx installation.cmx keyword.cmx stringSet.cmx version.cmx settings.cmx codeBits.cmx action.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Seq.cmx CompletedNatWitness.cmx lexpointfree.cmx option.cmx parserAux.cmx newRuleSyntax.cmx parser.cmx parserMessages.cmx Driver.cmx unparameterizedSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx lineCount.cmx nonterminalType.cmx printer.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx partialGrammar.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native
# Parallel statistics: { count(total): 20(434), max: 12, min: 2, average(total): 4.100(1.143) }
make[4]: Leaving directory '/<<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/ocamldep.opt -modules misc.mli > misc.mli.depends
/usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
/usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
/usr/bin/ocamldep.opt -modules newRuleSyntax.mli > newRuleSyntax.mli.depends
/usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends
/usr/bin/ocamldep.opt -modules action.mli > action.mli.depends
/usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends
/usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends
/usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli
/usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
/usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml
/usr/bin/ocamldep.opt -modules option.mli > option.mli.depends
/usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli
/usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamldep.opt -modules General.mli > General.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli
/usr/bin/ocamldep.opt -modules General.ml > General.ml.depends
/usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli
/usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends
/usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli
/usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends
/usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
/usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends
/usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli
/usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends
/usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
/usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
/usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
/usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
/usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
/usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
/usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmi newRuleSyntax.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
/usr/bin/ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo
../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
+ ../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
The action table is 13984 entries; 1795 non-zero; 1566 compressed.
The action table occupies roughly 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(75), max: 12, min: 3, average(total): 7.000(1.240) }
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>>'
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
	rm -fr -- debian/.debhelper/generated/menhir/ debian/menhir/ debian/tmp/ debian/.debhelper/generated/libmenhir-ocaml-dev/ debian/libmenhir-ocaml-dev/
   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>>'
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
   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
   dh_installchangelogs -a
	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
	chmod a-x usr/share/doc/menhir/changelog usr/share/doc/menhir/changelog.Debian usr/share/man/man1/menhir.1
	chmod a-x usr/share/doc/libmenhir-ocaml-dev/changelog usr/share/doc/libmenhir-ocaml-dev/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>>'
   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/menhir ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s
	find debian/libmenhir-ocaml-dev ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s
	find debian/menhir/usr/share/doc -type f -a -true -a ! -regex 'debian/menhir/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/libmenhir-ocaml-dev/usr/share/doc -type f -a -true -a ! -regex 'debian/libmenhir-ocaml-dev/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/menhir/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755
	find debian/libmenhir-ocaml-dev/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755
	find debian/libmenhir-ocaml-dev -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/menhir/usr/share/man -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644
	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 -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/menhir/usr/bin -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod a+x
	rm -f 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>>'
   dh_strip -a
	install -d debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/f4
	objcopy --only-keep-debug --compress-debug-sections debian/menhir/usr/bin/menhir debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/f4/71ea2842f99d457840a435f089b1fd37594d57.debug
	install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/d9
	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/d9/a26cc408ce60e9418ef68a70b34123dd154d86.debug
	chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/d9/a26cc408ce60e9418ef68a70b34123dd154d86.debug
	chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/d9/a26cc408ce60e9418ef68a70b34123dd154d86.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/d9/a26cc408ce60e9418ef68a70b34123dd154d86.debug debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
	install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/b5
	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/b5/c05cc8753098f822b6b2081cd1ad332e50b9ae.debug
	chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/b5/c05cc8753098f822b6b2081cd1ad332e50b9ae.debug
	chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/b5/c05cc8753098f822b6b2081cd1ad332e50b9ae.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/b5/c05cc8753098f822b6b2081cd1ad332e50b9ae.debug debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs
	install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/share/doc
	ln -s libmenhir-ocaml-dev debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/share/doc/libmenhir-ocaml-dev-dbgsym
	chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/f4/71ea2842f99d457840a435f089b1fd37594d57.debug
	chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/f4/71ea2842f99d457840a435f089b1fd37594d57.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/f4/71ea2842f99d457840a435f089b1fd37594d57.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
   dh_shlibdeps -a
	install -d debian/menhir/DEBIAN
	dpkg-shlibdeps -Tdebian/menhir.substvars debian/menhir/usr/bin/menhir
	install -d debian/libmenhir-ocaml-dev/DEBIAN
	dpkg-shlibdeps -Tdebian/libmenhir-ocaml-dev.substvars debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs
   dh_installdeb -a
   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
	+++ Compute .md5sums and lintian files for dev packages +++
	mkdir -p debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums
	/usr/bin/ocaml-md5sums  -v --package libmenhir-ocaml-dev --version 20181113-1  --dump-info debian/libmenhir-ocaml-dev.oinfo.debhelper --dump-provides debian/libmenhir-ocaml-dev.oprovides.debhelper compute < debian/libmenhir-ocaml-dev.olist.debhelper > debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums
Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

	mkdir -p debian/libmenhir-ocaml-dev//var/lib/ocaml/lintian
	/usr/bin/ocaml-lintian  -v --package libmenhir-ocaml-dev --version 20181113-1 < debian/libmenhir-ocaml-dev.olist.debhelper > debian/libmenhir-ocaml-dev//var/lib/ocaml/lintian/libmenhir-ocaml-dev.info
	grep -a -s -v '^ocaml:Provides=' debian/libmenhir-ocaml-dev.substvars > debian/libmenhir-ocaml-dev.substvars.new || true
	mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars
	grep -a -s -v '^ocaml:Depends=' debian/libmenhir-ocaml-dev.substvars > debian/libmenhir-ocaml-dev.substvars.new || true
	mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars
	(grep -a -s -v ocaml:Provides debian/libmenhir-ocaml-dev.substvars; echo ocaml:Provides=libmenhir-ocaml-dev-2dq95) > debian/libmenhir-ocaml-dev.substvars.new
	mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars
	+++ Compute dependencies for dev +++
	/usr/bin/ocaml-md5sums  -v --md5sums-dir debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums --load-info debian/libmenhir-ocaml-dev.oinfo.debhelper dep
Load from dump debian/libmenhir-ocaml-dev.oinfo.debhelper
libmenhir-ocaml-dev v20181113-1 depends on ocaml-nox/ocaml-base-nox v4.05.0-10+rpi1 through String
	(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
   dh_gencontrol -a
	echo misc:Depends= >> debian/libmenhir-ocaml-dev.substvars
	echo misc:Pre-Depends= >> debian/libmenhir-ocaml-dev.substvars
	install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN
	dpkg-gencontrol -plibmenhir-ocaml-dev -ldebian/changelog -Tdebian/libmenhir-ocaml-dev.substvars -Pdebian/.debhelper/libmenhir-ocaml-dev/dbgsym-root -UPre-Depends -URecommends -USuggests -UEnhances -UProvides -UEssential -UConflicts -DPriority=optional -UHomepage -UImportant -DAuto-Built-Package=debug-symbols -DPackage=libmenhir-ocaml-dev-dbgsym "-DDepends=libmenhir-ocaml-dev (= \${binary:Version})" "-DDescription=debug symbols for libmenhir-ocaml-dev" "-DBuild-Ids=b5c05cc8753098f822b6b2081cd1ad332e50b9ae d9a26cc408ce60e9418ef68a70b34123dd154d86" -DSection=debug -UMulti-Arch -UReplaces -UBreaks
	echo misc:Depends= >> debian/menhir.substvars
	echo misc:Pre-Depends= >> debian/menhir.substvars
	install -d debian/.debhelper/menhir/dbgsym-root/DEBIAN
	dpkg-gencontrol -pmenhir -ldebian/changelog -Tdebian/menhir.substvars -Pdebian/.debhelper/menhir/dbgsym-root -UPre-Depends -URecommends -USuggests -UEnhances -UProvides -UEssential -UConflicts -DPriority=optional -UHomepage -UImportant -DAuto-Built-Package=debug-symbols -DPackage=menhir-dbgsym "-DDepends=menhir (= \${binary:Version})" "-DDescription=debug symbols for menhir" -DBuild-Ids=f471ea2842f99d457840a435f089b1fd37594d57 -DSection=debug -UMulti-Arch -UReplaces -UBreaks
dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined
	chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/control
	chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/control
	dpkg-gencontrol -pmenhir -ldebian/changelog -Tdebian/menhir.substvars -Pdebian/menhir -UMulti-Arch
	chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/control
	chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/control
	dpkg-gencontrol -plibmenhir-ocaml-dev -ldebian/changelog -Tdebian/libmenhir-ocaml-dev.substvars -Pdebian/libmenhir-ocaml-dev -UMulti-Arch
dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined
	chmod 0644 -- debian/menhir/DEBIAN/control
	chown 0:0 -- debian/menhir/DEBIAN/control
	chmod 0644 -- debian/libmenhir-ocaml-dev/DEBIAN/control
	chown 0:0 -- debian/libmenhir-ocaml-dev/DEBIAN/control
   dh_md5sums -a
	cd debian/menhir >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums
	cd debian/libmenhir-ocaml-dev >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums
	chmod 0644 -- debian/libmenhir-ocaml-dev/DEBIAN/md5sums
	chown 0:0 -- debian/libmenhir-ocaml-dev/DEBIAN/md5sums
	chmod 0644 -- debian/menhir/DEBIAN/md5sums
	chown 0:0 -- debian/menhir/DEBIAN/md5sums
	cd debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums
	cd debian/.debhelper/menhir/dbgsym-root >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums
	chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/md5sums
	chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/md5sums
	chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/md5sums
	chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/md5sums
   dh_builddeb -a
	dpkg-deb --build debian/menhir ..
	dpkg-deb --build debian/.debhelper/menhir/dbgsym-root ..
	dpkg-deb --build debian/libmenhir-ocaml-dev ..
	dpkg-deb --build debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root ..
dpkg-deb: building package 'menhir' in '../menhir_20181113-1_armhf.deb'.
dpkg-deb: building package 'menhir-dbgsym' in '../menhir-dbgsym_20181113-1_armhf.deb'.
dpkg-deb: building package 'libmenhir-ocaml-dev-dbgsym' in '../libmenhir-ocaml-dev-dbgsym_20181113-1_armhf.deb'.
dpkg-deb: building package 'libmenhir-ocaml-dev' in '../libmenhir-ocaml-dev_20181113-1_armhf.deb'.
 dpkg-genbuildinfo --build=any
 dpkg-genchanges --build=any -mRaspbian mythic lxc autobuilder 1 <root@raspbian.org> >../menhir_20181113-1_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 2018-11-20T10:45:55Z

Finished
--------

I: Built successfully

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


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


menhir_20181113-1_armhf.changes:
--------------------------------

Format: 1.8
Date: Wed, 14 Nov 2018 22:14:32 +0100
Source: menhir
Binary: menhir libmenhir-ocaml-dev menhir-doc
Architecture: armhf
Version: 20181113-1
Distribution: buster-staging
Urgency: medium
Maintainer: Raspbian mythic lxc autobuilder 1 <root@raspbian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
 libmenhir-ocaml-dev - Menhir library for OCaml
 menhir     - Parser generator for OCaml
 menhir-doc - Documentation of the Menhir parser generator for OCaml
Changes:
 menhir (20181113-1) unstable; urgency=medium
 .
   * new upstream version
   * d/watch: point to inria gitlab
   * d/menhir-doc.docs: also install png pictures of the manual
   * d/rules: remove .gitignore files in examples
   * Standards-Version 4.2.1 (no change)
Checksums-Sha1:
 658b67b187da83ae866185e323f4c87b09a8ad9e 15440 libmenhir-ocaml-dev-dbgsym_20181113-1_armhf.deb
 1544cd5e49b4cc600bf276ad36905140bdd4ceab 214780 libmenhir-ocaml-dev_20181113-1_armhf.deb
 f24ea66d9c0a0afd7640dee7630a90038d52d4a7 183440 menhir-dbgsym_20181113-1_armhf.deb
 f13d72bbebba0e3d85a0141451c0bec4ceae1a93 5400 menhir_20181113-1_armhf.buildinfo
 4dc235bbeae2e69c15743a6784dc5a7691561410 546596 menhir_20181113-1_armhf.deb
Checksums-Sha256:
 7f877856050195f4128bff901ef3bf67478e796dd76cb1d7972ed27331a5e611 15440 libmenhir-ocaml-dev-dbgsym_20181113-1_armhf.deb
 ede74aebd8d4633e47772f2c2fde14112d648d4a64323f8a3360b3c5d04f4b27 214780 libmenhir-ocaml-dev_20181113-1_armhf.deb
 056d9a7374cdfe4110226c67bcf240406ae332a531edcd35ecec3d1a0e75cdbc 183440 menhir-dbgsym_20181113-1_armhf.deb
 064d89962f166741a6ba498faabc83b001e66c92ceb1f42522334e5e6b2de28f 5400 menhir_20181113-1_armhf.buildinfo
 9624737fdc23d37ddf4b25d129db9941232d5fb2f1e7326dcc4b916862bdb5f0 546596 menhir_20181113-1_armhf.deb
Files:
 de64b3d02c977996ebb59d79759b0769 15440 debug optional libmenhir-ocaml-dev-dbgsym_20181113-1_armhf.deb
 e4c76b0b3650fc8908fb893a33e480ce 214780 ocaml optional libmenhir-ocaml-dev_20181113-1_armhf.deb
 b6e1ea731cc5f7c7256b1d98ae1b8df1 183440 debug optional menhir-dbgsym_20181113-1_armhf.deb
 9e6c42a6e33877bd47c4e10e4c717d8d 5400 ocaml optional menhir_20181113-1_armhf.buildinfo
 527272b523029d3c2b71585b0d12ce78 546596 ocaml optional menhir_20181113-1_armhf.deb

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


libmenhir-ocaml-dev-dbgsym_20181113-1_armhf.deb
-----------------------------------------------

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

drwxr-xr-x root/root         0 2018-11-14 21:14 ./
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/lib/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/lib/debug/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/lib/debug/.build-id/b5/
-rw-r--r-- root/root     44024 2018-11-14 21:14 ./usr/lib/debug/.build-id/b5/c05cc8753098f822b6b2081cd1ad332e50b9ae.debug
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/lib/debug/.build-id/d9/
-rw-r--r-- root/root     18300 2018-11-14 21:14 ./usr/lib/debug/.build-id/d9/a26cc408ce60e9418ef68a70b34123dd154d86.debug
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/share/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/share/doc/
lrwxrwxrwx root/root         0 2018-11-14 21:14 ./usr/share/doc/libmenhir-ocaml-dev-dbgsym -> libmenhir-ocaml-dev


libmenhir-ocaml-dev_20181113-1_armhf.deb
----------------------------------------

 new Debian package, version 2.0.
 size 214780 bytes: control archive=1332 bytes.
     990 bytes,    23 lines      control              
    1399 bytes,    19 lines      md5sums              
 Package: libmenhir-ocaml-dev
 Source: menhir
 Version: 20181113-1
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 912
 Depends: ocaml-nox-4.05.0, libc6 (>= 2.4)
 Provides: libmenhir-ocaml-dev-2dq95
 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 2018-11-14 21:14 ./
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/lib/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/lib/ocaml/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/lib/ocaml/menhirLib/
-rw-r--r-- root/root       196 2018-11-14 21:14 ./usr/lib/ocaml/menhirLib/META
-rw-r--r-- root/root     41871 2018-11-14 21:14 ./usr/lib/ocaml/menhirLib/menhirLib.cmi
-rw-r--r-- root/root    221622 2018-11-14 21:14 ./usr/lib/ocaml/menhirLib/menhirLib.cmo
-rw-r--r-- root/root     10774 2018-11-14 21:14 ./usr/lib/ocaml/menhirLib/menhirLib.cmx
-rw-r--r-- root/root    107652 2018-11-14 21:14 ./usr/lib/ocaml/menhirLib/menhirLib.cmxs
-rw-r--r-- root/root    127811 2018-11-14 21:14 ./usr/lib/ocaml/menhirLib/menhirLib.ml
-rw-r--r-- root/root     69573 2018-11-14 21:14 ./usr/lib/ocaml/menhirLib/menhirLib.mli
-rw-r--r-- root/root    117820 2018-11-14 21:14 ./usr/lib/ocaml/menhirLib/menhirLib.o
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/lib/ocaml/menhirSdk/
-rw-r--r-- root/root       208 2018-11-14 21:14 ./usr/lib/ocaml/menhirSdk/META
-rw-r--r-- root/root     16028 2018-11-14 21:14 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmi
-rw-r--r-- root/root     84120 2018-11-14 21:14 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmo
-rw-r--r-- root/root      7300 2018-11-14 21:14 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmx
-rw-r--r-- root/root     40292 2018-11-14 21:14 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
-rw-r--r-- root/root     43044 2018-11-14 21:14 ./usr/lib/ocaml/menhirSdk/menhirSdk.o
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/share/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/share/doc/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/share/doc/libmenhir-ocaml-dev/
-rw-r--r-- root/root      3453 2018-11-14 21:14 ./usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.gz
-rw-r--r-- root/root     11672 2018-11-13 09:51 ./usr/share/doc/libmenhir-ocaml-dev/changelog.gz
-rw-r--r-- root/root      2482 2018-11-14 21:14 ./usr/share/doc/libmenhir-ocaml-dev/copyright
drwxr-xr-x root/root         0 2018-11-14 21:14 ./var/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./var/lib/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./var/lib/ocaml/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./var/lib/ocaml/lintian/
-rw-r--r-- root/root        20 2018-11-14 21:14 ./var/lib/ocaml/lintian/libmenhir-ocaml-dev.info
drwxr-xr-x root/root         0 2018-11-14 21:14 ./var/lib/ocaml/md5sums/
-rw-r--r-- root/root       328 2018-11-14 21:14 ./var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums


menhir-dbgsym_20181113-1_armhf.deb
----------------------------------

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

drwxr-xr-x root/root         0 2018-11-14 21:14 ./
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/lib/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/lib/debug/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/lib/debug/.build-id/f4/
-rw-r--r-- root/root    798420 2018-11-14 21:14 ./usr/lib/debug/.build-id/f4/71ea2842f99d457840a435f089b1fd37594d57.debug
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/share/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/share/doc/
lrwxrwxrwx root/root         0 2018-11-14 21:14 ./usr/share/doc/menhir-dbgsym -> menhir


menhir_20181113-1_armhf.deb
---------------------------

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

drwxr-xr-x root/root         0 2018-11-14 21:14 ./
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/bin/
-rwxr-xr-x root/root   1770148 2018-11-14 21:14 ./usr/bin/menhir
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/share/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/share/doc/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/share/doc/menhir/
-rw-r--r-- root/root      3453 2018-11-14 21:14 ./usr/share/doc/menhir/changelog.Debian.gz
-rw-r--r-- root/root     11672 2018-11-13 09:51 ./usr/share/doc/menhir/changelog.gz
-rw-r--r-- root/root      2482 2018-11-14 21:14 ./usr/share/doc/menhir/copyright
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/share/man/
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/share/man/man1/
-rw-r--r-- root/root      1960 2018-11-14 21:14 ./usr/share/man/man1/menhir.1.gz
drwxr-xr-x root/root         0 2018-11-14 21:14 ./usr/share/menhir/
-rw-r--r-- root/root      7720 2018-11-14 21:14 ./usr/share/menhir/standard.mly


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


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

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

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

Build Architecture: armhf
Build-Space: 67576
Build-Time: 44
Distribution: buster-staging
Host Architecture: armhf
Install-Time: 172
Job: menhir_20181113-1
Machine Architecture: armhf
Package: menhir
Package-Time: 230
Source-Version: 20181113-1
Space: 67576
Status: successful
Version: 20181113-1
--------------------------------------------------------------------------------
Finished at 2018-11-20T10:45:55Z
Build needed 00:03:50, 67576k disk space