menhir →
20160526.dfsg-1 →
armhf → 2016-08-13 12:14:18
sbuild (Debian sbuild) 0.66.0 (04 Oct 2015) on bm-wb-04
+==============================================================================+
| menhir 20160526.dfsg-1 (armhf) 13 Aug 2016 11:57 |
+==============================================================================+
Package: menhir
Version: 20160526.dfsg-1
Source Version: 20160526.dfsg-1
Distribution: stretch-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'build/menhir-sGqPY0/menhir-20160526.dfsg' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/menhir-sGqPY0' with '<<BUILDDIR>>'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/stretch-staging-armhf-sbuild-39b32497-eda7-4c43-9638-7f0b8eaadb56' 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 [9221 kB]
Get:3 http://172.17.0.1/private stretch-staging/main armhf Packages [11.2 MB]
Fetched 20.4 MB in 22s (920 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Fetch source files |
+------------------------------------------------------------------------------+
Check APT
---------
Checking available source versions...
Download source files with APT
------------------------------
Reading package lists...
NOTICE: 'menhir' packaging is maintained in the 'Git' version control system at:
https://anonscm.debian.org/git/pkg-ocaml-maint/packages/menhir.git
Please use:
git clone https://anonscm.debian.org/git/pkg-ocaml-maint/packages/menhir.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 342 kB of source archives.
Get:1 http://172.17.0.1/private stretch-staging/main menhir 20160526.dfsg-1 (dsc) [2129 B]
Get:2 http://172.17.0.1/private stretch-staging/main menhir 20160526.dfsg-1 (tar) [333 kB]
Get:3 http://172.17.0.1/private stretch-staging/main menhir 20160526.dfsg-1 (diff) [6712 B]
Fetched 342 kB in 0s (4129 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-uebbB2/apt_archive/sbuild-build-depends-core-dummy.deb'.
Warning: apt-key output should not be parsed (stdout is not a terminal)
OK
Get:1 file:/<<BUILDDIR>>/resolver-uebbB2/apt_archive ./ InRelease
Ign:1 file:/<<BUILDDIR>>/resolver-uebbB2/apt_archive ./ InRelease
Get:2 file:/<<BUILDDIR>>/resolver-uebbB2/apt_archive ./ Release [2119 B]
Get:2 file:/<<BUILDDIR>>/resolver-uebbB2/apt_archive ./ Release [2119 B]
Get:3 file:/<<BUILDDIR>>/resolver-uebbB2/apt_archive ./ Release.gpg [299 B]
Get:3 file:/<<BUILDDIR>>/resolver-uebbB2/apt_archive ./ Release.gpg [299 B]
Get:4 file:/<<BUILDDIR>>/resolver-uebbB2/apt_archive ./ Sources [214 B]
Get:5 file:/<<BUILDDIR>>/resolver-uebbB2/apt_archive ./ Packages [527 B]
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
W: file:///<<BUILDDIR>>/resolver-uebbB2/apt_archive/./Release.gpg: Signature by key 3493EC2B8E6DC280C121C60435506D9A48F77B2E uses weak digest algorithm (SHA1)
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/768 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 file:/<<BUILDDIR>>/resolver-uebbB2/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [768 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 ... 13715 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: debhelper (>= 9), ocaml-nox (>= 4.02~), ocaml-findlib, dh-ocaml (>= 0.9)
Filtered Build-Depends: debhelper (>= 9), ocaml-nox (>= 4.02~), ocaml-findlib, dh-ocaml (>= 0.9)
dpkg-deb: building package 'sbuild-build-depends-menhir-dummy' in '/<<BUILDDIR>>/resolver-dSgn5T/apt_archive/sbuild-build-depends-menhir-dummy.deb'.
Warning: apt-key output should not be parsed (stdout is not a terminal)
OK
Get:1 file:/<<BUILDDIR>>/resolver-dSgn5T/apt_archive ./ InRelease
Ign:1 file:/<<BUILDDIR>>/resolver-dSgn5T/apt_archive ./ InRelease
Get:2 file:/<<BUILDDIR>>/resolver-dSgn5T/apt_archive ./ Release [2119 B]
Get:2 file:/<<BUILDDIR>>/resolver-dSgn5T/apt_archive ./ Release [2119 B]
Get:3 file:/<<BUILDDIR>>/resolver-dSgn5T/apt_archive ./ Release.gpg [299 B]
Get:3 file:/<<BUILDDIR>>/resolver-dSgn5T/apt_archive ./ Release.gpg [299 B]
Get:4 file:/<<BUILDDIR>>/resolver-dSgn5T/apt_archive ./ Sources [243 B]
Get:5 file:/<<BUILDDIR>>/resolver-dSgn5T/apt_archive ./ Packages [557 B]
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
W: file:///<<BUILDDIR>>/resolver-dSgn5T/apt_archive/./Release.gpg: Signature by key 3493EC2B8E6DC280C121C60435506D9A48F77B2E uses weak digest algorithm (SHA1)
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:
autoconf automake autopoint autotools-dev bsdmainutils debhelper
dh-autoreconf dh-ocaml dh-strip-nondeterminism file gettext gettext-base
groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libffi6
libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu57
libmagic-mgc libmagic1 libncurses5-dev libpipeline1 libsigsegv2 libtinfo-dev
libtool libunistring0 libxml2 m4 man-db ocaml-base-nox ocaml-compiler-libs
ocaml-findlib ocaml-interp ocaml-nox po-debconf
Suggested packages:
autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois
vacation dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff
ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk 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
libltdl-dev xml-core libfindlib-ocaml-dev ledit | readline-editor camlp4
libmail-sendmail-perl
The following NEW packages will be installed:
autoconf automake autopoint autotools-dev bsdmainutils debhelper
dh-autoreconf dh-ocaml dh-strip-nondeterminism file gettext gettext-base
groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libffi6
libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libicu57
libmagic-mgc libmagic1 libncurses5-dev libpipeline1 libsigsegv2 libtinfo-dev
libtool libunistring0 libxml2 m4 man-db ocaml-base-nox ocaml-compiler-libs
ocaml-findlib ocaml-interp ocaml-nox po-debconf
sbuild-build-depends-menhir-dummy
0 upgraded, 40 newly installed, 0 to remove and 0 not upgraded.
Need to get 35.3 MB/35.3 MB of archives.
After this operation, 152 MB of additional disk space will be used.
Get:1 file:/<<BUILDDIR>>/resolver-dSgn5T/apt_archive ./ sbuild-build-depends-menhir-dummy 0.invalid.0 [796 B]
Get:2 http://172.17.0.1/private stretch-staging/main armhf groff-base armhf 1.22.3-8 [1087 kB]
Get:3 http://172.17.0.1/private stretch-staging/main armhf libbsd0 armhf 0.8.3-1 [89.0 kB]
Get:4 http://172.17.0.1/private stretch-staging/main armhf bsdmainutils armhf 9.0.10 [177 kB]
Get:5 http://172.17.0.1/private stretch-staging/main armhf libpipeline1 armhf 1.4.1-2 [23.7 kB]
Get:6 http://172.17.0.1/private stretch-staging/main armhf man-db armhf 2.7.5-1 [975 kB]
Get:7 http://172.17.0.1/private stretch-staging/main armhf libmagic-mgc armhf 1:5.28-4 [210 kB]
Get:8 http://172.17.0.1/private stretch-staging/main armhf libmagic1 armhf 1:5.28-4 [104 kB]
Get:9 http://172.17.0.1/private stretch-staging/main armhf file armhf 1:5.28-4 [62.7 kB]
Get:10 http://172.17.0.1/private stretch-staging/main armhf gettext-base armhf 0.19.8.1-1 [117 kB]
Get:11 http://172.17.0.1/private stretch-staging/main armhf libicu57 armhf 57.1-2 [7404 kB]
Get:12 http://172.17.0.1/private stretch-staging/main armhf libxml2 armhf 2.9.4+dfsg1-1+b1 [803 kB]
Get:13 http://172.17.0.1/private stretch-staging/main armhf libsigsegv2 armhf 2.10-5 [28.4 kB]
Get:14 http://172.17.0.1/private stretch-staging/main armhf m4 armhf 1.4.17-5 [239 kB]
Get:15 http://172.17.0.1/private stretch-staging/main armhf autoconf all 2.69-10 [338 kB]
Get:16 http://172.17.0.1/private stretch-staging/main armhf autotools-dev all 20160430.1 [72.6 kB]
Get:17 http://172.17.0.1/private stretch-staging/main armhf automake all 1:1.15-4 [735 kB]
Get:18 http://172.17.0.1/private stretch-staging/main armhf autopoint all 0.19.8.1-1 [433 kB]
Get:19 http://172.17.0.1/private stretch-staging/main armhf libglib2.0-0 armhf 2.48.1-2 [2546 kB]
Get:20 http://172.17.0.1/private stretch-staging/main armhf libcroco3 armhf 0.6.11-1 [131 kB]
Get:21 http://172.17.0.1/private stretch-staging/main armhf libunistring0 armhf 0.9.6+really0.9.3-0.1 [252 kB]
Get:22 http://172.17.0.1/private stretch-staging/main armhf gettext armhf 0.19.8.1-1 [1433 kB]
Get:23 http://172.17.0.1/private stretch-staging/main armhf intltool-debian all 0.35.0+20060710.4 [26.3 kB]
Get:24 http://172.17.0.1/private stretch-staging/main armhf po-debconf all 1.0.19 [249 kB]
Get:25 http://172.17.0.1/private stretch-staging/main armhf libarchive-zip-perl all 1.58-1 [95.5 kB]
Get:26 http://172.17.0.1/private stretch-staging/main armhf libfile-stripnondeterminism-perl all 0.022-1 [13.1 kB]
Get:27 http://172.17.0.1/private stretch-staging/main armhf dh-strip-nondeterminism all 0.022-1 [7902 B]
Get:28 http://172.17.0.1/private stretch-staging/main armhf libtool all 2.4.6-0.1 [200 kB]
Get:29 http://172.17.0.1/private stretch-staging/main armhf dh-autoreconf all 12 [15.8 kB]
Get:30 http://172.17.0.1/private stretch-staging/main armhf debhelper all 9.20160709 [799 kB]
Get:31 http://172.17.0.1/private stretch-staging/main armhf ocaml-base-nox armhf 4.02.3-7+rpi1 [513 kB]
Get:32 http://172.17.0.1/private stretch-staging/main armhf libfindlib-ocaml armhf 1.6.2-1 [158 kB]
Get:33 http://172.17.0.1/private stretch-staging/main armhf libtinfo-dev armhf 6.0+20160625-1 [65.6 kB]
Get:34 http://172.17.0.1/private stretch-staging/main armhf libncurses5-dev armhf 6.0+20160625-1 [154 kB]
Get:35 http://172.17.0.1/private stretch-staging/main armhf ocaml-interp armhf 4.02.3-7+rpi1 [360 kB]
Get:36 http://172.17.0.1/private stretch-staging/main armhf ocaml-nox armhf 4.02.3-7+rpi1 [5408 kB]
Get:37 http://172.17.0.1/private stretch-staging/main armhf ocaml-compiler-libs armhf 4.02.3-7+rpi1 [9639 kB]
Get:38 http://172.17.0.1/private stretch-staging/main armhf ocaml-findlib armhf 1.6.2-1 [264 kB]
Get:39 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 35.3 MB in 3s (9583 kB/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 ... 13715 files and directories currently installed.)
Preparing to unpack .../groff-base_1.22.3-8_armhf.deb ...
Unpacking groff-base (1.22.3-8) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../libbsd0_0.8.3-1_armhf.deb ...
Unpacking libbsd0:armhf (0.8.3-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../bsdmainutils_9.0.10_armhf.deb ...
Unpacking bsdmainutils (9.0.10) ...
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 libmagic-mgc.
Preparing to unpack .../libmagic-mgc_1%3a5.28-4_armhf.deb ...
Unpacking libmagic-mgc (1:5.28-4) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../libmagic1_1%3a5.28-4_armhf.deb ...
Unpacking libmagic1:armhf (1:5.28-4) ...
Selecting previously unselected package file.
Preparing to unpack .../file_1%3a5.28-4_armhf.deb ...
Unpacking file (1:5.28-4) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../gettext-base_0.19.8.1-1_armhf.deb ...
Unpacking gettext-base (0.19.8.1-1) ...
Selecting previously unselected package libicu57:armhf.
Preparing to unpack .../libicu57_57.1-2_armhf.deb ...
Unpacking libicu57:armhf (57.1-2) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../libxml2_2.9.4+dfsg1-1+b1_armhf.deb ...
Unpacking libxml2:armhf (2.9.4+dfsg1-1+b1) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../libsigsegv2_2.10-5_armhf.deb ...
Unpacking libsigsegv2:armhf (2.10-5) ...
Selecting previously unselected package m4.
Preparing to unpack .../archives/m4_1.4.17-5_armhf.deb ...
Unpacking m4 (1.4.17-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../autoconf_2.69-10_all.deb ...
Unpacking autoconf (2.69-10) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../autotools-dev_20160430.1_all.deb ...
Unpacking autotools-dev (20160430.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../automake_1%3a1.15-4_all.deb ...
Unpacking automake (1:1.15-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../autopoint_0.19.8.1-1_all.deb ...
Unpacking autopoint (0.19.8.1-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.48.1-2_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.48.1-2) ...
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 libunistring0:armhf.
Preparing to unpack .../libunistring0_0.9.6+really0.9.3-0.1_armhf.deb ...
Unpacking libunistring0:armhf (0.9.6+really0.9.3-0.1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../gettext_0.19.8.1-1_armhf.deb ...
Unpacking gettext (0.19.8.1-1) ...
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.58-1_all.deb ...
Unpacking libarchive-zip-perl (1.58-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../libfile-stripnondeterminism-perl_0.022-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (0.022-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../dh-strip-nondeterminism_0.022-1_all.deb ...
Unpacking dh-strip-nondeterminism (0.022-1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../libtool_2.4.6-0.1_all.deb ...
Unpacking libtool (2.4.6-0.1) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../dh-autoreconf_12_all.deb ...
Unpacking dh-autoreconf (12) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../debhelper_9.20160709_all.deb ...
Unpacking debhelper (9.20160709) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../ocaml-base-nox_4.02.3-7+rpi1_armhf.deb ...
Unpacking ocaml-base-nox (4.02.3-7+rpi1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../libfindlib-ocaml_1.6.2-1_armhf.deb ...
Unpacking libfindlib-ocaml (1.6.2-1) ...
Selecting previously unselected package libtinfo-dev:armhf.
Preparing to unpack .../libtinfo-dev_6.0+20160625-1_armhf.deb ...
Unpacking libtinfo-dev:armhf (6.0+20160625-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../libncurses5-dev_6.0+20160625-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.0+20160625-1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../ocaml-interp_4.02.3-7+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.02.3-7+rpi1) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../ocaml-nox_4.02.3-7+rpi1_armhf.deb ...
Unpacking ocaml-nox (4.02.3-7+rpi1) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../ocaml-compiler-libs_4.02.3-7+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.02.3-7+rpi1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../ocaml-findlib_1.6.2-1_armhf.deb ...
Unpacking ocaml-findlib (1.6.2-1) ...
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.23-4) ...
Setting up libarchive-zip-perl (1.58-1) ...
Setting up libsigsegv2:armhf (2.10-5) ...
Setting up groff-base (1.22.3-8) ...
Setting up ocaml-base-nox (4.02.3-7+rpi1) ...
Setting up libtinfo-dev:armhf (6.0+20160625-1) ...
Setting up dh-ocaml (1.0.10) ...
Setting up gettext-base (0.19.8.1-1) ...
Setting up libpipeline1:armhf (1.4.1-2) ...
Setting up m4 (1.4.17-5) ...
Setting up libicu57:armhf (57.1-2) ...
Setting up libbsd0:armhf (0.8.3-1) ...
Setting up libxml2:armhf (2.9.4+dfsg1-1+b1) ...
Setting up libmagic-mgc (1:5.28-4) ...
Setting up libmagic1:armhf (1:5.28-4) ...
Setting up libncurses5-dev:armhf (6.0+20160625-1) ...
Setting up autotools-dev (20160430.1) ...
Setting up libunistring0:armhf (0.9.6+really0.9.3-0.1) ...
Setting up libffi6:armhf (3.2.1-4) ...
Setting up bsdmainutils (9.0.10) ...
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 libfindlib-ocaml (1.6.2-1) ...
Setting up ocaml-findlib (1.6.2-1) ...
Setting up autopoint (0.19.8.1-1) ...
Setting up libfile-stripnondeterminism-perl (0.022-1) ...
Setting up libglib2.0-0:armhf (2.48.1-2) ...
No schema files found: doing nothing.
Setting up autoconf (2.69-10) ...
Setting up file (1:5.28-4) ...
Setting up libcroco3:armhf (0.6.11-1) ...
Setting up automake (1:1.15-4) ...
update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode
Setting up man-db (2.7.5-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libtool (2.4.6-0.1) ...
Setting up gettext (0.19.8.1-1) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up po-debconf (1.0.19) ...
Setting up ocaml-compiler-libs (4.02.3-7+rpi1) ...
Setting up dh-autoreconf (12) ...
Setting up ocaml-interp (4.02.3-7+rpi1) ...
Setting up debhelper (9.20160709) ...
Setting up ocaml-nox (4.02.3-7+rpi1) ...
Setting up dh-strip-nondeterminism (0.022-1) ...
Setting up sbuild-build-depends-menhir-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.23-4) ...
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.26.1-1 dpkg-dev_1.18.10 g++-6_6.1.1-11+rpi1 gcc-6_6.1.1-11+rpi1 libc6-dev_2.23-4 libstdc++-4.9-dev_4.9.3-14 libstdc++-6-dev_6.1.1-11+rpi1 libstdc++6_6.1.1-11+rpi1 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch
Package versions: acl_2.2.52-3 adduser_3.115 apt_1.3~pre3 autoconf_2.69-10 automake_1:1.15-4 autopoint_0.19.8.1-1 autotools-dev_20160430.1 base-files_9.6+rpi1 base-passwd_3.5.39 bash_4.3-15 binutils_2.26.1-1 bsdmainutils_9.0.10 bsdutils_1:2.28-6 build-essential_12.2 bzip2_1.0.6-8 coreutils_8.25-2 cpio_2.11+dfsg-5 cpp_4:6.1.1-1 cpp-6_6.1.1-11+rpi1 dash_0.5.8-2.3 debconf_1.5.59 debfoster_2.7-2.1 debhelper_9.20160709 debianutils_4.8 dh-autoreconf_12 dh-ocaml_1.0.10 dh-strip-nondeterminism_0.022-1 diffutils_1:3.3-3 dmsetup_2:1.02.130-1 dpkg_1.18.10 dpkg-dev_1.18.10 e2fslibs_1.43.1-1 e2fsprogs_1.43.1-1 fakeroot_1.21-1 file_1:5.28-4 findutils_4.6.0+git+20160703-2 fuse2fs_1.43.1-1 g++_4:6.1.1-1 g++-6_6.1.1-11+rpi1 gcc_4:6.1.1-1 gcc-4.6-base_4.6.4-5+rpi1 gcc-4.7-base_4.7.3-11+rpi1 gcc-4.8-base_4.8.5-4 gcc-4.9-base_4.9.3-14 gcc-5-base_5.4.0-4 gcc-6_6.1.1-11+rpi1 gcc-6-base_6.1.1-11+rpi1 gettext_0.19.8.1-1 gettext-base_0.19.8.1-1 gnupg_1.4.20-6 gpgv_1.4.20-6 grep_2.25-6 groff-base_1.22.3-8 gzip_1.6-5 hostname_3.18 init_1.42 init-system-helpers_1.42 initscripts_2.88dsf-59.8 insserv_1.14.0-5.4 intltool-debian_0.35.0+20060710.4 klibc-utils_2.0.4-9+rpi1 kmod_22-1.1 libacl1_2.2.52-3 libapparmor1_2.10.95-4 libapt-pkg4.12_1.0.9.10 libapt-pkg5.0_1.3~pre3 libarchive-zip-perl_1.58-1 libasan1_4.9.3-14 libasan3_6.1.1-11+rpi1 libatomic1_6.1.1-11+rpi1 libattr1_1:2.4.47-2 libaudit-common_1:2.6.5-1 libaudit1_1:2.6.5-1 libblkid1_2.28-6 libbsd0_0.8.3-1 libbz2-1.0_1.0.6-8 libc-bin_2.23-4 libc-dev-bin_2.23-4 libc6_2.23-4 libc6-dev_2.23-4 libcap-ng0_0.7.7-3 libcap2_1:2.25-1 libcap2-bin_1:2.25-1 libcc1-0_6.1.1-11+rpi1 libcomerr2_1.43.1-1 libcroco3_0.6.11-1 libcryptsetup4_2:1.7.0-2 libdb5.3_5.3.28-12 libdbus-1-3_1.10.8-1 libdebconfclient0_0.215 libdevmapper1.02.1_2:1.02.130-1 libdpkg-perl_1.18.10 libdrm2_2.4.70-1 libfakeroot_1.21-1 libfdisk1_2.28-6 libffi6_3.2.1-4 libfile-stripnondeterminism-perl_0.022-1 libfindlib-ocaml_1.6.2-1 libfuse2_2.9.7-1 libgc1c2_1:7.4.2-8 libgcc-4.9-dev_4.9.3-14 libgcc-6-dev_6.1.1-11+rpi1 libgcc1_1:6.1.1-11+rpi1 libgcrypt20_1.7.2-2 libgdbm3_1.8.3-14 libglib2.0-0_2.48.1-2 libgmp10_2:6.1.1+dfsg-1 libgomp1_6.1.1-11+rpi1 libgpg-error0_1.24-1 libicu57_57.1-2 libidn11_1.33-1 libisl15_0.17.1-1 libklibc_2.0.4-9+rpi1 libkmod2_22-1.1 liblz4-1_0.0~r131-2 liblzma5_5.1.1alpha+20120614-2.1 libmagic-mgc_1:5.28-4 libmagic1_1:5.28-4 libmount1_2.28-6 libmpc3_1.0.3-1 libmpfr4_3.1.4-2 libncurses5_6.0+20160625-1 libncurses5-dev_6.0+20160625-1 libncursesw5_6.0+20160625-1 libpam-modules_1.1.8-3.3 libpam-modules-bin_1.1.8-3.3 libpam-runtime_1.1.8-3.3 libpam0g_1.1.8-3.3 libpcre3_2:8.39-1 libperl5.22_5.22.2-3 libpipeline1_1.4.1-2 libpng12-0_1.2.54-6 libprocps3_2:3.3.9-9 libprocps6_2:3.3.12-2 libreadline6_6.3-8+b3 libseccomp2_2.3.1-2 libselinux1_2.5-3 libsemanage-common_2.5-1 libsemanage1_2.5-1 libsepol1_2.5-1 libsigsegv2_2.10-5 libslang2_2.3.0-3 libsmartcols1_2.28-6 libss2_1.43.1-1 libstdc++-4.9-dev_4.9.3-14 libstdc++-6-dev_6.1.1-11+rpi1 libstdc++6_6.1.1-11+rpi1 libsystemd0_230-7+b1 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20160625-1 libtinfo5_6.0+20160625-1 libtool_2.4.6-0.1 libubsan0_6.1.1-11+rpi1 libudev1_230-7+b1 libunistring0_0.9.6+really0.9.3-0.1 libusb-0.1-4_2:0.1.12-30 libustr-1.0-1_1.0.4-5 libuuid1_2.28-6 libxml2_2.9.4+dfsg1-1+b1 linux-libc-dev_3.18.5-1~exp1+rpi19+stretch login_1:4.2-3.1 lsb-base_9.20160629+rpi1 m4_1.4.17-5 make_4.1-9 makedev_2.3.1-93 man-db_2.7.5-1 manpages_4.07-1 mawk_1.3.3-17 mount_2.28-6 multiarch-support_2.23-4 nano_2.6.2-1 ncurses-base_6.0+20160625-1 ncurses-bin_6.0+20160625-1 ocaml-base-nox_4.02.3-7+rpi1 ocaml-compiler-libs_4.02.3-7+rpi1 ocaml-findlib_1.6.2-1 ocaml-interp_4.02.3-7+rpi1 ocaml-nox_4.02.3-7+rpi1 passwd_1:4.2-3.1 patch_2.7.5-1 perl_5.22.2-3 perl-base_5.22.2-3 perl-modules-5.22_5.22.2-3 po-debconf_1.0.19 procps_2:3.3.12-2 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-7.1 sensible-utils_0.0.9 startpar_0.59-3.1 systemd_230-7+b1 systemd-sysv_230-7+b1 sysv-rc_2.88dsf-59.8 sysvinit-utils_2.88dsf-59.8 tar_1.29b-1 tzdata_2016f-1 udev_230-7+b1 util-linux_2.28-6 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 Sat Aug 6 09:00:54 2016 UTC using RSA key ID 49881AD3
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./menhir_20160526.dfsg-1.dsc
dpkg-source: info: extracting menhir in menhir-20160526.dfsg
dpkg-source: info: unpacking menhir_20160526.dfsg.orig.tar.gz
dpkg-source: info: unpacking menhir_20160526.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-39b32497-eda7-4c43-9638-7f0b8eaadb56
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package menhir
dpkg-buildpackage: info: source version 20160526.dfsg-1
dpkg-buildpackage: info: source distribution unstable
dpkg-source --before-build menhir-20160526.dfsg
dpkg-buildpackage: info: host architecture armhf
fakeroot debian/rules clean
dh clean --with ocaml
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 build-arch --with ocaml
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 OCaml is recent enough...
Version 4.02.3 is OK.
/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 stringMap.cmi stringMap.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/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 anonymous.ml > anonymous.ml.depends
/usr/bin/ocamldep -modules anonymous.mli > anonymous.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o anonymous.cmi anonymous.mli
/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/ocamldep -modules positions.ml > positions.ml.depends
/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 -o action.cmx action.ml
/usr/bin/ocamldep -modules mark.ml > mark.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 misc.cmx misc.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o parameters.cmx parameters.ml
cp -p yaccDriver.ml Driver.ml
/usr/bin/ocamldep -modules Driver.ml > Driver.ml.depends
/usr/bin/ocamldep -modules Driver.mli > Driver.mli.depends
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 parser.ml > parser.ml.depends
/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/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 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/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 anonymous.cmx anonymous.ml
/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 anonymous.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): 17(349), max: 11, min: 2, average(total): 3.882(1.140) }
/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 stringMap.cmi stringMap.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/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 anonymous.ml > anonymous.ml.depends
/usr/bin/ocamldep -modules anonymous.mli > anonymous.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o anonymous.cmi anonymous.mli
/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/ocamldep -modules positions.ml > positions.ml.depends
/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 -o action.cmx action.ml
/usr/bin/ocamldep -modules mark.ml > mark.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 misc.cmx misc.ml
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o parameters.cmx parameters.ml
cp -p fancyDriver.ml Driver.ml
/usr/bin/ocamldep -modules Driver.ml > Driver.ml.depends
/usr/bin/ocamldep -modules Driver.mli > Driver.mli.depends
cp -p fancy-parser.mly parser.mly
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --raw-depend --ocamldep '/usr/bin/ocamldep -modules' parser.mly > parser.mly.depends
/usr/bin/ocamldep -modules error.mli > error.mli.depends
/usr/bin/ocamldep -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o error.cmi error.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o parserAux.cmi parserAux.mli
../_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --table --infer --stdlib .. --strict --fixed-exception --canonical --ocamlc '/usr/bin/ocamlc -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 parser.ml > parser.ml.depends
/usr/bin/ocamlopt -c -safe-string -bin-annot -g -inline 1000 -o error.cmx error.ml
/usr/bin/ocamldep -modules parserAux.ml > parserAux.ml.depends
/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 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/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 anonymous.cmx anonymous.ml
/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 anonymous.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(355), max: 11, min: 2, average(total): 3.684(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
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 error.mli > error.mli.depends
/usr/bin/ocamldep -modules mark.mli > mark.mli.depends
/usr/bin/ocamldep -modules positions.mli > positions.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o mark.cmi mark.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o positions.cmi positions.mli
/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 syntax.mli > syntax.mli.depends
/usr/bin/ocamlc -c -safe-string -bin-annot -o action.cmi action.mli
/usr/bin/ocamlc -c -safe-string -bin-annot -o syntax.cmi syntax.mli
/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
../_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): 3(68), max: 11, min: 2, average(total): 6.000(1.221) }
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 binary-arch --with ocaml
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/dd
objcopy --only-keep-debug --compress-debug-sections debian/menhir/usr/bin/menhir debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/dd/d175fb35648232f16b87b4c13515e6f9523f76.debug
chmod 0644 debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/dd/d175fb35648232f16b87b4c13515e6f9523f76.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/dd/d175fb35648232f16b87b4c13515e6f9523f76.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 20160526.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 20160526.dfsg-1 < debian/libmenhir-ocaml-dev.olist.debhelper > debian/libmenhir-ocaml-dev//var/lib/ocaml/lintian/libmenhir-ocaml-dev.info
(grep -a -s -v ocaml:Provides debian/libmenhir-ocaml-dev.substvars; echo ocaml:Provides=libmenhir-ocaml-dev-8sju4) > 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 v20160526.dfsg-1 depends on ocaml-nox/ocaml-base-nox v4.02.3-7+rpi1 through CamlinternalLazy
(grep -a -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 -a -s -v '^ocaml:Depends=' debian/menhir.substvars > debian/menhir.substvars.new || true
mv debian/menhir.substvars.new debian/menhir.substvars
/usr/bin/ocaml-md5sums -v --md5sums-dir debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums --package menhir dep < debian/menhir.olist.debhelper
dh_gencontrol -a
echo misc:Depends= >> debian/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=ddd175fb35648232f16b87b4c13515e6f9523f76 -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_20160526.dfsg-1_armhf.deb'.
dpkg-deb: building package 'libmenhir-ocaml-dev' in '../libmenhir-ocaml-dev_20160526.dfsg-1_armhf.deb'.
dpkg-deb --build debian/menhir ..
dpkg-deb: building package 'menhir' in '../menhir_20160526.dfsg-1_armhf.deb'.
dpkg-genchanges --build=any -mRaspbian wandboard test autobuilder <root@raspbian.org> >../menhir_20160526.dfsg-1_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build menhir-20160526.dfsg
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 20160813-1210
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
menhir_20160526.dfsg-1_armhf.changes:
-------------------------------------
Format: 1.8
Date: Sat, 06 Aug 2016 10:55:33 +0200
Source: menhir
Binary: menhir libmenhir-ocaml-dev
Architecture: armhf
Version: 20160526.dfsg-1
Distribution: stretch-staging
Urgency: medium
Maintainer: Raspbian wandboard test autobuilder <root@raspbian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
libmenhir-ocaml-dev - Menhir library for OCaml
menhir - Parser generator for OCaml
Changes:
menhir (20160526.dfsg-1) unstable; urgency=medium
.
* Team upload
* New upstream release
* Update Vcs-*
* Switch debian/copyright to format 1.0
* Bump Standards-Version to 3.9.8
* Bump debhelper compat to 9
Checksums-Sha1:
a766bf8451a5219510e5049c6f0ffa285d8e416e 111880 libmenhir-ocaml-dev_20160526.dfsg-1_armhf.deb
72ebc801376bd9577fc43c5093950afdc5f1d4f3 148876 menhir-dbgsym_20160526.dfsg-1_armhf.deb
dddec22ebdcbc8d46373094171a03db76ca2a211 614974 menhir_20160526.dfsg-1_armhf.deb
Checksums-Sha256:
3a96aa874a1dfc7a5d552bec98e66ebf20c2caef6262a490cf857bc3c1fc186f 111880 libmenhir-ocaml-dev_20160526.dfsg-1_armhf.deb
4a31e4665b23483798aba71dc27c8c7f07e6a8391b7fe1844d5fdbfe60228eed 148876 menhir-dbgsym_20160526.dfsg-1_armhf.deb
933a90aef51bae31db3e6cff9939d3a9f64b66da8de778c17a8788b7ad63e0f3 614974 menhir_20160526.dfsg-1_armhf.deb
Files:
be01df8b391ed2bed081c7d202e94fb6 111880 ocaml optional libmenhir-ocaml-dev_20160526.dfsg-1_armhf.deb
99e4daddc5f0f33ca4309526fb6b067d 148876 debug extra menhir-dbgsym_20160526.dfsg-1_armhf.deb
4c19db1da2418785ba24cd5578d96fd0 614974 devel optional menhir_20160526.dfsg-1_armhf.deb
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
libmenhir-ocaml-dev_20160526.dfsg-1_armhf.deb
---------------------------------------------
new debian package, version 2.0.
size 111880 bytes: control archive=947 bytes.
747 bytes, 19 lines control
761 bytes, 10 lines md5sums
Package: libmenhir-ocaml-dev
Source: menhir
Version: 20160526.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-8sju4
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-08-06 08:55 ./
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/lib/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/lib/ocaml/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/lib/ocaml/menhirLib/
-rw-r--r-- root/root 162 2016-05-26 21:50 ./usr/lib/ocaml/menhirLib/META
-rw-r--r-- root/root 33342 2016-08-06 08:55 ./usr/lib/ocaml/menhirLib/menhirLib.cmi
-rw-r--r-- root/root 156263 2016-08-06 08:55 ./usr/lib/ocaml/menhirLib/menhirLib.cmo
-rw-r--r-- root/root 36538 2016-08-06 08:55 ./usr/lib/ocaml/menhirLib/menhirLib.cmx
-rw-r--r-- root/root 131268 2016-08-06 08:55 ./usr/lib/ocaml/menhirLib/menhirLib.o
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/share/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/share/doc/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/share/doc/libmenhir-ocaml-dev/
-rw-r--r-- root/root 2332 2016-08-06 08:55 ./usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.gz
-rw-r--r-- root/root 7018 2016-05-26 21:50 ./usr/share/doc/libmenhir-ocaml-dev/changelog.gz
-rw-r--r-- root/root 6611 2016-08-06 08:42 ./usr/share/doc/libmenhir-ocaml-dev/copyright
drwxr-xr-x root/root 0 2016-08-06 08:55 ./var/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./var/lib/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./var/lib/ocaml/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./var/lib/ocaml/lintian/
-rw-r--r-- root/root 25 2016-08-06 08:55 ./var/lib/ocaml/lintian/libmenhir-ocaml-dev.info
drwxr-xr-x root/root 0 2016-08-06 08:55 ./var/lib/ocaml/md5sums/
-rw-r--r-- root/root 174 2016-08-06 08:55 ./var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums
menhir-dbgsym_20160526.dfsg-1_armhf.deb
---------------------------------------
new debian package, version 2.0.
size 148876 bytes: control archive=488 bytes.
421 bytes, 13 lines control
106 bytes, 1 lines md5sums
Package: menhir-dbgsym
Source: menhir
Version: 20160526.dfsg-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 678
Depends: menhir (= 20160526.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: ddd175fb35648232f16b87b4c13515e6f9523f76
drwxr-xr-x root/root 0 2016-08-06 08:55 ./
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/lib/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/lib/debug/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/lib/debug/.build-id/dd/
-rw-r--r-- root/root 683344 2016-08-06 08:55 ./usr/lib/debug/.build-id/dd/d175fb35648232f16b87b4c13515e6f9523f76.debug
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/share/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/share/doc/
lrwxrwxrwx root/root 0 2016-08-06 08:55 ./usr/share/doc/menhir-dbgsym -> menhir
menhir_20160526.dfsg-1_armhf.deb
--------------------------------
new debian package, version 2.0.
size 614974 bytes: control archive=2101 bytes.
766 bytes, 19 lines control
4741 bytes, 56 lines md5sums
Package: menhir
Version: 20160526.dfsg-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 2140
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-08-06 08:55 ./
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/bin/
-rwxr-xr-x root/root 2075016 2016-08-06 08:55 ./usr/bin/menhir
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/share/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/share/doc/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/share/doc/menhir/
-rw-r--r-- root/root 2332 2016-08-06 08:55 ./usr/share/doc/menhir/changelog.Debian.gz
-rw-r--r-- root/root 7018 2016-05-26 21:50 ./usr/share/doc/menhir/changelog.gz
-rw-r--r-- root/root 6611 2016-08-06 08:42 ./usr/share/doc/menhir/copyright
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/share/doc/menhir/examples/
-rw-r--r-- root/root 235 2016-05-26 21:50 ./usr/share/doc/menhir/examples/Makefile
drwxr-xr-x root/root 0 2016-08-06 08:27 ./usr/share/doc/menhir/examples/calc-incremental/
-rw-r--r-- root/root 647 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-incremental/Makefile
-rw-r--r-- root/root 133 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-incremental/README
-rw-r--r-- root/root 3144 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-incremental/calc.ml
-rw-r--r-- root/root 1030 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-incremental/lexer.mll
-rw-r--r-- root/root 556 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-incremental/parser.mly
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/share/doc/menhir/examples/calc-inspection/
-rw-r--r-- root/root 640 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-inspection/CalcErrorReporting.ml
-rw-r--r-- root/root 175 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-inspection/CalcErrorReporting.mli
-rw-r--r-- root/root 1406 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-inspection/CalcPrinters.ml
-rw-r--r-- root/root 234 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-inspection/CalcPrinters.mli
-rw-r--r-- root/root 2573 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-inspection/ErrorReporting.ml.gz
-rw-r--r-- root/root 3045 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-inspection/ErrorReporting.mli
-rw-r--r-- root/root 877 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-inspection/Makefile
-rw-r--r-- root/root 163 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-inspection/README
-rw-r--r-- root/root 1773 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-inspection/calc.ml
-rw-r--r-- root/root 1030 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-inspection/lexer.mll
-rw-r--r-- root/root 556 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-inspection/parser.mly
drwxr-xr-x root/root 0 2016-08-06 08:27 ./usr/share/doc/menhir/examples/calc-param/
-rw-r--r-- root/root 430 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-param/Makefile
-rw-r--r-- root/root 357 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-param/README
-rw-r--r-- root/root 72 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-param/_tags
-rw-r--r-- root/root 1135 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-param/calc.ml
-rw-r--r-- root/root 1030 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-param/lexer.mll
-rw-r--r-- root/root 660 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-param/myocamlbuild.ml
-rw-r--r-- root/root 938 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-param/parser.mly
-rw-r--r-- root/root 14 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-param/parser.mlypack
-rw-r--r-- root/root 388 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-param/tokens.mly
-rw-r--r-- root/root 7 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-param/tokens.mlypack
drwxr-xr-x root/root 0 2016-08-06 08:27 ./usr/share/doc/menhir/examples/calc-two/
-rw-r--r-- root/root 540 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-two/Makefile
-rw-r--r-- root/root 631 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-two/README
-rw-r--r-- root/root 190 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-two/_tags
-rw-r--r-- root/root 537 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-two/algebraic.mly
-rw-r--r-- root/root 24 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-two/algebraic.mlypack
-rw-r--r-- root/root 1110 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-two/calc.ml
-rw-r--r-- root/root 191 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-two/common.mly
-rw-r--r-- root/root 1030 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-two/lexer.mll
-rw-r--r-- root/root 792 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-two/myocamlbuild.ml
-rw-r--r-- root/root 468 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-two/reverse.mly
-rw-r--r-- root/root 22 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-two/reverse.mlypack
-rw-r--r-- root/root 151 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-two/tokens.mly
-rw-r--r-- root/root 7 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc-two/tokens.mlypack
drwxr-xr-x root/root 0 2016-08-06 08:27 ./usr/share/doc/menhir/examples/calc/
-rw-r--r-- root/root 428 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc/Makefile
-rw-r--r-- root/root 414 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc/README
-rw-r--r-- root/root 727 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc/calc.ml
-rw-r--r-- root/root 1030 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc/lexer.mll
-rw-r--r-- root/root 556 2016-05-26 21:50 ./usr/share/doc/menhir/examples/calc/parser.mly
-rwxr-xr-x root/root 850 2016-05-26 21:50 ./usr/share/doc/menhir/examples/find-menhir.sh
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/share/doc/menhir/examples/obsolete/
-rw-r--r-- root/root 361 2016-05-26 21:50 ./usr/share/doc/menhir/examples/obsolete/Makefile.auto
-rw-r--r-- root/root 817 2016-05-26 21:50 ./usr/share/doc/menhir/examples/obsolete/Makefile.calc-two
-rw-r--r-- root/root 2766 2016-05-26 21:50 ./usr/share/doc/menhir/examples/obsolete/Makefile.shared.gz
-rwxr-xr-x root/root 3043 2016-05-26 21:50 ./usr/share/doc/menhir/examples/obsolete/ocamldep.wrapper
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/share/man/
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/share/man/man1/
-rw-r--r-- root/root 1368 2016-08-06 08:55 ./usr/share/man/man1/menhir.1.gz
drwxr-xr-x root/root 0 2016-08-06 08:55 ./usr/share/menhir/
-rw-r--r-- root/root 6550 2016-05-26 21:50 ./usr/share/menhir/standard.mly
+------------------------------------------------------------------------------+
| Post Build |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Cleanup |
+------------------------------------------------------------------------------+
Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use
+------------------------------------------------------------------------------+
| Summary |
+------------------------------------------------------------------------------+
Build Architecture: armhf
Build-Space: 54764
Build-Time: 440
Distribution: stretch-staging
Host Architecture: armhf
Install-Time: 293
Job: menhir_20160526.dfsg-1
Machine Architecture: armhf
Package: menhir
Package-Time: 781
Source-Version: 20160526.dfsg-1
Space: 54764
Status: successful
Version: 20160526.dfsg-1
--------------------------------------------------------------------------------
Finished at 20160813-1210
Build needed 00:13:01, 54764k disc space