z3 →
4.4.0-1 →
armhf → 2015-07-09 08:40:52
sbuild (Debian sbuild) 0.65.2 (24 Mar 2015) on bm-wb-01
╔══════════════════════════════════════════════════════════════════════════════╗
║ z3 4.4.0-1 (armhf) 09 Jul 2015 08:30 ║
╚══════════════════════════════════════════════════════════════════════════════╝
Package: z3
Version: 4.4.0-1
Source Version: 4.4.0-1
Distribution: stretch-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'build/z3-x3pr0C/z3-4.4.0' with '«PKGBUILDDIR»'
I: NOTICE: Log filtering will replace 'build/z3-x3pr0C' with '«BUILDDIR»'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/stretch-staging-armhf-sbuild-c63beec3-1079-448f-9d1e-1310a8942802' with '«CHROOT»'
┌──────────────────────────────────────────────────────────────────────────────┐
│ Update chroot │
└──────────────────────────────────────────────────────────────────────────────┘
Get:1 http://172.17.0.1 stretch-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1 stretch-staging/main Sources [8072 kB]
Get:3 http://172.17.0.1 stretch-staging/main armhf Packages [9919 kB]
Ign http://172.17.0.1 stretch-staging/main Translation-en
Fetched 18.0 MB in 33s (540 kB/s)
Reading package lists...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Fetch source files │
└──────────────────────────────────────────────────────────────────────────────┘
Check APT
─────────
Checking available source versions...
Download source files with APT
──────────────────────────────
Reading package lists...
Building dependency tree...
Need to get 3465 kB of source archives.
Get:1 http://172.17.0.1/private/ stretch-staging/main z3 4.4.0-1 (dsc) [1784 B]
Get:2 http://172.17.0.1/private/ stretch-staging/main z3 4.4.0-1 (tar) [3457 kB]
Get:3 http://172.17.0.1/private/ stretch-staging/main z3 4.4.0-1 (diff) [6204 B]
Fetched 3465 kB in 0s (4162 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-P359PL/apt_archive/sbuild-build-depends-core-dummy.deb'.
OK
Ign file: ./ InRelease
Get:1 file: ./ Release.gpg [299 B]
Get:2 file: ./ Release [2119 B]
Ign file: ./ Translation-en
Reading package lists...
Reading package lists...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Install core build dependencies (apt-based resolver) │
└──────────────────────────────────────────────────────────────────────────────┘
Installing build dependencies
Reading package lists...
Building dependency tree...
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
debconf: delaying package configuration, since apt-utils is not installed
0 upgraded, 1 newly installed, 0 to remove and 77 not upgraded.
Need to get 0 B/812 B of archives.
After this operation, 0 B of additional disk space will be used.
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 ... 11998 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) ...
Merged Build-Depends: libc6-dev | libc-dev, gcc (>= 4:4.9.1), g++ (>= 4:4.9.1), make, dpkg-dev (>= 1.17.11), debhelper (>= 9), python
Filtered Build-Depends: libc6-dev, gcc (>= 4:4.9.1), g++ (>= 4:4.9.1), make, dpkg-dev (>= 1.17.11), debhelper (>= 9), python
dpkg-deb: building package `sbuild-build-depends-z3-dummy' in `/«BUILDDIR»/resolver-Kta8Lo/apt_archive/sbuild-build-depends-z3-dummy.deb'.
OK
Ign file: ./ InRelease
Get:1 file: ./ Release.gpg [299 B]
Get:2 file: ./ Release [2119 B]
Ign file: ./ Translation-en
Reading package lists...
Reading package lists...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Install z3 build dependencies (apt-based resolver) │
└──────────────────────────────────────────────────────────────────────────────┘
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following extra packages will be installed:
bsdmainutils debhelper file gettext gettext-base groff-base intltool-debian
libasprintf0c2 libcroco3 libexpat1 libffi6 libglib2.0-0 libmagic1
libpipeline1 libpython-stdlib libpython2.7-minimal libpython2.7-stdlib
libsqlite3-0 libssl1.0.0 libunistring0 libxml2 man-db mime-support
po-debconf python python-minimal python2.7 python2.7-minimal
Suggested packages:
wamerican wordlist whois vacation dh-make gettext-doc groff less www-browser
libmail-box-perl python-doc python-tk python2.7-doc binfmt-support
Recommended packages:
curl wget lynx-cur autopoint libasprintf-dev libgettextpo-dev
libglib2.0-data shared-mime-info xdg-user-dirs xml-core
libmail-sendmail-perl
The following NEW packages will be installed:
bsdmainutils debhelper file gettext gettext-base groff-base intltool-debian
libasprintf0c2 libcroco3 libexpat1 libffi6 libglib2.0-0 libmagic1
libpipeline1 libpython-stdlib libpython2.7-minimal libpython2.7-stdlib
libsqlite3-0 libssl1.0.0 libunistring0 libxml2 man-db mime-support
po-debconf python python-minimal python2.7 python2.7-minimal
sbuild-build-depends-z3-dummy
0 upgraded, 29 newly installed, 0 to remove and 77 not upgraded.
Need to get 13.6 MB/13.6 MB of archives.
After this operation, 43.0 MB of additional disk space will be used.
Get:1 http://172.17.0.1/private/ stretch-staging/main libpipeline1 armhf 1.4.0-1 [24.0 kB]
Get:2 http://172.17.0.1/private/ stretch-staging/main groff-base armhf 1.22.3-1 [1085 kB]
Get:3 http://172.17.0.1/private/ stretch-staging/main bsdmainutils armhf 9.0.6 [177 kB]
Get:4 http://172.17.0.1/private/ stretch-staging/main man-db armhf 2.7.0.2-5 [972 kB]
Get:5 http://172.17.0.1/private/ stretch-staging/main libasprintf0c2 armhf 0.19.4-1 [31.5 kB]
Get:6 http://172.17.0.1/private/ stretch-staging/main libmagic1 armhf 1:5.22+15-2 [244 kB]
Get:7 http://172.17.0.1/private/ stretch-staging/main libxml2 armhf 2.9.1+dfsg1-5 [703 kB]
Get:8 http://172.17.0.1/private/ stretch-staging/main libpython2.7-minimal armhf 2.7.10-3 [380 kB]
Get:9 http://172.17.0.1/private/ stretch-staging/main python2.7-minimal armhf 2.7.10-3 [1163 kB]
Get:10 http://172.17.0.1/private/ stretch-staging/main python-minimal armhf 2.7.9-1 [40.1 kB]
Get:11 http://172.17.0.1/private/ stretch-staging/main mime-support all 3.58 [36.0 kB]
Get:12 http://172.17.0.1/private/ stretch-staging/main libexpat1 armhf 2.1.0-6 [60.2 kB]
Get:13 http://172.17.0.1/private/ stretch-staging/main libffi6 armhf 3.1-2 [18.1 kB]
Get:14 http://172.17.0.1/private/ stretch-staging/main libsqlite3-0 armhf 3.8.10.2-1 [389 kB]
Get:15 http://172.17.0.1/private/ stretch-staging/main libssl1.0.0 armhf 1.0.2c-1 [883 kB]
Get:16 http://172.17.0.1/private/ stretch-staging/main libpython2.7-stdlib armhf 2.7.10-3 [1815 kB]
Get:17 http://172.17.0.1/private/ stretch-staging/main python2.7 armhf 2.7.10-3 [259 kB]
Get:18 http://172.17.0.1/private/ stretch-staging/main libpython-stdlib armhf 2.7.9-1 [19.6 kB]
Get:19 http://172.17.0.1/private/ stretch-staging/main python armhf 2.7.9-1 [151 kB]
Get:20 http://172.17.0.1/private/ stretch-staging/main libglib2.0-0 armhf 2.44.1-1.1 [2312 kB]
Get:21 http://172.17.0.1/private/ stretch-staging/main libcroco3 armhf 0.6.8-3 [121 kB]
Get:22 http://172.17.0.1/private/ stretch-staging/main libunistring0 armhf 0.9.3-5.2 [253 kB]
Get:23 http://172.17.0.1/private/ stretch-staging/main file armhf 1:5.22+15-2 [59.9 kB]
Get:24 http://172.17.0.1/private/ stretch-staging/main gettext-base armhf 0.19.4-1 [117 kB]
Get:25 http://172.17.0.1/private/ stretch-staging/main gettext armhf 0.19.4-1 [1168 kB]
Get:26 http://172.17.0.1/private/ stretch-staging/main intltool-debian all 0.35.0+20060710.2 [25.9 kB]
Get:27 http://172.17.0.1/private/ stretch-staging/main po-debconf all 1.0.18 [248 kB]
Get:28 http://172.17.0.1/private/ stretch-staging/main debhelper all 9.20150628 [817 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 13.6 MB in 3s (3894 kB/s)
Selecting previously unselected package libpipeline1:armhf.
(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 ... 11998 files and directories currently installed.)
Preparing to unpack .../libpipeline1_1.4.0-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.4.0-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../groff-base_1.22.3-1_armhf.deb ...
Unpacking groff-base (1.22.3-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../bsdmainutils_9.0.6_armhf.deb ...
Unpacking bsdmainutils (9.0.6) ...
Selecting previously unselected package man-db.
Preparing to unpack .../man-db_2.7.0.2-5_armhf.deb ...
Unpacking man-db (2.7.0.2-5) ...
Selecting previously unselected package libasprintf0c2:armhf.
Preparing to unpack .../libasprintf0c2_0.19.4-1_armhf.deb ...
Unpacking libasprintf0c2:armhf (0.19.4-1) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../libmagic1_1%3a5.22+15-2_armhf.deb ...
Unpacking libmagic1:armhf (1:5.22+15-2) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../libxml2_2.9.1+dfsg1-5_armhf.deb ...
Unpacking libxml2:armhf (2.9.1+dfsg1-5) ...
Selecting previously unselected package libpython2.7-minimal:armhf.
Preparing to unpack .../libpython2.7-minimal_2.7.10-3_armhf.deb ...
Unpacking libpython2.7-minimal:armhf (2.7.10-3) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../python2.7-minimal_2.7.10-3_armhf.deb ...
Unpacking python2.7-minimal (2.7.10-3) ...
Selecting previously unselected package python-minimal.
Preparing to unpack .../python-minimal_2.7.9-1_armhf.deb ...
Unpacking python-minimal (2.7.9-1) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../mime-support_3.58_all.deb ...
Unpacking mime-support (3.58) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../libexpat1_2.1.0-6_armhf.deb ...
Unpacking libexpat1:armhf (2.1.0-6) ...
Selecting previously unselected package libffi6:armhf.
Preparing to unpack .../libffi6_3.1-2_armhf.deb ...
Unpacking libffi6:armhf (3.1-2) ...
Selecting previously unselected package libsqlite3-0:armhf.
Preparing to unpack .../libsqlite3-0_3.8.10.2-1_armhf.deb ...
Unpacking libsqlite3-0:armhf (3.8.10.2-1) ...
Selecting previously unselected package libssl1.0.0:armhf.
Preparing to unpack .../libssl1.0.0_1.0.2c-1_armhf.deb ...
Unpacking libssl1.0.0:armhf (1.0.2c-1) ...
Selecting previously unselected package libpython2.7-stdlib:armhf.
Preparing to unpack .../libpython2.7-stdlib_2.7.10-3_armhf.deb ...
Unpacking libpython2.7-stdlib:armhf (2.7.10-3) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../python2.7_2.7.10-3_armhf.deb ...
Unpacking python2.7 (2.7.10-3) ...
Selecting previously unselected package libpython-stdlib:armhf.
Preparing to unpack .../libpython-stdlib_2.7.9-1_armhf.deb ...
Unpacking libpython-stdlib:armhf (2.7.9-1) ...
Setting up libpython2.7-minimal:armhf (2.7.10-3) ...
Setting up python2.7-minimal (2.7.10-3) ...
Setting up python-minimal (2.7.9-1) ...
Selecting previously unselected package python.
(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 ... 13398 files and directories currently installed.)
Preparing to unpack .../python_2.7.9-1_armhf.deb ...
Unpacking python (2.7.9-1) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../libglib2.0-0_2.44.1-1.1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.44.1-1.1) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../libcroco3_0.6.8-3_armhf.deb ...
Unpacking libcroco3:armhf (0.6.8-3) ...
Selecting previously unselected package libunistring0:armhf.
Preparing to unpack .../libunistring0_0.9.3-5.2_armhf.deb ...
Unpacking libunistring0:armhf (0.9.3-5.2) ...
Selecting previously unselected package file.
Preparing to unpack .../file_1%3a5.22+15-2_armhf.deb ...
Unpacking file (1:5.22+15-2) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../gettext-base_0.19.4-1_armhf.deb ...
Unpacking gettext-base (0.19.4-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../gettext_0.19.4-1_armhf.deb ...
Unpacking gettext (0.19.4-1) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../intltool-debian_0.35.0+20060710.2_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.2) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../po-debconf_1.0.18_all.deb ...
Unpacking po-debconf (1.0.18) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../debhelper_9.20150628_all.deb ...
Unpacking debhelper (9.20150628) ...
Selecting previously unselected package sbuild-build-depends-z3-dummy.
Preparing to unpack .../sbuild-build-depends-z3-dummy.deb ...
Unpacking sbuild-build-depends-z3-dummy (0.invalid.0) ...
Setting up libpipeline1:armhf (1.4.0-1) ...
Setting up groff-base (1.22.3-1) ...
Setting up bsdmainutils (9.0.6) ...
update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode
update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode
Setting up man-db (2.7.0.2-5) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libasprintf0c2:armhf (0.19.4-1) ...
Setting up libmagic1:armhf (1:5.22+15-2) ...
Setting up libxml2:armhf (2.9.1+dfsg1-5) ...
Setting up mime-support (3.58) ...
Setting up libexpat1:armhf (2.1.0-6) ...
Setting up libffi6:armhf (3.1-2) ...
Setting up libsqlite3-0:armhf (3.8.10.2-1) ...
Setting up libssl1.0.0:armhf (1.0.2c-1) ...
Setting up libpython2.7-stdlib:armhf (2.7.10-3) ...
Setting up python2.7 (2.7.10-3) ...
Setting up libpython-stdlib:armhf (2.7.9-1) ...
Setting up python (2.7.9-1) ...
Setting up libglib2.0-0:armhf (2.44.1-1.1) ...
No schema files found: doing nothing.
Setting up libcroco3:armhf (0.6.8-3) ...
Setting up libunistring0:armhf (0.9.3-5.2) ...
Setting up file (1:5.22+15-2) ...
Setting up gettext-base (0.19.4-1) ...
Setting up gettext (0.19.4-1) ...
Setting up intltool-debian (0.35.0+20060710.2) ...
Setting up po-debconf (1.0.18) ...
Setting up debhelper (9.20150628) ...
Setting up sbuild-build-depends-z3-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.19-18) ...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build environment │
└──────────────────────────────────────────────────────────────────────────────┘
Kernel: Linux 3.19.0-trunk-armmp armhf (armv7l)
Toolchain package versions: binutils_2.25-5 dpkg-dev_1.17.25 g++-4.9_4.9.2-10 gcc-4.9_4.9.2-10 libc6-dev_2.19-18 libstdc++-4.9-dev_4.9.2-10 libstdc++6_4.9.2-10 linux-libc-dev_3.16.7-ckt4-1+rpi1
Package versions: acl_2.2.52-2 adduser_3.113+nmu3 apt_1.0.9.8 base-files_8+rpi1 base-passwd_3.5.37 bash_4.3-11 binutils_2.25-5 bsdmainutils_9.0.6 bsdutils_1:2.25.2-6 build-essential_11.7 bzip2_1.0.6-7 coreutils_8.23-4 cpio_2.11+dfsg-4.1 cpp_4:4.9.2-2 cpp-4.9_4.9.2-10 dash_0.5.7-4 debconf_1.5.56 debconf-i18n_1.5.56 debfoster_2.7-2 debhelper_9.20150628 debianutils_4.4 diffutils_1:3.3-1 dmsetup_2:1.02.90-2.2 dpkg_1.17.25 dpkg-dev_1.17.25 e2fslibs_1.42.12-1.1 e2fsprogs_1.42.12-1.1 fakeroot_1.20.2-1 file_1:5.22+15-2 findutils_4.4.2-9 g++_4:4.9.2-2 g++-4.9_4.9.2-10 gcc_4:4.9.2-2 gcc-4.6-base_4.6.4-5+rpi1 gcc-4.7-base_4.7.3-11+rpi1 gcc-4.8-base_4.8.4-1 gcc-4.9_4.9.2-10 gcc-4.9-base_4.9.2-10 gettext_0.19.4-1 gettext-base_0.19.4-1 gnupg_1.4.18-7 gpgv_1.4.18-7 grep_2.20-4.1 groff-base_1.22.3-1 gzip_1.6-4 hostname_3.15 init_1.22 init-system-helpers_1.22 initramfs-tools_0.120 initscripts_2.88dsf-59 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.2 klibc-utils_2.0.4-2+rpi1 kmod_18-3 libacl1_2.2.52-2 libapt-pkg4.12_1.0.9.8 libasan1_4.9.2-10 libasprintf0c2_0.19.4-1 libatomic1_4.9.2-10 libattr1_1:2.4.47-2 libaudit-common_1:2.4-1 libaudit1_1:2.4-1 libblkid1_2.25.2-6 libbz2-1.0_1.0.6-7 libc-bin_2.19-18 libc-dev-bin_2.19-18 libc6_2.19-18 libc6-dev_2.19-18 libcap2_1:2.24-8 libcap2-bin_1:2.24-8 libcloog-isl4_0.18.2-1 libcomerr2_1.42.12-1.1 libcroco3_0.6.8-3 libcryptsetup4_2:1.6.6-5 libdb5.3_5.3.28-9 libdbus-1-3_1.8.16-1 libdebconfclient0_0.192 libdevmapper1.02.1_2:1.02.90-2.2 libdpkg-perl_1.17.25 libdrm2_2.4.58-2 libexpat1_2.1.0-6 libfakeroot_1.20.2-1 libffi6_3.1-2 libgc1c2_1:7.2d-6.4 libgcc-4.9-dev_4.9.2-10 libgcc1_1:4.9.2-10 libgcrypt20_1.6.3-2 libgdbm3_1.8.3-13.1 libglib2.0-0_2.44.1-1.1 libgmp10_2:6.0.0+dfsg-6+rpi1 libgomp1_4.9.2-10 libgpg-error0_1.17-3 libisl10_0.12.2-2 libklibc_2.0.4-2+rpi1 libkmod2_18-3 liblocale-gettext-perl_1.05-8+b1 liblzma5_5.1.1alpha+20120614-2 libmagic1_1:5.22+15-2 libmount1_2.25.2-6 libmpc3_1.0.2-1 libmpfr4_3.1.2-2 libncurses5_5.9+20140913-1 libncursesw5_5.9+20140913-1 libnih-dbus1_1.0.3-4.3 libnih1_1.0.3-4.3 libpam-modules_1.1.8-3.1 libpam-modules-bin_1.1.8-3.1 libpam-runtime_1.1.8-3.1 libpam0g_1.1.8-3.1 libpcre3_2:8.35-3.3 libpipeline1_1.4.0-1 libpng12-0_1.2.50-2 libprocps3_2:3.3.9-9 libpython-stdlib_2.7.9-1 libpython2.7-minimal_2.7.10-3 libpython2.7-stdlib_2.7.10-3 libreadline6_6.3-8 libselinux1_2.3-2 libsemanage-common_2.3-1 libsemanage1_2.3-1 libsepol1_2.3-2 libslang2_2.3.0-2 libsmartcols1_2.25.2-6 libsqlite3-0_3.8.10.2-1 libss2_1.42.12-1.1 libssl1.0.0_1.0.2c-1 libstdc++-4.9-dev_4.9.2-10 libstdc++6_4.9.2-10 libsystemd0_215-17 libtext-charwidth-perl_0.04-7+b4 libtext-iconv-perl_1.7-5+b5 libtext-wrapi18n-perl_0.06-7 libtimedate-perl_2.3000-2 libtinfo5_5.9+20140913-1 libubsan0_4.9.2-10 libudev1_215-17 libunistring0_0.9.3-5.2 libusb-0.1-4_2:0.1.12-25 libustr-1.0-1_1.0.4-3 libuuid1_2.25.2-6 libxml2_2.9.1+dfsg1-5 linux-libc-dev_3.16.7-ckt4-1+rpi1 login_1:4.2-3 lsb-base_4.1+Debian13+rpi1+nmu1 make_4.0-8.1 makedev_2.3.1-93 man-db_2.7.0.2-5 mawk_1.3.3-17 mime-support_3.58 mount_2.25.2-6 mountall_2.54 multiarch-support_2.19-18 ncurses-base_5.9+20140913-1 ncurses-bin_5.9+20140913-1 passwd_1:4.2-3 patch_2.7.5-1 perl_5.20.2-3 perl-base_5.20.2-3 perl-modules_5.20.2-3 plymouth_0.9.0-9 po-debconf_1.0.18 procps_2:3.3.9-9 python_2.7.9-1 python-minimal_2.7.9-1 python2.7_2.7.10-3 python2.7-minimal_2.7.10-3 raspbian-archive-keyring_20120528.2 readline-common_6.3-8 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-z3-dummy_0.invalid.0 sed_4.2.2-4 sensible-utils_0.0.9 startpar_0.59-3 systemd_215-17 systemd-sysv_215-17 sysv-rc_2.88dsf-59 sysvinit-utils_2.88dsf-59 tar_1.27.1-2 tzdata_2015c-1 udev_215-17 util-linux_2.25.2-6 xz-utils_5.1.1alpha+20120614-2 zlib1g_1:1.2.8.dfsg-2
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build │
└──────────────────────────────────────────────────────────────────────────────┘
Unpack source
─────────────
gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Wed Jun 17 23:21:31 2015 UTC using RSA key ID 36ECA931
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./z3_4.4.0-1.dsc
dpkg-source: info: extracting z3 in z3-4.4.0
dpkg-source: info: unpacking z3_4.4.0.orig.tar.gz
dpkg-source: info: unpacking z3_4.4.0-1.debian.tar.xz
dpkg-source: info: applying fix_conflict
dpkg-source: info: applying disable_test
dpkg-source: info: applying disable_test2
Check disc space
────────────────
Sufficient free space for build
User Environment
────────────────
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LOGNAME=root
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-c63beec3-1079-448f-9d1e-1310a8942802
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=xterm
USER=buildd
dpkg-buildpackage
─────────────────
dpkg-buildpackage: source package z3
dpkg-buildpackage: source version 4.4.0-1
dpkg-buildpackage: source distribution unstable
dpkg-source --before-build z3-4.4.0
dpkg-buildpackage: host architecture armhf
fakeroot debian/rules clean
dh clean --parallel --with python2
dh_testdir -O--parallel
dh_auto_clean -O--parallel
debian/rules override_dh_clean
make[1]: Entering directory '/«PKGBUILDDIR»'
dh_clean
rm -f Makefile scripts/*.pyc
rm -f -r build
rm -f src/api/python/*.pyc
rm -f \
src/api/api_commands.cpp \
src/api/api_log_macros.cpp \
src/api/api_log_macros.h \
src/api/dll/gparams_register_modules.cpp \
src/api/dll/install_tactic.cpp \
src/api/dll/mem_initializer.cpp \
src/api/dotnet/Enumerations.cs \
src/api/dotnet/Native.cs \
src/api/dotnet/Properties/AssemblyInfo.cs \
src/api/python/z3consts.py \
src/api/python/z3core.py \
src/ast/fpa/fpa2bv_rewriter_params.hpp \
src/ast/normal_forms/nnf_params.hpp \
src/ast/pattern/database.h \
src/ast/pattern/pattern_inference_params_helper.hpp \
src/ast/pp_params.hpp \
src/ast/rewriter/arith_rewriter_params.hpp \
src/ast/rewriter/array_rewriter_params.hpp \
src/ast/rewriter/bool_rewriter_params.hpp \
src/ast/rewriter/bv_rewriter_params.hpp \
src/ast/rewriter/fpa_rewriter_params.hpp \
src/ast/rewriter/poly_rewriter_params.hpp \
src/ast/rewriter/rewriter_params.hpp \
src/ast/simplifier/arith_simplifier_params_helper.hpp \
src/ast/simplifier/array_simplifier_params_helper.hpp \
src/ast/simplifier/bv_simplifier_params_helper.hpp \
src/interp/interp_params.hpp \
src/math/polynomial/algebraic_params.hpp \
src/math/realclosure/rcf_params.hpp \
src/model/model_evaluator_params.hpp \
src/model/model_params.hpp \
src/muz/base/fixedpoint_params.hpp \
src/nlsat/nlsat_params.hpp \
src/parsers/util/parser_params.hpp \
src/sat/sat_asymm_branch_params.hpp \
src/sat/sat_params.hpp \
src/sat/sat_scc_params.hpp \
src/sat/sat_simplifier_params.hpp \
src/shell/gparams_register_modules.cpp \
src/shell/install_tactic.cpp \
src/shell/mem_initializer.cpp \
src/smt/params/smt_params_helper.hpp \
src/solver/combined_solver_params.hpp \
src/tactic/sls/sls_params.hpp \
src/test/gparams_register_modules.cpp \
src/test/install_tactic.cpp \
src/test/mem_initializer.cpp \
src/util/version.h \
src/opt/opt_params.hpp
make[1]: Leaving directory '/«PKGBUILDDIR»'
debian/rules build-arch
dh build-arch --parallel --with python2
dh_testdir -a -O--parallel
debian/rules override_dh_auto_configure
make[1]: Entering directory '/«PKGBUILDDIR»'
python scripts/mk_make.py --prefix=/«PKGBUILDDIR»/debian/tmp/usr
opt = --prefix, arg = /«PKGBUILDDIR»/debian/tmp/usr
New component: 'util'
New component: 'polynomial'
New component: 'sat'
New component: 'nlsat'
New component: 'hilbert'
New component: 'simplex'
New component: 'interval'
New component: 'realclosure'
New component: 'subpaving'
New component: 'ast'
New component: 'rewriter'
New component: 'normal_forms'
New component: 'model'
New component: 'tactic'
New component: 'substitution'
New component: 'parser_util'
New component: 'grobner'
New component: 'euclid'
New component: 'core_tactics'
New component: 'sat_tactic'
New component: 'arith_tactics'
New component: 'nlsat_tactic'
New component: 'subpaving_tactic'
New component: 'aig_tactic'
New component: 'solver'
New component: 'interp'
New component: 'cmd_context'
New component: 'extra_cmds'
New component: 'smt2parser'
New component: 'proof_checker'
New component: 'simplifier'
New component: 'fpa'
New component: 'macros'
New component: 'pattern'
New component: 'bit_blaster'
New component: 'smt_params'
New component: 'proto_model'
New component: 'smt'
New component: 'user_plugin'
New component: 'bv_tactics'
New component: 'fuzzing'
New component: 'smt_tactic'
New component: 'sls_tactic'
New component: 'qe'
New component: 'duality'
New component: 'muz'
New component: 'transforms'
New component: 'rel'
New component: 'pdr'
New component: 'clp'
New component: 'tab'
New component: 'bmc'
New component: 'ddnf'
New component: 'duality_intf'
New component: 'fp'
New component: 'nlsat_smt_tactic'
New component: 'smtlogic_tactics'
New component: 'fpa_tactics'
New component: 'ufbv_tactic'
New component: 'portfolio'
New component: 'smtparser'
New component: 'opt'
New component: 'api'
New component: 'shell'
New component: 'test'
New component: 'api_dll'
New component: 'dotnet'
New component: 'java'
New component: 'ml'
New component: 'cpp'
Python bindings directory was detected.
New component: 'cpp_example'
New component: 'iz3'
New component: 'z3_tptp'
New component: 'c_example'
New component: 'maxsat'
New component: 'dotnet_example'
New component: 'java_example'
New component: 'ml_example'
New component: 'py_example'
Generated 'src/util/version.h'
Updated 'src/api/dotnet/Properties/AssemblyInfo'
Generated 'src/ast/pp_params.hpp'
Generated 'src/ast/fpa/fpa2bv_rewriter_params.hpp'
Generated 'src/ast/pattern/pattern_inference_params_helper.hpp'
Generated 'src/ast/normal_forms/nnf_params.hpp'
Generated 'src/ast/simplifier/arith_simplifier_params_helper.hpp'
Generated 'src/ast/simplifier/bv_simplifier_params_helper.hpp'
Generated 'src/ast/simplifier/array_simplifier_params_helper.hpp'
Generated 'src/ast/rewriter/bv_rewriter_params.hpp'
Generated 'src/ast/rewriter/fpa_rewriter_params.hpp'
Generated 'src/ast/rewriter/array_rewriter_params.hpp'
Generated 'src/ast/rewriter/poly_rewriter_params.hpp'
Generated 'src/ast/rewriter/arith_rewriter_params.hpp'
Generated 'src/ast/rewriter/rewriter_params.hpp'
Generated 'src/ast/rewriter/bool_rewriter_params.hpp'
Generated 'src/muz/base/fixedpoint_params.hpp'
Generated 'src/solver/combined_solver_params.hpp'
Generated 'src/tactic/sls/sls_params.hpp'
Generated 'src/interp/interp_params.hpp'
Generated 'src/nlsat/nlsat_params.hpp'
Generated 'src/opt/opt_params.hpp'
Generated 'src/sat/sat_scc_params.hpp'
Generated 'src/sat/sat_params.hpp'
Generated 'src/sat/sat_simplifier_params.hpp'
Generated 'src/sat/sat_asymm_branch_params.hpp'
Generated 'src/parsers/util/parser_params.hpp'
Generated 'src/math/realclosure/rcf_params.hpp'
Generated 'src/math/polynomial/algebraic_params.hpp'
Generated 'src/model/model_params.hpp'
Generated 'src/model/model_evaluator_params.hpp'
Generated 'src/smt/params/smt_params_helper.hpp'
Generated 'src/ast/pattern/database.h'
Generated 'src/shell/install_tactic.cpp'
Generated 'src/test/install_tactic.cpp'
Generated 'src/api/dll/install_tactic.cpp'
Generated 'src/shell/mem_initializer.cpp'
Generated 'src/test/mem_initializer.cpp'
Generated 'src/api/dll/mem_initializer.cpp'
Generated 'src/shell/gparams_register_modules.cpp'
Generated 'src/test/gparams_register_modules.cpp'
Generated 'src/api/dll/gparams_register_modules.cpp'
Generated 'src/api/python/z3consts.py'
Generated 'src/api/dotnet/Enumerations.cs'
Generated 'src/api/api_log_macros.h'
Generated 'src/api/api_log_macros.cpp'
Generated 'src/api/api_commands.cpp'
Generated 'src/api/python/z3core.py'
Generated 'src/api/dotnet/Native.cs'
Listing src/api/python ...
Compiling src/api/python/z3.py ...
Compiling src/api/python/z3consts.py ...
Compiling src/api/python/z3core.py ...
Compiling src/api/python/z3num.py ...
Compiling src/api/python/z3poly.py ...
Compiling src/api/python/z3printer.py ...
Compiling src/api/python/z3rcf.py ...
Compiling src/api/python/z3test.py ...
Compiling src/api/python/z3types.py ...
Compiling src/api/python/z3util.py ...
Copied 'z3types.py'
Copied 'z3rcf.py'
Copied 'z3poly.py'
Copied 'z3test.py'
Copied 'z3util.py'
Copied 'z3num.py'
Copied 'z3printer.py'
Copied 'z3.py'
Copied 'z3consts.py'
Copied 'z3core.py'
Generated 'z3.pyc'
Generated 'z3consts.pyc'
Generated 'z3core.pyc'
Generated 'z3num.pyc'
Generated 'z3poly.pyc'
Generated 'z3printer.pyc'
Generated 'z3rcf.pyc'
Generated 'z3test.pyc'
Generated 'z3types.pyc'
Generated 'z3util.pyc'
Testing ar...
Testing g++...
Testing gcc...
Testing floating point support...
Testing OpenMP...
Host platform: Linux
C++ Compiler: g++
C Compiler : gcc
Arithmetic: internal
OpenMP: True
Prefix: /«PKGBUILDDIR»/debian/tmp/usr
64-bit: False
FP math: ARM-VFP
Python version: 2.7
Writing build/Makefile
Copied Z3Py example 'example.py' to 'build'
Makefile was successfully generated.
python packages dir: /«PKGBUILDDIR»/debian/tmp/usr/lib/python2.7/dist-packages
compilation mode: Release
Type 'cd build; make' to build Z3
sed -i 's/^SLINK_FLAGS=.*/SLINK_FLAGS=-shared -Wl,-z,relro -Wl,-soname,libz3.so.4/' build/config.mk
sed -i 's/^CXXFLAGS=/CXXFLAGS=-fPIC /' build/config.mk
printf '%%:\n\t$(MAKE) -C build $@\n' > Makefile
printf '\nall:\n\t$(MAKE) -C build $@\n' >> Makefile
make[1]: Leaving directory '/«PKGBUILDDIR»'
dh_auto_build -a -O--parallel
make -j4
make[1]: Entering directory '/«PKGBUILDDIR»'
make -C build all
make[2]: Entering directory '/«PKGBUILDDIR»/build'
src/smt/smt_statistics.cpp
src/interp/iz3profiling.cpp
src/util/luby.cpp
src/util/scoped_ctrl_c.cpp
src/util/approx_nat.cpp
src/util/common_msgs.cpp
src/api/dll/dll.cpp
src/util/timeit.cpp
src/util/cooperate.cpp
src/util/memory_manager.cpp
src/util/approx_set.cpp
src/util/z3_exception.cpp
src/api/api_commands.cpp
src/util/util.cpp
src/util/timeout.cpp
src/util/bit_util.cpp
src/util/mpn.cpp
src/util/page.cpp
src/util/lbool.cpp
src/util/stack.cpp
src/util/timer.cpp
src/util/scoped_timer.cpp
src/shell/z3_log_frontend.cpp
src/api/api_log.cpp
src/util/fixed_bit_vector.cpp
src/util/hash.cpp
src/api/z3_replayer.cpp
src/api/api_log_macros.cpp
src/interp/iz3scopes.cpp
src/util/prime_generator.cpp
src/util/debug.cpp
src/util/smt2_util.cpp
src/util/cmd_context_types.cpp
src/util/symbol.cpp
src/util/trace.cpp
src/util/small_object_allocator.cpp
src/util/warning.cpp
src/util/region.cpp
src/util/statistics.cpp
src/util/permutation.cpp
src/util/bit_vector.cpp
src/sat/sat_clause.cpp
src/sat/sat_model_converter.cpp
src/sat/sat_clause_set.cpp
src/sat/sat_config.cpp
src/sat/sat_watched.cpp
src/sat/sat_clause_use_list.cpp
src/util/gparams.cpp
src/util/env_params.cpp
src/util/mpz.cpp
src/smt/params/dyn_ack_params.cpp
src/smt/params/theory_arith_params.cpp
src/smt/params/theory_bv_params.cpp
src/smt/params/qi_params.cpp
src/smt/params/theory_pb_params.cpp
src/ast/pattern/pattern_inference_params.cpp
src/ast/simplifier/array_simplifier_params.cpp
src/ast/simplifier/bv_simplifier_params.cpp
src/ast/simplifier/arith_simplifier_params.cpp
src/math/euclid/euclidean_solver.cpp
src/math/realclosure/mpz_matrix.cpp
src/math/interval/interval_mpq.cpp
src/util/mpq.cpp
src/util/hwf.cpp
../src/util/hwf.cpp:51:23: fatal error: emmintrin.h: No such file or directory
#include <emmintrin.h>
^
compilation terminated.
make[2]: *** [util/hwf.o] Error 1
make[2]: *** Waiting for unfinished jobs....
Makefile:112: recipe for target 'util/hwf.o' failed
make[2]: Leaving directory '/«PKGBUILDDIR»/build'
make[1]: *** [all] Error 2
Makefile:5: recipe for target 'all' failed
make[1]: Leaving directory '/«PKGBUILDDIR»'
dh_auto_build: make -j4 returned exit code 2
make: *** [build-arch] Error 2
dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2
debian/rules:13: recipe for target 'build-arch' failed
────────────────────────────────────────────────────────────────────────────────
Build finished at 20150709-0837
Finished
────────
E: Build failure (dpkg-buildpackage died)
┌──────────────────────────────────────────────────────────────────────────────┐
│ Cleanup │
└──────────────────────────────────────────────────────────────────────────────┘
Purging /«BUILDDIR»
Not cleaning session: cloned chroot in use
┌──────────────────────────────────────────────────────────────────────────────┐
│ Summary │
└──────────────────────────────────────────────────────────────────────────────┘
Build Architecture: armhf
Build-Space: 37296
Build-Time: 192
Distribution: stretch-staging
Fail-Stage: build
Host Architecture: armhf
Install-Time: 196
Job: z3_4.4.0-1
Machine Architecture: armhf
Package: z3
Package-Time: 450
Source-Version: 4.4.0-1
Space: 37296
Status: attempted
Version: 4.4.0-1
────────────────────────────────────────────────────────────────────────────────
Finished at 20150709-0837
Build needed 00:07:30, 37296k disc space