menhir →
20171222-1 →
armhf → 2018-01-20 11:14:30
sbuild (Debian sbuild) 0.71.0 (24 Aug 2016) on testwandboard
+==============================================================================+
| menhir 20171222-1 (armhf) Sat, 20 Jan 2018 10:52:05 +0000 |
+==============================================================================+
Package: menhir
Version: 20171222-1
Source Version: 20171222-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-6adca0a8-c46e-4ffa-81fa-e906261be5b4' 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 [10.5 MB]
Get:3 http://172.17.0.1/private buster-staging/main armhf Packages [12.3 MB]
Fetched 22.8 MB in 28s (814 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://anonscm.debian.org/git/pkg-ocaml-maint/packages/menhir.git
Please use:
git clone https://anonscm.debian.org/git/pkg-ocaml-maint/packages/menhir.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 889 kB of source archives.
Get:1 http://172.17.0.1/private buster-staging/main menhir 20171222-1 (dsc) [2290 B]
Get:2 http://172.17.0.1/private buster-staging/main menhir 20171222-1 (tar) [879 kB]
Get:3 http://172.17.0.1/private buster-staging/main menhir 20171222-1 (diff) [7020 B]
Fetched 889 kB in 0s (2442 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/menhir-tW9UVI/menhir-20171222' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/menhir-tW9UVI' 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-23BljJ/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-23BljJ/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-23BljJ/gpg/trustdb.gpg: trustdb created
gpg: key 35506D9A48F77B2E: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg: imported: 1
gpg: key 35506D9A48F77B2E: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 35506D9A48F77B2E: secret key imported
gpg: Total number processed: 1
gpg: unchanged: 1
gpg: secret keys read: 1
gpg: secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-23BljJ/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-23BljJ/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-23BljJ/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-23BljJ/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-23BljJ/apt_archive ./ Packages [435 B]
Fetched 2111 B in 1s (2595 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install core build dependencies (apt-based resolver)
----------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
ca-certificates e2fsprogs-l10n libsasl2-modules libssl1.1 openssl
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 6 not upgraded.
Need to get 852 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-23BljJ/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [852 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 852 B in 0s (17.0 kB/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 15351 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 (>= 10), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml (>= 0.9)
Filtered Build-Depends: debhelper (>= 10), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml (>= 0.9)
dpkg-deb: building package 'sbuild-build-depends-menhir-dummy' in '/<<BUILDDIR>>/resolver-23BljJ/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-23BljJ/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-23BljJ/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-23BljJ/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-23BljJ/apt_archive ./ Sources [524 B]
Get:5 copy:/<<BUILDDIR>>/resolver-23BljJ/apt_archive ./ Packages [606 B]
Fetched 2463 B in 1s (3408 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install menhir build dependencies (apt-based resolver)
------------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
ca-certificates e2fsprogs-l10n libsasl2-modules libssl1.1 openssl
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 file gettext gettext-base
groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3
libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu57
libmagic-mgc libmagic1 libncurses5-dev libpipeline1 libsigsegv2
libtimedate-perl libtinfo-dev 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 dwz git gettext-doc libasprintf-dev libgettextpo-dev groff
ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc less
www-browser apparmor camlp4 ocaml-doc tuareg-mode | ocaml-mode
libmail-box-perl
Recommended packages:
curl | wget | lynx-cur 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 file gettext gettext-base
groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3
libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu57
libmagic-mgc libmagic1 libncurses5-dev libpipeline1 libsigsegv2
libtimedate-perl libtinfo-dev 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, 40 newly installed, 0 to remove and 6 not upgraded.
Need to get 68.2 MB/68.6 MB of archives.
After this operation, 273 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-23BljJ/apt_archive ./ sbuild-build-depends-menhir-dummy 0.invalid.0 [888 B]
Get:2 http://172.17.0.1/private buster-staging/main armhf groff-base armhf 1.22.3-9 [1005 kB]
Get:3 http://172.17.0.1/private buster-staging/main armhf libbsd0 armhf 0.8.7-1 [96.8 kB]
Get:4 http://172.17.0.1/private buster-staging/main armhf bsdmainutils armhf 11.1.2 [182 kB]
Get:5 http://172.17.0.1/private buster-staging/main armhf libpipeline1 armhf 1.5.0-1 [24.6 kB]
Get:6 http://172.17.0.1/private buster-staging/main armhf man-db armhf 2.7.6.1-4 [1012 kB]
Get:7 http://172.17.0.1/private buster-staging/main armhf gettext-base armhf 0.19.8.1-4 [117 kB]
Get:8 http://172.17.0.1/private buster-staging/main armhf libsigsegv2 armhf 2.11-1 [29.3 kB]
Get:9 http://172.17.0.1/private buster-staging/main armhf m4 armhf 1.4.18-1 [185 kB]
Get:10 http://172.17.0.1/private buster-staging/main armhf autoconf all 2.69-11 [341 kB]
Get:11 http://172.17.0.1/private buster-staging/main armhf autotools-dev all 20171216.1 [75.9 kB]
Get:12 http://172.17.0.1/private buster-staging/main armhf automake all 1:1.15.1-3 [736 kB]
Get:13 http://172.17.0.1/private buster-staging/main armhf autopoint all 0.19.8.1-4 [434 kB]
Get:14 http://172.17.0.1/private buster-staging/main armhf libtool all 2.4.6-2 [545 kB]
Get:15 http://172.17.0.1/private buster-staging/main armhf dh-autoreconf all 15 [16.2 kB]
Get:16 http://172.17.0.1/private buster-staging/main armhf libarchive-zip-perl all 1.60-1 [95.6 kB]
Get:17 http://172.17.0.1/private buster-staging/main armhf libfile-stripnondeterminism-perl all 0.040-1 [18.4 kB]
Get:18 http://172.17.0.1/private buster-staging/main armhf libtimedate-perl all 2.3000-2 [42.2 kB]
Get:19 http://172.17.0.1/private buster-staging/main armhf dh-strip-nondeterminism all 0.040-1 [11.8 kB]
Get:20 http://172.17.0.1/private buster-staging/main armhf libglib2.0-0 armhf 2.54.3-1 [2651 kB]
Get:21 http://172.17.0.1/private buster-staging/main armhf libicu57 armhf 57.1-8 [7411 kB]
Get:22 http://172.17.0.1/private buster-staging/main armhf libxml2 armhf 2.9.4+dfsg1-6.1 [602 kB]
Get:23 http://172.17.0.1/private buster-staging/main armhf libcroco3 armhf 0.6.12-2 [132 kB]
Get:24 http://172.17.0.1/private buster-staging/main armhf gettext armhf 0.19.8.1-4 [1218 kB]
Get:25 http://172.17.0.1/private buster-staging/main armhf intltool-debian all 0.35.0+20060710.4 [26.3 kB]
Get:26 http://172.17.0.1/private buster-staging/main armhf po-debconf all 1.0.20 [247 kB]
Get:27 http://172.17.0.1/private buster-staging/main armhf debhelper all 11.1.2 [1004 kB]
Get:28 http://172.17.0.1/private buster-staging/main armhf dh-ocaml all 1.1.0 [83.3 kB]
Get:29 http://172.17.0.1/private buster-staging/main armhf ocaml-base-nox armhf 4.05.0-10+rpi1 [578 kB]
Get:30 http://172.17.0.1/private buster-staging/main armhf libfindlib-ocaml armhf 1.7.3-2 [164 kB]
Get:31 http://172.17.0.1/private buster-staging/main armhf libtinfo-dev armhf 6.0+20171125-1 [66.5 kB]
Get:32 http://172.17.0.1/private buster-staging/main armhf libncurses5-dev armhf 6.0+20171125-1 [152 kB]
Get:33 http://172.17.0.1/private buster-staging/main armhf ocaml-interp armhf 4.05.0-10+rpi1 [3586 kB]
Get:34 http://172.17.0.1/private buster-staging/main armhf ocaml-nox armhf 4.05.0-10+rpi1 [25.2 MB]
Get:35 http://172.17.0.1/private buster-staging/main armhf ocaml-compiler-libs armhf 4.05.0-10+rpi1 [19.2 MB]
Get:36 http://172.17.0.1/private buster-staging/main armhf ocaml-findlib armhf 1.7.3-2 [314 kB]
Get:37 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 68.2 MB in 37s (1858 kB/s)
Selecting previously unselected package groff-base.
(Reading database ... 15351 files and directories currently installed.)
Preparing to unpack .../00-groff-base_1.22.3-9_armhf.deb ...
Unpacking groff-base (1.22.3-9) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../01-libbsd0_0.8.7-1_armhf.deb ...
Unpacking libbsd0:armhf (0.8.7-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../02-bsdmainutils_11.1.2_armhf.deb ...
Unpacking bsdmainutils (11.1.2) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../03-libpipeline1_1.5.0-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.0-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../04-man-db_2.7.6.1-4_armhf.deb ...
Unpacking man-db (2.7.6.1-4) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../05-libmagic-mgc_1%3a5.32-1_armhf.deb ...
Unpacking libmagic-mgc (1:5.32-1) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../06-libmagic1_1%3a5.32-1_armhf.deb ...
Unpacking libmagic1:armhf (1:5.32-1) ...
Selecting previously unselected package file.
Preparing to unpack .../07-file_1%3a5.32-1_armhf.deb ...
Unpacking file (1:5.32-1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../08-gettext-base_0.19.8.1-4_armhf.deb ...
Unpacking gettext-base (0.19.8.1-4) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../09-libsigsegv2_2.11-1_armhf.deb ...
Unpacking libsigsegv2:armhf (2.11-1) ...
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_20171216.1_all.deb ...
Unpacking autotools-dev (20171216.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../13-automake_1%3a1.15.1-3_all.deb ...
Unpacking automake (1:1.15.1-3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../14-autopoint_0.19.8.1-4_all.deb ...
Unpacking autopoint (0.19.8.1-4) ...
Selecting previously unselected package libtool.
Preparing to unpack .../15-libtool_2.4.6-2_all.deb ...
Unpacking libtool (2.4.6-2) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../16-dh-autoreconf_15_all.deb ...
Unpacking dh-autoreconf (15) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../17-libarchive-zip-perl_1.60-1_all.deb ...
Unpacking libarchive-zip-perl (1.60-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../18-libfile-stripnondeterminism-perl_0.040-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (0.040-1) ...
Selecting previously unselected package libtimedate-perl.
Preparing to unpack .../19-libtimedate-perl_2.3000-2_all.deb ...
Unpacking libtimedate-perl (2.3000-2) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../20-dh-strip-nondeterminism_0.040-1_all.deb ...
Unpacking dh-strip-nondeterminism (0.040-1) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../21-libglib2.0-0_2.54.3-1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.54.3-1) ...
Selecting previously unselected package libicu57:armhf.
Preparing to unpack .../22-libicu57_57.1-8_armhf.deb ...
Unpacking libicu57:armhf (57.1-8) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../23-libxml2_2.9.4+dfsg1-6.1_armhf.deb ...
Unpacking libxml2:armhf (2.9.4+dfsg1-6.1) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../24-libcroco3_0.6.12-2_armhf.deb ...
Unpacking libcroco3:armhf (0.6.12-2) ...
Selecting previously unselected package gettext.
Preparing to unpack .../25-gettext_0.19.8.1-4_armhf.deb ...
Unpacking gettext (0.19.8.1-4) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../26-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 .../27-po-debconf_1.0.20_all.deb ...
Unpacking po-debconf (1.0.20) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../28-debhelper_11.1.2_all.deb ...
Unpacking debhelper (11.1.2) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../29-dh-ocaml_1.1.0_all.deb ...
Unpacking dh-ocaml (1.1.0) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../30-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 .../31-libfindlib-ocaml_1.7.3-2_armhf.deb ...
Unpacking libfindlib-ocaml (1.7.3-2) ...
Selecting previously unselected package libtinfo-dev:armhf.
Preparing to unpack .../32-libtinfo-dev_6.0+20171125-1_armhf.deb ...
Unpacking libtinfo-dev:armhf (6.0+20171125-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../33-libncurses5-dev_6.0+20171125-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.0+20171125-1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../34-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 .../35-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 .../36-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 .../37-ocaml-findlib_1.7.3-2_armhf.deb ...
Unpacking ocaml-findlib (1.7.3-2) ...
Selecting previously unselected package ocamlbuild.
Preparing to unpack .../38-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 .../39-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.60-1) ...
Setting up libtimedate-perl (2.3000-2) ...
Setting up libsigsegv2:armhf (2.11-1) ...
Setting up groff-base (1.22.3-9) ...
Setting up libglib2.0-0:armhf (2.54.3-1) ...
No schema files found: doing nothing.
Setting up ocaml-base-nox (4.05.0-10+rpi1) ...
Setting up libtinfo-dev:armhf (6.0+20171125-1) ...
Setting up dh-ocaml (1.1.0) ...
Setting up gettext-base (0.19.8.1-4) ...
Setting up libpipeline1:armhf (1.5.0-1) ...
Setting up m4 (1.4.18-1) ...
Setting up libicu57:armhf (57.1-8) ...
Setting up libbsd0:armhf (0.8.7-1) ...
Setting up libxml2:armhf (2.9.4+dfsg1-6.1) ...
Setting up libmagic-mgc (1:5.32-1) ...
Setting up libmagic1:armhf (1:5.32-1) ...
Setting up libcroco3:armhf (0.6.12-2) ...
Setting up libncurses5-dev:armhf (6.0+20171125-1) ...
Processing triggers for libc-bin (2.26-2+rpi1) ...
Setting up autotools-dev (20171216.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 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-4) ...
Setting up libfile-stripnondeterminism-perl (0.040-1) ...
Setting up gettext (0.19.8.1-4) ...
Setting up autoconf (2.69-11) ...
Setting up file (1:5.32-1) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up automake (1:1.15.1-3) ...
update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode
Setting up man-db (2.7.6.1-4) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libtool (2.4.6-2) ...
Setting up po-debconf (1.0.20) ...
Setting up dh-autoreconf (15) ...
Setting up ocaml-interp (4.05.0-10+rpi1) ...
Setting up dh-strip-nondeterminism (0.040-1) ...
Setting up debhelper (11.1.2) ...
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.26-2+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.8.0-0.bpo.2-armmp armhf (armv7l)
Toolchain package versions: binutils_2.29.1-13+rpi1 dpkg-dev_1.19.0.4 g++-7_7.2.0-19 gcc-7_7.2.0-19 libc6-dev_2.26-2+rpi1 libstdc++-7-dev_7.2.0-19 libstdc++6_7.2.0-19 linux-libc-dev_4.9.51-1+rpi3+b1
Package versions: adduser_3.116 apt_1.6~alpha6 autoconf_2.69-11 automake_1:1.15.1-3 autopoint_0.19.8.1-4 autotools-dev_20171216.1 base-files_10+rpi1 base-passwd_3.5.44 bash_4.4-5 binutils_2.29.1-13+rpi1 binutils-arm-linux-gnueabihf_2.29.1-13+rpi1 binutils-common_2.29.1-13+rpi1 bsdmainutils_11.1.2 bsdutils_1:2.30.2-0.1 build-essential_12.4 bzip2_1.0.6-8.1 ca-certificates_20170717 coreutils_8.28-1 cpio_2.12+dfsg-6 cpp_4:7.2.0-1d1 cpp-7_7.2.0-19 dash_0.5.8-2.5 debconf_1.5.65 debhelper_11.1.2 debianutils_4.8.4 dh-autoreconf_15 dh-ocaml_1.1.0 dh-strip-nondeterminism_0.040-1 diffutils_1:3.6-1 dirmngr_2.2.4-1 dmsetup_2:1.02.145-4.1 dpkg_1.19.0.4 dpkg-dev_1.19.0.4 e2fslibs_1.43.8-2 e2fsprogs_1.43.8-2 e2fsprogs-l10n_1.43.8-2 fakeroot_1.22-2 fdisk_2.30.2-0.1 file_1:5.32-1 findutils_4.6.0+git+20170828-2 g++_4:7.2.0-1d1 g++-7_7.2.0-19 gcc_4:7.2.0-1d1 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.3-14 gcc-5-base_5.4.1-4 gcc-7_7.2.0-19 gcc-7-base_7.2.0-19 gettext_0.19.8.1-4 gettext-base_0.19.8.1-4 gnupg_2.2.4-1 gnupg-agent_2.2.4-1 gnupg-l10n_2.2.4-1 gnupg-utils_2.2.4-1 gpg_2.2.4-1 gpg-agent_2.2.4-1 gpg-wks-client_2.2.4-1 gpg-wks-server_2.2.4-1 gpgconf_2.2.4-1 gpgsm_2.2.4-1 gpgv_2.2.4-1 grep_3.1-2 groff-base_1.22.3-9 gzip_1.6-5 hostname_3.18 init-system-helpers_1.51 initramfs-tools_0.130 initramfs-tools-core_0.130 intltool-debian_0.35.0+20060710.4 klibc-utils_2.0.4-11+rpi1 kmod_24-1 libacl1_2.2.52-3 libapparmor1_2.11.1-4 libapt-pkg5.0_1.6~alpha6 libarchive-zip-perl_1.60-1 libasan4_7.2.0-19 libassuan0_2.5.1-1 libatomic1_7.2.0-19 libattr1_1:2.4.47-2 libaudit-common_1:2.8.2-1 libaudit1_1:2.8.2-1 libbinutils_2.29.1-13+rpi1 libblkid1_2.30.2-0.1 libbsd0_0.8.7-1 libbz2-1.0_1.0.6-8.1 libc-bin_2.26-2+rpi1 libc-dev-bin_2.26-2+rpi1 libc6_2.26-2+rpi1 libc6-dev_2.26-2+rpi1 libcap-ng0_0.7.7-3.1+b1 libcap2_1:2.25-1.2 libcc1-0_7.2.0-19 libcilkrts5_7.2.0-19 libcomerr2_1.43.8-2 libcroco3_0.6.12-2 libcryptsetup4_2:1.7.5-1 libdb5.3_5.3.28-13.1 libdbus-1-3_1.12.2-1 libdebconfclient0_0.237 libdevmapper1.02.1_2:1.02.145-4.1 libdpkg-perl_1.19.0.4 libdrm-common_2.4.89-1+rpi1 libdrm2_2.4.89-1+rpi1 libfakeroot_1.22-2 libfdisk1_2.30.2-0.1 libffi6_3.2.1-8 libfile-stripnondeterminism-perl_0.040-1 libfindlib-ocaml_1.7.3-2 libgcc-7-dev_7.2.0-19 libgcc1_1:7.2.0-19 libgcrypt20_1.8.1-4 libgdbm3_1.8.3-14 libglib2.0-0_2.54.3-1 libgmp10_2:6.1.2+dfsg-1.1 libgnutls30_3.5.16-1 libgomp1_7.2.0-19 libgpg-error0_1.27-5 libhogweed4_3.4-1 libicu57_57.1-8 libidn11_1.33-2.1 libidn2-0_2.0.4-1.1 libip4tc0_1.6.1-2+b1 libisl15_0.18-1 libklibc_2.0.4-11+rpi1 libkmod2_24-1 libksba8_1.3.5-2 libldap-2.4-2_2.4.45+dfsg-1 libldap-common_2.4.45+dfsg-1 liblocale-gettext-perl_1.07-3+b2 liblz4-1_0.0~r131-2 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.32-1 libmagic1_1:5.32-1 libmount1_2.30.2-0.1 libmpc3_1.0.3-2 libmpfr4_3.1.6-1 libncurses5_6.0+20171125-1 libncurses5-dev_6.0+20171125-1 libncursesw5_6.0+20171125-1 libnettle6_3.4-1 libnpth0_1.5-3 libp11-kit0_0.23.9-2 libpam-modules_1.1.8-3.6 libpam-modules-bin_1.1.8-3.6 libpam-runtime_1.1.8-3.6 libpam0g_1.1.8-3.6 libpcre3_2:8.39-8 libperl5.24_5.24.1-4 libperl5.26_5.26.1-3 libpipeline1_1.5.0-1 libplymouth4_0.9.3-1 libpng16-16_1.6.34-1 libprocps6_2:3.3.12-3 libreadline7_7.0-3 libsasl2-2_2.1.27~101-g0780600+dfsg-3 libsasl2-modules_2.1.27~101-g0780600+dfsg-3 libsasl2-modules-db_2.1.27~101-g0780600+dfsg-3 libseccomp2_2.3.1-2.1 libselinux1_2.7-2 libsemanage-common_2.7-2 libsemanage1_2.7-2 libsepol1_2.7-1 libsigsegv2_2.11-1 libsmartcols1_2.30.2-0.1 libsqlite3-0_3.21.0-1 libss2_1.43.8-2 libssl1.1_1.1.0g-2 libstdc++-7-dev_7.2.0-19 libstdc++6_7.2.0-19 libsystemd0_236-2 libtasn1-6_4.12-3 libtext-charwidth-perl_0.04-7.1 libtext-iconv-perl_1.7-5+b9 libtext-wrapi18n-perl_0.06-7.1 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20171125-1 libtinfo5_6.0+20171125-1 libtool_2.4.6-2 libubsan0_7.2.0-19 libudev1_236-2 libunistring2_0.9.8-1 libustr-1.0-1_1.0.4-6 libuuid1_2.30.2-0.1 libxml2_2.9.4+dfsg1-6.1 linux-base_4.5 linux-libc-dev_4.9.51-1+rpi3+b1 login_1:4.5-1 lsb-base_9.20170808+rpi1 m4_1.4.18-1 make_4.1-9.1 makedev_2.3.1-93 man-db_2.7.6.1-4 mawk_1.3.3-17 mount_2.30.2-0.1 multiarch-support_2.26-2+rpi1 nano_2.9.1-1 ncurses-base_6.0+20171125-1 ncurses-bin_6.0+20171125-1 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.0g-2 passwd_1:4.5-1 patch_2.7.5-1 perl_5.26.1-3 perl-base_5.26.1-3 perl-modules-5.24_5.24.1-7 perl-modules-5.26_5.26.1-3 pinentry-curses_1.0.0-3 plymouth_0.9.3-1 po-debconf_1.0.20 procps_2:3.3.12-3 raspbian-archive-keyring_20120528.2 readline-common_7.0-3 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-menhir-dummy_0.invalid.0 sed_4.4-1 sensible-utils_0.0.11 systemd_236-2 sysvinit-utils_2.88dsf-59.10 tar_1.29b-2 tzdata_2017c-1 udev_236-2 util-linux_2.30.2-0.1 xz-utils_5.2.2-1.3 zlib1g_1:1.2.8.dfsg-5
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error
gpgv: Signature made Tue Jan 2 19:19:08 2018 UTC
gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./menhir_20171222-1.dsc
dpkg-source: info: extracting menhir in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking menhir_20171222.orig.tar.gz
dpkg-source: info: unpacking menhir_20171222-1.debian.tar.xz
Check disc space
----------------
Sufficient free space for build
User Environment
----------------
APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=buster-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=buster-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=buster-staging-armhf-sbuild-6adca0a8-c46e-4ffa-81fa-e906261be5b4
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=linux
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package menhir
dpkg-buildpackage: info: source version 20171222-1
dpkg-buildpackage: info: source distribution unstable
dpkg-source --before-build menhir-20171222
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
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 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 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 stringSet.mli > stringSet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
/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/ocamldep.opt -modules settings.ml > settings.ml.depends
/usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends
/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 positions.cmx positions.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml
/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
/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
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 -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 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/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/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 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/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/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/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml
/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 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 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/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 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 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 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/ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml
/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/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 keyword.cmx action.cmx installation.cmx positions.cmx stringSet.cmx version.cmx settings.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.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 codeBits.cmx gSet.cmx compressedBitSet.cmx dot.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 astar.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx pprint.cmx cst.cmx default.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): 16(397), max: 12, min: 2, average(total): 4.562(1.144) }
make[4]: Leaving directory '/<<PKGBUILDDIR>>/src'
make[4]: Entering directory '/<<PKGBUILDDIR>>/src'
/usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
/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 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 stringSet.mli > stringSet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
/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/ocamldep.opt -modules settings.ml > settings.ml.depends
/usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends
/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 positions.cmx positions.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml
/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
/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
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 -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 -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.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
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
+ ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
Grammar has 34 nonterminal symbols, among which 1 start symbols.
Grammar has 30 terminal symbols.
Grammar has 83 productions.
Built an LR(0) automaton with 125 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 189 states.
One shift/reduce conflict was silently solved.
103 out of 189 states have a default reduction.
57 out of 189 states are represented.
25 out of 67 symbols keep track of their start position.
33 out of 67 symbols keep track of their end position.
The action table is 5859 entries; 475 non-zero; 614 compressed.
The action table occupies roughly 1276 bytes.
The goto table is 6615 entries; 153 non-zero; 343 compressed.
The goto table occupies roughly 580 bytes.
The error table occupies roughly 752 bytes.
The default_reduction table occupies roughly 208 bytes.
The lhs table occupies roughly 100 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 parserAux.ml > parserAux.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/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
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --list-errors > parser.mly.auto.messages
+ ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --list-errors > parser.mly.auto.messages
Grammar has 34 nonterminal symbols, among which 1 start symbols.
Grammar has 30 terminal symbols.
Grammar has 83 productions.
Built an LR(0) automaton with 125 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 189 states.
One shift/reduce conflict was silently solved.
103 out of 189 states have a default reduction.
57 out of 189 states are represented.
25 out of 67 symbols keep track of their start position.
33 out of 67 symbols keep track of their end position.
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages
+ ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages
Grammar has 34 nonterminal symbols, among which 1 start symbols.
Grammar has 30 terminal symbols.
Grammar has 83 productions.
Built an LR(0) automaton with 125 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 189 states.
One shift/reduce conflict was silently solved.
103 out of 189 states have a default reduction.
57 out of 189 states are represented.
25 out of 67 symbols keep track of their start position.
33 out of 67 symbols keep track of their end position.
Read 68 sample input sentences and 68 error messages.
Read 68 sample input sentences and 23 error messages.
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml
+ ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml
Grammar has 34 nonterminal symbols, among which 1 start symbols.
Grammar has 30 terminal symbols.
Grammar has 83 productions.
Built an LR(0) automaton with 125 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 189 states.
One shift/reduce conflict was silently solved.
103 out of 189 states have a default reduction.
57 out of 189 states are represented.
25 out of 67 symbols keep track of their start position.
33 out of 67 symbols keep track of their end position.
Read 68 sample input sentences and 23 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/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/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/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml
/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 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 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/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 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 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 -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --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 -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly
+ ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --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 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/ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml
/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/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 keyword.cmx action.cmx installation.cmx positions.cmx stringSet.cmx version.cmx settings.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx option.cmx parserAux.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 codeBits.cmx gSet.cmx compressedBitSet.cmx dot.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 astar.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx pprint.cmx cst.cmx default.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(404), max: 12, min: 2, average(total): 4.412(1.144) }
make[4]: Leaving directory '/<<PKGBUILDDIR>>/src'
make[4]: Entering directory '/<<PKGBUILDDIR>>/src'
/usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
cp -p fancy-parser.mly parser.mly
../_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.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 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 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 syntax.ml > syntax.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli
/usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
/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/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 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 -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
+ ../_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
Grammar has 34 nonterminal symbols, among which 1 start symbols.
Grammar has 30 terminal symbols.
Grammar has 83 productions.
Built an LR(0) automaton with 125 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 189 states.
One shift/reduce conflict was silently solved.
103 out of 189 states have a default reduction.
57 out of 189 states are represented.
25 out of 67 symbols keep track of their start position.
33 out of 67 symbols keep track of their end position.
The action table is 5859 entries; 475 non-zero; 614 compressed.
The action table occupies roughly 1276 bytes.
The goto table is 6615 entries; 153 non-zero; 343 compressed.
The goto table occupies roughly 580 bytes.
The error table occupies roughly 752 bytes.
The default_reduction table occupies roughly 208 bytes.
The lhs table occupies roughly 100 bytes.
The trace table occupies roughly 4 bytes.
# Parallel statistics: { count(total): 2(73), max: 12, min: 4, average(total): 8.000(1.192) }
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
# Parallel statistics: { count(total): 1(21), max: 2, min: 2, average(total): 2.000(1.048) }
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/menhir
install -d debian/libmenhir-ocaml-dev
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.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.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 manual.pdf ] ; then \
mkdir -p /<<PKGBUILDDIR>>/debian/tmp/usr/share/doc/menhir /<<PKGBUILDDIR>>/debian/tmp/usr/share/man/man1 && \
cp -r manual.pdf demos /<<PKGBUILDDIR>>/debian/tmp/usr/share/doc/menhir && \
cp -r 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
dh_installexamples -a
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/libmenhir-ocaml-dev/changelog usr/share/doc/libmenhir-ocaml-dev/changelog.Debian
chmod a-x usr/share/doc/menhir/changelog usr/share/doc/menhir/changelog.Debian usr/share/man/man1/menhir.1
gzip -9nf usr/share/doc/libmenhir-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
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/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 f -a -true -a ! -regex 'debian/menhir/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644
find debian/menhir/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755
find debian/libmenhir-ocaml-dev/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755
find debian/menhir/usr/share/man -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644
find debian/libmenhir-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/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
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/c9
objcopy --only-keep-debug --compress-debug-sections debian/menhir/usr/bin/menhir debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/c9/988e14bb8a2cdd2b30776b2bf735f2b85f919b.debug
chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/c9/988e14bb8a2cdd2b30776b2bf735f2b85f919b.debug
chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/c9/988e14bb8a2cdd2b30776b2bf735f2b85f919b.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/c9/988e14bb8a2cdd2b30776b2bf735f2b85f919b.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
dh_installdeb -a
install -d debian/libmenhir-ocaml-dev/DEBIAN
dh_ocaml -a
+++ Remove former .olist.debhelper files +++
+++ Generate .olist.debhelper files +++
cat debian/libmenhir-ocaml-dev.olist.debhelper
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmo
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmx
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmi
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmo
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmx
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 20171222-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/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
mkdir -p debian/libmenhir-ocaml-dev//var/lib/ocaml/lintian
/usr/bin/ocaml-lintian -v --package libmenhir-ocaml-dev --version 20171222-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; echo ocaml:Provides=libmenhir-ocaml-dev-vvop0) > 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 v20171222-1 depends on ocaml-nox/ocaml-base-nox v4.05.0-10+rpi1 through Obj
(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
dpkg-gencontrol -plibmenhir-ocaml-dev -ldebian/changelog -Tdebian/libmenhir-ocaml-dev.substvars -Pdebian/libmenhir-ocaml-dev -UMulti-Arch
echo misc:Depends= >> debian/menhir.substvars
echo misc:Pre-Depends= >> debian/menhir.substvars
install -d debian/.debhelper/menhir/dbgsym-root/DEBIAN
dpkg-gencontrol -pmenhir -ldebian/changelog -Tdebian/menhir.substvars -Pdebian/.debhelper/menhir/dbgsym-root -UPre-Depends -URecommends -USuggests -UEnhances -UProvides -UEssential -UConflicts -DPriority=optional -UHomepage -UImportant -DAuto-Built-Package=debug-symbols -DPackage=menhir-dbgsym "-DDepends=menhir (= \${binary:Version})" "-DDescription=debug symbols for menhir" -DBuild-Ids=c9988e14bb8a2cdd2b30776b2bf735f2b85f919b -DSection=debug -UMulti-Arch -UReplaces -UBreaks
dpkg-gencontrol: warning: Depends field of package menhir: unknown substitution variable ${ocaml:Depends}
dpkg-gencontrol: warning: Depends field of package libmenhir-ocaml-dev: unknown substitution variable ${shlibs:Depends}
chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/control
chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/control
dpkg-gencontrol -pmenhir -ldebian/changelog -Tdebian/menhir.substvars -Pdebian/menhir -UMulti-Arch
chmod 0644 -- debian/libmenhir-ocaml-dev/DEBIAN/control
chown 0:0 -- debian/libmenhir-ocaml-dev/DEBIAN/control
dpkg-gencontrol: warning: Depends field of package menhir: unknown substitution variable ${ocaml:Depends}
chmod 0644 -- debian/menhir/DEBIAN/control
chown 0:0 -- debian/menhir/DEBIAN/control
dh_md5sums -a
(cd debian/menhir >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums) >/dev/null
(cd debian/libmenhir-ocaml-dev >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums) >/dev/null
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/menhir/dbgsym-root >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums) >/dev/null
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: building package 'menhir' in '../menhir_20171222-1_armhf.deb'.
dpkg-deb: building package 'menhir-dbgsym' in '../menhir-dbgsym_20171222-1_armhf.deb'.
dpkg-deb: building package 'libmenhir-ocaml-dev' in '../libmenhir-ocaml-dev_20171222-1_armhf.deb'.
dpkg-genbuildinfo --build=any
dpkg-genchanges --build=any -mRaspbian wandboard test autobuilder <root@raspbian.org> >../menhir_20171222-1_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build menhir-20171222
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2018-01-20T11:02:24Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
menhir_20171222-1_armhf.changes:
--------------------------------
Format: 1.8
Date: Tue, 02 Jan 2018 19:23:01 +0100
Source: menhir
Binary: menhir libmenhir-ocaml-dev menhir-doc
Architecture: armhf
Version: 20171222-1
Distribution: buster-staging
Urgency: medium
Maintainer: Raspbian wandboard test autobuilder <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 (20171222-1) unstable; urgency=medium
.
* New upstream version.
* Standards-version 4.1.3 (no change)
Checksums-Sha1:
5a6e8f48a527c25d9bea61530ef63c9cbd17d5f5 190784 libmenhir-ocaml-dev_20171222-1_armhf.deb
02533c6c583cf30db37940ba7eda46daa57fd1d5 175208 menhir-dbgsym_20171222-1_armhf.deb
6fdfa61a45e2af752a4b694125afd280ad0edd14 5000 menhir_20171222-1_armhf.buildinfo
fcf4f3c3637f59e5f4efc1f3e281d96241101ca4 525756 menhir_20171222-1_armhf.deb
Checksums-Sha256:
acb1c694517894992175659b1435e9345b36816eb2c1c00aba9919afa4025aed 190784 libmenhir-ocaml-dev_20171222-1_armhf.deb
bd3eedd7c9a9e213dbd8a38174d5ffb45ee4a6cdb307f3012236af6070210632 175208 menhir-dbgsym_20171222-1_armhf.deb
ff8ac40461f9b84741579bb2e484211a21edb1d5fab34768f9b0334229752b18 5000 menhir_20171222-1_armhf.buildinfo
51f0c3b22ae2f209acccf94220a32df927eafb9dc9990318a16c1de1a6cf6680 525756 menhir_20171222-1_armhf.deb
Files:
5e8c36f247fec35dbd91a5d0754d5c8c 190784 ocaml optional libmenhir-ocaml-dev_20171222-1_armhf.deb
ba06b283598884a07bc633d312ae7275 175208 debug optional menhir-dbgsym_20171222-1_armhf.deb
c60a0ce9eb7c9a7bbf7ff863f3129680 5000 ocaml optional menhir_20171222-1_armhf.buildinfo
07742bd3fdfe248b1a109e898466e2b8 525756 ocaml optional menhir_20171222-1_armhf.deb
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
libmenhir-ocaml-dev_20171222-1_armhf.deb
----------------------------------------
new Debian package, version 2.0.
size 190784 bytes: control archive=1280 bytes.
974 bytes, 23 lines control
1253 bytes, 17 lines md5sums
Package: libmenhir-ocaml-dev
Source: menhir
Version: 20171222-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 761
Depends: ocaml-nox-4.05.0
Provides: libmenhir-ocaml-dev-vvop0
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-01-02 18:23 ./
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/lib/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/lib/ocaml/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/lib/ocaml/menhirLib/
-rw-r--r-- root/root 141 2018-01-02 18:23 ./usr/lib/ocaml/menhirLib/META
-rw-r--r-- root/root 41871 2018-01-02 18:23 ./usr/lib/ocaml/menhirLib/menhirLib.cmi
-rw-r--r-- root/root 221622 2018-01-02 18:23 ./usr/lib/ocaml/menhirLib/menhirLib.cmo
-rw-r--r-- root/root 10774 2018-01-02 18:23 ./usr/lib/ocaml/menhirLib/menhirLib.cmx
-rw-r--r-- root/root 127811 2018-01-02 18:23 ./usr/lib/ocaml/menhirLib/menhirLib.ml
-rw-r--r-- root/root 69573 2018-01-02 18:23 ./usr/lib/ocaml/menhirLib/menhirLib.mli
-rw-r--r-- root/root 117820 2018-01-02 18:23 ./usr/lib/ocaml/menhirLib/menhirLib.o
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/lib/ocaml/menhirSdk/
-rw-r--r-- root/root 153 2018-01-02 18:23 ./usr/lib/ocaml/menhirSdk/META
-rw-r--r-- root/root 16000 2018-01-02 18:23 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmi
-rw-r--r-- root/root 83282 2018-01-02 18:23 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmo
-rw-r--r-- root/root 7267 2018-01-02 18:23 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmx
-rw-r--r-- root/root 41916 2018-01-02 18:23 ./usr/lib/ocaml/menhirSdk/menhirSdk.o
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/share/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/share/doc/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/share/doc/libmenhir-ocaml-dev/
-rw-r--r-- root/root 3164 2018-01-02 18:23 ./usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.gz
-rw-r--r-- root/root 9562 2017-12-22 14:51 ./usr/share/doc/libmenhir-ocaml-dev/changelog.gz
-rw-r--r-- root/root 2482 2018-01-02 18:23 ./usr/share/doc/libmenhir-ocaml-dev/copyright
drwxr-xr-x root/root 0 2018-01-02 18:23 ./var/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./var/lib/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./var/lib/ocaml/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./var/lib/ocaml/lintian/
-rw-r--r-- root/root 20 2018-01-02 18:23 ./var/lib/ocaml/lintian/libmenhir-ocaml-dev.info
drwxr-xr-x root/root 0 2018-01-02 18:23 ./var/lib/ocaml/md5sums/
-rw-r--r-- root/root 328 2018-01-02 18:23 ./var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums
menhir-dbgsym_20171222-1_armhf.deb
----------------------------------
new Debian package, version 2.0.
size 175208 bytes: control archive=528 bytes.
362 bytes, 12 lines control
106 bytes, 1 lines md5sums
Package: menhir-dbgsym
Source: menhir
Version: 20171222-1
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 760
Depends: menhir (= 20171222-1)
Section: debug
Priority: optional
Description: debug symbols for menhir
Build-Ids: c9988e14bb8a2cdd2b30776b2bf735f2b85f919b
drwxr-xr-x root/root 0 2018-01-02 18:23 ./
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/lib/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/lib/debug/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/lib/debug/.build-id/c9/
-rw-r--r-- root/root 767868 2018-01-02 18:23 ./usr/lib/debug/.build-id/c9/988e14bb8a2cdd2b30776b2bf735f2b85f919b.debug
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/share/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/share/doc/
lrwxrwxrwx root/root 0 2018-01-02 18:23 ./usr/share/doc/menhir-dbgsym -> menhir
menhir_20171222-1_armhf.deb
---------------------------
new Debian package, version 2.0.
size 525756 bytes: control archive=960 bytes.
864 bytes, 21 lines control
386 bytes, 6 lines md5sums
Package: menhir
Version: 20171222-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 1690
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-01-02 18:23 ./
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/bin/
-rwxr-xr-x root/root 1693440 2018-01-02 18:23 ./usr/bin/menhir
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/share/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/share/doc/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/share/doc/menhir/
-rw-r--r-- root/root 3164 2018-01-02 18:23 ./usr/share/doc/menhir/changelog.Debian.gz
-rw-r--r-- root/root 9562 2017-12-22 14:51 ./usr/share/doc/menhir/changelog.gz
-rw-r--r-- root/root 2482 2018-01-02 18:23 ./usr/share/doc/menhir/copyright
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/share/man/
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/share/man/man1/
-rw-r--r-- root/root 1368 2018-01-02 18:23 ./usr/share/man/man1/menhir.1.gz
drwxr-xr-x root/root 0 2018-01-02 18:23 ./usr/share/menhir/
-rw-r--r-- root/root 6521 2018-01-02 18:23 ./usr/share/menhir/standard.mly
+------------------------------------------------------------------------------+
| Post Build |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Cleanup |
+------------------------------------------------------------------------------+
Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use
+------------------------------------------------------------------------------+
| Summary |
+------------------------------------------------------------------------------+
Build Architecture: armhf
Build-Space: 61132
Build-Time: 159
Distribution: buster-staging
Host Architecture: armhf
Install-Time: 409
Job: menhir_20171222-1
Machine Architecture: armhf
Package: menhir
Package-Time: 619
Source-Version: 20171222-1
Space: 61132
Status: successful
Version: 20171222-1
--------------------------------------------------------------------------------
Finished at 2018-01-20T11:02:24Z
Build needed 00:10:19, 61132k disc space