menhir →
20151112.dfsg-1 →
armhf → 2016-01-23 10:37:17
sbuild (Debian sbuild) 0.65.2 (24 Mar 2015) on bm-wb-02
╔══════════════════════════════════════════════════════════════════════════════╗
║ menhir 20151112.dfsg-1 (armhf) 23 Jan 2016 10:23 ║
╚══════════════════════════════════════════════════════════════════════════════╝
Package: menhir
Version: 20151112.dfsg-1
Source Version: 20151112.dfsg-1
Distribution: stretch-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'build/menhir-55MpGt/menhir-20151112.dfsg' with '«PKGBUILDDIR»'
I: NOTICE: Log filtering will replace 'build/menhir-55MpGt' with '«BUILDDIR»'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/stretch-staging-armhf-sbuild-dbe2d49b-879f-4ba5-b9d8-83e88ebbbcb4' with '«CHROOT»'
┌──────────────────────────────────────────────────────────────────────────────┐
│ Update chroot │
└──────────────────────────────────────────────────────────────────────────────┘
Get:1 http://172.17.0.1/private stretch-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private stretch-staging/main Sources [8637 kB]
Get:3 http://172.17.0.1/private stretch-staging/main armhf Packages [10.7 MB]
Fetched 19.3 MB in 22s (876 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...
Building dependency tree...
Reading state information...
NOTICE: 'menhir' packaging is maintained in the 'Git' version control system at:
git://anonscm.debian.org/pkg-ocaml-maint/packages/menhir.git
Please use:
git clone git://anonscm.debian.org/pkg-ocaml-maint/packages/menhir.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 341 kB of source archives.
Get:1 http://172.17.0.1/private stretch-staging/main menhir 20151112.dfsg-1 (dsc) [2133 B]
Get:2 http://172.17.0.1/private stretch-staging/main menhir 20151112.dfsg-1 (tar) [332 kB]
Get:3 http://172.17.0.1/private stretch-staging/main menhir 20151112.dfsg-1 (diff) [6696 B]
Fetched 341 kB in 0s (4596 kB/s)
Download complete and in download only mode
Check architectures
───────────────────
Check dependencies
──────────────────
Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/«BUILDDIR»/resolver-JuV11l/apt_archive/sbuild-build-depends-core-dummy.deb'.
OK
Get:1 file:/«BUILDDIR»/resolver-JuV11l/apt_archive ./ InRelease
Ign:1 file:/«BUILDDIR»/resolver-JuV11l/apt_archive ./ InRelease
Get:2 file:/«BUILDDIR»/resolver-JuV11l/apt_archive ./ Release [2119 B]
Get:2 file:/«BUILDDIR»/resolver-JuV11l/apt_archive ./ Release [2119 B]
Get:3 file:/«BUILDDIR»/resolver-JuV11l/apt_archive ./ Release.gpg [299 B]
Get:3 file:/«BUILDDIR»/resolver-JuV11l/apt_archive ./ Release.gpg [299 B]
Get:4 file:/«BUILDDIR»/resolver-JuV11l/apt_archive ./ Sources [188 B]
Get:5 file:/«BUILDDIR»/resolver-JuV11l/apt_archive ./ Packages [508 B]
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 NEW packages will be installed:
sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
Need to get 0 B/766 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 file:/«BUILDDIR»/resolver-JuV11l/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [766 B]
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 13613 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy.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
Merged Build-Depends: libc6-dev | libc-dev, gcc (>= 4:4.9.1), g++ (>= 4:4.9.1), make, dpkg-dev (>= 1.17.11), debhelper (>= 7.0.50), ocaml-nox (>= 4.02~), ocaml-findlib, dh-ocaml (>= 0.9)
Filtered Build-Depends: libc6-dev, gcc (>= 4:4.9.1), g++ (>= 4:4.9.1), make, dpkg-dev (>= 1.17.11), debhelper (>= 7.0.50), ocaml-nox (>= 4.02~), ocaml-findlib, dh-ocaml (>= 0.9)
dpkg-deb: building package 'sbuild-build-depends-menhir-dummy' in '/«BUILDDIR»/resolver-l7KBUw/apt_archive/sbuild-build-depends-menhir-dummy.deb'.
OK
Get:1 file:/«BUILDDIR»/resolver-l7KBUw/apt_archive ./ InRelease
Ign:1 file:/«BUILDDIR»/resolver-l7KBUw/apt_archive ./ InRelease
Get:2 file:/«BUILDDIR»/resolver-l7KBUw/apt_archive ./ Release [2119 B]
Get:2 file:/«BUILDDIR»/resolver-l7KBUw/apt_archive ./ Release [2119 B]
Get:3 file:/«BUILDDIR»/resolver-l7KBUw/apt_archive ./ Release.gpg [299 B]
Get:3 file:/«BUILDDIR»/resolver-l7KBUw/apt_archive ./ Release.gpg [299 B]
Get:4 file:/«BUILDDIR»/resolver-l7KBUw/apt_archive ./ Sources [323 B]
Get:5 file:/«BUILDDIR»/resolver-l7KBUw/apt_archive ./ Packages [582 B]
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 additional packages will be installed:
autotools-dev bsdmainutils debhelper dh-ocaml dh-strip-nondeterminism file
gettext gettext-base groff-base intltool-debian libarchive-zip-perl
libcroco3 libffi6 libfile-stripnondeterminism-perl libfindlib-ocaml
libglib2.0-0 libicu55 libmagic1 libncurses5-dev libpipeline1 libtinfo-dev
libunistring0 libxml2 man-db ocaml-base-nox ocaml-compiler-libs
ocaml-findlib ocaml-interp ocaml-nox po-debconf
Suggested packages:
wamerican | wordlist whois vacation dh-make git gettext-doc autopoint
libasprintf-dev libgettextpo-dev groff ncurses-doc less www-browser camlp4
ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl
Recommended packages:
curl | wget | lynx-cur libglib2.0-data shared-mime-info xdg-user-dirs
xml-core libfindlib-ocaml-dev ledit | readline-editor camlp4
libmail-sendmail-perl
The following NEW packages will be installed:
autotools-dev bsdmainutils debhelper dh-ocaml dh-strip-nondeterminism file
gettext gettext-base groff-base intltool-debian libarchive-zip-perl
libcroco3 libffi6 libfile-stripnondeterminism-perl libfindlib-ocaml
libglib2.0-0 libicu55 libmagic1 libncurses5-dev libpipeline1 libtinfo-dev
libunistring0 libxml2 man-db ocaml-base-nox ocaml-compiler-libs
ocaml-findlib ocaml-interp ocaml-nox po-debconf
sbuild-build-depends-menhir-dummy
0 upgraded, 31 newly installed, 0 to remove and 0 not upgraded.
Need to get 34.2 MB/34.2 MB of archives.
After this operation, 145 MB of additional disk space will be used.
Get:1 file:/«BUILDDIR»/resolver-l7KBUw/apt_archive ./ sbuild-build-depends-menhir-dummy 0.invalid.0 [844 B]
Get:2 http://172.17.0.1/private stretch-staging/main armhf groff-base armhf 1.22.3-5 [1083 kB]
Get:3 http://172.17.0.1/private stretch-staging/main armhf bsdmainutils armhf 9.0.6 [177 kB]
Get:4 http://172.17.0.1/private stretch-staging/main armhf libpipeline1 armhf 1.4.1-2 [23.7 kB]
Get:5 http://172.17.0.1/private stretch-staging/main armhf man-db armhf 2.7.5-1 [975 kB]
Get:6 http://172.17.0.1/private stretch-staging/main armhf libunistring0 armhf 0.9.3-5.2 [253 kB]
Get:7 http://172.17.0.1/private stretch-staging/main armhf libmagic1 armhf 1:5.25-2 [250 kB]
Get:8 http://172.17.0.1/private stretch-staging/main armhf file armhf 1:5.25-2 [61.2 kB]
Get:9 http://172.17.0.1/private stretch-staging/main armhf gettext-base armhf 0.19.7-2 [111 kB]
Get:10 http://172.17.0.1/private stretch-staging/main armhf libicu55 armhf 55.1-7 [7380 kB]
Get:11 http://172.17.0.1/private stretch-staging/main armhf libxml2 armhf 2.9.3+dfsg1-1 [800 kB]
Get:12 http://172.17.0.1/private stretch-staging/main armhf autotools-dev all 20150820.1 [71.7 kB]
Get:13 http://172.17.0.1/private stretch-staging/main armhf libffi6 armhf 3.2.1-4 [18.5 kB]
Get:14 http://172.17.0.1/private stretch-staging/main armhf libglib2.0-0 armhf 2.46.2-3 [2482 kB]
Get:15 http://172.17.0.1/private stretch-staging/main armhf libcroco3 armhf 0.6.11-1 [131 kB]
Get:16 http://172.17.0.1/private stretch-staging/main armhf gettext armhf 0.19.7-2 [1400 kB]
Get:17 http://172.17.0.1/private stretch-staging/main armhf intltool-debian all 0.35.0+20060710.4 [26.3 kB]
Get:18 http://172.17.0.1/private stretch-staging/main armhf po-debconf all 1.0.19 [249 kB]
Get:19 http://172.17.0.1/private stretch-staging/main armhf libarchive-zip-perl all 1.56-2 [94.9 kB]
Get:20 http://172.17.0.1/private stretch-staging/main armhf libfile-stripnondeterminism-perl all 0.014-1 [10.6 kB]
Get:21 http://172.17.0.1/private stretch-staging/main armhf dh-strip-nondeterminism all 0.014-1 [7472 B]
Get:22 http://172.17.0.1/private stretch-staging/main armhf debhelper all 9.20160115 [827 kB]
Get:23 http://172.17.0.1/private stretch-staging/main armhf ocaml-base-nox armhf 4.02.3-5+rpi1 [513 kB]
Get:24 http://172.17.0.1/private stretch-staging/main armhf libfindlib-ocaml armhf 1.5.5-2 [141 kB]
Get:25 http://172.17.0.1/private stretch-staging/main armhf libtinfo-dev armhf 6.0+20151024-2 [65.8 kB]
Get:26 http://172.17.0.1/private stretch-staging/main armhf libncurses5-dev armhf 6.0+20151024-2 [154 kB]
Get:27 http://172.17.0.1/private stretch-staging/main armhf ocaml-interp armhf 4.02.3-5+rpi1 [361 kB]
Get:28 http://172.17.0.1/private stretch-staging/main armhf ocaml-nox armhf 4.02.3-5+rpi1 [6481 kB]
Get:29 http://172.17.0.1/private stretch-staging/main armhf ocaml-compiler-libs armhf 4.02.3-5+rpi1 [9759 kB]
Get:30 http://172.17.0.1/private stretch-staging/main armhf ocaml-findlib armhf 1.5.5-2 [257 kB]
Get:31 http://172.17.0.1/private stretch-staging/main armhf dh-ocaml all 1.0.10 [83.7 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 34.2 MB in 3s (10.7 MB/s)
Selecting previously unselected package groff-base.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 13613 files and directories currently installed.)
Preparing to unpack .../groff-base_1.22.3-5_armhf.deb ...
Unpacking groff-base (1.22.3-5) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../bsdmainutils_9.0.6_armhf.deb ...
Unpacking bsdmainutils (9.0.6) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../libpipeline1_1.4.1-2_armhf.deb ...
Unpacking libpipeline1:armhf (1.4.1-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../man-db_2.7.5-1_armhf.deb ...
Unpacking man-db (2.7.5-1) ...
Selecting previously unselected package libunistring0:armhf.
Preparing to unpack .../libunistring0_0.9.3-5.2_armhf.deb ...
Unpacking libunistring0:armhf (0.9.3-5.2) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../libmagic1_1%3a5.25-2_armhf.deb ...
Unpacking libmagic1:armhf (1:5.25-2) ...
Selecting previously unselected package file.
Preparing to unpack .../file_1%3a5.25-2_armhf.deb ...
Unpacking file (1:5.25-2) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../gettext-base_0.19.7-2_armhf.deb ...
Unpacking gettext-base (0.19.7-2) ...
Selecting previously unselected package libicu55:armhf.
Preparing to unpack .../libicu55_55.1-7_armhf.deb ...
Unpacking libicu55:armhf (55.1-7) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../libxml2_2.9.3+dfsg1-1_armhf.deb ...
Unpacking libxml2:armhf (2.9.3+dfsg1-1) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../autotools-dev_20150820.1_all.deb ...
Unpacking autotools-dev (20150820.1) ...
Selecting previously unselected package libffi6:armhf.
Preparing to unpack .../libffi6_3.2.1-4_armhf.deb ...
Unpacking libffi6:armhf (3.2.1-4) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../libglib2.0-0_2.46.2-3_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.46.2-3) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../libcroco3_0.6.11-1_armhf.deb ...
Unpacking libcroco3:armhf (0.6.11-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../gettext_0.19.7-2_armhf.deb ...
Unpacking gettext (0.19.7-2) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../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 .../po-debconf_1.0.19_all.deb ...
Unpacking po-debconf (1.0.19) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../libarchive-zip-perl_1.56-2_all.deb ...
Unpacking libarchive-zip-perl (1.56-2) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../libfile-stripnondeterminism-perl_0.014-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (0.014-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../dh-strip-nondeterminism_0.014-1_all.deb ...
Unpacking dh-strip-nondeterminism (0.014-1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../debhelper_9.20160115_all.deb ...
Unpacking debhelper (9.20160115) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../ocaml-base-nox_4.02.3-5+rpi1_armhf.deb ...
Unpacking ocaml-base-nox (4.02.3-5+rpi1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../libfindlib-ocaml_1.5.5-2_armhf.deb ...
Unpacking libfindlib-ocaml (1.5.5-2) ...
Selecting previously unselected package libtinfo-dev:armhf.
Preparing to unpack .../libtinfo-dev_6.0+20151024-2_armhf.deb ...
Unpacking libtinfo-dev:armhf (6.0+20151024-2) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../libncurses5-dev_6.0+20151024-2_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.0+20151024-2) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../ocaml-interp_4.02.3-5+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.02.3-5+rpi1) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../ocaml-nox_4.02.3-5+rpi1_armhf.deb ...
Unpacking ocaml-nox (4.02.3-5+rpi1) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../ocaml-compiler-libs_4.02.3-5+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.02.3-5+rpi1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../ocaml-findlib_1.5.5-2_armhf.deb ...
Unpacking ocaml-findlib (1.5.5-2) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../dh-ocaml_1.0.10_all.deb ...
Unpacking dh-ocaml (1.0.10) ...
Selecting previously unselected package sbuild-build-depends-menhir-dummy.
Preparing to unpack .../sbuild-build-depends-menhir-dummy.deb ...
Unpacking sbuild-build-depends-menhir-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.21-6) ...
Setting up groff-base (1.22.3-5) ...
Setting up bsdmainutils (9.0.6) ...
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 libpipeline1:armhf (1.4.1-2) ...
Setting up man-db (2.7.5-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libunistring0:armhf (0.9.3-5.2) ...
Setting up libmagic1:armhf (1:5.25-2) ...
Setting up file (1:5.25-2) ...
Setting up gettext-base (0.19.7-2) ...
Setting up libicu55:armhf (55.1-7) ...
Setting up libxml2:armhf (2.9.3+dfsg1-1) ...
Setting up autotools-dev (20150820.1) ...
Setting up libffi6:armhf (3.2.1-4) ...
Setting up libglib2.0-0:armhf (2.46.2-3) ...
No schema files found: doing nothing.
Setting up libcroco3:armhf (0.6.11-1) ...
Setting up gettext (0.19.7-2) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up po-debconf (1.0.19) ...
Setting up libarchive-zip-perl (1.56-2) ...
Setting up libfile-stripnondeterminism-perl (0.014-1) ...
Setting up ocaml-base-nox (4.02.3-5+rpi1) ...
Setting up libfindlib-ocaml (1.5.5-2) ...
Setting up libtinfo-dev:armhf (6.0+20151024-2) ...
Setting up libncurses5-dev:armhf (6.0+20151024-2) ...
Setting up ocaml-findlib (1.5.5-2) ...
Setting up dh-ocaml (1.0.10) ...
Setting up debhelper (9.20160115) ...
Setting up ocaml-compiler-libs (4.02.3-5+rpi1) ...
Setting up ocaml-interp (4.02.3-5+rpi1) ...
Setting up ocaml-nox (4.02.3-5+rpi1) ...
Setting up sbuild-build-depends-menhir-dummy (0.invalid.0) ...
Setting up dh-strip-nondeterminism (0.014-1) ...
Processing triggers for libc-bin (2.21-6) ...
W: No sandbox user '_apt' on the system, can not drop privileges
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build environment │
└──────────────────────────────────────────────────────────────────────────────┘
Kernel: Linux 3.19.0-trunk-armmp armhf (armv7l)
Toolchain package versions: binutils_2.25.90.20160101-2 dpkg-dev_1.18.4 g++-5_5.3.1-5+rpi1 gcc-5_5.3.1-5+rpi1 libc6-dev_2.21-6 libstdc++-4.9-dev_4.9.3-10 libstdc++-5-dev_5.3.1-5+rpi1 libstdc++6_5.3.1-5+rpi1 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch
Package versions: acl_2.2.52-2 adduser_3.113+nmu3 apt_1.2 autotools-dev_20150820.1 base-files_9.5+rpi1 base-passwd_3.5.39 bash_4.3-14 binutils_2.25.90.20160101-2 bsdmainutils_9.0.6 bsdutils_1:2.27.1-1 build-essential_11.7 bzip2_1.0.6-8 coreutils_8.23-4 cpio_2.11+dfsg-4.1 cpp_4:5.3.1-1+rpi1 cpp-5_5.3.1-5+rpi1 dash_0.5.7-4 debconf_1.5.58 debfoster_2.7-2 debhelper_9.20160115 debianutils_4.5.1 dh-ocaml_1.0.10 dh-strip-nondeterminism_0.014-1 diffutils_1:3.3-3 dmsetup_2:1.02.114-1 dpkg_1.18.4 dpkg-dev_1.18.4 e2fslibs_1.42.13-1 e2fsprogs_1.42.13-1 fakeroot_1.20.2-1 file_1:5.25-2 findutils_4.6.0-2 g++_4:5.3.1-1+rpi1 g++-5_5.3.1-5+rpi1 gcc_4:5.3.1-1+rpi1 gcc-4.6-base_4.6.4-5+rpi1 gcc-4.7-base_4.7.3-11+rpi1 gcc-4.8-base_4.8.5-3 gcc-4.9-base_4.9.3-10 gcc-5_5.3.1-5+rpi1 gcc-5-base_5.3.1-5+rpi1 gettext_0.19.7-2 gettext-base_0.19.7-2 gnupg_1.4.20-1 gpgv_1.4.20-1 grep_2.22-1 groff-base_1.22.3-5 gzip_1.6-4 hostname_3.16 init_1.24 init-system-helpers_1.24 initramfs-tools_0.120 initscripts_2.88dsf-59.2 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.4 klibc-utils_2.0.4-6+rpi1 kmod_21-1 libacl1_2.2.52-2 libapparmor1_2.10-2+b3 libapt-pkg4.12_1.0.9.10 libapt-pkg5.0_1.2 libarchive-zip-perl_1.56-2 libasan1_4.9.3-10 libasan2_5.3.1-5+rpi1 libatomic1_5.3.1-5+rpi1 libattr1_1:2.4.47-2 libaudit-common_1:2.4.5-1 libaudit1_1:2.4.5-1 libblkid1_2.27.1-1 libbz2-1.0_1.0.6-8 libc-bin_2.21-6 libc-dev-bin_2.21-6 libc6_2.21-6 libc6-dev_2.21-6 libcap2_1:2.24-12 libcap2-bin_1:2.24-12 libcc1-0_5.3.1-5+rpi1 libcomerr2_1.42.13-1 libcroco3_0.6.11-1 libcryptsetup4_2:1.7.0-2 libdb5.3_5.3.28-11 libdbus-1-3_1.10.6-1 libdebconfclient0_0.201 libdevmapper1.02.1_2:1.02.114-1 libdpkg-perl_1.18.4 libdrm2_2.4.66-2 libfakeroot_1.20.2-1 libfdisk1_2.27.1-1 libffi6_3.2.1-4 libfile-stripnondeterminism-perl_0.014-1 libfindlib-ocaml_1.5.5-2 libgc1c2_1:7.4.2-7.3 libgcc-4.9-dev_4.9.3-10 libgcc-5-dev_5.3.1-5+rpi1 libgcc1_1:5.3.1-5+rpi1 libgcrypt20_1.6.4-4 libgdbm3_1.8.3-13.1 libglib2.0-0_2.46.2-3 libgmp10_2:6.1.0+dfsg-2 libgomp1_5.3.1-5+rpi1 libgpg-error0_1.21-1 libicu55_55.1-7 libisl15_0.15-3 libklibc_2.0.4-6+rpi1 libkmod2_21-1 liblz4-1_0.0~r131-1 liblzma5_5.1.1alpha+20120614-2.1 libmagic1_1:5.25-2 libmount1_2.27.1-1 libmpc3_1.0.3-1 libmpfr4_3.1.3-2 libncurses5_6.0+20151024-2 libncurses5-dev_6.0+20151024-2 libncursesw5_6.0+20151024-2 libpam-modules_1.1.8-3.2 libpam-modules-bin_1.1.8-3.2 libpam-runtime_1.1.8-3.2 libpam0g_1.1.8-3.2 libpcre3_2:8.38-1 libperl5.22_5.22.1-4 libpipeline1_1.4.1-2 libpng12-0_1.2.54-1 libprocps3_2:3.3.9-9 libprocps5_2:3.3.11-3 libreadline6_6.3-8+b3 libseccomp2_2.2.3-2 libselinux1_2.4-3 libsemanage-common_2.4-3 libsemanage1_2.4-3 libsepol1_2.4-2 libslang2_2.3.0-2+b1 libsmartcols1_2.27.1-1 libss2_1.42.13-1 libstdc++-4.9-dev_4.9.3-10 libstdc++-5-dev_5.3.1-5+rpi1 libstdc++6_5.3.1-5+rpi1 libsystemd0_228-4 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20151024-2 libtinfo5_6.0+20151024-2 libubsan0_5.3.1-5+rpi1 libudev1_228-4 libunistring0_0.9.3-5.2 libusb-0.1-4_2:0.1.12-28 libustr-1.0-1_1.0.4-5 libuuid1_2.27.1-1 libxml2_2.9.3+dfsg1-1 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch login_1:4.2-3.1 lsb-base_4.1+Debian13+rpi1+nmu1 make_4.0-8.2 makedev_2.3.1-93 man-db_2.7.5-1 manpages_4.04-0.1 mawk_1.3.3-17 mount_2.27.1-1 multiarch-support_2.21-6 nano_2.4.3-1 ncurses-base_6.0+20151024-2 ncurses-bin_6.0+20151024-2 ocaml-base-nox_4.02.3-5+rpi1 ocaml-compiler-libs_4.02.3-5+rpi1 ocaml-findlib_1.5.5-2 ocaml-interp_4.02.3-5+rpi1 ocaml-nox_4.02.3-5+rpi1 passwd_1:4.2-3.1 patch_2.7.5-1 perl_5.22.1-4 perl-base_5.22.1-4 perl-modules-5.22_5.22.1-4 po-debconf_1.0.19 procps_2:3.3.11-3 raspbian-archive-keyring_20120528.2 readline-common_6.3-8 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-menhir-dummy_0.invalid.0 sed_4.2.2-6.1 sensible-utils_0.0.9 startpar_0.59-3 systemd_228-4 systemd-sysv_228-4 sysv-rc_2.88dsf-59.2 sysvinit-utils_2.88dsf-59.2 tar_1.28-2.1 tzdata_2015g-1 udev_228-4 util-linux_2.27.1-1 xz-utils_5.1.1alpha+20120614-2.1 zlib1g_1:1.2.8.dfsg-2+b1
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build │
└──────────────────────────────────────────────────────────────────────────────┘
Unpack source
─────────────
gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Sun Jan 17 21:08:20 2016 UTC using RSA key ID 8C2ED8FF
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./menhir_20151112.dfsg-1.dsc
dpkg-source: info: extracting menhir in menhir-20151112.dfsg
dpkg-source: info: unpacking menhir_20151112.dfsg.orig.tar.gz
dpkg-source: info: unpacking menhir_20151112.dfsg-1.debian.tar.xz
dpkg-source: info: applying 0001-Remove-some-invalid-characters.patch
dpkg-source: info: applying 0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte.patch
Check disc space
────────────────
Sufficient free space for build
User Environment
────────────────
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=stretch-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=stretch-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=stretch-staging-armhf-sbuild-dbe2d49b-879f-4ba5-b9d8-83e88ebbbcb4
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=linux
USER=buildd
dpkg-buildpackage
─────────────────
dpkg-buildpackage: source package menhir
dpkg-buildpackage: source version 20151112.dfsg-1
dpkg-buildpackage: source distribution unstable
dpkg-source --before-build menhir-20151112.dfsg
dpkg-buildpackage: host architecture armhf
fakeroot debian/rules clean
dh --with ocaml clean
dh_testdir
debian/rules override_dh_auto_clean
make[1]: Entering directory '/«PKGBUILDDIR»'
/usr/bin/make -C src/ clean PREFIX=/«PKGBUILDDIR»/debian/menhir/usr
make[2]: Entering directory '/«PKGBUILDDIR»/src'
rm -rf .versioncheck _build _stage1 _stage2 _stage3
make[2]: Leaving directory '/«PKGBUILDDIR»/src'
make[1]: Leaving directory '/«PKGBUILDDIR»'
dh_ocamlclean
rm -f ocamlinit-stamp debian/libmenhir-ocaml-dev.dirs debian/menhir.install debian/libmenhir-ocaml-dev.install
dh_clean
rm -f debian/debhelper-build-stamp
rm -f debian/menhir.substvars
rm -f debian/menhir.*.debhelper
rm -rf debian/menhir/
rm -f debian/libmenhir-ocaml-dev.substvars
rm -f debian/libmenhir-ocaml-dev.*.debhelper
rm -rf debian/libmenhir-ocaml-dev/
rm -rf debian/.debhelper/
rm -f debian/*.debhelper.log
rm -f debian/files
find . \( \( \
\( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS \) -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 {} + \) \)
rm -f *-stamp
debian/rules build-arch
dh --with ocaml build-arch
dh_testdir -a
dh_update_autotools_config -a
dh_ocamlinit -a
sed -e 's%@OCamlABI@%4.02.3%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.02.3%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/menhir.install.in > debian/menhir.install
sed -e 's%@OCamlABI@%4.02.3%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'
ocamlbuild -classic-display -j 0 -cflags "-safe-string -bin-annot" menhirLib.cmo menhirLib.cmx
/usr/bin/ocamlopt 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 -modules General.mli > General.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o General.cmi General.mli
/usr/bin/ocamldep -modules General.ml > General.ml.depends
/usr/bin/ocamldep -modules Convert.mli > Convert.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o Convert.cmi Convert.mli
/usr/bin/ocamldep -modules Convert.ml > Convert.ml.depends
/usr/bin/ocamldep -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/bin/ocamldep -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/bin/ocamldep -modules Engine.mli > Engine.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o EngineTypes.cmo EngineTypes.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o Engine.cmi Engine.mli
/usr/bin/ocamldep -modules Engine.ml > Engine.ml.depends
/usr/bin/ocamldep -modules Printers.mli > Printers.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o Printers.cmi Printers.mli
/usr/bin/ocamldep -modules Printers.ml > Printers.ml.depends
/usr/bin/ocamldep -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o InfiniteArray.cmi InfiniteArray.mli
/usr/bin/ocamldep -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/bin/ocamldep -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o PackedIntArray.cmi PackedIntArray.mli
/usr/bin/ocamldep -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/bin/ocamldep -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o RowDisplacement.cmi RowDisplacement.mli
/usr/bin/ocamldep -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/bin/ocamldep -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o LinearizedArray.cmi LinearizedArray.mli
/usr/bin/ocamldep -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/bin/ocamldep -modules TableFormat.ml > TableFormat.ml.depends
/usr/bin/ocamldep -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/bin/ocamldep -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o TableFormat.cmo TableFormat.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/bin/ocamldep -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/bin/ocamldep -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o TableInterpreter.cmi TableInterpreter.mli
/usr/bin/ocamldep -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/bin/ocamldep -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o StaticVersion.cmi StaticVersion.mli
/usr/bin/ocamldep -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o General.cmo General.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o Convert.cmo Convert.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o Engine.cmo Engine.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o Printers.cmo Printers.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o InfiniteArray.cmo InfiniteArray.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o PackedIntArray.cmo PackedIntArray.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o RowDisplacement.cmo RowDisplacement.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o LinearizedArray.cmo LinearizedArray.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o TableInterpreter.cmo TableInterpreter.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o StaticVersion.cmo StaticVersion.ml
/usr/bin/ocamlc -pack -g General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.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 -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o General.cmx General.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o Engine.cmx Engine.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o Convert.cmx Convert.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o Printers.cmx Printers.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml
touch menhirLib.mli ; if /usr/bin/ocamlopt -pack -g General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.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
# Parallel statistics: { count(total): 2(56), max: 11, min: 5, average(total): 8.000(1.250) }
Checking that Objective Caml is recent enough...
/usr/bin/ocamlopt 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 -modules checkOCamlVersion.ml > checkOCamlVersion.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o checkOCamlVersion.cmo checkOCamlVersion.ml
/usr/bin/ocamlc str.cma -g checkOCamlVersion.cmo -o checkOCamlVersion.byte
# No parallelism done
Version 4.02.3 is OK.
/usr/bin/ocamldep -modules menhir.ml > menhir.ml.depends
/usr/bin/ocamldep -modules back.mli > back.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o back.cmi back.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o menhir.cmo menhir.ml
/usr/bin/ocamldep -modules back.ml > back.ml.depends
/usr/bin/ocamldep -modules codeBackend.ml > codeBackend.ml.depends
/usr/bin/ocamldep -modules codeBackend.mli > codeBackend.mli.depends
/usr/bin/ocamldep -modules IL.mli > IL.mli.depends
/usr/bin/ocamldep -modules stretch.mli > stretch.mli.depends
/usr/bin/ocamldep -modules keyword.mli > keyword.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o keyword.cmi keyword.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o stretch.cmi stretch.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o IL.cmi IL.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o codeBackend.cmi codeBackend.mli
/usr/bin/ocamldep -modules action.ml > action.ml.depends
/usr/bin/ocamldep -modules action.mli > action.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o action.cmi action.mli
/usr/bin/ocamldep -modules keyword.ml > keyword.ml.depends
/usr/bin/ocamldep -modules printer.ml > printer.ml.depends
/usr/bin/ocamldep -modules printer.mli > printer.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o printer.cmi printer.mli
/usr/bin/ocamllex -q lineCount.mll
/usr/bin/ocamldep -modules lineCount.ml > lineCount.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o lineCount.cmo lineCount.ml
/usr/bin/ocamldep -modules settings.ml > settings.ml.depends
/usr/bin/ocamldep -modules settings.mli > settings.mli.depends
/usr/bin/ocamldep -modules stringSet.mli > stringSet.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o stringSet.cmi stringSet.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o settings.cmi settings.mli
/usr/bin/ocamldep -modules installation.ml > installation.ml.depends
/usr/bin/ocamldep -modules installation.mli > installation.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o installation.cmi installation.mli
/usr/bin/ocamldep -modules stringSet.ml > stringSet.ml.depends
/usr/bin/ocamldep -modules version.ml > version.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o version.cmo version.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o installation.cmx installation.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o stringSet.cmx stringSet.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o version.cmx version.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o lineCount.cmx lineCount.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o settings.cmx settings.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o keyword.cmx keyword.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o printer.cmx printer.ml
/usr/bin/ocamldep -modules codeBits.ml > codeBits.ml.depends
/usr/bin/ocamldep -modules codeBits.mli > codeBits.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o codeBits.cmi codeBits.mli
/usr/bin/ocamldep -modules codePieces.ml > codePieces.ml.depends
/usr/bin/ocamldep -modules codePieces.mli > codePieces.mli.depends
/usr/bin/ocamldep -modules grammar.ml > grammar.ml.depends
/usr/bin/ocamldep -modules front.mli > front.mli.depends
/usr/bin/ocamldep -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends
/usr/bin/ocamldep -modules positions.mli > positions.mli.depends
/usr/bin/ocamldep -modules stringMap.mli > stringMap.mli.depends
/usr/bin/ocamldep -modules syntax.mli > syntax.mli.depends
/usr/bin/ocamldep -modules mark.mli > mark.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o positions.cmi positions.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o mark.cmi mark.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o stringMap.cmi stringMap.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o syntax.cmi syntax.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o unparameterizedSyntax.cmo unparameterizedSyntax.ml
/usr/bin/ocamldep -modules grammarFunctor.mli > grammarFunctor.mli.depends
/usr/bin/ocamldep -modules gMap.ml > gMap.ml.depends
/usr/bin/ocamldep -modules gSet.ml > gSet.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o gSet.cmo gSet.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o gMap.cmo gMap.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o front.cmi front.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o grammarFunctor.cmi grammarFunctor.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o grammar.cmo grammar.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o codePieces.cmi codePieces.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o codeBits.cmx codeBits.ml
/usr/bin/ocamldep -modules front.ml > front.ml.depends
/usr/bin/ocamldep -modules concreteSyntax.mli > concreteSyntax.mli.depends
cp -p yaccDriver.ml Driver.ml
/usr/bin/ocamldep -modules Driver.ml > Driver.ml.depends
/usr/bin/ocamldep -modules Driver.mli > Driver.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o concreteSyntax.cmi concreteSyntax.mli
cp -p yacc-parser.mly parser.mly
/usr/bin/ocamlyacc parser.mly
/usr/bin/ocamldep -modules parser.mli > parser.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o parser.cmi parser.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o Driver.cmi Driver.mli
/usr/bin/ocamldep -modules error.ml > error.ml.depends
/usr/bin/ocamldep -modules error.mli > error.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o error.cmi error.mli
/usr/bin/ocamldep -modules mark.ml > mark.ml.depends
/usr/bin/ocamldep -modules positions.ml > positions.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o mark.cmx mark.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o positions.cmx positions.ml
/usr/bin/ocamldep -modules parser.ml > parser.ml.depends
/usr/bin/ocamldep -modules misc.ml > misc.ml.depends
/usr/bin/ocamldep -modules misc.mli > misc.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o misc.cmi misc.mli
/usr/bin/ocamldep -modules General.mli > General.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o General.cmi General.mli
/usr/bin/ocamldep -modules General.ml > General.ml.depends
/usr/bin/ocamldep -modules Convert.mli > Convert.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o Convert.cmi Convert.mli
/usr/bin/ocamldep -modules Convert.ml > Convert.ml.depends
/usr/bin/ocamldep -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/bin/ocamldep -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/bin/ocamldep -modules Engine.mli > Engine.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o EngineTypes.cmo EngineTypes.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o Engine.cmi Engine.mli
/usr/bin/ocamldep -modules Engine.ml > Engine.ml.depends
/usr/bin/ocamldep -modules Printers.mli > Printers.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o Printers.cmi Printers.mli
/usr/bin/ocamldep -modules Printers.ml > Printers.ml.depends
/usr/bin/ocamldep -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o InfiniteArray.cmi InfiniteArray.mli
/usr/bin/ocamldep -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/bin/ocamldep -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o PackedIntArray.cmi PackedIntArray.mli
/usr/bin/ocamldep -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/bin/ocamldep -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o RowDisplacement.cmi RowDisplacement.mli
/usr/bin/ocamldep -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/bin/ocamldep -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o LinearizedArray.cmi LinearizedArray.mli
/usr/bin/ocamldep -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/bin/ocamldep -modules TableFormat.ml > TableFormat.ml.depends
/usr/bin/ocamldep -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/bin/ocamldep -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o TableFormat.cmo TableFormat.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/bin/ocamldep -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/bin/ocamldep -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o TableInterpreter.cmi TableInterpreter.mli
/usr/bin/ocamldep -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/bin/ocamldep -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o StaticVersion.cmi StaticVersion.mli
/usr/bin/ocamldep -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o General.cmo General.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o Convert.cmo Convert.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o Engine.cmo Engine.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o Printers.cmo Printers.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o InfiniteArray.cmo InfiniteArray.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o PackedIntArray.cmo PackedIntArray.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o RowDisplacement.cmo RowDisplacement.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o LinearizedArray.cmo LinearizedArray.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o TableInterpreter.cmo TableInterpreter.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o StaticVersion.cmo StaticVersion.ml
/usr/bin/ocamlc -pack -g General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.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 -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o General.cmx General.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o Engine.cmx Engine.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o Convert.cmx Convert.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o Printers.cmx Printers.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml
/usr/bin/ocamldep -modules stringMap.ml > stringMap.ml.depends
touch menhirLib.mli ; if /usr/bin/ocamlopt -pack -g General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.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 -c -safe-string -bin-annot -g -inline 1000 -o stringMap.cmx stringMap.ml
/usr/bin/ocamldep -modules parameters.ml > parameters.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o parameters.cmo parameters.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o action.cmx action.ml
/usr/bin/ocamldep -modules parserAux.ml > parserAux.ml.depends
/usr/bin/ocamldep -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o parserAux.cmi parserAux.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o error.cmx error.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o misc.cmx misc.ml
/usr/bin/ocamldep -modules option.ml > option.ml.depends
/usr/bin/ocamldep -modules option.mli > option.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o option.cmi option.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o option.cmx option.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o parameters.cmx parameters.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o parserAux.cmx parserAux.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o parser.cmx parser.ml
/usr/bin/ocamldep -modules IO.ml > IO.ml.depends
/usr/bin/ocamldep -modules IO.mli > IO.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o IO.cmi IO.mli
/usr/bin/ocamldep -modules infer.ml > infer.ml.depends
/usr/bin/ocamldep -modules infer.mli > infer.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o infer.cmi infer.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o IO.cmx IO.ml
/usr/bin/ocamldep -modules interface.ml > interface.ml.depends
/usr/bin/ocamldep -modules interface.mli > interface.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o interface.cmi interface.mli
/usr/bin/ocamldep -modules nonterminalType.ml > nonterminalType.ml.depends
/usr/bin/ocamldep -modules nonterminalType.mli > nonterminalType.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o nonterminalType.cmi nonterminalType.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o unparameterizedSyntax.cmx unparameterizedSyntax.ml
/usr/bin/ocamldep -modules tokenType.ml > tokenType.ml.depends
/usr/bin/ocamldep -modules tokenType.mli > tokenType.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o tokenType.cmi tokenType.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o nonterminalType.cmx nonterminalType.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o tokenType.cmx tokenType.ml
/usr/bin/ocamllex -q lexdep.mll
/usr/bin/ocamldep -modules lexdep.ml > lexdep.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o lexdep.cmo lexdep.ml
/usr/bin/ocamllex -q lexmli.mll
/usr/bin/ocamldep -modules lexmli.ml > lexmli.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o lexmli.cmo lexmli.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o interface.cmx interface.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o lexdep.cmx lexdep.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o lexmli.cmx lexmli.ml
/usr/bin/ocamldep -modules keywordExpansion.ml > keywordExpansion.ml.depends
/usr/bin/ocamldep -modules keywordExpansion.mli > keywordExpansion.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o keywordExpansion.cmi keywordExpansion.mli
/usr/bin/ocamldep -modules grammarFunctor.ml > grammarFunctor.ml.depends
/usr/bin/ocamldep -modules Boolean.ml > Boolean.ml.depends
/usr/bin/ocamldep -modules Boolean.mli > Boolean.mli.depends
/usr/bin/ocamldep -modules Fix.mli > Fix.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o Fix.cmi Fix.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o Boolean.cmi Boolean.mli
/usr/bin/ocamldep -modules Fix.ml > Fix.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o Fix.cmx Fix.ml
/usr/bin/ocamldep -modules compressedBitSet.ml > compressedBitSet.ml.depends
/usr/bin/ocamldep -modules compressedBitSet.mli > compressedBitSet.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o compressedBitSet.cmi compressedBitSet.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o gSet.cmx gSet.ml
/usr/bin/ocamldep -modules FixSolver.ml > FixSolver.ml.depends
/usr/bin/ocamldep -modules FixSolver.mli > FixSolver.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o FixSolver.cmi FixSolver.mli
/usr/bin/ocamldep -modules Maps.ml > Maps.ml.depends
/usr/bin/ocamldep -modules Maps.mli > Maps.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o Maps.cmi Maps.mli
/usr/bin/ocamldep -modules patricia.ml > patricia.ml.depends
/usr/bin/ocamldep -modules patricia.mli > patricia.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o patricia.cmi patricia.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o gMap.cmx gMap.ml
/usr/bin/ocamldep -modules time.ml > time.ml.depends
/usr/bin/ocamldep -modules time.mli > time.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o time.cmi time.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o Boolean.cmx Boolean.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o compressedBitSet.cmx compressedBitSet.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o FixSolver.cmx FixSolver.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o Maps.cmx Maps.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o patricia.cmx patricia.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o time.cmx time.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o grammarFunctor.cmx grammarFunctor.ml
/usr/bin/ocamllex -q lexer.mll
/usr/bin/ocamldep -modules lexer.ml > lexer.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o lexer.cmo lexer.ml
/usr/bin/ocamldep -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends
/usr/bin/ocamldep -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli
/usr/bin/ocamldep -modules listMonad.ml > listMonad.ml.depends
/usr/bin/ocamldep -modules listMonad.mli > listMonad.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o listMonad.cmi listMonad.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o listMonad.cmx listMonad.ml
/usr/bin/ocamldep -modules parameterizedGrammar.ml > parameterizedGrammar.ml.depends
/usr/bin/ocamldep -modules parameterizedGrammar.mli > parameterizedGrammar.mli.depends
/usr/bin/ocamldep -modules internalSyntax.mli > internalSyntax.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o internalSyntax.cmi internalSyntax.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o parameterizedGrammar.cmi parameterizedGrammar.mli
/usr/bin/ocamldep -modules tarjan.ml > tarjan.ml.depends
/usr/bin/ocamldep -modules tarjan.mli > tarjan.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o tarjan.cmi tarjan.mli
/usr/bin/ocamldep -modules unionFind.ml > unionFind.ml.depends
/usr/bin/ocamldep -modules unionFind.mli > unionFind.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o unionFind.cmi unionFind.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o tarjan.cmx tarjan.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o unionFind.cmx unionFind.ml
/usr/bin/ocamldep -modules partialGrammar.ml > partialGrammar.ml.depends
/usr/bin/ocamldep -modules partialGrammar.mli > partialGrammar.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o partialGrammar.cmi partialGrammar.mli
/usr/bin/ocamldep -modules reachability.ml > reachability.ml.depends
/usr/bin/ocamldep -modules reachability.mli > reachability.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o reachability.cmi reachability.mli
/usr/bin/ocamldep -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends
/usr/bin/ocamldep -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o Driver.cmx Driver.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o infer.cmx infer.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o keywordExpansion.cmx keywordExpansion.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o lexer.cmx lexer.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o parameterizedGrammar.cmx parameterizedGrammar.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o partialGrammar.cmx partialGrammar.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o reachability.cmx reachability.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o unparameterizedPrinter.cmx unparameterizedPrinter.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o front.cmx front.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o grammar.cmx grammar.ml
/usr/bin/ocamldep -modules invariant.ml > invariant.ml.depends
/usr/bin/ocamldep -modules invariant.mli > invariant.mli.depends
/usr/bin/ocamldep -modules lr1.mli > lr1.mli.depends
/usr/bin/ocamldep -modules item.mli > item.mli.depends
/usr/bin/ocamldep -modules lookahead.mli > lookahead.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o lookahead.cmi lookahead.mli
/usr/bin/ocamldep -modules lr0.mli > lr0.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o item.cmi item.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o lr0.cmi lr0.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o lr1.cmi lr1.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o invariant.cmi invariant.mli
/usr/bin/ocamldep -modules conflict.ml > conflict.ml.depends
/usr/bin/ocamldep -modules conflict.mli > conflict.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o conflict.cmi conflict.mli
/usr/bin/ocamldep -modules DependencyGraph.ml > DependencyGraph.ml.depends
/usr/bin/ocamldep -modules DependencyGraph.mli > DependencyGraph.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o DependencyGraph.cmi DependencyGraph.mli
/usr/bin/ocamldep -modules dot.ml > dot.ml.depends
/usr/bin/ocamldep -modules dot.mli > dot.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o dot.cmi dot.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o dot.cmx dot.ml
/usr/bin/ocamldep -modules derivation.ml > derivation.ml.depends
/usr/bin/ocamldep -modules derivation.mli > derivation.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o derivation.cmi derivation.mli
/usr/bin/ocamldep -modules item.ml > item.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o item.cmx item.ml
/usr/bin/ocamldep -modules lr0.ml > lr0.ml.depends
/usr/bin/ocamldep -modules lr1.ml > lr1.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o lr0.cmx lr0.ml
/usr/bin/ocamldep -modules slr.ml > slr.ml.depends
/usr/bin/ocamldep -modules slr.mli > slr.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o slr.cmi slr.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o slr.cmx slr.ml
/usr/bin/ocamldep -modules lr1partial.ml > lr1partial.ml.depends
/usr/bin/ocamldep -modules lr1partial.mli > lr1partial.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o lr1partial.cmi lr1partial.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o lr1.cmx lr1.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o DependencyGraph.cmx DependencyGraph.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o derivation.cmx derivation.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o lr1partial.cmx lr1partial.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o conflict.cmx conflict.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o codePieces.cmx codePieces.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o invariant.cmx invariant.ml
/usr/bin/ocamldep -modules coqBackend.ml > coqBackend.ml.depends
/usr/bin/ocamldep -modules coqBackend.mli > coqBackend.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o coqBackend.cmi coqBackend.mli
/usr/bin/ocamldep -modules inliner.ml > inliner.ml.depends
/usr/bin/ocamldep -modules inliner.mli > inliner.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o inliner.cmi inliner.mli
/usr/bin/ocamldep -modules traverse.ml > traverse.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o traverse.cmo traverse.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o traverse.cmx traverse.ml
/usr/bin/ocamldep -modules interpret.ml > interpret.ml.depends
/usr/bin/ocamldep -modules interpret.mli > interpret.mli.depends
/usr/bin/ocamldep -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
/usr/bin/ocamldep -modules cst.mli > cst.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o cst.cmi cst.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o referenceInterpreter.cmi referenceInterpreter.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o interpret.cmi interpret.mli
/usr/bin/ocamldep -modules cst.ml > cst.ml.depends
/usr/bin/ocamldep -modules pprint.ml > pprint.ml.depends
/usr/bin/ocamldep -modules pprint.mli > pprint.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o pprint.cmi pprint.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o pprint.cmx pprint.ml
/usr/bin/ocamldep -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o cst.cmx cst.ml
/usr/bin/ocamllex -q segment.mll
/usr/bin/ocamldep -modules segment.ml > segment.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o segment.cmo segment.ml
/usr/bin/ocamllex -q sentenceLexer.mll
/usr/bin/ocamldep -modules sentenceLexer.ml > sentenceLexer.ml.depends
/usr/bin/ocamlyacc sentenceParser.mly
/usr/bin/ocamldep -modules sentenceParser.mli > sentenceParser.mli.depends
/usr/bin/ocamldep -modules sentenceParserAux.ml > sentenceParserAux.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o sentenceParserAux.cmo sentenceParserAux.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o sentenceParser.cmi sentenceParser.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o sentenceLexer.cmo sentenceLexer.ml
/usr/bin/ocamldep -modules sentenceParser.ml > sentenceParser.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o sentenceParserAux.cmx sentenceParserAux.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o sentenceParser.cmx sentenceParser.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o referenceInterpreter.cmx referenceInterpreter.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o segment.cmx segment.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o sentenceLexer.cmx sentenceLexer.ml
/usr/bin/ocamldep -modules LRijkstra.ml > LRijkstra.ml.depends
/usr/bin/ocamldep -modules LRijkstra.mli > LRijkstra.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -noassert -o LRijkstra.cmi LRijkstra.mli
/usr/bin/ocamldep -modules astar.ml > astar.ml.depends
/usr/bin/ocamldep -modules astar.mli > astar.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o astar.cmi astar.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o interpret.cmx interpret.ml
/usr/bin/ocamldep -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends
/usr/bin/ocamldep -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli
/usr/bin/ocamldep -modules resizableArray.ml > resizableArray.ml.depends
/usr/bin/ocamldep -modules resizableArray.mli > resizableArray.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o resizableArray.cmi resizableArray.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o resizableArray.cmx resizableArray.ml
/usr/bin/ocamldep -modules MySet.ml > MySet.ml.depends
/usr/bin/ocamldep -modules MySet.mli > MySet.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o MySet.cmi MySet.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o astar.cmx astar.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o MySet.cmx MySet.ml
/usr/bin/ocamldep -modules tableBackend.ml > tableBackend.ml.depends
/usr/bin/ocamldep -modules tableBackend.mli > tableBackend.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o tableBackend.cmi tableBackend.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o codeBackend.cmx codeBackend.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o coqBackend.cmx coqBackend.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o inliner.cmx inliner.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -noassert -o LRijkstra.cmx LRijkstra.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o tableBackend.cmx tableBackend.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o back.cmx back.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o menhir.cmx menhir.ml
/usr/bin/ocamlopt unix.cmxa -g Fix.cmx Boolean.cmx installation.cmx keyword.cmx lineCount.cmx stringSet.cmx version.cmx settings.cmx printer.cmx action.cmx mark.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx option.cmx parameters.cmx parserAux.cmx parser.cmx Driver.cmx FixSolver.cmx IO.cmx Maps.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx dot.cmx gMap.cmx patricia.cmx time.cmx unparameterizedSyntax.cmx grammarFunctor.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx tarjan.cmx unionFind.cmx parameterizedGrammar.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 invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native
# Parallel statistics: { count(total): 19(348), max: 11, min: 2, average(total): 3.632(1.144) }
/usr/bin/ocamlopt 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 -modules menhir.ml > menhir.ml.depends
/usr/bin/ocamldep -modules back.mli > back.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o back.cmi back.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o menhir.cmo menhir.ml
/usr/bin/ocamldep -modules back.ml > back.ml.depends
/usr/bin/ocamldep -modules codeBackend.ml > codeBackend.ml.depends
/usr/bin/ocamldep -modules codeBackend.mli > codeBackend.mli.depends
/usr/bin/ocamldep -modules IL.mli > IL.mli.depends
/usr/bin/ocamldep -modules stretch.mli > stretch.mli.depends
/usr/bin/ocamldep -modules keyword.mli > keyword.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o keyword.cmi keyword.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o stretch.cmi stretch.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o IL.cmi IL.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o codeBackend.cmi codeBackend.mli
/usr/bin/ocamldep -modules action.ml > action.ml.depends
/usr/bin/ocamldep -modules action.mli > action.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o action.cmi action.mli
/usr/bin/ocamldep -modules keyword.ml > keyword.ml.depends
/usr/bin/ocamldep -modules printer.ml > printer.ml.depends
/usr/bin/ocamldep -modules printer.mli > printer.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o printer.cmi printer.mli
/usr/bin/ocamllex -q lineCount.mll
/usr/bin/ocamldep -modules lineCount.ml > lineCount.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o lineCount.cmo lineCount.ml
/usr/bin/ocamldep -modules settings.ml > settings.ml.depends
/usr/bin/ocamldep -modules settings.mli > settings.mli.depends
/usr/bin/ocamldep -modules stringSet.mli > stringSet.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o stringSet.cmi stringSet.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o settings.cmi settings.mli
/usr/bin/ocamldep -modules installation.ml > installation.ml.depends
/usr/bin/ocamldep -modules installation.mli > installation.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o installation.cmi installation.mli
/usr/bin/ocamldep -modules stringSet.ml > stringSet.ml.depends
/usr/bin/ocamldep -modules version.ml > version.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o version.cmo version.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o installation.cmx installation.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o stringSet.cmx stringSet.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o version.cmx version.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o lineCount.cmx lineCount.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o settings.cmx settings.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o keyword.cmx keyword.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o printer.cmx printer.ml
/usr/bin/ocamldep -modules codeBits.ml > codeBits.ml.depends
/usr/bin/ocamldep -modules codeBits.mli > codeBits.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o codeBits.cmi codeBits.mli
/usr/bin/ocamldep -modules codePieces.ml > codePieces.ml.depends
/usr/bin/ocamldep -modules codePieces.mli > codePieces.mli.depends
/usr/bin/ocamldep -modules grammar.ml > grammar.ml.depends
/usr/bin/ocamldep -modules front.mli > front.mli.depends
/usr/bin/ocamldep -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends
/usr/bin/ocamldep -modules positions.mli > positions.mli.depends
/usr/bin/ocamldep -modules stringMap.mli > stringMap.mli.depends
/usr/bin/ocamldep -modules syntax.mli > syntax.mli.depends
/usr/bin/ocamldep -modules mark.mli > mark.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o positions.cmi positions.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o mark.cmi mark.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o stringMap.cmi stringMap.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o syntax.cmi syntax.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o unparameterizedSyntax.cmo unparameterizedSyntax.ml
/usr/bin/ocamldep -modules grammarFunctor.mli > grammarFunctor.mli.depends
/usr/bin/ocamldep -modules gMap.ml > gMap.ml.depends
/usr/bin/ocamldep -modules gSet.ml > gSet.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o gSet.cmo gSet.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o gMap.cmo gMap.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o front.cmi front.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o grammarFunctor.cmi grammarFunctor.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o grammar.cmo grammar.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o codePieces.cmi codePieces.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o codeBits.cmx codeBits.ml
/usr/bin/ocamldep -modules front.ml > front.ml.depends
/usr/bin/ocamldep -modules concreteSyntax.mli > concreteSyntax.mli.depends
cp -p fancyDriver.ml Driver.ml
/usr/bin/ocamldep -modules Driver.ml > Driver.ml.depends
/usr/bin/ocamldep -modules Driver.mli > Driver.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o concreteSyntax.cmi concreteSyntax.mli
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 -modules' parser.mly > parser.mly.depends
/usr/bin/ocamldep -modules error.mli > error.mli.depends
/usr/bin/ocamldep -modules misc.mli > misc.mli.depends
/usr/bin/ocamldep -modules parameters.ml > parameters.ml.depends
/usr/bin/ocamldep -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamldep -modules General.mli > General.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o General.cmi General.mli
/usr/bin/ocamldep -modules General.ml > General.ml.depends
/usr/bin/ocamldep -modules Convert.mli > Convert.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o Convert.cmi Convert.mli
/usr/bin/ocamldep -modules Convert.ml > Convert.ml.depends
/usr/bin/ocamldep -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/bin/ocamldep -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/bin/ocamldep -modules Engine.mli > Engine.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o EngineTypes.cmo EngineTypes.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o Engine.cmi Engine.mli
/usr/bin/ocamldep -modules Engine.ml > Engine.ml.depends
/usr/bin/ocamldep -modules Printers.mli > Printers.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o Printers.cmi Printers.mli
/usr/bin/ocamldep -modules Printers.ml > Printers.ml.depends
/usr/bin/ocamldep -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o InfiniteArray.cmi InfiniteArray.mli
/usr/bin/ocamldep -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/bin/ocamldep -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o PackedIntArray.cmi PackedIntArray.mli
/usr/bin/ocamldep -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/bin/ocamldep -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o RowDisplacement.cmi RowDisplacement.mli
/usr/bin/ocamldep -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/bin/ocamldep -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o LinearizedArray.cmi LinearizedArray.mli
/usr/bin/ocamldep -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/bin/ocamldep -modules TableFormat.ml > TableFormat.ml.depends
/usr/bin/ocamldep -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/bin/ocamldep -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o TableFormat.cmo TableFormat.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/bin/ocamldep -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/bin/ocamldep -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o TableInterpreter.cmi TableInterpreter.mli
/usr/bin/ocamldep -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/bin/ocamldep -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o StaticVersion.cmi StaticVersion.mli
/usr/bin/ocamldep -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o General.cmo General.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o Convert.cmo Convert.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o Engine.cmo Engine.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o Printers.cmo Printers.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o InfiniteArray.cmo InfiniteArray.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o PackedIntArray.cmo PackedIntArray.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o RowDisplacement.cmo RowDisplacement.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o LinearizedArray.cmo LinearizedArray.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o TableInterpreter.cmo TableInterpreter.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o StaticVersion.cmo StaticVersion.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o error.cmi error.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o misc.cmi misc.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o parameters.cmo parameters.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o parserAux.cmi parserAux.mli
/usr/bin/ocamlc -pack -g General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc -safe-string -bin-annot' --infer parser.mly
+ ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc -safe-string -bin-annot' --infer parser.mly
Grammar has 32 nonterminal symbols, among which 1 start symbols.
Grammar has 27 terminal symbols.
Grammar has 77 productions.
Built an LR(0) automaton with 113 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 159 states.
One shift/reduce conflict was silently solved.
45 out of 159 states are represented.
23 out of 62 symbols keep track of their start position.
29 out of 62 symbols keep track of their end position.
86 out of 159 states have a default reduction.
The action table is 4452 entries; 362 non-zero; 476 compressed.
The action table occupies roughly 1000 bytes.
The goto table is 5247 entries; 131 non-zero; 289 compressed.
The goto table occupies roughly 496 bytes.
The error table occupies roughly 576 bytes.
The default_reduction table occupies roughly 176 bytes.
The lhs table occupies roughly 96 bytes.
The trace table occupies roughly 4 bytes.
/usr/bin/ocamldep -modules parser.mli > parser.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o parser.cmi parser.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o Driver.cmi Driver.mli
/usr/bin/ocamldep -modules error.ml > error.ml.depends
/usr/bin/ocamldep -modules mark.ml > mark.ml.depends
/usr/bin/ocamldep -modules positions.ml > positions.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o mark.cmx mark.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o positions.cmx positions.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o General.cmx General.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o Engine.cmx Engine.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o Convert.cmx Convert.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o Printers.cmx Printers.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml
/usr/bin/ocamldep -modules parser.ml > parser.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o action.cmx action.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o error.cmx error.ml
touch menhirLib.mli ; if /usr/bin/ocamlopt -pack -g General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.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/ocamldep -modules misc.ml > misc.ml.depends
/usr/bin/ocamldep -modules stringMap.ml > stringMap.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o stringMap.cmx stringMap.ml
/usr/bin/ocamldep -modules parserAux.ml > parserAux.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o misc.cmx misc.ml
/usr/bin/ocamldep -modules option.ml > option.ml.depends
/usr/bin/ocamldep -modules option.mli > option.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o option.cmi option.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o option.cmx option.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o parameters.cmx parameters.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -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 32 nonterminal symbols, among which 1 start symbols.
Grammar has 27 terminal symbols.
Grammar has 77 productions.
Built an LR(0) automaton with 113 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 159 states.
One shift/reduce conflict was silently solved.
45 out of 159 states are represented.
23 out of 62 symbols keep track of their start position.
29 out of 62 symbols keep track of their end position.
86 out of 159 states have a default reduction.
../_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 32 nonterminal symbols, among which 1 start symbols.
Grammar has 27 terminal symbols.
Grammar has 77 productions.
Built an LR(0) automaton with 113 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 159 states.
One shift/reduce conflict was silently solved.
45 out of 159 states are represented.
23 out of 62 symbols keep track of their start position.
29 out of 62 symbols keep track of their end position.
86 out of 159 states have a default reduction.
Read 59 sample input sentences and 59 error messages.
Read 59 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 32 nonterminal symbols, among which 1 start symbols.
Grammar has 27 terminal symbols.
Grammar has 77 productions.
Built an LR(0) automaton with 113 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 159 states.
One shift/reduce conflict was silently solved.
45 out of 159 states are represented.
23 out of 62 symbols keep track of their start position.
29 out of 62 symbols keep track of their end position.
86 out of 159 states have a default reduction.
Read 59 sample input sentences and 23 error messages.
/usr/bin/ocamldep -modules parserMessages.ml > parserMessages.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o parserMessages.cmo parserMessages.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o parser.cmx parser.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o parserMessages.cmx parserMessages.ml
/usr/bin/ocamldep -modules IO.ml > IO.ml.depends
/usr/bin/ocamldep -modules IO.mli > IO.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o IO.cmi IO.mli
/usr/bin/ocamldep -modules infer.ml > infer.ml.depends
/usr/bin/ocamldep -modules infer.mli > infer.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o infer.cmi infer.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o IO.cmx IO.ml
/usr/bin/ocamldep -modules interface.ml > interface.ml.depends
/usr/bin/ocamldep -modules interface.mli > interface.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o interface.cmi interface.mli
/usr/bin/ocamldep -modules nonterminalType.ml > nonterminalType.ml.depends
/usr/bin/ocamldep -modules nonterminalType.mli > nonterminalType.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o nonterminalType.cmi nonterminalType.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o unparameterizedSyntax.cmx unparameterizedSyntax.ml
/usr/bin/ocamldep -modules tokenType.ml > tokenType.ml.depends
/usr/bin/ocamldep -modules tokenType.mli > tokenType.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o tokenType.cmi tokenType.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o nonterminalType.cmx nonterminalType.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o tokenType.cmx tokenType.ml
/usr/bin/ocamllex -q lexdep.mll
/usr/bin/ocamldep -modules lexdep.ml > lexdep.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o lexdep.cmo lexdep.ml
/usr/bin/ocamllex -q lexmli.mll
/usr/bin/ocamldep -modules lexmli.ml > lexmli.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o lexmli.cmo lexmli.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o interface.cmx interface.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o lexdep.cmx lexdep.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o lexmli.cmx lexmli.ml
/usr/bin/ocamldep -modules keywordExpansion.ml > keywordExpansion.ml.depends
/usr/bin/ocamldep -modules keywordExpansion.mli > keywordExpansion.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o keywordExpansion.cmi keywordExpansion.mli
/usr/bin/ocamldep -modules grammarFunctor.ml > grammarFunctor.ml.depends
/usr/bin/ocamldep -modules Boolean.ml > Boolean.ml.depends
/usr/bin/ocamldep -modules Boolean.mli > Boolean.mli.depends
/usr/bin/ocamldep -modules Fix.mli > Fix.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o Fix.cmi Fix.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o Boolean.cmi Boolean.mli
/usr/bin/ocamldep -modules Fix.ml > Fix.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o Fix.cmx Fix.ml
/usr/bin/ocamldep -modules compressedBitSet.ml > compressedBitSet.ml.depends
/usr/bin/ocamldep -modules compressedBitSet.mli > compressedBitSet.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o compressedBitSet.cmi compressedBitSet.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o gSet.cmx gSet.ml
/usr/bin/ocamldep -modules FixSolver.ml > FixSolver.ml.depends
/usr/bin/ocamldep -modules FixSolver.mli > FixSolver.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o FixSolver.cmi FixSolver.mli
/usr/bin/ocamldep -modules Maps.ml > Maps.ml.depends
/usr/bin/ocamldep -modules Maps.mli > Maps.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o Maps.cmi Maps.mli
/usr/bin/ocamldep -modules patricia.ml > patricia.ml.depends
/usr/bin/ocamldep -modules patricia.mli > patricia.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o patricia.cmi patricia.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o gMap.cmx gMap.ml
/usr/bin/ocamldep -modules time.ml > time.ml.depends
/usr/bin/ocamldep -modules time.mli > time.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o time.cmi time.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o Boolean.cmx Boolean.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o compressedBitSet.cmx compressedBitSet.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o FixSolver.cmx FixSolver.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o Maps.cmx Maps.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o patricia.cmx patricia.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o time.cmx time.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o grammarFunctor.cmx grammarFunctor.ml
/usr/bin/ocamllex -q lexer.mll
/usr/bin/ocamldep -modules lexer.ml > lexer.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o lexer.cmo lexer.ml
/usr/bin/ocamldep -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends
/usr/bin/ocamldep -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli
/usr/bin/ocamldep -modules listMonad.ml > listMonad.ml.depends
/usr/bin/ocamldep -modules listMonad.mli > listMonad.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o listMonad.cmi listMonad.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o listMonad.cmx listMonad.ml
/usr/bin/ocamldep -modules parameterizedGrammar.ml > parameterizedGrammar.ml.depends
/usr/bin/ocamldep -modules parameterizedGrammar.mli > parameterizedGrammar.mli.depends
/usr/bin/ocamldep -modules internalSyntax.mli > internalSyntax.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o internalSyntax.cmi internalSyntax.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o parameterizedGrammar.cmi parameterizedGrammar.mli
/usr/bin/ocamldep -modules tarjan.ml > tarjan.ml.depends
/usr/bin/ocamldep -modules tarjan.mli > tarjan.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o tarjan.cmi tarjan.mli
/usr/bin/ocamldep -modules unionFind.ml > unionFind.ml.depends
/usr/bin/ocamldep -modules unionFind.mli > unionFind.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o unionFind.cmi unionFind.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o tarjan.cmx tarjan.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o unionFind.cmx unionFind.ml
/usr/bin/ocamldep -modules partialGrammar.ml > partialGrammar.ml.depends
/usr/bin/ocamldep -modules partialGrammar.mli > partialGrammar.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o partialGrammar.cmi partialGrammar.mli
/usr/bin/ocamldep -modules reachability.ml > reachability.ml.depends
/usr/bin/ocamldep -modules reachability.mli > reachability.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o reachability.cmi reachability.mli
/usr/bin/ocamldep -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends
/usr/bin/ocamldep -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o Driver.cmx Driver.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o infer.cmx infer.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o keywordExpansion.cmx keywordExpansion.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o lexer.cmx lexer.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o parameterizedGrammar.cmx parameterizedGrammar.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o partialGrammar.cmx partialGrammar.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o reachability.cmx reachability.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o unparameterizedPrinter.cmx unparameterizedPrinter.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o front.cmx front.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o grammar.cmx grammar.ml
/usr/bin/ocamldep -modules invariant.ml > invariant.ml.depends
/usr/bin/ocamldep -modules invariant.mli > invariant.mli.depends
/usr/bin/ocamldep -modules lr1.mli > lr1.mli.depends
/usr/bin/ocamldep -modules item.mli > item.mli.depends
/usr/bin/ocamldep -modules lookahead.mli > lookahead.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o lookahead.cmi lookahead.mli
/usr/bin/ocamldep -modules lr0.mli > lr0.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o item.cmi item.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o lr0.cmi lr0.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o lr1.cmi lr1.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o invariant.cmi invariant.mli
/usr/bin/ocamldep -modules conflict.ml > conflict.ml.depends
/usr/bin/ocamldep -modules conflict.mli > conflict.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o conflict.cmi conflict.mli
/usr/bin/ocamldep -modules DependencyGraph.ml > DependencyGraph.ml.depends
/usr/bin/ocamldep -modules DependencyGraph.mli > DependencyGraph.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o DependencyGraph.cmi DependencyGraph.mli
/usr/bin/ocamldep -modules dot.ml > dot.ml.depends
/usr/bin/ocamldep -modules dot.mli > dot.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o dot.cmi dot.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o dot.cmx dot.ml
/usr/bin/ocamldep -modules derivation.ml > derivation.ml.depends
/usr/bin/ocamldep -modules derivation.mli > derivation.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o derivation.cmi derivation.mli
/usr/bin/ocamldep -modules item.ml > item.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o item.cmx item.ml
/usr/bin/ocamldep -modules lr0.ml > lr0.ml.depends
/usr/bin/ocamldep -modules lr1.ml > lr1.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o lr0.cmx lr0.ml
/usr/bin/ocamldep -modules slr.ml > slr.ml.depends
/usr/bin/ocamldep -modules slr.mli > slr.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o slr.cmi slr.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o slr.cmx slr.ml
/usr/bin/ocamldep -modules lr1partial.ml > lr1partial.ml.depends
/usr/bin/ocamldep -modules lr1partial.mli > lr1partial.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o lr1partial.cmi lr1partial.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o lr1.cmx lr1.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o DependencyGraph.cmx DependencyGraph.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o derivation.cmx derivation.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o lr1partial.cmx lr1partial.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o conflict.cmx conflict.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o codePieces.cmx codePieces.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o invariant.cmx invariant.ml
/usr/bin/ocamldep -modules coqBackend.ml > coqBackend.ml.depends
/usr/bin/ocamldep -modules coqBackend.mli > coqBackend.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o coqBackend.cmi coqBackend.mli
/usr/bin/ocamldep -modules inliner.ml > inliner.ml.depends
/usr/bin/ocamldep -modules inliner.mli > inliner.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o inliner.cmi inliner.mli
/usr/bin/ocamldep -modules traverse.ml > traverse.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o traverse.cmo traverse.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o traverse.cmx traverse.ml
/usr/bin/ocamldep -modules interpret.ml > interpret.ml.depends
/usr/bin/ocamldep -modules interpret.mli > interpret.mli.depends
/usr/bin/ocamldep -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
/usr/bin/ocamldep -modules cst.mli > cst.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o cst.cmi cst.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o referenceInterpreter.cmi referenceInterpreter.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o interpret.cmi interpret.mli
/usr/bin/ocamldep -modules cst.ml > cst.ml.depends
/usr/bin/ocamldep -modules pprint.ml > pprint.ml.depends
/usr/bin/ocamldep -modules pprint.mli > pprint.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o pprint.cmi pprint.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o pprint.cmx pprint.ml
/usr/bin/ocamldep -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o cst.cmx cst.ml
/usr/bin/ocamllex -q segment.mll
/usr/bin/ocamldep -modules segment.ml > segment.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o segment.cmo segment.ml
/usr/bin/ocamllex -q sentenceLexer.mll
/usr/bin/ocamldep -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 -modules' sentenceParser.mly > sentenceParser.mly.depends
/usr/bin/ocamldep -modules sentenceParserAux.ml > sentenceParserAux.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -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 -safe-string -bin-annot' --infer sentenceParser.mly
+ ../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc -safe-string -bin-annot' --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.
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.
13 out of 27 states have a default reduction.
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 -modules sentenceParser.mli > sentenceParser.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o sentenceParser.cmi sentenceParser.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o sentenceLexer.cmo sentenceLexer.ml
/usr/bin/ocamldep -modules sentenceParser.ml > sentenceParser.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o sentenceParserAux.cmx sentenceParserAux.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o sentenceParser.cmx sentenceParser.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o referenceInterpreter.cmx referenceInterpreter.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o segment.cmx segment.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o sentenceLexer.cmx sentenceLexer.ml
/usr/bin/ocamldep -modules LRijkstra.ml > LRijkstra.ml.depends
/usr/bin/ocamldep -modules LRijkstra.mli > LRijkstra.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -noassert -o LRijkstra.cmi LRijkstra.mli
/usr/bin/ocamldep -modules astar.ml > astar.ml.depends
/usr/bin/ocamldep -modules astar.mli > astar.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o astar.cmi astar.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o interpret.cmx interpret.ml
/usr/bin/ocamldep -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends
/usr/bin/ocamldep -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli
/usr/bin/ocamldep -modules resizableArray.ml > resizableArray.ml.depends
/usr/bin/ocamldep -modules resizableArray.mli > resizableArray.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o resizableArray.cmi resizableArray.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o resizableArray.cmx resizableArray.ml
/usr/bin/ocamldep -modules MySet.ml > MySet.ml.depends
/usr/bin/ocamldep -modules MySet.mli > MySet.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o MySet.cmi MySet.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o astar.cmx astar.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o MySet.cmx MySet.ml
/usr/bin/ocamldep -modules tableBackend.ml > tableBackend.ml.depends
/usr/bin/ocamldep -modules tableBackend.mli > tableBackend.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o tableBackend.cmi tableBackend.mli
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o codeBackend.cmx codeBackend.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o coqBackend.cmx coqBackend.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o inliner.cmx inliner.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -noassert -o LRijkstra.cmx LRijkstra.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o tableBackend.cmx tableBackend.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o back.cmx back.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o menhir.cmx menhir.ml
/usr/bin/ocamlopt unix.cmxa -g Fix.cmx Boolean.cmx installation.cmx keyword.cmx lineCount.cmx stringSet.cmx version.cmx settings.cmx printer.cmx action.cmx mark.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx option.cmx parameters.cmx parserAux.cmx parser.cmx parserMessages.cmx Driver.cmx FixSolver.cmx IO.cmx Maps.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx dot.cmx gMap.cmx patricia.cmx time.cmx unparameterizedSyntax.cmx grammarFunctor.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx keywordExpansion.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx tarjan.cmx unionFind.cmx parameterizedGrammar.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 invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx codePieces.cmx codeBackend.cmx coqBackend.cmx traverse.cmx inliner.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native
# Parallel statistics: { count(total): 20(352), max: 11, min: 2, average(total): 3.700(1.153) }
/usr/bin/ocamlopt 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 -modules' parser.mly > parser.mly.depends
/usr/bin/ocamldep -modules action.mli > action.mli.depends
/usr/bin/ocamldep -modules IL.mli > IL.mli.depends
/usr/bin/ocamldep -modules stretch.mli > stretch.mli.depends
/usr/bin/ocamldep -modules keyword.mli > keyword.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o keyword.cmi keyword.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o stretch.cmi stretch.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o IL.cmi IL.mli
/usr/bin/ocamldep -modules concreteSyntax.mli > concreteSyntax.mli.depends
/usr/bin/ocamldep -modules positions.mli > positions.mli.depends
/usr/bin/ocamldep -modules syntax.mli > syntax.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o action.cmi action.mli
/usr/bin/ocamldep -modules mark.mli > mark.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o positions.cmi positions.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o mark.cmi mark.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o syntax.cmi syntax.mli
/usr/bin/ocamldep -modules error.mli > error.mli.depends
/usr/bin/ocamldep -modules misc.mli > misc.mli.depends
/usr/bin/ocamldep -modules stringMap.mli > stringMap.mli.depends
/usr/bin/ocamldep -modules stringSet.mli > stringSet.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o stringSet.cmi stringSet.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o stringMap.cmi stringMap.mli
/usr/bin/ocamldep -modules parameters.ml > parameters.ml.depends
/usr/bin/ocamldep -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamldep -modules General.mli > General.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o General.cmi General.mli
/usr/bin/ocamldep -modules General.ml > General.ml.depends
/usr/bin/ocamldep -modules Convert.mli > Convert.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o Convert.cmi Convert.mli
/usr/bin/ocamldep -modules Convert.ml > Convert.ml.depends
/usr/bin/ocamldep -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/bin/ocamldep -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/bin/ocamldep -modules Engine.mli > Engine.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o EngineTypes.cmo EngineTypes.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o Engine.cmi Engine.mli
/usr/bin/ocamldep -modules Engine.ml > Engine.ml.depends
/usr/bin/ocamldep -modules Printers.mli > Printers.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o Printers.cmi Printers.mli
/usr/bin/ocamldep -modules Printers.ml > Printers.ml.depends
/usr/bin/ocamldep -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o InfiniteArray.cmi InfiniteArray.mli
/usr/bin/ocamldep -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/bin/ocamldep -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o PackedIntArray.cmi PackedIntArray.mli
/usr/bin/ocamldep -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/bin/ocamldep -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o RowDisplacement.cmi RowDisplacement.mli
/usr/bin/ocamldep -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/bin/ocamldep -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o LinearizedArray.cmi LinearizedArray.mli
/usr/bin/ocamldep -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/bin/ocamldep -modules TableFormat.ml > TableFormat.ml.depends
/usr/bin/ocamldep -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/bin/ocamldep -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o TableFormat.cmo TableFormat.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/bin/ocamldep -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/bin/ocamldep -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o TableInterpreter.cmi TableInterpreter.mli
/usr/bin/ocamldep -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/bin/ocamldep -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o StaticVersion.cmi StaticVersion.mli
/usr/bin/ocamldep -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o General.cmo General.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o Convert.cmo Convert.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o Engine.cmo Engine.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o Printers.cmo Printers.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o InfiniteArray.cmo InfiniteArray.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o PackedIntArray.cmo PackedIntArray.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o RowDisplacement.cmo RowDisplacement.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o LinearizedArray.cmo LinearizedArray.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o TableInterpreter.cmo TableInterpreter.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o StaticVersion.cmo StaticVersion.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o concreteSyntax.cmi concreteSyntax.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o error.cmi error.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o misc.cmi misc.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -g -o parameters.cmo parameters.ml
/usr/bin/ocamlc -c -safe-string -bin-annot -o parserAux.cmi parserAux.mli
/usr/bin/ocamlc -pack -g General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.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 -safe-string -bin-annot' --infer parser.mly
+ ../_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc -safe-string -bin-annot' --infer parser.mly
Grammar has 32 nonterminal symbols, among which 1 start symbols.
Grammar has 27 terminal symbols.
Grammar has 77 productions.
Built an LR(0) automaton with 113 states.
The grammar is not SLR(1) -- 1 states have a conflict.
Built an LR(1) automaton with 159 states.
One shift/reduce conflict was silently solved.
45 out of 159 states are represented.
23 out of 62 symbols keep track of their start position.
29 out of 62 symbols keep track of their end position.
86 out of 159 states have a default reduction.
The action table is 4452 entries; 362 non-zero; 476 compressed.
The action table occupies roughly 1000 bytes.
The goto table is 5247 entries; 131 non-zero; 289 compressed.
The goto table occupies roughly 496 bytes.
The error table occupies roughly 576 bytes.
The default_reduction table occupies roughly 176 bytes.
The lhs table occupies roughly 96 bytes.
The trace table occupies roughly 4 bytes.
# Parallel statistics: { count(total): 2(70), max: 11, min: 6, average(total): 8.500(1.214) }
Bootstrap successful.
make[3]: Leaving directory '/«PKGBUILDDIR»/src'
Creating menhirLib.ml
Creating menhirLib.mli
make[2]: Leaving directory '/«PKGBUILDDIR»'
make[1]: Leaving directory '/«PKGBUILDDIR»'
fakeroot debian/rules binary-arch
dh --with ocaml binary-arch
dh_testroot -a
dh_prep -a
rm -f debian/menhir.substvars
rm -f debian/menhir.*.debhelper
rm -rf debian/menhir/
rm -f debian/libmenhir-ocaml-dev.substvars
rm -f debian/libmenhir-ocaml-dev.*.debhelper
rm -rf debian/libmenhir-ocaml-dev/
dh_installdirs -a
install -d debian/menhir
install -d debian/menhir/usr/bin debian/menhir/usr/share/menhir debian/menhir/usr/share/doc/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/menhir/usr install
make[2]: Entering directory '/«PKGBUILDDIR»'
mkdir -p /«PKGBUILDDIR»/debian/menhir/usr/bin
install src/_stage2/menhir.native /«PKGBUILDDIR»/debian/menhir/usr/bin/menhir
mkdir -p /«PKGBUILDDIR»/debian/menhir/usr/share/menhir
install -m 644 src/standard.mly /«PKGBUILDDIR»/debian/menhir/usr/share/menhir
Installing MenhirLib 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
if [ -f manual.pdf ] ; then \
mkdir -p /«PKGBUILDDIR»/debian/menhir/usr/share/doc/menhir ; \
mkdir -p /«PKGBUILDDIR»/debian/menhir/usr/share/man/man1 ; \
cp -r manual.pdf demos /«PKGBUILDDIR»/debian/menhir/usr/share/doc/menhir ; \
cp -r menhir.1 /«PKGBUILDDIR»/debian/menhir/usr/share/man/man1 ; \
fi
make[2]: Leaving directory '/«PKGBUILDDIR»'
make[1]: Leaving directory '/«PKGBUILDDIR»'
dh_install -a
cp --reflink=auto -a ./src/standard.mly debian/menhir/usr/share/menhir/
cp --reflink=auto -a ./src/_stage2/menhirLib.cmi debian/libmenhir-ocaml-dev//usr/lib/ocaml/menhirLib//
cp --reflink=auto -a ./src/_stage2/menhirLib.cmo debian/libmenhir-ocaml-dev//usr/lib/ocaml/menhirLib//
cp --reflink=auto -a ./src/_stage2/menhirLib.cmx debian/libmenhir-ocaml-dev//usr/lib/ocaml/menhirLib//
cp --reflink=auto -a ./src/_stage2/menhirLib.o debian/libmenhir-ocaml-dev//usr/lib/ocaml/menhirLib//
cp --reflink=auto -a ./src/META debian/libmenhir-ocaml-dev//usr/lib/ocaml/menhirLib//
dh_ocamldoc -a
dh_installdocs -a
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 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 debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev/changelog
dh_installexamples -a
install -d debian/menhir/usr/share/doc/menhir/examples
cp --reflink=auto -a demos/calc debian/menhir/usr/share/doc/menhir/examples
cp --reflink=auto -a demos/calc-incremental debian/menhir/usr/share/doc/menhir/examples
cp --reflink=auto -a demos/calc-inspection debian/menhir/usr/share/doc/menhir/examples
cp --reflink=auto -a demos/calc-param debian/menhir/usr/share/doc/menhir/examples
cp --reflink=auto -a demos/calc-two debian/menhir/usr/share/doc/menhir/examples
cp --reflink=auto -a demos/find-menhir.sh debian/menhir/usr/share/doc/menhir/examples
cp --reflink=auto -a demos/Makefile debian/menhir/usr/share/doc/menhir/examples
cp --reflink=auto -a demos/obsolete debian/menhir/usr/share/doc/menhir/examples
dh_installman -a
install -d debian/menhir/usr/share/man/man1/
install -p -m0644 menhir.1 debian/menhir/usr/share/man/man1/menhir.1
man --recode UTF-8 ./menhir\.1 > menhir\.1\.new
chmod 644 menhir.1.new
mv -f menhir.1.new menhir.1
dh_perl -a
dh_link -a
dh_strip_nondeterminism -a
dh_compress -a
cd debian/menhir
chmod a-x usr/share/doc/menhir/changelog usr/share/doc/menhir/changelog.Debian usr/share/doc/menhir/examples/calc-inspection/ErrorReporting.ml usr/share/doc/menhir/examples/obsolete/Makefile.shared usr/share/man/man1/menhir.1
gzip -9nf usr/share/doc/menhir/changelog usr/share/doc/menhir/changelog.Debian usr/share/doc/menhir/examples/calc-inspection/ErrorReporting.ml usr/share/doc/menhir/examples/obsolete/Makefile.shared usr/share/man/man1/menhir.1
cd '/«PKGBUILDDIR»'
cd debian/libmenhir-ocaml-dev
chmod a-x usr/share/doc/libmenhir-ocaml-dev/changelog usr/share/doc/libmenhir-ocaml-dev/changelog.Debian
gzip -9nf usr/share/doc/libmenhir-ocaml-dev/changelog usr/share/doc/libmenhir-ocaml-dev/changelog.Debian
cd '/«PKGBUILDDIR»'
dh_fixperms -a
find debian/menhir -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0
find debian/menhir ! -type l -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s
find debian/menhir/usr/share/doc -type f ! -regex 'debian/menhir/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644
find debian/menhir/usr/share/doc -type d -print0 2>/dev/null | xargs -0r chmod 0755
find debian/menhir/usr/share/man debian/menhir/usr/man/ debian/menhir/usr/X11*/man/ -type f -print0 2>/dev/null | xargs -0r chmod 0644
find debian/menhir/usr/include -type f -print0 2>/dev/null | xargs -0r chmod 0644
find debian/menhir/usr/share/applications -type f -print0 2>/dev/null | xargs -0r chmod 0644
find debian/menhir/usr/lib/arm-linux-gnueabihf/perl5/5.22 debian/menhir/usr/share/perl5 -type f -perm -5 -name '*.pm' -print0 2>/dev/null | xargs -0r chmod a-X
find debian/menhir -perm -5 -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' \) -print0 2>/dev/null | xargs -0r chmod 0644
find debian/menhir/usr/bin -type f -print0 2>/dev/null | xargs -0r chmod a+x
find debian/menhir/usr/lib -type f -name '*.ali' -print0 2>/dev/null | xargs -0r chmod uga-w
find debian/libmenhir-ocaml-dev -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0
find debian/libmenhir-ocaml-dev ! -type l -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s
find debian/libmenhir-ocaml-dev/usr/share/doc -type f ! -regex 'debian/libmenhir-ocaml-dev/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644
find debian/libmenhir-ocaml-dev/usr/share/doc -type d -print0 2>/dev/null | xargs -0r chmod 0755
find debian/libmenhir-ocaml-dev/usr/share/man debian/libmenhir-ocaml-dev/usr/man/ debian/libmenhir-ocaml-dev/usr/X11*/man/ -type f -print0 2>/dev/null | xargs -0r chmod 0644
find debian/libmenhir-ocaml-dev/usr/include -type f -print0 2>/dev/null | xargs -0r chmod 0644
find debian/libmenhir-ocaml-dev/usr/share/applications -type f -print0 2>/dev/null | xargs -0r chmod 0644
find debian/libmenhir-ocaml-dev/usr/lib/arm-linux-gnueabihf/perl5/5.22 debian/libmenhir-ocaml-dev/usr/share/perl5 -type f -perm -5 -name '*.pm' -print0 2>/dev/null | xargs -0r chmod a-X
find debian/libmenhir-ocaml-dev -perm -5 -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' \) -print0 2>/dev/null | xargs -0r chmod 0644
find debian/libmenhir-ocaml-dev/usr/lib -type f -name '*.ali' -print0 2>/dev/null | xargs -0r chmod uga-w
dh_strip -a
install -d debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/aa
objcopy --only-keep-debug --compress-debug-sections debian/menhir/usr/bin/menhir debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/aa/46c31272c5f6a7515682da68ab5dc4cfe5331a.debug
chmod 0644 debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/aa/46c31272c5f6a7515682da68ab5dc4cfe5331a.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/aa/46c31272c5f6a7515682da68ab5dc4cfe5331a.debug debian/menhir/usr/bin/menhir
install -d debian/.debhelper/menhir/dbgsym-root/usr/share/doc
ln -s menhir debian/.debhelper/menhir/dbgsym-root/usr/share/doc/menhir-dbgsym
dh_makeshlibs -a
rm -f debian/menhir/DEBIAN/shlibs
rm -f debian/libmenhir-ocaml-dev/DEBIAN/shlibs
dh_shlibdeps -a
install -d debian/menhir/DEBIAN
dpkg-shlibdeps -Tdebian/menhir.substvars debian/menhir/usr/bin/menhir
install -d debian/libmenhir-ocaml-dev/DEBIAN
dh_installdeb -a
dh_ocaml -a
+++ Remove former .olist.debhelper files +++
+++ Generate .olist.debhelper files +++
"cat debian/libmenhir-ocaml-dev.olist.debhelper"
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmo
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmx
"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 20151112.dfsg-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
mkdir -p debian/libmenhir-ocaml-dev//var/lib/ocaml/lintian
/usr/bin/ocaml-lintian -v --package libmenhir-ocaml-dev --version 20151112.dfsg-1 < debian/libmenhir-ocaml-dev.olist.debhelper > debian/libmenhir-ocaml-dev//var/lib/ocaml/lintian/libmenhir-ocaml-dev.info
(grep -s -v ocaml:Provides debian/libmenhir-ocaml-dev.substvars; echo ocaml:Provides=libmenhir-ocaml-dev-p5a68) > 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 v20151112.dfsg-1 depends on ocaml-nox/ocaml-base-nox v4.02.3-5+rpi1 through Array
(grep -s -v ocaml:Depends debian/libmenhir-ocaml-dev.substvars; echo ocaml:Depends=ocaml-nox-4.02.3) > debian/libmenhir-ocaml-dev.substvars.new
mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars
+++ Compute dependencies for binary packages+++
grep -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/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=extra -DAuto-Built-Package=debug-symbols -DPackage=menhir-dbgsym "-DDepends=menhir (= \${binary:Version})" "-DDescription=Debug symbols for menhir" -DBuild-Ids=aa46c31272c5f6a7515682da68ab5dc4cfe5331a -DSection=debug -UMulti-Arch -UReplaces -UBreaks
dpkg-gencontrol: warning: Depends field of package menhir: unknown substitution variable ${ocaml:Depends}
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
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
dpkg-gencontrol: warning: Depends field of package menhir: unknown substitution variable ${ocaml:Depends}
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
chmod 0644 debian/menhir/DEBIAN/control
chown 0:0 debian/menhir/DEBIAN/control
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
dpkg-gencontrol: warning: Depends field of package libmenhir-ocaml-dev: unknown substitution variable ${shlibs:Depends}
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
chmod 0644 debian/libmenhir-ocaml-dev/DEBIAN/control
chown 0:0 debian/libmenhir-ocaml-dev/DEBIAN/control
dh_md5sums -a
(cd debian/menhir >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum > DEBIAN/md5sums) >/dev/null
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 > DEBIAN/md5sums) >/dev/null
chmod 0644 debian/.debhelper/menhir/dbgsym-root/DEBIAN/md5sums
chown 0:0 debian/.debhelper/menhir/dbgsym-root/DEBIAN/md5sums
(cd debian/libmenhir-ocaml-dev >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum > DEBIAN/md5sums) >/dev/null
chmod 0644 debian/libmenhir-ocaml-dev/DEBIAN/md5sums
chown 0:0 debian/libmenhir-ocaml-dev/DEBIAN/md5sums
dh_builddeb -a
dpkg-deb -z1 -Zxz -Sextreme --build debian/.debhelper/menhir/dbgsym-root ..
dpkg-deb --build debian/libmenhir-ocaml-dev ..
dpkg-deb: building package 'menhir-dbgsym' in '../menhir-dbgsym_20151112.dfsg-1_armhf.deb'.
dpkg-deb: building package 'libmenhir-ocaml-dev' in '../libmenhir-ocaml-dev_20151112.dfsg-1_armhf.deb'.
dpkg-deb --build debian/menhir ..
dpkg-deb: building package 'menhir' in '../menhir_20151112.dfsg-1_armhf.deb'.
dpkg-genchanges -B -mRaspbian wandboard test autobuilder <root@raspbian.org> >../menhir_20151112.dfsg-1_armhf.changes
dpkg-genchanges: warning: package menhir-dbgsym listed in files list but not in control info
dpkg-genchanges: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build menhir-20151112.dfsg
dpkg-buildpackage: binary-only upload (no source included)
────────────────────────────────────────────────────────────────────────────────
Build finished at 20160123-1034
Finished
────────
I: Built successfully
┌──────────────────────────────────────────────────────────────────────────────┐
│ Post Build Chroot │
└──────────────────────────────────────────────────────────────────────────────┘
┌──────────────────────────────────────────────────────────────────────────────┐
│ Changes │
└──────────────────────────────────────────────────────────────────────────────┘
menhir_20151112.dfsg-1_armhf.changes:
─────────────────────────────────────
Format: 1.8
Date: Sun, 17 Jan 2016 22:06:28 +0100
Source: menhir
Binary: menhir libmenhir-ocaml-dev
Architecture: armhf
Version: 20151112.dfsg-1
Distribution: stretch-staging
Urgency: medium
Maintainer: Raspbian wandboard test autobuilder <root@raspbian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
libmenhir-ocaml-dev - Menhir library for OCaml
menhir - Parser generator for OCaml
Changes:
menhir (20151112.dfsg-1) unstable; urgency=medium
.
* New upstream release.
- Refresh patches
- Add 0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte.patch
to avoid FTBFS on bytecode architectures.
* Use Upstream's Makefile to install files
Checksums-Sha1:
38558158e1ab39920ce8d1daf1a2825dcd0ce99f 111260 libmenhir-ocaml-dev_20151112.dfsg-1_armhf.deb
917d90f24a38137dd92ef7661d69b5c9301d2a4f 141256 menhir-dbgsym_20151112.dfsg-1_armhf.deb
38a2dc6541f5de2c755d92cdd1ba32e1cd6207ec 611196 menhir_20151112.dfsg-1_armhf.deb
Checksums-Sha256:
d92dfa12240b6901f90c3f96e1ccb5e41b67c9555719681047967fb073264525 111260 libmenhir-ocaml-dev_20151112.dfsg-1_armhf.deb
3509115351dcea8be1a2e954ec8f8facdc4fdd92ce23f09b9529b4ae5db3dc6e 141256 menhir-dbgsym_20151112.dfsg-1_armhf.deb
bb28b0642a058a49383665bef05c1ae84f074d9192bad64004cab51477bbc2e0 611196 menhir_20151112.dfsg-1_armhf.deb
Files:
d357e6dca7ec682c900d9440cbcecf3d 111260 ocaml optional libmenhir-ocaml-dev_20151112.dfsg-1_armhf.deb
b49f67640828f4961cbc444bae895086 141256 debug extra menhir-dbgsym_20151112.dfsg-1_armhf.deb
3f0aa9d85009a5a201737f53d84aa4e5 611196 devel optional menhir_20151112.dfsg-1_armhf.deb
┌──────────────────────────────────────────────────────────────────────────────┐
│ Package contents │
└──────────────────────────────────────────────────────────────────────────────┘
libmenhir-ocaml-dev_20151112.dfsg-1_armhf.deb
─────────────────────────────────────────────
new debian package, version 2.0.
size 111260 bytes: control archive=947 bytes.
747 bytes, 19 lines control
761 bytes, 10 lines md5sums
Package: libmenhir-ocaml-dev
Source: menhir
Version: 20151112.dfsg-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 385
Depends: ocaml-nox-4.02.3
Provides: libmenhir-ocaml-dev-p5a68
Section: ocaml
Priority: optional
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Description: Menhir library for OCaml
This package contains the Menhir library for OCaml. 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 2016-01-23 10:34 ./
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/
drwxr-xr-x root/root 0 2016-01-23 10:33 ./usr/lib/
drwxr-xr-x root/root 0 2016-01-23 10:33 ./usr/lib/ocaml/
drwxr-xr-x root/root 0 2016-01-23 10:33 ./usr/lib/ocaml/menhirLib/
-rw-r--r-- root/root 162 2015-11-12 20:02 ./usr/lib/ocaml/menhirLib/META
-rw-r--r-- root/root 33342 2016-01-23 10:31 ./usr/lib/ocaml/menhirLib/menhirLib.cmi
-rw-r--r-- root/root 156263 2016-01-23 10:31 ./usr/lib/ocaml/menhirLib/menhirLib.cmo
-rw-r--r-- root/root 36538 2016-01-23 10:31 ./usr/lib/ocaml/menhirLib/menhirLib.cmx
-rw-r--r-- root/root 131276 2016-01-23 10:31 ./usr/lib/ocaml/menhirLib/menhirLib.o
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/share/
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/share/doc/
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/share/doc/libmenhir-ocaml-dev/
-rw-r--r-- root/root 2270 2016-01-17 21:06 ./usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.gz
-rw-r--r-- root/root 6530 2015-11-12 20:02 ./usr/share/doc/libmenhir-ocaml-dev/changelog.gz
-rw-r--r-- root/root 6624 2016-01-17 20:12 ./usr/share/doc/libmenhir-ocaml-dev/copyright
drwxr-xr-x root/root 0 2016-01-23 10:34 ./var/
drwxr-xr-x root/root 0 2016-01-23 10:34 ./var/lib/
drwxr-xr-x root/root 0 2016-01-23 10:34 ./var/lib/ocaml/
drwxr-xr-x root/root 0 2016-01-23 10:34 ./var/lib/ocaml/lintian/
-rw-r--r-- root/root 25 2016-01-23 10:34 ./var/lib/ocaml/lintian/libmenhir-ocaml-dev.info
drwxr-xr-x root/root 0 2016-01-23 10:34 ./var/lib/ocaml/md5sums/
-rw-r--r-- root/root 174 2016-01-23 10:34 ./var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums
menhir-dbgsym_20151112.dfsg-1_armhf.deb
───────────────────────────────────────
new debian package, version 2.0.
size 141256 bytes: control archive=491 bytes.
421 bytes, 13 lines control
106 bytes, 1 lines md5sums
Package: menhir-dbgsym
Source: menhir
Version: 20151112.dfsg-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 666
Depends: menhir (= 20151112.dfsg-1)
Section: debug
Priority: extra
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Description: Debug symbols for menhir
Auto-Built-Package: debug-symbols
Build-Ids: aa46c31272c5f6a7515682da68ab5dc4cfe5331a
drwxr-xr-x root/root 0 2016-01-23 10:34 ./
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/lib/
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/lib/debug/
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/lib/debug/.build-id/aa/
-rw-r--r-- root/root 670760 2016-01-23 10:34 ./usr/lib/debug/.build-id/aa/46c31272c5f6a7515682da68ab5dc4cfe5331a.debug
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/share/
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/share/doc/
lrwxrwxrwx root/root 0 2016-01-23 10:34 ./usr/share/doc/menhir-dbgsym -> menhir
menhir_20151112.dfsg-1_armhf.deb
────────────────────────────────
new debian package, version 2.0.
size 611196 bytes: control archive=2099 bytes.
766 bytes, 19 lines control
4741 bytes, 56 lines md5sums
Package: menhir
Version: 20151112.dfsg-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 2128
Depends: libc6 (>= 2.7)
Section: devel
Priority: optional
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Description: Parser generator for OCaml
Menhir is a LR(1) parser generator for OCaml. It is mostly compatible
with the standard ocamlyacc and has the following enhancements:
* 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 2016-01-23 10:34 ./
drwxr-xr-x root/root 0 2016-01-23 10:33 ./usr/
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/bin/
-rwxr-xr-x root/root 2062372 2016-01-23 10:34 ./usr/bin/menhir
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/share/
drwxr-xr-x root/root 0 2016-01-23 10:33 ./usr/share/doc/
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/share/doc/menhir/
-rw-r--r-- root/root 2270 2016-01-17 21:06 ./usr/share/doc/menhir/changelog.Debian.gz
-rw-r--r-- root/root 6530 2015-11-12 20:02 ./usr/share/doc/menhir/changelog.gz
-rw-r--r-- root/root 6624 2016-01-17 20:12 ./usr/share/doc/menhir/copyright
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/share/doc/menhir/examples/
-rw-r--r-- root/root 235 2015-11-12 20:02 ./usr/share/doc/menhir/examples/Makefile
drwxr-xr-x root/root 0 2016-01-17 19:50 ./usr/share/doc/menhir/examples/calc-incremental/
-rw-r--r-- root/root 647 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-incremental/Makefile
-rw-r--r-- root/root 133 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-incremental/README
-rw-r--r-- root/root 3144 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-incremental/calc.ml
-rw-r--r-- root/root 1030 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-incremental/lexer.mll
-rw-r--r-- root/root 556 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-incremental/parser.mly
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/share/doc/menhir/examples/calc-inspection/
-rw-r--r-- root/root 640 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-inspection/CalcErrorReporting.ml
-rw-r--r-- root/root 175 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-inspection/CalcErrorReporting.mli
-rw-r--r-- root/root 1406 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-inspection/CalcPrinters.ml
-rw-r--r-- root/root 234 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-inspection/CalcPrinters.mli
-rw-r--r-- root/root 2573 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-inspection/ErrorReporting.ml.gz
-rw-r--r-- root/root 3045 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-inspection/ErrorReporting.mli
-rw-r--r-- root/root 877 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-inspection/Makefile
-rw-r--r-- root/root 163 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-inspection/README
-rw-r--r-- root/root 1773 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-inspection/calc.ml
-rw-r--r-- root/root 1030 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-inspection/lexer.mll
-rw-r--r-- root/root 556 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-inspection/parser.mly
drwxr-xr-x root/root 0 2016-01-17 19:50 ./usr/share/doc/menhir/examples/calc-param/
-rw-r--r-- root/root 430 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-param/Makefile
-rw-r--r-- root/root 357 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-param/README
-rw-r--r-- root/root 72 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-param/_tags
-rw-r--r-- root/root 1135 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-param/calc.ml
-rw-r--r-- root/root 1030 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-param/lexer.mll
-rw-r--r-- root/root 660 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-param/myocamlbuild.ml
-rw-r--r-- root/root 938 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-param/parser.mly
-rw-r--r-- root/root 14 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-param/parser.mlypack
-rw-r--r-- root/root 388 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-param/tokens.mly
-rw-r--r-- root/root 7 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-param/tokens.mlypack
drwxr-xr-x root/root 0 2016-01-17 19:50 ./usr/share/doc/menhir/examples/calc-two/
-rw-r--r-- root/root 540 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-two/Makefile
-rw-r--r-- root/root 631 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-two/README
-rw-r--r-- root/root 190 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-two/_tags
-rw-r--r-- root/root 537 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-two/algebraic.mly
-rw-r--r-- root/root 24 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-two/algebraic.mlypack
-rw-r--r-- root/root 1110 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-two/calc.ml
-rw-r--r-- root/root 191 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-two/common.mly
-rw-r--r-- root/root 1030 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-two/lexer.mll
-rw-r--r-- root/root 792 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-two/myocamlbuild.ml
-rw-r--r-- root/root 468 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-two/reverse.mly
-rw-r--r-- root/root 22 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-two/reverse.mlypack
-rw-r--r-- root/root 151 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-two/tokens.mly
-rw-r--r-- root/root 7 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc-two/tokens.mlypack
drwxr-xr-x root/root 0 2016-01-17 19:50 ./usr/share/doc/menhir/examples/calc/
-rw-r--r-- root/root 428 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc/Makefile
-rw-r--r-- root/root 414 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc/README
-rw-r--r-- root/root 727 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc/calc.ml
-rw-r--r-- root/root 1030 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc/lexer.mll
-rw-r--r-- root/root 556 2015-11-12 20:02 ./usr/share/doc/menhir/examples/calc/parser.mly
-rwxr-xr-x root/root 850 2015-11-12 20:02 ./usr/share/doc/menhir/examples/find-menhir.sh
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/share/doc/menhir/examples/obsolete/
-rw-r--r-- root/root 361 2015-11-12 20:02 ./usr/share/doc/menhir/examples/obsolete/Makefile.auto
-rw-r--r-- root/root 817 2015-11-12 20:02 ./usr/share/doc/menhir/examples/obsolete/Makefile.calc-two
-rw-r--r-- root/root 2766 2015-11-12 20:02 ./usr/share/doc/menhir/examples/obsolete/Makefile.shared.gz
-rwxr-xr-x root/root 3043 2015-11-12 20:02 ./usr/share/doc/menhir/examples/obsolete/ocamldep.wrapper
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/share/man/
drwxr-xr-x root/root 0 2016-01-23 10:34 ./usr/share/man/man1/
-rw-r--r-- root/root 1368 2016-01-23 10:34 ./usr/share/man/man1/menhir.1.gz
drwxr-xr-x root/root 0 2016-01-23 10:33 ./usr/share/menhir/
-rw-r--r-- root/root 6553 2015-11-12 20:02 ./usr/share/menhir/standard.mly
┌──────────────────────────────────────────────────────────────────────────────┐
│ Post Build │
└──────────────────────────────────────────────────────────────────────────────┘
┌──────────────────────────────────────────────────────────────────────────────┐
│ Cleanup │
└──────────────────────────────────────────────────────────────────────────────┘
Purging /«BUILDDIR»
Not cleaning session: cloned chroot in use
┌──────────────────────────────────────────────────────────────────────────────┐
│ Summary │
└──────────────────────────────────────────────────────────────────────────────┘
Build Architecture: armhf
Build-Space: 55608
Build-Time: 418
Distribution: stretch-staging
Host Architecture: armhf
Install-Time: 210
Job: menhir_20151112.dfsg-1
Machine Architecture: armhf
Package: menhir
Package-Time: 669
Source-Version: 20151112.dfsg-1
Space: 55608
Status: successful
Version: 20151112.dfsg-1
────────────────────────────────────────────────────────────────────────────────
Finished at 20160123-1034
Build needed 00:11:09, 55608k disc space