alt-ergo →
1.30+dfsg1-2 →
armhf → 2018-11-16 06:02:04
sbuild (Debian sbuild) 0.71.0 (24 Aug 2016) on bm-wb-02
+==============================================================================+
| alt-ergo 1.30+dfsg1-2 (armhf) Fri, 16 Nov 2018 05:49:43 +0000 |
+==============================================================================+
Package: alt-ergo
Version: 1.30+dfsg1-2
Source Version: 1.30+dfsg1-2
Distribution: buster-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/buster-staging-armhf-sbuild-0db2b4aa-1c80-4dc8-bd3e-a24df75f918f' with '<<CHROOT>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://172.17.0.1/private buster-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private buster-staging/main Sources [11.2 MB]
Get:3 http://172.17.0.1/private buster-staging/main armhf Packages [12.9 MB]
Fetched 24.1 MB in 29s (830 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: 'alt-ergo' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/alt-ergo.git
Please use:
git clone https://salsa.debian.org/ocaml-team/alt-ergo.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 281 kB of source archives.
Get:1 http://172.17.0.1/private buster-staging/main alt-ergo 1.30+dfsg1-2 (dsc) [2142 B]
Get:2 http://172.17.0.1/private buster-staging/main alt-ergo 1.30+dfsg1-2 (tar) [264 kB]
Get:3 http://172.17.0.1/private buster-staging/main alt-ergo 1.30+dfsg1-2 (diff) [14.8 kB]
Fetched 281 kB in 0s (2289 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/alt-ergo-6Tk2Ta/alt-ergo-1.30+dfsg1' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/alt-ergo-6Tk2Ta' with '<<BUILDDIR>>'
+------------------------------------------------------------------------------+
| Install build-essential |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-qDoOjh/apt_archive/sbuild-build-depends-core-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 1 entries to output Packages file.
gpg: keybox '/<<BUILDDIR>>/resolver-qDoOjh/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-qDoOjh/gpg/trustdb.gpg: trustdb created
gpg: key 35506D9A48F77B2E: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg: imported: 1
gpg: key 35506D9A48F77B2E: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 35506D9A48F77B2E: secret key imported
gpg: Total number processed: 1
gpg: unchanged: 1
gpg: secret keys read: 1
gpg: secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-qDoOjh/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-qDoOjh/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-qDoOjh/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-qDoOjh/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-qDoOjh/apt_archive ./ Packages [433 B]
Fetched 2109 B in 1s (2360 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install core build dependencies (apt-based resolver)
----------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
ca-certificates dbus dbus-user-session e2fsprogs-l10n krb5-locales libexpat1
libgpg-error-l10n libnss-systemd libpam-systemd libperl5.26 libsasl2-modules
libssl1.1 openssl perl-modules-5.26 systemd-sysv
Use 'apt autoremove' to remove them.
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 63 not upgraded.
Need to get 848 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-qDoOjh/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [848 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 848 B in 0s (16.2 kB/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 17652 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Check architectures |
+------------------------------------------------------------------------------+
Arch check ok (armhf included in any)
+------------------------------------------------------------------------------+
| Install package build dependencies |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: debhelper (>= 10), ocaml-nox (>= 3.12.1), ocaml-findlib, libocamlgraph-ocaml-dev (>= 1.8.5~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev, dh-ocaml (>= 0.9.0~)
Filtered Build-Depends: debhelper (>= 10), ocaml-nox (>= 3.12.1), ocaml-findlib, libocamlgraph-ocaml-dev (>= 1.8.5~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev, dh-ocaml (>= 0.9.0~)
dpkg-deb: building package 'sbuild-build-depends-alt-ergo-dummy' in '/<<BUILDDIR>>/resolver-qDoOjh/apt_archive/sbuild-build-depends-alt-ergo-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-alt-ergo-dummy sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-qDoOjh/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-qDoOjh/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-qDoOjh/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-qDoOjh/apt_archive ./ Sources [565 B]
Get:5 copy:/<<BUILDDIR>>/resolver-qDoOjh/apt_archive ./ Packages [648 B]
Fetched 2546 B in 1s (2946 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install alt-ergo build dependencies (apt-based resolver)
--------------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
ca-certificates dbus dbus-user-session e2fsprogs-l10n krb5-locales libexpat1
libgpg-error-l10n libnss-systemd libpam-systemd libperl5.26 libsasl2-modules
libssl1.1 openssl perl-modules-5.26 systemd-sysv
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
autoconf automake autopoint autotools-dev bsdmainutils debhelper
dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base
groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libelf1
libfile-stripnondeterminism-perl libfindlib-ocaml libfreetype6 libglib2.0-0
libgmp-dev libgmp3-dev libgmpxx4ldbl libgraphite2-3 libharfbuzz0b
libicu-le-hb0 libicu60 libmagic-mgc libmagic1 libncurses-dev libncurses5-dev
libncurses6 libncursesw6 libocamlgraph-ocaml-dev libpipeline1 libsigsegv2
libtinfo6 libtool libxml2 libzarith-ocaml libzarith-ocaml-dev libzip-ocaml
libzip-ocaml-dev m4 man-db ocaml-base-nox ocaml-compiler-libs ocaml-findlib
ocaml-interp ocaml-nox ocplib-simplex-ocaml-dev po-debconf zlib1g-dev
Suggested packages:
autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois
vacation dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff
gmp-doc libgmp10-doc libmpfr-dev ncurses-doc libtool-doc gfortran
| fortran95-compiler gcj-jdk m4-doc apparmor less www-browser camlp4
ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl
Recommended packages:
curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info
xdg-user-dirs libgpm2 libltdl-dev libfindlib-ocaml-dev ledit
| readline-editor camlp4 libmail-sendmail-perl
The following NEW packages will be installed:
autoconf automake autopoint autotools-dev bsdmainutils debhelper
dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base
groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libelf1
libfile-stripnondeterminism-perl libfindlib-ocaml libfreetype6 libglib2.0-0
libgmp-dev libgmp3-dev libgmpxx4ldbl libgraphite2-3 libharfbuzz0b
libicu-le-hb0 libicu60 libmagic-mgc libmagic1 libncurses-dev libncurses5-dev
libocamlgraph-ocaml-dev libpipeline1 libsigsegv2 libtool libxml2
libzarith-ocaml libzarith-ocaml-dev libzip-ocaml libzip-ocaml-dev m4 man-db
ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox
ocplib-simplex-ocaml-dev po-debconf sbuild-build-depends-alt-ergo-dummy
zlib1g-dev
The following packages will be upgraded:
libncurses6 libncursesw6 libtinfo6
3 upgraded, 54 newly installed, 0 to remove and 60 not upgraded.
Need to get 71.2 MB/71.7 MB of archives.
After this operation, 290 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-qDoOjh/apt_archive ./ sbuild-build-depends-alt-ergo-dummy 0.invalid.0 [928 B]
Get:2 http://172.17.0.1/private buster-staging/main armhf libbsd0 armhf 0.9.1-1 [104 kB]
Get:3 http://172.17.0.1/private buster-staging/main armhf bsdmainutils armhf 11.1.2 [182 kB]
Get:4 http://172.17.0.1/private buster-staging/main armhf groff-base armhf 1.22.3-10 [1005 kB]
Get:5 http://172.17.0.1/private buster-staging/main armhf libpipeline1 armhf 1.5.0-2 [25.1 kB]
Get:6 http://172.17.0.1/private buster-staging/main armhf man-db armhf 2.8.4-3 [1160 kB]
Get:7 http://172.17.0.1/private buster-staging/main armhf libncurses6 armhf 6.1+20181013-1 [78.3 kB]
Get:8 http://172.17.0.1/private buster-staging/main armhf libtinfo6 armhf 6.1+20181013-1 [311 kB]
Get:9 http://172.17.0.1/private buster-staging/main armhf libncursesw6 armhf 6.1+20181013-1 [103 kB]
Get:10 http://172.17.0.1/private buster-staging/main armhf libmagic-mgc armhf 1:5.34-2 [239 kB]
Get:11 http://172.17.0.1/private buster-staging/main armhf libmagic1 armhf 1:5.34-2 [107 kB]
Get:12 http://172.17.0.1/private buster-staging/main armhf file armhf 1:5.34-2 [65.0 kB]
Get:13 http://172.17.0.1/private buster-staging/main armhf gettext-base armhf 0.19.8.1-8 [117 kB]
Get:14 http://172.17.0.1/private buster-staging/main armhf libsigsegv2 armhf 2.12-2 [32.3 kB]
Get:15 http://172.17.0.1/private buster-staging/main armhf m4 armhf 1.4.18-1 [185 kB]
Get:16 http://172.17.0.1/private buster-staging/main armhf autoconf all 2.69-11 [341 kB]
Get:17 http://172.17.0.1/private buster-staging/main armhf autotools-dev all 20180224.1 [77.0 kB]
Get:18 http://172.17.0.1/private buster-staging/main armhf automake all 1:1.16.1-4 [771 kB]
Get:19 http://172.17.0.1/private buster-staging/main armhf autopoint all 0.19.8.1-9 [434 kB]
Get:20 http://172.17.0.1/private buster-staging/main armhf libtool all 2.4.6-6 [547 kB]
Get:21 http://172.17.0.1/private buster-staging/main armhf dh-autoreconf all 19 [16.9 kB]
Get:22 http://172.17.0.1/private buster-staging/main armhf libarchive-zip-perl all 1.64-1 [96.8 kB]
Get:23 http://172.17.0.1/private buster-staging/main armhf libfile-stripnondeterminism-perl all 0.45.0-1 [20.5 kB]
Get:24 http://172.17.0.1/private buster-staging/main armhf dh-strip-nondeterminism all 0.45.0-1 [12.4 kB]
Get:25 http://172.17.0.1/private buster-staging/main armhf libelf1 armhf 0.170-0.5 [160 kB]
Get:26 http://172.17.0.1/private buster-staging/main armhf dwz armhf 0.12-2 [67.4 kB]
Get:27 http://172.17.0.1/private buster-staging/main armhf libglib2.0-0 armhf 2.58.1-2 [1051 kB]
Get:28 http://172.17.0.1/private buster-staging/main armhf libgraphite2-3 armhf 1.3.12-1 [69.1 kB]
Get:29 http://172.17.0.1/private buster-staging/main armhf libharfbuzz0b armhf 1.9.0-1+rpi1 [877 kB]
Get:30 http://172.17.0.1/private buster-staging/main armhf libicu-le-hb0 armhf 1.0.3+git161113-5 [12.8 kB]
Get:31 http://172.17.0.1/private buster-staging/main armhf libicu60 armhf 60.2-6 [7789 kB]
Get:32 http://172.17.0.1/private buster-staging/main armhf libxml2 armhf 2.9.4+dfsg1-7 [602 kB]
Get:33 http://172.17.0.1/private buster-staging/main armhf gettext armhf 0.19.8.1-8 [1220 kB]
Get:34 http://172.17.0.1/private buster-staging/main armhf intltool-debian all 0.35.0+20060710.4 [26.3 kB]
Get:35 http://172.17.0.1/private buster-staging/main armhf po-debconf all 1.0.20 [247 kB]
Get:36 http://172.17.0.1/private buster-staging/main armhf debhelper all 11.5.3 [1002 kB]
Get:37 http://172.17.0.1/private buster-staging/main armhf dh-ocaml all 1.1.0 [83.3 kB]
Get:38 http://172.17.0.1/private buster-staging/main armhf ocaml-base-nox armhf 4.05.0-10+rpi1 [578 kB]
Get:39 http://172.17.0.1/private buster-staging/main armhf libfindlib-ocaml armhf 1.7.3-2 [164 kB]
Get:40 http://172.17.0.1/private buster-staging/main armhf libgmpxx4ldbl armhf 2:6.1.2+dfsg-3 [21.8 kB]
Get:41 http://172.17.0.1/private buster-staging/main armhf libgmp-dev armhf 2:6.1.2+dfsg-3 [562 kB]
Get:42 http://172.17.0.1/private buster-staging/main armhf libgmp3-dev armhf 2:6.1.2+dfsg-3 [15.5 kB]
Get:43 http://172.17.0.1/private buster-staging/main armhf libncurses-dev armhf 6.1+20181013-1 [278 kB]
Get:44 http://172.17.0.1/private buster-staging/main armhf libncurses5-dev armhf 6.1+20181013-1 [940 B]
Get:45 http://172.17.0.1/private buster-staging/main armhf ocaml-compiler-libs armhf 4.05.0-10+rpi1 [19.2 MB]
Get:46 http://172.17.0.1/private buster-staging/main armhf ocaml-interp armhf 4.05.0-10+rpi1 [3586 kB]
Get:47 http://172.17.0.1/private buster-staging/main armhf ocaml-nox armhf 4.05.0-10+rpi1 [25.2 MB]
Get:48 http://172.17.0.1/private buster-staging/main armhf libocamlgraph-ocaml-dev armhf 1.8.6-1+b4 [1401 kB]
Get:49 http://172.17.0.1/private buster-staging/main armhf libzarith-ocaml armhf 1.7-1 [41.5 kB]
Get:50 http://172.17.0.1/private buster-staging/main armhf libzarith-ocaml-dev armhf 1.7-1 [48.2 kB]
Get:51 http://172.17.0.1/private buster-staging/main armhf libzip-ocaml armhf 1.07-2 [74.3 kB]
Get:52 http://172.17.0.1/private buster-staging/main armhf zlib1g-dev armhf 1:1.2.11.dfsg-1 [206 kB]
Get:53 http://172.17.0.1/private buster-staging/main armhf libzip-ocaml-dev armhf 1.07-2 [48.5 kB]
Get:54 http://172.17.0.1/private buster-staging/main armhf ocaml-findlib armhf 1.7.3-2 [314 kB]
Get:55 http://172.17.0.1/private buster-staging/main armhf ocplib-simplex-ocaml-dev armhf 0.4-1+b1 [257 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 71.2 MB in 8s (8486 kB/s)
Selecting previously unselected package libbsd0:armhf.
(Reading database ... 17652 files and directories currently installed.)
Preparing to unpack .../0-libbsd0_0.9.1-1_armhf.deb ...
Unpacking libbsd0:armhf (0.9.1-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../1-bsdmainutils_11.1.2_armhf.deb ...
Unpacking bsdmainutils (11.1.2) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../2-groff-base_1.22.3-10_armhf.deb ...
Unpacking groff-base (1.22.3-10) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../3-libpipeline1_1.5.0-2_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.0-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../4-man-db_2.8.4-3_armhf.deb ...
Unpacking man-db (2.8.4-3) ...
Preparing to unpack .../5-libncurses6_6.1+20181013-1_armhf.deb ...
Unpacking libncurses6:armhf (6.1+20181013-1) over (6.1+20180714-1) ...
Preparing to unpack .../6-libtinfo6_6.1+20181013-1_armhf.deb ...
Unpacking libtinfo6:armhf (6.1+20181013-1) over (6.1+20180714-1) ...
Setting up libtinfo6:armhf (6.1+20181013-1) ...
(Reading database ... 18265 files and directories currently installed.)
Preparing to unpack .../libncursesw6_6.1+20181013-1_armhf.deb ...
Unpacking libncursesw6:armhf (6.1+20181013-1) over (6.1+20180714-1) ...
Setting up libncursesw6:armhf (6.1+20181013-1) ...
Selecting previously unselected package libmagic-mgc.
(Reading database ... 18265 files and directories currently installed.)
Preparing to unpack .../00-libmagic-mgc_1%3a5.34-2_armhf.deb ...
Unpacking libmagic-mgc (1:5.34-2) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../01-libmagic1_1%3a5.34-2_armhf.deb ...
Unpacking libmagic1:armhf (1:5.34-2) ...
Selecting previously unselected package file.
Preparing to unpack .../02-file_1%3a5.34-2_armhf.deb ...
Unpacking file (1:5.34-2) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../03-gettext-base_0.19.8.1-8_armhf.deb ...
Unpacking gettext-base (0.19.8.1-8) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../04-libsigsegv2_2.12-2_armhf.deb ...
Unpacking libsigsegv2:armhf (2.12-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../05-m4_1.4.18-1_armhf.deb ...
Unpacking m4 (1.4.18-1) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../06-autoconf_2.69-11_all.deb ...
Unpacking autoconf (2.69-11) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../07-autotools-dev_20180224.1_all.deb ...
Unpacking autotools-dev (20180224.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../08-automake_1%3a1.16.1-4_all.deb ...
Unpacking automake (1:1.16.1-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../09-autopoint_0.19.8.1-9_all.deb ...
Unpacking autopoint (0.19.8.1-9) ...
Selecting previously unselected package libtool.
Preparing to unpack .../10-libtool_2.4.6-6_all.deb ...
Unpacking libtool (2.4.6-6) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../11-dh-autoreconf_19_all.deb ...
Unpacking dh-autoreconf (19) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../12-libarchive-zip-perl_1.64-1_all.deb ...
Unpacking libarchive-zip-perl (1.64-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../13-libfile-stripnondeterminism-perl_0.45.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (0.45.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../14-dh-strip-nondeterminism_0.45.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (0.45.0-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../15-libelf1_0.170-0.5_armhf.deb ...
Unpacking libelf1:armhf (0.170-0.5) ...
Selecting previously unselected package dwz.
Preparing to unpack .../16-dwz_0.12-2_armhf.deb ...
Unpacking dwz (0.12-2) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../17-libglib2.0-0_2.58.1-2_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.58.1-2) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../18-libfreetype6_2.8.1-2_armhf.deb ...
Unpacking libfreetype6:armhf (2.8.1-2) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../19-libgraphite2-3_1.3.12-1_armhf.deb ...
Unpacking libgraphite2-3:armhf (1.3.12-1) ...
Selecting previously unselected package libharfbuzz0b:armhf.
Preparing to unpack .../20-libharfbuzz0b_1.9.0-1+rpi1_armhf.deb ...
Unpacking libharfbuzz0b:armhf (1.9.0-1+rpi1) ...
Selecting previously unselected package libicu-le-hb0:armhf.
Preparing to unpack .../21-libicu-le-hb0_1.0.3+git161113-5_armhf.deb ...
Unpacking libicu-le-hb0:armhf (1.0.3+git161113-5) ...
Selecting previously unselected package libicu60:armhf.
Preparing to unpack .../22-libicu60_60.2-6_armhf.deb ...
Unpacking libicu60:armhf (60.2-6) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../23-libxml2_2.9.4+dfsg1-7_armhf.deb ...
Unpacking libxml2:armhf (2.9.4+dfsg1-7) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../24-libcroco3_0.6.12-2_armhf.deb ...
Unpacking libcroco3:armhf (0.6.12-2) ...
Selecting previously unselected package gettext.
Preparing to unpack .../25-gettext_0.19.8.1-8_armhf.deb ...
Unpacking gettext (0.19.8.1-8) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../26-intltool-debian_0.35.0+20060710.4_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.4) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../27-po-debconf_1.0.20_all.deb ...
Unpacking po-debconf (1.0.20) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../28-debhelper_11.5.3_all.deb ...
Unpacking debhelper (11.5.3) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../29-dh-ocaml_1.1.0_all.deb ...
Unpacking dh-ocaml (1.1.0) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../30-ocaml-base-nox_4.05.0-10+rpi1_armhf.deb ...
Unpacking ocaml-base-nox (4.05.0-10+rpi1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../31-libfindlib-ocaml_1.7.3-2_armhf.deb ...
Unpacking libfindlib-ocaml (1.7.3-2) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../32-libgmpxx4ldbl_2%3a6.1.2+dfsg-3_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.1.2+dfsg-3) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../33-libgmp-dev_2%3a6.1.2+dfsg-3_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.1.2+dfsg-3) ...
Selecting previously unselected package libgmp3-dev.
Preparing to unpack .../34-libgmp3-dev_2%3a6.1.2+dfsg-3_armhf.deb ...
Unpacking libgmp3-dev (2:6.1.2+dfsg-3) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../35-libncurses-dev_6.1+20181013-1_armhf.deb ...
Unpacking libncurses-dev:armhf (6.1+20181013-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../36-libncurses5-dev_6.1+20181013-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.1+20181013-1) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../37-ocaml-compiler-libs_4.05.0-10+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.05.0-10+rpi1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../38-ocaml-interp_4.05.0-10+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.05.0-10+rpi1) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../39-ocaml-nox_4.05.0-10+rpi1_armhf.deb ...
Unpacking ocaml-nox (4.05.0-10+rpi1) ...
Selecting previously unselected package libocamlgraph-ocaml-dev.
Preparing to unpack .../40-libocamlgraph-ocaml-dev_1.8.6-1+b4_armhf.deb ...
Unpacking libocamlgraph-ocaml-dev (1.8.6-1+b4) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../41-libzarith-ocaml_1.7-1_armhf.deb ...
Unpacking libzarith-ocaml (1.7-1) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../42-libzarith-ocaml-dev_1.7-1_armhf.deb ...
Unpacking libzarith-ocaml-dev (1.7-1) ...
Selecting previously unselected package libzip-ocaml.
Preparing to unpack .../43-libzip-ocaml_1.07-2_armhf.deb ...
Unpacking libzip-ocaml (1.07-2) ...
Selecting previously unselected package zlib1g-dev:armhf.
Preparing to unpack .../44-zlib1g-dev_1%3a1.2.11.dfsg-1_armhf.deb ...
Unpacking zlib1g-dev:armhf (1:1.2.11.dfsg-1) ...
Selecting previously unselected package libzip-ocaml-dev.
Preparing to unpack .../45-libzip-ocaml-dev_1.07-2_armhf.deb ...
Unpacking libzip-ocaml-dev (1.07-2) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../46-ocaml-findlib_1.7.3-2_armhf.deb ...
Unpacking ocaml-findlib (1.7.3-2) ...
Selecting previously unselected package ocplib-simplex-ocaml-dev.
Preparing to unpack .../47-ocplib-simplex-ocaml-dev_0.4-1+b1_armhf.deb ...
Unpacking ocplib-simplex-ocaml-dev (0.4-1+b1) ...
Selecting previously unselected package sbuild-build-depends-alt-ergo-dummy.
Preparing to unpack .../48-sbuild-build-depends-alt-ergo-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ...
Setting up libarchive-zip-perl (1.64-1) ...
Setting up libsigsegv2:armhf (2.12-2) ...
Setting up libelf1:armhf (0.170-0.5) ...
Setting up groff-base (1.22.3-10) ...
Setting up libglib2.0-0:armhf (2.58.1-2) ...
No schema files found: removed existing output file.
Setting up ocaml-base-nox (4.05.0-10+rpi1) ...
Setting up dh-ocaml (1.1.0) ...
Setting up gettext-base (0.19.8.1-8) ...
Setting up libpipeline1:armhf (1.5.0-2) ...
Setting up m4 (1.4.18-1) ...
Setting up ocplib-simplex-ocaml-dev (0.4-1+b1) ...
Setting up libbsd0:armhf (0.9.1-1) ...
Setting up libfreetype6:armhf (2.8.1-2) ...
Setting up libmagic-mgc (1:5.34-2) ...
Setting up libmagic1:armhf (1:5.34-2) ...
Setting up libgraphite2-3:armhf (1.3.12-1) ...
Processing triggers for libc-bin (2.27-6+rpi1) ...
Setting up dwz (0.12-2) ...
Setting up autotools-dev (20180224.1) ...
Setting up libzarith-ocaml (1.7-1) ...
Setting up bsdmainutils (11.1.2) ...
update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode
update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode
Setting up libgmpxx4ldbl:armhf (2:6.1.2+dfsg-3) ...
Setting up libzip-ocaml (1.07-2) ...
Setting up libncurses6:armhf (6.1+20181013-1) ...
Setting up libfindlib-ocaml (1.7.3-2) ...
Setting up ocaml-findlib (1.7.3-2) ...
Setting up autopoint (0.19.8.1-9) ...
Setting up zlib1g-dev:armhf (1:1.2.11.dfsg-1) ...
Setting up libfile-stripnondeterminism-perl (0.45.0-1) ...
Setting up libgmp-dev:armhf (2:6.1.2+dfsg-3) ...
Setting up libharfbuzz0b:armhf (1.9.0-1+rpi1) ...
Setting up autoconf (2.69-11) ...
Setting up file (1:5.34-2) ...
Setting up automake (1:1.16.1-4) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up man-db (2.8.4-3) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libncurses-dev:armhf (6.1+20181013-1) ...
Setting up libgmp3-dev (2:6.1.2+dfsg-3) ...
Setting up libtool (2.4.6-6) ...
Setting up libncurses5-dev:armhf (6.1+20181013-1) ...
Setting up ocaml-compiler-libs (4.05.0-10+rpi1) ...
Setting up dh-autoreconf (19) ...
Setting up libicu-le-hb0:armhf (1.0.3+git161113-5) ...
Setting up ocaml-interp (4.05.0-10+rpi1) ...
Setting up dh-strip-nondeterminism (0.45.0-1) ...
Setting up libicu60:armhf (60.2-6) ...
Setting up ocaml-nox (4.05.0-10+rpi1) ...
Setting up libocamlgraph-ocaml-dev (1.8.6-1+b4) ...
Setting up libzip-ocaml-dev (1.07-2) ...
Setting up libxml2:armhf (2.9.4+dfsg1-7) ...
Setting up libcroco3:armhf (0.6.12-2) ...
Setting up libzarith-ocaml-dev (1.7-1) ...
Setting up gettext (0.19.8.1-8) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up po-debconf (1.0.20) ...
Setting up debhelper (11.5.3) ...
Setting up sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.27-6+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.9.0-0.bpo.6-armmp armhf (armv7l)
Toolchain package versions: binutils_2.31.1-6+rpi1 dpkg-dev_1.19.0.5 g++-8_8.2.0-7+rpi1 gcc-8_8.2.0-7+rpi1 libc6-dev_2.27-6+rpi1 libstdc++-8-dev_8.2.0-7+rpi1 libstdc++6_8.2.0-7+rpi1 linux-libc-dev_4.16.16-2+rpi1
Package versions: adduser_3.118 apt_1.7.0 autoconf_2.69-11 automake_1:1.16.1-4 autopoint_0.19.8.1-9 autotools-dev_20180224.1 base-files_10.1+rpi1 base-passwd_3.5.45 bash_4.4.18-3.1 binutils_2.31.1-6+rpi1 binutils-arm-linux-gnueabihf_2.31.1-6+rpi1 binutils-common_2.31.1-6+rpi1 bsdmainutils_11.1.2 bsdutils_1:2.32.1-0.1 build-essential_12.5 bzip2_1.0.6-9 ca-certificates_20170717 coreutils_8.30-1 cpio_2.12+dfsg-6 cpp_4:8.1.0-1+rpi1 cpp-8_8.2.0-7+rpi1 dash_0.5.10.2-1 dbus_1.12.10-1 dbus-user-session_1.12.10-1 debconf_1.5.69 debhelper_11.5.3 debianutils_4.8.6 dh-autoreconf_19 dh-ocaml_1.1.0 dh-strip-nondeterminism_0.45.0-1 diffutils_1:3.6-1 dirmngr_2.2.10-3+rpi1 dmsetup_2:1.02.145-4.1+b4 dpkg_1.19.0.5 dpkg-dev_1.19.0.5 dwz_0.12-2 e2fslibs_1.44.4-2 e2fsprogs_1.44.4-2 e2fsprogs-l10n_1.44.4-2 fakeroot_1.23-1 fdisk_2.32.1-0.1 file_1:5.34-2 findutils_4.6.0+git+20181018-1 g++_4:8.1.0-1+rpi1 g++-8_8.2.0-7+rpi1 gcc_4:8.1.0-1+rpi1 gcc-4.6-base_4.6.4-5+rpi1 gcc-4.7-base_4.7.3-11+rpi1 gcc-4.8-base_4.8.5-4 gcc-4.9-base_4.9.4-2+rpi1+b19 gcc-5-base_5.5.0-8 gcc-8_8.2.0-7+rpi1 gcc-8-base_8.2.0-7+rpi1 gettext_0.19.8.1-8 gettext-base_0.19.8.1-8 gnupg_2.2.10-3+rpi1 gnupg-agent_2.2.10-3+rpi1 gnupg-l10n_2.2.10-3+rpi1 gnupg-utils_2.2.10-3+rpi1 gpg_2.2.10-3+rpi1 gpg-agent_2.2.10-3+rpi1 gpg-wks-client_2.2.10-3+rpi1 gpg-wks-server_2.2.10-3+rpi1 gpgconf_2.2.10-3+rpi1 gpgsm_2.2.10-3+rpi1 gpgv_2.2.10-3+rpi1 grep_3.1-2 groff-base_1.22.3-10 gzip_1.9-2.1 hostname_3.21 inetutils-ping_2:1.9.4-5 init-system-helpers_1.54 initramfs-tools_0.132 initramfs-tools-core_0.132 intltool-debian_0.35.0+20060710.4 klibc-utils_2.0.4-14+rpi1 kmod_25-1 krb5-locales_1.16.1-1 libacl1_2.2.52-3 libapparmor1_2.13.1-3 libapt-pkg5.0_1.7.0 libarchive-zip-perl_1.64-1 libargon2-1_0~20171227-0.1 libasan5_8.2.0-7+rpi1 libassuan0_2.5.1-2 libatomic1_8.2.0-7+rpi1 libattr1_1:2.4.47-2 libaudit-common_1:2.8.4-2 libaudit1_1:2.8.4-2 libbinutils_2.31.1-6+rpi1 libblkid1_2.32.1-0.1 libbsd0_0.9.1-1 libbz2-1.0_1.0.6-9 libc-bin_2.27-6+rpi1 libc-dev-bin_2.27-6+rpi1 libc6_2.27-6+rpi1 libc6-dev_2.27-6+rpi1 libcap-ng0_0.7.9-1 libcap2_1:2.25-1.2 libcc1-0_8.2.0-7+rpi1 libcom-err2_1.44.4-2 libcroco3_0.6.12-2 libcryptsetup12_2:2.0.5-1 libcryptsetup4_2:1.7.5-1 libdb5.3_5.3.28+dfsg1-0.2 libdbus-1-3_1.12.10-1 libdebconfclient0_0.245 libdevmapper1.02.1_2:1.02.145-4.1+b4 libdpkg-perl_1.19.0.5 libdrm-common_2.4.94-1+rpi1 libdrm2_2.4.94-1+rpi1 libelf1_0.170-0.5 libexpat1_2.2.6-1 libext2fs2_1.44.4-2 libfakeroot_1.23-1 libfdisk1_2.32.1-0.1 libffi6_3.2.1-8 libfile-stripnondeterminism-perl_0.45.0-1 libfindlib-ocaml_1.7.3-2 libfreetype6_2.8.1-2 libgcc-8-dev_8.2.0-7+rpi1 libgcc1_1:8.2.0-7+rpi1 libgcrypt20_1.8.4-3 libgdbm-compat4_1.18-2 libgdbm3_1.8.3-14 libgdbm6_1.18-2 libglib2.0-0_2.58.1-2 libgmp-dev_2:6.1.2+dfsg-3 libgmp10_2:6.1.2+dfsg-3 libgmp3-dev_2:6.1.2+dfsg-3 libgmpxx4ldbl_2:6.1.2+dfsg-3 libgnutls30_3.5.19-1 libgomp1_8.2.0-7+rpi1 libgpg-error-l10n_1.32-3 libgpg-error0_1.32-3 libgraphite2-3_1.3.12-1 libgssapi-krb5-2_1.16.1-1 libharfbuzz0b_1.9.0-1+rpi1 libhogweed4_3.4-1 libicu-le-hb0_1.0.3+git161113-5 libicu60_60.2-6 libidn11_1.33-2.2 libidn2-0_2.0.5-1 libip4tc0_1.6.2-1.1 libisl19_0.20-2 libjson-c3_0.12.1-1.3 libk5crypto3_1.16.1-1 libkeyutils1_1.5.9-9.3 libklibc_2.0.4-14+rpi1 libkmod2_25-1 libkrb5-3_1.16.1-1 libkrb5support0_1.16.1-1 libksba8_1.3.5-2 libldap-2.4-2_2.4.46+dfsg-5+rpi1 libldap-common_2.4.46+dfsg-5+rpi1 liblz4-1_1.8.2-1+rpi1 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.34-2 libmagic1_1:5.34-2 libmount1_2.32.1-0.1 libmpc3_1.1.0-1 libmpfr6_4.0.1-1 libncurses-dev_6.1+20181013-1 libncurses5_6.1+20180714-1 libncurses5-dev_6.1+20181013-1 libncurses6_6.1+20181013-1 libncursesw5_6.1+20180714-1 libncursesw6_6.1+20181013-1 libnettle6_3.4-1 libnpth0_1.6-1 libnss-systemd_239-10+rpi1 libocamlgraph-ocaml-dev_1.8.6-1+b4 libp11-kit0_0.23.14-2 libpam-modules_1.1.8-3.8 libpam-modules-bin_1.1.8-3.8 libpam-runtime_1.1.8-3.8 libpam-systemd_239-10+rpi1 libpam0g_1.1.8-3.8 libpcre3_2:8.39-11+rpi1 libperl5.24_5.24.1-7 libperl5.26_5.26.2-7+b1 libperl5.28_5.28.0-3 libpipeline1_1.5.0-2 libplymouth4_0.9.3-3 libpng16-16_1.6.34-2+rpi1 libprocps7_2:3.3.15-2 libreadline7_7.0-5 libsasl2-2_2.1.27~rc8-1 libsasl2-modules_2.1.27~rc8-1 libsasl2-modules-db_2.1.27~rc8-1 libseccomp2_2.3.3-3 libselinux1_2.8-1 libsemanage-common_2.8-1 libsemanage1_2.8-1 libsepol1_2.8-1 libsigsegv2_2.12-2 libsmartcols1_2.32.1-0.1 libsqlite3-0_3.25.2-1 libss2_1.44.4-2 libssl1.1_1.1.0h-4 libstdc++-8-dev_8.2.0-7+rpi1 libstdc++6_8.2.0-7+rpi1 libsystemd0_239-10+rpi1 libtasn1-6_4.13-3 libtinfo5_6.1+20180714-1 libtinfo6_6.1+20181013-1 libtool_2.4.6-6 libubsan1_8.2.0-7+rpi1 libudev1_239-10+rpi1 libunistring2_0.9.10-1 libustr-1.0-1_1.0.4-6 libuuid1_2.32.1-0.1 libxml2_2.9.4+dfsg1-7 libzarith-ocaml_1.7-1 libzarith-ocaml-dev_1.7-1 libzip-ocaml_1.07-2 libzip-ocaml-dev_1.07-2 libzstd1_1.3.5+dfsg-1+rpi1 linux-base_4.5 linux-libc-dev_4.16.16-2+rpi1 login_1:4.5-1.1 lsb-base_9.20170808+rpi1 m4_1.4.18-1 make_4.2.1-1.2 makedev_2.3.1-94 man-db_2.8.4-3 mawk_1.3.3-17 mount_2.32.1-0.1 multiarch-support_2.27-6+rpi1 nano_3.1-1 ncurses-base_6.1+20180714-1 ncurses-bin_6.1+20180714-1 netbase_5.4 ocaml-base-nox_4.05.0-10+rpi1 ocaml-compiler-libs_4.05.0-10+rpi1 ocaml-findlib_1.7.3-2 ocaml-interp_4.05.0-10+rpi1 ocaml-nox_4.05.0-10+rpi1 ocplib-simplex-ocaml-dev_0.4-1+b1 openssl_1.1.0h-4 passwd_1:4.5-1.1 patch_2.7.6-3 perl_5.28.0-3 perl-base_5.28.0-3 perl-modules-5.24_5.24.1-7 perl-modules-5.26_5.26.2-7 perl-modules-5.28_5.28.0-3 pinentry-curses_1.1.0-1 plymouth_0.9.3-3 po-debconf_1.0.20 procps_2:3.3.15-2 raspbian-archive-keyring_20120528.2 readline-common_7.0-5 sbuild-build-depends-alt-ergo-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.5-1 sensible-utils_0.0.12 systemd_239-10+rpi1 systemd-sysv_239-10+rpi1 sysvinit-utils_2.88dsf-59.10 tar_1.30+dfsg-2 tzdata_2018e-1 udev_239-10+rpi1 util-linux_2.32.1-0.1 xz-utils_5.2.2-1.3 zlib1g_1:1.2.11.dfsg-1 zlib1g-dev_1:1.2.11.dfsg-1
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error
gpgv: Signature made Tue Nov 13 19:52:49 2018 UTC
gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./alt-ergo_1.30+dfsg1-2.dsc
dpkg-source: info: extracting alt-ergo in /<<BUILDDIR>>/alt-ergo-1.30+dfsg1
dpkg-source: info: unpacking alt-ergo_1.30+dfsg1.orig.tar.gz
dpkg-source: info: unpacking alt-ergo_1.30+dfsg1-2.debian.tar.xz
dpkg-source: info: applying ocplib-simplex-0.4
dpkg-source: info: applying 0001-dont-activate-debug-flag
dpkg-source: info: applying 0002-non-free-dropped
dpkg-source: info: applying 0003-allow-set-build-date
dpkg-source: info: applying spelling
Check disc space
----------------
Sufficient free space for build
User Environment
----------------
APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=buster-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=buster-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=buster-staging-armhf-sbuild-0db2b4aa-1c80-4dc8-bd3e-a24df75f918f
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=linux
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package alt-ergo
dpkg-buildpackage: info: source version 1.30+dfsg1-2
dpkg-buildpackage: info: source distribution unstable
dpkg-source --before-build alt-ergo-1.30+dfsg1
dpkg-buildpackage: info: host architecture armhf
fakeroot debian/rules clean
dh clean --with ocaml
debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<BUILDDIR>>/alt-ergo-1.30+dfsg1'
if [ -f config.status ]; then \
/usr/bin/make dist-clean; \
fi
make[1]: Leaving directory '/<<BUILDDIR>>/alt-ergo-1.30+dfsg1'
dh_ocamlclean
dh_clean
debian/rules build-arch
dh build-arch --with ocaml
dh_update_autotools_config -a
dh_autoreconf -a
aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in'
dh_ocamlinit -a
dh_auto_configure -a
./configure --build=arm-linux-gnueabihf --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-silent-rules --libdir=\${prefix}/lib/arm-linux-gnueabihf --libexecdir=\${prefix}/lib/arm-linux-gnueabihf --disable-maintainer-mode --disable-dependency-tracking
configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode, --disable-dependency-tracking
checking for ocp-ocamlc... no
checking for ocamlc... ocamlc
ocaml version is 4.05.0
ocaml library path is /usr/lib/ocaml
checking for ocamlfind... yes
ocamlfind found zarith in -I /usr/lib/ocaml/zarith
ocamlfind found camlzip in -I /usr/lib/ocaml/camlzip/../zip
ocamlfind found ocplib-simplex in -I /usr/lib/ocaml/ocplib-simplex
checking for ocp-ocamlopt... no
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocp-ocamlc.opt... no
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocp-ocamlopt.opt... no
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version... ok
checking for ocamldep... ocamldep
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
ocamlfind: Package `lablgtk2.sourceview2' not found
checking for /usr/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
checking for ocamlweb... true
checking platform... configure: creating ./config.status
config.status: creating Makefile.configurable
config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting
configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode, --disable-dependency-tracking
debian/rules override_dh_auto_build
make[1]: Entering directory '/<<BUILDDIR>>/alt-ergo-1.30+dfsg1'
/usr/bin/make all BUILD_DATE="November 13, 2018"
make[2]: Entering directory '/<<BUILDDIR>>/alt-ergo-1.30+dfsg1'
ocamlyacc -v src/parsing/why_parser.mly
ocamllex.opt src/parsing/why_lexer.mll > /dev/null
ocamldep -slash -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/*.ml* src/structures/*.ml* src/theories/*.ml* src/instances/*.ml* src/sat/*.ml* src/preprocess/*.ml* src/parsing/*.ml* src/gui/*.ml* src/main/*.ml* > .depend
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/config.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/version.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/version.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/emap.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/emap.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/myUnix.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/myUnix.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/myDynlink.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/myDynlink.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/myZip.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/myZip.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/util.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/util.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/lists.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/lists.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/numbersInterface.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/numsNumbers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/numsNumbers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/zarithNumbers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/zarithNumbers.ml
File "/<<BUILDDIR>>/alt-ergo-1.30+dfsg1/_none_", line 1:
Warning 58: no cmx file was found in path for module Q, and its interface was not compiled with -opaque
File "/<<BUILDDIR>>/alt-ergo-1.30+dfsg1/_none_", line 1:
Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/numbers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/numbers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/timers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/timers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/options.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/options.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/gc_debug.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/gc_debug.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/loc.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/loc.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hashcons.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hashcons.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hstring.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hstring.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/ty.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/ty.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/symbols.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/symbols.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/term.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/term.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/literal.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/literal.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/formula.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/formula.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/explanation.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/explanation.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/exception.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/exception.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/parsed.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/parsed.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/typed.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/typed.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/errors.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/errors.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/profiling_default.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/profiling_default.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/profiling.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/profiling.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/why_parser.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/why_parser.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/why_lexer.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/existantial.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/existantial.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/triggers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/triggers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/why_typing.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/why_typing.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/commands.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/cnf.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/cnf.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/sig.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/instances/matching.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/instances/matching.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/use.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/use.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/ac.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/ac.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/uf.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/uf.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/sum.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/sum.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/records.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/records.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/polynome.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/polynome.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/bitv.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/bitv.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arrays.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arrays.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/intervals.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/intervals.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/inequalities.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/inequalities.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/intervalCalculus.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/intervalCalculus.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arith.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arith.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/combine.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/combine.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/ccx.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/ccx.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/theory.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/theory.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/instances/instances.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/instances/instances.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/sat/sat_solvers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/sat/sat_solvers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/frontend.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/frontend.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/main_text.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/main_text.ml
ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/camlzip/../zip -I /usr/lib/ocaml/ocplib-simplex -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -o alt-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa src/util/config.cmx src/util/version.cmx src/util/emap.cmx src/util/myUnix.cmx src/util/myDynlink.cmx src/util/myZip.cmx src/util/util.cmx src/util/lists.cmx src/util/numsNumbers.cmx src/util/zarithNumbers.cmx src/util/numbers.cmx src/util/timers.cmx src/util/options.cmx src/util/gc_debug.cmx src/util/loc.cmx src/util/hashcons.cmx src/util/hstring.cmx src/structures/exception.cmx src/structures/symbols.cmx src/structures/ty.cmx src/structures/parsed.cmx src/structures/typed.cmx src/structures/term.cmx src/structures/literal.cmx src/structures/formula.cmx src/structures/explanation.cmx src/structures/errors.cmx src/util/profiling_default.cmx src/util/profiling.cmx src/parsing/why_parser.cmx src/parsing/why_lexer.cmx src/preprocess/existantial.cmx src/preprocess/triggers.cmx src/preprocess/why_typing.cmx src/preprocess/cnf.cmx src/instances/matching.cmx src/instances/instances.cmx src/theories/polynome.cmx src/theories/ac.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/intervals.cmx src/theories/inequalities.cmx src/theories/intervalCalculus.cmx src/theories/arith.cmx src/theories/records.cmx src/theories/bitv.cmx src/theories/arrays.cmx src/theories/sum.cmx src/theories/combine.cmx src/theories/ccx.cmx src/theories/theory.cmx src/sat/sat_solvers.cmx src/main/frontend.cmx src/main/main_text.cmx
make[2]: Leaving directory '/<<BUILDDIR>>/alt-ergo-1.30+dfsg1'
make[1]: Leaving directory '/<<BUILDDIR>>/alt-ergo-1.30+dfsg1'
dh_auto_test -a
create-stamp debian/debhelper-build-stamp
fakeroot debian/rules binary-arch
dh binary-arch --with ocaml
dh_testroot -a
dh_prep -a
debian/rules override_dh_auto_install
make[1]: Entering directory '/<<BUILDDIR>>/alt-ergo-1.30+dfsg1'
/usr/bin/make DESTDIR=debian/tmp install
make[2]: Entering directory '/<<BUILDDIR>>/alt-ergo-1.30+dfsg1'
mkdir -p debian/tmp/usr/share/man/man1
cp -f doc/*.1 debian/tmp/usr/share/man/man1
mkdir -p debian/tmp/usr/bin
cp -f alt-ergo.opt debian/tmp/usr/bin/alt-ergo
make[2]: Leaving directory '/<<BUILDDIR>>/alt-ergo-1.30+dfsg1'
make[1]: Leaving directory '/<<BUILDDIR>>/alt-ergo-1.30+dfsg1'
dh_install -a
dh_ocamldoc -a
dh_installdocs -a
dh_installchangelogs -a
dh_installexamples -a
dh_installman -a
dh_perl -a
dh_link -a
dh_strip_nondeterminism -a
dh_compress -a
dh_fixperms -a
dh_missing -a
dh_strip -a
dh_makeshlibs -a
dh_shlibdeps -a
dh_installdeb -a
dh_ocaml -a
dh_gencontrol -a
dpkg-gencontrol: warning: Depends field of package alt-ergo: unknown substitution variable ${ocaml:Depends}
dpkg-gencontrol: warning: Depends field of package alt-ergo: unknown substitution variable ${ocaml:Depends}
dh_md5sums -a
dh_builddeb -a
dpkg-deb: building package 'alt-ergo' in '../alt-ergo_1.30+dfsg1-2_armhf.deb'.
dpkg-deb: building package 'alt-ergo-dbgsym' in '../alt-ergo-dbgsym_1.30+dfsg1-2_armhf.deb'.
dpkg-genbuildinfo --build=any
dpkg-genchanges --build=any -mRaspbian wandboard test autobuilder <root@raspbian.org> >../alt-ergo_1.30+dfsg1-2_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build alt-ergo-1.30+dfsg1
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2018-11-16T06:01:57Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
alt-ergo_1.30+dfsg1-2_armhf.changes:
------------------------------------
Format: 1.8
Date: Tue, 13 Nov 2018 20:43:44 +0100
Source: alt-ergo
Binary: alt-ergo
Architecture: armhf
Version: 1.30+dfsg1-2
Distribution: buster-staging
Urgency: medium
Maintainer: Raspbian wandboard test autobuilder <root@raspbian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
alt-ergo - Automatic theorem prover dedicated to program verification
Changes:
alt-ergo (1.30+dfsg1-2) unstable; urgency=medium
.
* Since lablgtk2 does no longer build liblablgtksourceview2-ocaml-dev:
- d/rules: stop building gui
- drop build-dependencies on liblablgtk2-gnome-ocaml-dev and
liblablgtksourceview2-ocaml-dev
- drop mention of gui from the package description
- added d/NEWS entry about this
* Vcs-{Browser,Git}: switch to salsa
* d/watch: minor fix
* Standards-Version 4.2.1 (no change)
Checksums-Sha1:
7342d96f844e50b990c178d51c8969a76a45983f 189860 alt-ergo-dbgsym_1.30+dfsg1-2_armhf.deb
55654e67e49aec301a5d80edbfcef2b94ee39a94 5278 alt-ergo_1.30+dfsg1-2_armhf.buildinfo
7f9ca3d41bb72e55c924ed2903c863e558780f82 1185884 alt-ergo_1.30+dfsg1-2_armhf.deb
Checksums-Sha256:
e90217e62de77f9024415ba30ace1c5295ee606df4023b2765b3fb3043dcfa40 189860 alt-ergo-dbgsym_1.30+dfsg1-2_armhf.deb
c66c0eb3c4cc70525e175c1e5ce2ecffee93a6aa05f0ed33c34794bc95acfd61 5278 alt-ergo_1.30+dfsg1-2_armhf.buildinfo
5fc761bfacd0dd354dd829ea118ee2e4bb88841a9bcefc152bd7e06aebb2c3e4 1185884 alt-ergo_1.30+dfsg1-2_armhf.deb
Files:
47c5e685f7082b4e134483410cb9c16d 189860 debug optional alt-ergo-dbgsym_1.30+dfsg1-2_armhf.deb
f6595ed1c88fcf5b275b6d0a8d0c773e 5278 math optional alt-ergo_1.30+dfsg1-2_armhf.buildinfo
3e07f794b99510000269163798734ddf 1185884 math optional alt-ergo_1.30+dfsg1-2_armhf.deb
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
alt-ergo-dbgsym_1.30+dfsg1-2_armhf.deb
--------------------------------------
new Debian package, version 2.0.
size 189860 bytes: control archive=528 bytes.
374 bytes, 12 lines control
106 bytes, 1 lines md5sums
Package: alt-ergo-dbgsym
Source: alt-ergo
Version: 1.30+dfsg1-2
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 875
Depends: alt-ergo (= 1.30+dfsg1-2)
Section: debug
Priority: optional
Description: debug symbols for alt-ergo
Build-Ids: c222539a8ccbf51847eada84afc9da9276448ee6
drwxr-xr-x root/root 0 2018-11-13 19:43 ./
drwxr-xr-x root/root 0 2018-11-13 19:43 ./usr/
drwxr-xr-x root/root 0 2018-11-13 19:43 ./usr/lib/
drwxr-xr-x root/root 0 2018-11-13 19:43 ./usr/lib/debug/
drwxr-xr-x root/root 0 2018-11-13 19:43 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2018-11-13 19:43 ./usr/lib/debug/.build-id/c2/
-rw-r--r-- root/root 885244 2018-11-13 19:43 ./usr/lib/debug/.build-id/c2/22539a8ccbf51847eada84afc9da9276448ee6.debug
drwxr-xr-x root/root 0 2018-11-13 19:43 ./usr/share/
drwxr-xr-x root/root 0 2018-11-13 19:43 ./usr/share/doc/
lrwxrwxrwx root/root 0 2018-11-13 19:43 ./usr/share/doc/alt-ergo-dbgsym -> alt-ergo
alt-ergo_1.30+dfsg1-2_armhf.deb
-------------------------------
new Debian package, version 2.0.
size 1185884 bytes: control archive=1384 bytes.
1004 bytes, 22 lines control
1586 bytes, 20 lines md5sums
Package: alt-ergo
Version: 1.30+dfsg1-2
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 4066
Depends: libc6 (>= 2.17), libgmp10, zlib1g (>= 1:1.1.4)
Suggests: why
Section: math
Priority: optional
Homepage: http://alt-ergo.lri.fr
Description: Automatic theorem prover dedicated to program verification
Alt-Ergo is an automatic theorem prover geared towards application in
program verification. It is based on CC(X), a congruence closure
algorithm parameterized by an equational theory X. Alt-Ergo has
built-in provers for propositional logic, linear arithmetic,
uninterpreted function symbols, associative-commutative function
symbols, polymorphic arrays, user-defined polymorphic record types
and polymorphic enumeration types. It has restricted support for
reasoning over arbitrary user-defined algebraic types, first-order
quantifiers, and non-linear arithmetic.
.
This package contains the prover as a command-line executable.
drwxr-xr-x root/root 0 2018-11-13 19:43 ./
drwxr-xr-x root/root 0 2018-11-13 19:43 ./usr/
drwxr-xr-x root/root 0 2018-11-13 19:43 ./usr/bin/
-rwxr-xr-x root/root 4098420 2018-11-13 19:43 ./usr/bin/alt-ergo
drwxr-xr-x root/root 0 2018-11-13 19:43 ./usr/share/
drwxr-xr-x root/root 0 2018-11-13 19:43 ./usr/share/doc/
drwxr-xr-x root/root 0 2018-11-13 19:43 ./usr/share/doc/alt-ergo/
-rw-r--r-- root/root 209 2018-11-13 19:43 ./usr/share/doc/alt-ergo/NEWS.Debian.gz
-rw-r--r-- root/root 3539 2018-11-13 19:43 ./usr/share/doc/alt-ergo/changelog.Debian.gz
-rw-r--r-- root/root 5576 2016-11-21 06:54 ./usr/share/doc/alt-ergo/changelog.gz
-rw-r--r-- root/root 24098 2018-11-13 19:43 ./usr/share/doc/alt-ergo/copyright
drwxr-xr-x root/root 0 2018-11-13 19:43 ./usr/share/doc/alt-ergo/examples/
drwxr-xr-x root/root 0 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/invalid/
-rw-r--r-- root/root 57 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/invalid/arith1.why
-rw-r--r-- root/root 61 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/invalid/arith2.why
-rw-r--r-- root/root 147 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/invalid/arrays.why
-rw-r--r-- root/root 141 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/invalid/bitv.why
drwxr-xr-x root/root 0 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/
-rw-r--r-- root/root 106 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/ac_arith.why
-rw-r--r-- root/root 120 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/arith1.why
-rw-r--r-- root/root 125 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/arith2.why
-rw-r--r-- root/root 106 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/arith3.why
-rw-r--r-- root/root 87 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/arith4.why
-rw-r--r-- root/root 151 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/arrays.why
-rw-r--r-- root/root 139 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/bitv.why
-rw-r--r-- root/root 189 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/congruence.why
-rw-r--r-- root/root 183 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/enum_arrays.why
-rw-r--r-- root/root 195 2016-11-21 06:54 ./usr/share/doc/alt-ergo/examples/valid/quantifiers.why
drwxr-xr-x root/root 0 2018-11-13 19:43 ./usr/share/man/
drwxr-xr-x root/root 0 2018-11-13 19:43 ./usr/share/man/man1/
-rw-r--r-- root/root 1177 2018-11-13 19:43 ./usr/share/man/man1/alt-ergo.1.gz
+------------------------------------------------------------------------------+
| Post Build |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Cleanup |
+------------------------------------------------------------------------------+
Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use
+------------------------------------------------------------------------------+
| Summary |
+------------------------------------------------------------------------------+
Build Architecture: armhf
Build-Space: 47044
Build-Time: 145
Distribution: buster-staging
Host Architecture: armhf
Install-Time: 537
Job: alt-ergo_1.30+dfsg1-2
Machine Architecture: armhf
Package: alt-ergo
Package-Time: 734
Source-Version: 1.30+dfsg1-2
Space: 47044
Status: successful
Version: 1.30+dfsg1-2
--------------------------------------------------------------------------------
Finished at 2018-11-16T06:01:57Z
Build needed 00:12:14, 47044k disc space