Package: z3
Version: 4.4.0-1
Severity: serious
Justification: fails to build from source
Dear Maintainer,
Package is failing to build on buildd. I'm working on a fix and I will attach
it as soon as possible. Full log is attached.
Build Log tail:
src/math/realclosure/realclosure.cpp
src/sat/sat_config.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:62: 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
debian/rules:13: recipe for target 'build-arch' failed
dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2
sbuild (Debian sbuild) 0.64.0 (17 May 2013) on eberlin.debian.org
+------------------------------------------------------------------------------+
¦ z3 4.4.0-1 (mipsel) 18 Jun 2015 18:18 ¦
+------------------------------------------------------------------------------+
Package: z3
Version: 4.4.0-1
Source Version: 4.4.0-1
Distribution: sid
Machine Architecture: mipsel
Host Architecture: mipsel
Build Architecture: mipsel
I: NOTICE: Log filtering will replace 'build/z3-h8zjNV/z3-4.4.0' with
'«PKGBUILDDIR»'
I: NOTICE: Log filtering will replace 'build/z3-h8zjNV' with '«BUILDDIR»'
I: NOTICE: Log filtering will replace
'var/lib/schroot/mount/sid-mipsel-sbuild-2911b7ed-bb98-4b32-bfa5-33d1d35ab51e'
with '«CHROOT»'
+------------------------------------------------------------------------------+
¦ Update chroot ¦
+------------------------------------------------------------------------------+
Get:1 http://ftp.at.debian.org unstable InRelease [204 kB]
Get:2 http://incoming.debian.org buildd-unstable InRelease [111 kB]
Get:3 http://ftp.debian.org unstable InRelease [204 kB]
Get:4 http://ftp.at.debian.org unstable/main Sources [7953 kB]
Get:5 http://incoming.debian.org buildd-unstable/main Sources [207 kB]
Get:6 http://ftp.debian.org unstable/main Sources [7953 kB]
Get:7 http://incoming.debian.org buildd-unstable/contrib Sources [32 B]
Get:8 http://incoming.debian.org buildd-unstable/non-free Sources [1436 B]
Get:9 http://incoming.debian.org buildd-unstable/main mipsel Packages [158 kB]
Get:10 http://incoming.debian.org buildd-unstable/contrib mipsel Packages [32 B]
Get:11 http://ftp.at.debian.org unstable/contrib Sources [58.3 kB]
Get:12 http://ftp.at.debian.org unstable/non-free Sources [106 kB]
Get:13 http://ftp.at.debian.org unstable/main mipsel Packages [7109 kB]
Get:14 http://ftp.debian.org unstable/contrib Sources [58.3 kB]
Get:15 http://ftp.debian.org unstable/non-free Sources [106 kB]
Get:16 http://ftp.debian.org unstable/main mipsel Packages [7109 kB]
Get:17 http://ftp.at.debian.org unstable/contrib mipsel Packages [42.7 kB]
Get:18 http://ftp.debian.org unstable/contrib mipsel Packages [42.7 kB]
Fetched 31.4 MB in 49s (632 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...
Reading state information...
Need to get 3465 kB of source archives.
Get:1 http://incoming.debian.org/debian-buildd/ buildd-unstable/main z3 4.4.0-1
(dsc) [1784 B]
Get:2 http://incoming.debian.org/debian-buildd/ buildd-unstable/main z3 4.4.0-1
(tar) [3457 kB]
Get:3 http://incoming.debian.org/debian-buildd/ buildd-unstable/main z3 4.4.0-1
(diff) [6204 B]
Fetched 3465 kB in 2s (1653 kB/s)
Download complete and in download only mode
Check arch
----------
Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package `sbuild-build-depends-core-dummy' in
`/«BUILDDIR»/resolver-Vq9L3R/apt_archive/sbuild-build-depends-core-dummy.deb'.
OK
Reading package lists...
+------------------------------------------------------------------------------+
¦ Install core build dependencies (apt-based resolver) ¦
+------------------------------------------------------------------------------+
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
debconf: delaying package configuration, since apt-utils is not installed
0 upgraded, 1 newly installed, 0 to remove and 61 not upgraded.
Need to get 0 B/822 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 ... 10653 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: base-files, base-passwd, bash, bsdutils, coreutils, dash,
debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, init,
libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed,
sysvinit-utils, tar, util-linux, 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: base-files, base-passwd, bash, bsdutils, coreutils,
dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname,
init, libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed,
sysvinit-utils, tar, util-linux, 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-HRI95s/apt_archive/sbuild-build-depends-z3-dummy.deb'.
OK
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 libicu52 libmagic1
libncurses5 libncursesw5 libpipeline1 libpython-stdlib libpython2.7-minimal
libpython2.7-stdlib libsqlite3-0 libssl1.0.0 libtinfo5 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 libgpm2 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 libicu52 libmagic1
libncursesw5 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
The following packages will be upgraded:
libncurses5 libtinfo5
2 upgraded, 31 newly installed, 0 to remove and 59 not upgraded.
Need to get 20.8 MB/20.8 MB of archives.
After this operation, 77.6 MB of additional disk space will be used.
Get:1 http://ftp.at.debian.org/debian/ unstable/main libpipeline1 mipsel
1.4.0-1 [26.6 kB]
Get:2 http://ftp.at.debian.org/debian/ unstable/main groff-base mipsel 1.22.3-1
[1218 kB]
Get:3 http://ftp.at.debian.org/debian/ unstable/main libtinfo5 mipsel
5.9+20150516-2 [278 kB]
Get:4 http://ftp.at.debian.org/debian/ unstable/main libncurses5 mipsel
5.9+20150516-2 [81.3 kB]
Get:5 http://ftp.at.debian.org/debian/ unstable/main bsdmainutils mipsel 9.0.6
[184 kB]
Get:6 http://ftp.at.debian.org/debian/ unstable/main man-db mipsel 2.7.0.2-5
[984 kB]
Get:7 http://ftp.at.debian.org/debian/ unstable/main libasprintf0c2 mipsel
0.19.4-1 [31.7 kB]
Get:8 http://ftp.at.debian.org/debian/ unstable/main libmagic1 mipsel
1:5.22+15-2 [249 kB]
Get:9 http://ftp.at.debian.org/debian/ unstable/main libicu52 mipsel 52.1-9
[6691 kB]
Get:10 http://ftp.at.debian.org/debian/ unstable/main libxml2 mipsel
2.9.2+dfsg1-3 [815 kB]
Get:11 http://ftp.at.debian.org/debian/ unstable/main libpython2.7-minimal
mipsel 2.7.10-2 [380 kB]
Get:12 http://ftp.at.debian.org/debian/ unstable/main python2.7-minimal mipsel
2.7.10-2 [979 kB]
Get:13 http://ftp.at.debian.org/debian/ unstable/main python-minimal mipsel
2.7.9-1 [40.0 kB]
Get:14 http://ftp.at.debian.org/debian/ unstable/main mime-support all 3.58
[36.0 kB]
Get:15 http://ftp.at.debian.org/debian/ unstable/main libexpat1 mipsel
2.1.0-6+b3 [76.0 kB]
Get:16 http://ftp.at.debian.org/debian/ unstable/main libffi6 mipsel 3.1-2+b2
[18.4 kB]
Get:17 http://ftp.at.debian.org/debian/ unstable/main libncursesw5 mipsel
5.9+20150516-2 [106 kB]
Get:18 http://ftp.at.debian.org/debian/ unstable/main libsqlite3-0 mipsel
3.8.10.2-1 [426 kB]
Get:19 http://ftp.at.debian.org/debian/ unstable/main libssl1.0.0 mipsel
1.0.2c-1 [920 kB]
Get:20 http://ftp.at.debian.org/debian/ unstable/main libpython2.7-stdlib
mipsel 2.7.10-2 [1730 kB]
Get:21 http://ftp.at.debian.org/debian/ unstable/main python2.7 mipsel 2.7.10-2
[259 kB]
Get:22 http://ftp.at.debian.org/debian/ unstable/main libpython-stdlib mipsel
2.7.9-1 [19.5 kB]
Get:23 http://ftp.at.debian.org/debian/ unstable/main python mipsel 2.7.9-1
[151 kB]
Get:24 http://ftp.at.debian.org/debian/ unstable/main libglib2.0-0 mipsel
2.44.1-1 [2293 kB]
Get:25 http://ftp.at.debian.org/debian/ unstable/main libcroco3 mipsel
0.6.8-3+b1 [119 kB]
Get:26 http://ftp.at.debian.org/debian/ unstable/main libunistring0 mipsel
0.9.3-5.2+b1 [257 kB]
Get:27 http://ftp.at.debian.org/debian/ unstable/main file mipsel 1:5.22+15-2
[60.1 kB]
Get:28 http://ftp.at.debian.org/debian/ unstable/main gettext-base mipsel
0.19.4-1 [121 kB]
Get:29 http://ftp.at.debian.org/debian/ unstable/main gettext mipsel 0.19.4-1
[1189 kB]
Get:30 http://ftp.at.debian.org/debian/ unstable/main intltool-debian all
0.35.0+20060710.2 [25.9 kB]
Get:31 http://ftp.at.debian.org/debian/ unstable/main po-debconf all 1.0.18
[248 kB]
Get:32 http://ftp.at.debian.org/debian/ unstable/main debhelper all 9.20150507
[824 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 20.8 MB in 4s (4741 kB/s)
Selecting previously unselected package libpipeline1:mipsel.
(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 ... 10653 files and directories currently installed.)
Preparing to unpack .../libpipeline1_1.4.0-1_mipsel.deb ...
Unpacking libpipeline1:mipsel (1.4.0-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../groff-base_1.22.3-1_mipsel.deb ...
Unpacking groff-base (1.22.3-1) ...
Preparing to unpack .../libtinfo5_5.9+20150516-2_mipsel.deb ...
Unpacking libtinfo5:mipsel (5.9+20150516-2) over (5.9+20140913-1+b1) ...
Setting up libtinfo5:mipsel (5.9+20150516-2) ...
Processing triggers for libc-bin (2.19-18) ...
(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 ... 10842 files and directories currently installed.)
Preparing to unpack .../libncurses5_5.9+20150516-2_mipsel.deb ...
Unpacking libncurses5:mipsel (5.9+20150516-2) over (5.9+20140913-1+b1) ...
Setting up libncurses5:mipsel (5.9+20150516-2) ...
Processing triggers for libc-bin (2.19-18) ...
Selecting previously unselected package bsdmainutils.
(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 ... 10842 files and directories currently installed.)
Preparing to unpack .../bsdmainutils_9.0.6_mipsel.deb ...
Unpacking bsdmainutils (9.0.6) ...
Selecting previously unselected package man-db.
Preparing to unpack .../man-db_2.7.0.2-5_mipsel.deb ...
Unpacking man-db (2.7.0.2-5) ...
Selecting previously unselected package libasprintf0c2:mipsel.
Preparing to unpack .../libasprintf0c2_0.19.4-1_mipsel.deb ...
Unpacking libasprintf0c2:mipsel (0.19.4-1) ...
Selecting previously unselected package libmagic1:mipsel.
Preparing to unpack .../libmagic1_1%3a5.22+15-2_mipsel.deb ...
Unpacking libmagic1:mipsel (1:5.22+15-2) ...
Selecting previously unselected package libicu52:mipsel.
Preparing to unpack .../libicu52_52.1-9_mipsel.deb ...
Unpacking libicu52:mipsel (52.1-9) ...
Selecting previously unselected package libxml2:mipsel.
Preparing to unpack .../libxml2_2.9.2+dfsg1-3_mipsel.deb ...
Unpacking libxml2:mipsel (2.9.2+dfsg1-3) ...
Selecting previously unselected package libpython2.7-minimal:mipsel.
Preparing to unpack .../libpython2.7-minimal_2.7.10-2_mipsel.deb ...
Unpacking libpython2.7-minimal:mipsel (2.7.10-2) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../python2.7-minimal_2.7.10-2_mipsel.deb ...
Unpacking python2.7-minimal (2.7.10-2) ...
Selecting previously unselected package python-minimal.
Preparing to unpack .../python-minimal_2.7.9-1_mipsel.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:mipsel.
Preparing to unpack .../libexpat1_2.1.0-6+b3_mipsel.deb ...
Unpacking libexpat1:mipsel (2.1.0-6+b3) ...
Selecting previously unselected package libffi6:mipsel.
Preparing to unpack .../libffi6_3.1-2+b2_mipsel.deb ...
Unpacking libffi6:mipsel (3.1-2+b2) ...
Selecting previously unselected package libncursesw5:mipsel.
Preparing to unpack .../libncursesw5_5.9+20150516-2_mipsel.deb ...
Unpacking libncursesw5:mipsel (5.9+20150516-2) ...
Selecting previously unselected package libsqlite3-0:mipsel.
Preparing to unpack .../libsqlite3-0_3.8.10.2-1_mipsel.deb ...
Unpacking libsqlite3-0:mipsel (3.8.10.2-1) ...
Selecting previously unselected package libssl1.0.0:mipsel.
Preparing to unpack .../libssl1.0.0_1.0.2c-1_mipsel.deb ...
Unpacking libssl1.0.0:mipsel (1.0.2c-1) ...
Selecting previously unselected package libpython2.7-stdlib:mipsel.
Preparing to unpack .../libpython2.7-stdlib_2.7.10-2_mipsel.deb ...
Unpacking libpython2.7-stdlib:mipsel (2.7.10-2) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../python2.7_2.7.10-2_mipsel.deb ...
Unpacking python2.7 (2.7.10-2) ...
Selecting previously unselected package libpython-stdlib:mipsel.
Preparing to unpack .../libpython-stdlib_2.7.9-1_mipsel.deb ...
Unpacking libpython-stdlib:mipsel (2.7.9-1) ...
Setting up libpython2.7-minimal:mipsel (2.7.10-2) ...
Setting up python2.7-minimal (2.7.10-2) ...
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 ... 12085 files and directories currently installed.)
Preparing to unpack .../python_2.7.9-1_mipsel.deb ...
Unpacking python (2.7.9-1) ...
Selecting previously unselected package libglib2.0-0:mipsel.
Preparing to unpack .../libglib2.0-0_2.44.1-1_mipsel.deb ...
Unpacking libglib2.0-0:mipsel (2.44.1-1) ...
Selecting previously unselected package libcroco3:mipsel.
Preparing to unpack .../libcroco3_0.6.8-3+b1_mipsel.deb ...
Unpacking libcroco3:mipsel (0.6.8-3+b1) ...
Selecting previously unselected package libunistring0:mipsel.
Preparing to unpack .../libunistring0_0.9.3-5.2+b1_mipsel.deb ...
Unpacking libunistring0:mipsel (0.9.3-5.2+b1) ...
Selecting previously unselected package file.
Preparing to unpack .../file_1%3a5.22+15-2_mipsel.deb ...
Unpacking file (1:5.22+15-2) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../gettext-base_0.19.4-1_mipsel.deb ...
Unpacking gettext-base (0.19.4-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../gettext_0.19.4-1_mipsel.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.20150507_all.deb ...
Unpacking debhelper (9.20150507) ...
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:mipsel (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:mipsel (0.19.4-1) ...
Setting up libmagic1:mipsel (1:5.22+15-2) ...
Setting up libicu52:mipsel (52.1-9) ...
Setting up libxml2:mipsel (2.9.2+dfsg1-3) ...
Setting up mime-support (3.58) ...
Setting up libexpat1:mipsel (2.1.0-6+b3) ...
Setting up libffi6:mipsel (3.1-2+b2) ...
Setting up libncursesw5:mipsel (5.9+20150516-2) ...
Setting up libsqlite3-0:mipsel (3.8.10.2-1) ...
Setting up libssl1.0.0:mipsel (1.0.2c-1) ...
Setting up libpython2.7-stdlib:mipsel (2.7.10-2) ...
Setting up python2.7 (2.7.10-2) ...
Setting up libpython-stdlib:mipsel (2.7.9-1) ...
Setting up python (2.7.9-1) ...
Setting up libglib2.0-0:mipsel (2.44.1-1) ...
No schema files found: doing nothing.
Setting up libcroco3:mipsel (0.6.8-3+b1) ...
Setting up libunistring0:mipsel (0.9.3-5.2+b1) ...
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.20150507) ...
Setting up sbuild-build-depends-z3-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.19-18) ...
+------------------------------------------------------------------------------+
¦ Build environment ¦
+------------------------------------------------------------------------------+
Kernel: Linux 3.16.0-0.bpo.4-loongson-3 mipsel (mips64)
Toolchain package versions: binutils_2.25-7 dpkg-dev_1.17.25 g++-4.9_4.9.2-16
gcc-4.9_4.9.2-16 libc6-dev_2.19-18 libstdc++-4.9-dev_4.9.2-16
libstdc++6_5.1.1-4 linux-libc-dev_3.16.7-ckt9-3
Package versions: apt_1.0.9.9 base-files_9 base-passwd_3.5.37 bash_4.3-12
binutils_2.25-7 bsdmainutils_9.0.6 bsdutils_1:2.25.2-6 build-essential_11.7
bzip2_1.0.6-7+b3 coreutils_8.23-4 cpp_4:4.9.2-3 cpp-4.9_4.9.2-16
dash_0.5.7-4+b1 debconf_1.5.56 debfoster_2.7-2 debhelper_9.20150507
debian-archive-keyring_2014.3 debianutils_4.5 diffutils_1:3.3-1+b1 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+b1 g++_4:4.9.2-3 g++-4.9_4.9.2-16
gcc_4:4.9.2-3 gcc-4.9_4.9.2-16 gcc-4.9-base_4.9.2-16 gcc-5-base_5.1.1-4
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.23
initscripts_2.88dsf-59 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.2
libacl1_2.2.52-2 libapt-pkg4.12_1.0.9.9 libasprintf0c2_0.19.4-1
libatomic1_5.1.1-4 libattr1_1:2.4.47-2 libaudit-common_1:2.4-1
libaudit1_1:2.4-1+b1 libblkid1_2.25.2-6 libbz2-1.0_1.0.6-7+b3 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
libcloog-isl4_0.18.3-1 libcomerr2_1.42.12-1.1 libcroco3_0.6.8-3+b1
libdb5.3_5.3.28-9 libdebconfclient0_0.192 libdpkg-perl_1.17.25
libexpat1_2.1.0-6+b3 libfakeroot_1.20.2-1 libffi6_3.1-2+b2 libgc1c2_1:7.2d-6.4
libgcc-4.9-dev_4.9.2-16 libgcc1_1:5.1.1-4 libgcrypt20_1.6.3-2
libgdbm3_1.8.3-13.1 libglib2.0-0_2.44.1-1 libgmp10_2:6.0.0+dfsg-6
libgomp1_5.1.1-4 libgpg-error0_1.17-3 libicu52_52.1-9 libisl10_0.12.2-2
libisl13_0.14-2 liblzma5_5.1.1alpha+20120614-2+b3 libmagic1_1:5.22+15-2
libmount1_2.25.2-6 libmpc3_1.0.3-1 libmpfr4_3.1.2-3 libncurses5_5.9+20150516-2
libncursesw5_5.9+20150516-2 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 libpython-stdlib_2.7.9-1
libpython2.7-minimal_2.7.10-2 libpython2.7-stdlib_2.7.10-2
libreadline6_6.3-8+b3 libselinux1_2.3-2 libsemanage-common_2.3-1
libsemanage1_2.3-1+b1 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-16 libstdc++6_5.1.1-4
libsystemd0_215-17 libtimedate-perl_2.3000-2 libtinfo5_5.9+20150516-2
libunistring0_0.9.3-5.2+b1 libusb-0.1-4_2:0.1.12-25 libustr-1.0-1_1.0.4-3+b2
libuuid1_2.25.2-6 libxml2_2.9.2+dfsg1-3 linux-libc-dev_3.16.7-ckt9-3
login_1:4.2-3 lsb-base_4.1+Debian13+nmu1 make_4.0-8.1 man-db_2.7.0.2-5
mawk_1.3.3-17 mime-support_3.58 mount_2.25.2-6 multiarch-support_2.19-18
ncurses-base_5.9+20140913-1 ncurses-bin_5.9+20140913-1+b1 passwd_1:4.2-3
patch_2.7.5-1 perl_5.20.2-4 perl-base_5.20.2-4 perl-modules_5.20.2-4
po-debconf_1.0.18 python_2.7.9-1 python-minimal_2.7.9-1 python2.7_2.7.10-2
python2.7-minimal_2.7.10-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-5 sensible-utils_0.0.9
startpar_0.59-3 sudo_1.8.12-1 sysv-rc_2.88dsf-59 sysvinit-core_2.88dsf-59
sysvinit-utils_2.88dsf-59 tar_1.27.1-2+
b1 tzdata_2015d-1 util-linux_2.25.2-6 xz-utils_5.1.1alpha+20120614-2+b3
zlib1g_1:1.2.8.dfsg-2+b1
+------------------------------------------------------------------------------+
¦ Build ¦
+------------------------------------------------------------------------------+
Unpack source
-------------
gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open
error
gpgv: Signature made 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=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=sid-mipsel-sbuild
SCHROOT_CHROOT_NAME=sid-mipsel-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=1009
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=sid-mipsel-sbuild-2911b7ed-bb98-4b32-bfa5-33d1d35ab51e
SCHROOT_UID=2952
SCHROOT_USER=buildd
SHELL=/bin/sh
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 mipsel
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/sat/sat_scc_params.hpp'
Generated 'src/sat/sat_asymm_branch_params.hpp'
Generated 'src/sat/sat_simplifier_params.hpp'
Generated 'src/sat/sat_params.hpp'
Generated 'src/tactic/sls/sls_params.hpp'
Generated 'src/smt/params/smt_params_helper.hpp'
Generated 'src/model/model_params.hpp'
Generated 'src/model/model_evaluator_params.hpp'
Generated 'src/opt/opt_params.hpp'
Generated 'src/nlsat/nlsat_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/solver/combined_solver_params.hpp'
Generated 'src/ast/pp_params.hpp'
Generated 'src/ast/rewriter/bv_rewriter_params.hpp'
Generated 'src/ast/rewriter/rewriter_params.hpp'
Generated 'src/ast/rewriter/poly_rewriter_params.hpp'
Generated 'src/ast/rewriter/bool_rewriter_params.hpp'
Generated 'src/ast/rewriter/arith_rewriter_params.hpp'
Generated 'src/ast/rewriter/array_rewriter_params.hpp'
Generated 'src/ast/rewriter/fpa_rewriter_params.hpp'
Generated 'src/ast/simplifier/array_simplifier_params_helper.hpp'
Generated 'src/ast/simplifier/arith_simplifier_params_helper.hpp'
Generated 'src/ast/simplifier/bv_simplifier_params_helper.hpp'
Generated 'src/ast/fpa/fpa2bv_rewriter_params.hpp'
Generated 'src/ast/normal_forms/nnf_params.hpp'
Generated 'src/ast/pattern/pattern_inference_params_helper.hpp'
Generated 'src/muz/base/fixedpoint_params.hpp'
Generated 'src/interp/interp_params.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 'z3rcf.py'
Copied 'z3poly.py'
Copied 'z3core.py'
Copied 'z3consts.py'
Copied 'z3util.py'
Copied 'z3types.py'
Copied 'z3num.py'
Copied 'z3test.py'
Copied 'z3printer.py'
Copied 'z3.py'
Generated 'z3consts.pyc'
Generated 'z3num.pyc'
Generated 'z3rcf.pyc'
Generated 'z3util.pyc'
Generated 'z3.pyc'
Generated 'z3core.pyc'
Generated 'z3test.pyc'
Generated 'z3poly.pyc'
Generated 'z3printer.pyc'
Generated 'z3types.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: UNKNOWN
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/scoped_ctrl_c.cpp
src/util/approx_nat.cpp
src/util/common_msgs.cpp
src/util/luby.cpp
src/api/dll/dll.cpp
src/util/cooperate.cpp
src/util/timeit.cpp
src/util/z3_exception.cpp
src/util/approx_set.cpp
src/util/page.cpp
src/util/memory_manager.cpp
src/api/api_commands.cpp
src/api/api_log.cpp
src/util/mpn.cpp
src/util/timeout.cpp
src/util/stack.cpp
src/util/scoped_timer.cpp
src/util/util.cpp
src/util/bit_util.cpp
src/util/timer.cpp
src/util/lbool.cpp
src/shell/z3_log_frontend.cpp
src/util/hash.cpp
src/util/fixed_bit_vector.cpp
src/api/api_log_macros.cpp
src/api/z3_replayer.cpp
src/util/symbol.cpp
src/util/bit_vector.cpp
src/util/region.cpp
src/util/smt2_util.cpp
src/util/debug.cpp
src/util/small_object_allocator.cpp
src/util/trace.cpp
src/util/cmd_context_types.cpp
src/util/prime_generator.cpp
src/util/statistics.cpp
src/util/warning.cpp
src/util/permutation.cpp
src/interp/iz3scopes.cpp
src/sat/sat_clause.cpp
src/sat/sat_watched.cpp
src/sat/sat_clause_set.cpp
src/sat/sat_model_converter.cpp
src/sat/sat_clause_use_list.cpp
src/util/mpz.cpp
src/math/euclid/euclidean_solver.cpp
src/math/realclosure/mpz_matrix.cpp
src/math/interval/interval_mpq.cpp
src/util/mpfx.cpp
src/util/mpq_inf.cpp
src/util/mpff.cpp
src/util/env_params.cpp
src/util/mpq.cpp
src/util/gparams.cpp
src/shell/mem_initializer.cpp
src/smt/old_interval.cpp
src/smt/params/theory_pb_params.cpp
src/smt/params/theory_arith_params.cpp
src/smt/params/theory_bv_params.cpp
src/smt/params/dyn_ack_params.cpp
src/smt/params/preprocessor_params.cpp
src/smt/params/qi_params.cpp
src/smt/params/theory_array_params.cpp
src/ast/pattern/pattern_inference_params.cpp
src/ast/simplifier/arith_simplifier_params.cpp
src/ast/simplifier/array_simplifier_params.cpp
src/ast/simplifier/bv_simplifier_params.cpp
src/tactic/arith/linear_equation.cpp
src/tactic/arith/bound_propagator.cpp
src/math/subpaving/subpaving_mpff.cpp
src/math/subpaving/subpaving_mpfx.cpp
src/math/subpaving/subpaving_hwf.cpp
src/math/realclosure/realclosure.cpp
src/sat/sat_config.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:62: 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
debian/rules:13: recipe for target 'build-arch' failed
dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2
--------------------------------------------------------------------------------
Build finished at 20150618-1827
Finished
--------
E: Build failure (dpkg-buildpackage died)
+------------------------------------------------------------------------------+
¦ Cleanup ¦
+------------------------------------------------------------------------------+
Purging /«BUILDDIR»
Not cleaning session: cloned chroot in use
+------------------------------------------------------------------------------+
¦ Summary ¦
+------------------------------------------------------------------------------+
Build Architecture: mipsel
Build-Space: 51980
Build-Time: 312
Distribution: sid
Fail-Stage: build
Host Architecture: mipsel
Install-Time: 92
Job: z3_4.4.0-1
Machine Architecture: mipsel
Package: z3
Package-Time: 506
Source-Version: 4.4.0-1
Space: 51980
Status: attempted
Version: 4.4.0-1
--------------------------------------------------------------------------------
Finished at 20150618-1827
Build needed 00:08:26, 51980k disc space
