Tue May 26 13:11:25 UTC 2020 I: starting to build boolector/buster/i386 on jenkins on '2020-05-26 13:11' Tue May 26 13:11:25 UTC 2020 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/i386_13/9006/console.log Tue May 26 13:11:25 UTC 2020 I: Downloading source for buster/boolector=1.5.118.6b56be4.121013-1 --2020-05-26 13:11:25-- http://deb.debian.org/debian/pool/main/b/boolector/boolector_1.5.118.6b56be4.121013-1.dsc Connecting to 78.137.99.97:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 1515 (1.5K) Saving to: ‘boolector_1.5.118.6b56be4.121013-1.dsc’ 0K . 100% 81.4M=0s 2020-05-26 13:11:25 (81.4 MB/s) - ‘boolector_1.5.118.6b56be4.121013-1.dsc’ saved [1515/1515] Tue May 26 13:11:25 UTC 2020 I: boolector_1.5.118.6b56be4.121013-1.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: boolector Binary: boolector Architecture: any Version: 1.5.118.6b56be4.121013-1 Maintainer: Michael Tautschnig Homepage: http://fmv.jku.at/boolector/ Standards-Version: 3.9.3 Build-Depends: debhelper (>= 5) Package-List: boolector deb science extra Checksums-Sha1: 8c9c8f443b401586649ced68096b890da59d08fb 166291 boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz b136e73313e402c65cb3819e03f397dd3b218756 188678 boolector_1.5.118.6b56be4.121013.orig.tar.gz 9a8e763f7ef6d7d8c3c5c18689f231c5ef4b6469 4827 boolector_1.5.118.6b56be4.121013-1.debian.tar.gz Checksums-Sha256: 5da60202e977d60da811b29cf065b01c4cf4f38cc2ba1a2d562365e2284b2142 166291 boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz e0215c7e3b0512919f0af5470f6cbb32ef0bd86042659cf068b81fbf60d713e2 188678 boolector_1.5.118.6b56be4.121013.orig.tar.gz efe3c5f85abcb7198a01312612a9d223eded6d1752fc6c64c8d64d8dd69287d1 4827 boolector_1.5.118.6b56be4.121013-1.debian.tar.gz Files: d0a0dff8874138369df2454e9bb39940 166291 boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz b1762bb9c2395333aa6ad03d510a7f21 188678 boolector_1.5.118.6b56be4.121013.orig.tar.gz 1361f44eea9cf0e8eacb8aa7a4540dca 4827 boolector_1.5.118.6b56be4.121013-1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAlB9bwYACgkQvx6dH3bVKsQ9LACgw3whc2A9z1AVD9Nk+aFyLsUv MDsAoJ5BM+xyPqZkZb84n6GYuAhDOL2G =ablK -----END PGP SIGNATURE----- Tue May 26 13:11:25 UTC 2020 I: Checking whether the package is not for us Tue May 26 13:11:25 UTC 2020 I: Starting 1st build on remote node profitbricks-build12-i386.debian.net. Tue May 26 13:11:25 UTC 2020 I: Preparing to do remote build '1' on profitbricks-build12-i386.debian.net. Tue May 26 13:14:23 UTC 2020 I: Deleting $TMPDIR on profitbricks-build12-i386.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Tue May 26 01:11:28 -12 2020 I: pbuilder-time-stamp: 1590498688 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: using eatmydata during job I: Copying source file I: copying [boolector_1.5.118.6b56be4.121013-1.dsc] I: copying [./boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz] I: copying [./boolector_1.5.118.6b56be4.121013.orig.tar.gz] I: copying [./boolector_1.5.118.6b56be4.121013-1.debian.tar.gz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error gpgv: Signature made Tue Oct 16 02:28:22 2012 -12 gpgv: using DSA key BF1E9D1F76D52AC4 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./boolector_1.5.118.6b56be4.121013-1.dsc dpkg-source: info: extracting boolector in boolector-1.5.118.6b56be4.121013 dpkg-source: info: unpacking boolector_1.5.118.6b56be4.121013.orig.tar.gz dpkg-source: info: unpacking boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz dpkg-source: info: unpacking boolector_1.5.118.6b56be4.121013-1.debian.tar.gz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying debian-changes-1.5.118.6b56be4.121013-1 I: using fakeroot in build. I: Installing the build-deps -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: i386 Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper (>= 5) dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19234 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper (>= 5); however: Package debhelper is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdmainutils{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libbsd0{a} libcroco3{a} libelf1{a} libfile-stripnondeterminism-perl{a} libglib2.0-0{a} libicu63{a} libmagic-mgc{a} libmagic1{a} libncurses6{a} libpipeline1{a} libsigsegv2{a} libtool{a} libuchardet0{a} libxml2{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: curl libarchive-cpio-perl libglib2.0-data libgpm2 libltdl-dev libmail-sendmail-perl lynx shared-mime-info wget xdg-user-dirs 0 packages upgraded, 33 newly installed, 0 to remove and 0 not upgraded. Need to get 19.4 MB of archives. After unpacking 70.3 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian buster/main i386 libbsd0 i386 0.9.1-2 [104 kB] Get: 2 http://deb.debian.org/debian buster/main i386 bsdmainutils i386 11.1.2+b1 [193 kB] Get: 3 http://deb.debian.org/debian buster/main i386 libuchardet0 i386 0.0.6-3 [65.2 kB] Get: 4 http://deb.debian.org/debian buster/main i386 groff-base i386 1.22.4-3 [935 kB] Get: 5 http://deb.debian.org/debian buster/main i386 libpipeline1 i386 1.5.1-2 [33.3 kB] Get: 6 http://deb.debian.org/debian buster/main i386 man-db i386 2.8.5-2 [1284 kB] Get: 7 http://deb.debian.org/debian buster/main i386 sensible-utils all 0.0.12 [15.8 kB] Get: 8 http://deb.debian.org/debian buster/main i386 libmagic-mgc i386 1:5.35-4+deb10u1 [242 kB] Get: 9 http://deb.debian.org/debian buster/main i386 libmagic1 i386 1:5.35-4+deb10u1 [124 kB] Get: 10 http://deb.debian.org/debian buster/main i386 file i386 1:5.35-4+deb10u1 [66.3 kB] Get: 11 http://deb.debian.org/debian buster/main i386 gettext-base i386 0.19.8.1-9 [124 kB] Get: 12 http://deb.debian.org/debian buster/main i386 libsigsegv2 i386 2.12-2 [33.2 kB] Get: 13 http://deb.debian.org/debian buster/main i386 m4 i386 1.4.18-2 [205 kB] Get: 14 http://deb.debian.org/debian buster/main i386 autoconf all 2.69-11 [341 kB] Get: 15 http://deb.debian.org/debian buster/main i386 autotools-dev all 20180224.1 [77.0 kB] Get: 16 http://deb.debian.org/debian buster/main i386 automake all 1:1.16.1-4 [771 kB] Get: 17 http://deb.debian.org/debian buster/main i386 autopoint all 0.19.8.1-9 [434 kB] Get: 18 http://deb.debian.org/debian buster/main i386 libtool all 2.4.6-9 [547 kB] Get: 19 http://deb.debian.org/debian buster/main i386 dh-autoreconf all 19 [16.9 kB] Get: 20 http://deb.debian.org/debian buster/main i386 libarchive-zip-perl all 1.64-1 [96.8 kB] Get: 21 http://deb.debian.org/debian buster/main i386 libfile-stripnondeterminism-perl all 1.1.2-1 [19.8 kB] Get: 22 http://deb.debian.org/debian buster/main i386 dh-strip-nondeterminism all 1.1.2-1 [13.0 kB] Get: 23 http://deb.debian.org/debian buster/main i386 libelf1 i386 0.176-1.1 [166 kB] Get: 24 http://deb.debian.org/debian buster/main i386 dwz i386 0.12-3 [81.4 kB] Get: 25 http://deb.debian.org/debian buster/main i386 libglib2.0-0 i386 2.58.3-2+deb10u2 [1334 kB] Get: 26 http://deb.debian.org/debian buster/main i386 libicu63 i386 63.1-6+deb10u1 [8451 kB] Get: 27 http://deb.debian.org/debian buster/main i386 libxml2 i386 2.9.4+dfsg1-7+b3 [721 kB] Get: 28 http://deb.debian.org/debian buster/main i386 libcroco3 i386 0.6.12-3 [151 kB] Get: 29 http://deb.debian.org/debian buster/main i386 libncurses6 i386 6.1+20181013-2+deb10u2 [109 kB] Get: 30 http://deb.debian.org/debian buster/main i386 gettext i386 0.19.8.1-9 [1314 kB] Get: 31 http://deb.debian.org/debian buster/main i386 intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 32 http://deb.debian.org/debian buster/main i386 po-debconf all 1.0.21 [248 kB] Get: 33 http://deb.debian.org/debian buster/main i386 debhelper all 12.1.1 [1016 kB] Fetched 19.4 MB in 3s (7271 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:i386. (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 ... 19234 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.9.1-2_i386.deb ... Unpacking libbsd0:i386 (0.9.1-2) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2+b1_i386.deb ... Unpacking bsdmainutils (11.1.2+b1) ... Selecting previously unselected package libuchardet0:i386. Preparing to unpack .../02-libuchardet0_0.0.6-3_i386.deb ... Unpacking libuchardet0:i386 (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../03-groff-base_1.22.4-3_i386.deb ... Unpacking groff-base (1.22.4-3) ... Selecting previously unselected package libpipeline1:i386. Preparing to unpack .../04-libpipeline1_1.5.1-2_i386.deb ... Unpacking libpipeline1:i386 (1.5.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.8.5-2_i386.deb ... Unpacking man-db (2.8.5-2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../06-sensible-utils_0.0.12_all.deb ... Unpacking sensible-utils (0.0.12) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../07-libmagic-mgc_1%3a5.35-4+deb10u1_i386.deb ... Unpacking libmagic-mgc (1:5.35-4+deb10u1) ... Selecting previously unselected package libmagic1:i386. Preparing to unpack .../08-libmagic1_1%3a5.35-4+deb10u1_i386.deb ... Unpacking libmagic1:i386 (1:5.35-4+deb10u1) ... Selecting previously unselected package file. Preparing to unpack .../09-file_1%3a5.35-4+deb10u1_i386.deb ... Unpacking file (1:5.35-4+deb10u1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../10-gettext-base_0.19.8.1-9_i386.deb ... Unpacking gettext-base (0.19.8.1-9) ... Selecting previously unselected package libsigsegv2:i386. Preparing to unpack .../11-libsigsegv2_2.12-2_i386.deb ... Unpacking libsigsegv2:i386 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../12-m4_1.4.18-2_i386.deb ... Unpacking m4 (1.4.18-2) ... Selecting previously unselected package autoconf. Preparing to unpack .../13-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../14-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../15-automake_1%3a1.16.1-4_all.deb ... Unpacking automake (1:1.16.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../16-autopoint_0.19.8.1-9_all.deb ... Unpacking autopoint (0.19.8.1-9) ... Selecting previously unselected package libtool. Preparing to unpack .../17-libtool_2.4.6-9_all.deb ... Unpacking libtool (2.4.6-9) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../18-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../19-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 .../20-libfile-stripnondeterminism-perl_1.1.2-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.1.2-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../21-dh-strip-nondeterminism_1.1.2-1_all.deb ... Unpacking dh-strip-nondeterminism (1.1.2-1) ... Selecting previously unselected package libelf1:i386. Preparing to unpack .../22-libelf1_0.176-1.1_i386.deb ... Unpacking libelf1:i386 (0.176-1.1) ... Selecting previously unselected package dwz. Preparing to unpack .../23-dwz_0.12-3_i386.deb ... Unpacking dwz (0.12-3) ... Selecting previously unselected package libglib2.0-0:i386. Preparing to unpack .../24-libglib2.0-0_2.58.3-2+deb10u2_i386.deb ... Unpacking libglib2.0-0:i386 (2.58.3-2+deb10u2) ... Selecting previously unselected package libicu63:i386. Preparing to unpack .../25-libicu63_63.1-6+deb10u1_i386.deb ... Unpacking libicu63:i386 (63.1-6+deb10u1) ... Selecting previously unselected package libxml2:i386. Preparing to unpack .../26-libxml2_2.9.4+dfsg1-7+b3_i386.deb ... Unpacking libxml2:i386 (2.9.4+dfsg1-7+b3) ... Selecting previously unselected package libcroco3:i386. Preparing to unpack .../27-libcroco3_0.6.12-3_i386.deb ... Unpacking libcroco3:i386 (0.6.12-3) ... Selecting previously unselected package libncurses6:i386. Preparing to unpack .../28-libncurses6_6.1+20181013-2+deb10u2_i386.deb ... Unpacking libncurses6:i386 (6.1+20181013-2+deb10u2) ... Selecting previously unselected package gettext. Preparing to unpack .../29-gettext_0.19.8.1-9_i386.deb ... Unpacking gettext (0.19.8.1-9) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../30-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../31-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../32-debhelper_12.1.1_all.deb ... Unpacking debhelper (12.1.1) ... Setting up libpipeline1:i386 (1.5.1-2) ... Setting up libmagic-mgc (1:5.35-4+deb10u1) ... Setting up libarchive-zip-perl (1.64-1) ... Setting up libglib2.0-0:i386 (2.58.3-2+deb10u2) ... No schema files found: doing nothing. Setting up libmagic1:i386 (1:5.35-4+deb10u1) ... Setting up gettext-base (0.19.8.1-9) ... Setting up file (1:5.35-4+deb10u1) ... Setting up libicu63:i386 (63.1-6+deb10u1) ... Setting up autotools-dev (20180224.1) ... Setting up libncurses6:i386 (6.1+20181013-2+deb10u2) ... Setting up libsigsegv2:i386 (2.12-2) ... Setting up autopoint (0.19.8.1-9) ... Setting up sensible-utils (0.0.12) ... Setting up libuchardet0:i386 (0.0.6-3) ... Setting up libbsd0:i386 (0.9.1-2) ... Setting up libelf1:i386 (0.176-1.1) ... Setting up libxml2:i386 (2.9.4+dfsg1-7+b3) ... Setting up libfile-stripnondeterminism-perl (1.1.2-1) ... Setting up libtool (2.4.6-9) ... Setting up m4 (1.4.18-2) ... Setting up bsdmainutils (11.1.2+b1) ... 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 libcroco3:i386 (0.6.12-3) ... Setting up autoconf (2.69-11) ... Setting up dwz (0.12-3) ... Setting up groff-base (1.22.4-3) ... 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 gettext (0.19.8.1-9) ... Setting up man-db (2.8.5-2) ... Not building database; man-db/auto-update is not 'true'. Setting up intltool-debian (0.35.0+20060710.5) ... Setting up po-debconf (1.0.21) ... Setting up debhelper (12.1.1) ... Setting up dh-autoreconf (19) ... Setting up dh-strip-nondeterminism (1.1.2-1) ... Processing triggers for libc-bin (2.28-10) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps Reading package lists... Building dependency tree... Reading state information... fakeroot is already the newest version (1.23-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: Running cd /build/boolector-1.5.118.6b56be4.121013/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b dpkg-buildpackage: info: source package boolector dpkg-buildpackage: info: source version 1.5.118.6b56be4.121013-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Michael Tautschnig dpkg-source --before-build . dpkg-buildpackage: info: host architecture i386 fakeroot debian/rules clean dh_testdir dh_testroot rm -f build-stamp # Add here commands to clean up after the build process. [ ! -e makefile ] || /usr/bin/make clean dh_clean dh_clean: Compatibility levels before 9 are deprecated (level 5 in use) debian/rules build dh_testdir # Add here commands to configure the package. cd lingeling ; ./configure gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT /usr/bin/make -C lingeling make[1]: Entering directory '/build/boolector-1.5.118.6b56be4.121013/lingeling' gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -c lglib.c lglib.c: In function 'lglstampall': lglib.c:16052:2: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (rootsonly) noimpls++; goto CONTINUE; ^~ lglib.c:16052:28: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' if (rootsonly) noimpls++; goto CONTINUE; ^~~~ rm -f lglcflags.h echo '#define LGL_CC "gcc (Debian 8.3.0-6) 8.3.0"' >> lglcflags.h echo '#define LGL_CFLAGS "-Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT "' >> lglcflags.h rm -f lglcfg.h ./mkconfig > lglcfg.h gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -c lglbnr.c ar rc liblgl.a lglib.o lglbnr.o ranlib liblgl.a gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -c lglmain.c gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -o lingeling lglmain.o -L. -llgl -lm gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -c plingeling.c plingeling.c: In function 'getsystemtotalmem': plingeling.c:456:17: warning: result of '12 << 30' requires 35 bits to represent, but 'int' only has 32 bits [-Wshift-overflow=] res = MAXGB << 30;; ^~ gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -pthread -o plingeling plingeling.o -L. -llgl -lm gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -c ilingeling.c gcc -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT -pthread -o ilingeling ilingeling.o -L. -llgl -lm make[1]: Leaving directory '/build/boolector-1.5.118.6b56be4.121013/lingeling' ./configure [configure] optimized compilation without debugging symbols [configure] disabling PicoSAT: '../picosat' missing [configure] using Lingeling in '../lingeling' [configure] disabling MiniSAT: '../minisat' missing [configure] linking against 'libm' [configure] CC=gcc [configure] CFLAGS=-W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING [configure] LIBS=-Llingeling -llgl -lm [configure] OBJS= [configure] makefile generated dh_testdir # Add here commands to compile the package. /usr/bin/make make[1]: Entering directory '/build/boolector-1.5.118.6b56be4.121013' rm -f btorconfig.h; ./mkconfig > btorconfig.h rm -f dependencies; gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -MM *.c|sed -e 's,:,: makefile,'>dependencies gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorconst.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorexp.c btorexp.c: In function 'erase_local_data_exp': btorexp.c:721:5: warning: this statement may fall through [-Wimplicit-fallthrough=] if (free_symbol) ^ btorexp.c:727:7: note: here case BTOR_WRITE_NODE: ^~~~ gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorsmt2.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorbtor.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorutil.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btoraigvec.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorsat.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btormem.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorrewrite.c btorrewrite.c: In function 'btor_slice_simplifiable': btorrewrite.c:186:3: warning: enumeration value 'BTOR_INVALID_NODE' not handled in switch [-Wswitch] switch (real_exp->kind) ^~~~~~ btorrewrite.c:186:3: warning: enumeration value 'BTOR_ARRAY_VAR_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_AND_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_BEQ_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_AEQ_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_ADD_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_MUL_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_ULT_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_SLL_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_SRL_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_UDIV_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_UREM_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_CONCAT_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_READ_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_WRITE_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_BCOND_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_ACOND_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_PROXY_NODE' not handled in switch [-Wswitch] btorrewrite.c:186:3: warning: enumeration value 'BTOR_NUM_OPS_NODE' not handled in switch [-Wswitch] btorrewrite.c: In function 'btor_concat_simplifiable': btorrewrite.c:3129:3: warning: enumeration value 'BTOR_INVALID_NODE' not handled in switch [-Wswitch] switch (real_exp->kind) ^~~~~~ btorrewrite.c:3129:3: warning: enumeration value 'BTOR_ARRAY_VAR_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_SLICE_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_AND_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_BEQ_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_AEQ_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_ADD_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_MUL_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_ULT_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_SLL_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_SRL_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_UDIV_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_UREM_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_CONCAT_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_READ_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_WRITE_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_BCOND_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_ACOND_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_PROXY_NODE' not handled in switch [-Wswitch] btorrewrite.c:3129:3: warning: enumeration value 'BTOR_NUM_OPS_NODE' not handled in switch [-Wswitch] gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btoraig.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorsmt.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btormain.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorhash.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c boolector.c rm -f libboolector.a ar rc libboolector.a btorsmt2.o btormem.o btoraigvec.o btormain.o btorhash.o btorbtor.o btorutil.o btorsat.o btorexp.o btorrewrite.o btorconst.o btoraig.o btorsmt.o boolector.o ranlib libboolector.a gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c boolectormain.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -o boolector boolectormain.o -L. -lboolector -Llingeling -llgl -lm gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c synthebtor.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -o synthebtor synthebtor.o -L. -lboolector -Llingeling -llgl -lm gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -o deltabtor deltabtor.c make[1]: Leaving directory '/build/boolector-1.5.118.6b56be4.121013' touch build-stamp fakeroot debian/rules binary dh_testdir dh_testroot dh_clean -k dh_clean: Compatibility levels before 9 are deprecated (level 5 in use) dh_clean: dh_clean -k is deprecated; use dh_prep instead dh_clean: This feature will be removed in compat 12. dh_installdirs dh_installdirs: Compatibility levels before 9 are deprecated (level 5 in use) # Add here commands to install the package into debian/picosat. dh_testdir dh_testroot dh_installchangelogs NEWS dh_installdocs dh_installdocs: Compatibility levels before 9 are deprecated (level 5 in use) dh_install dh_install: Compatibility levels before 9 are deprecated (level 5 in use) dh_installman debian/boolector.1 dh_installman: Compatibility levels before 9 are deprecated (level 5 in use) dh_link dh_strip dh_strip: Compatibility levels before 9 are deprecated (level 5 in use) dh_compress dh_compress: Compatibility levels before 9 are deprecated (level 5 in use) dh_fixperms dh_makeshlibs dh_installdeb dh_installdeb: Compatibility levels before 9 are deprecated (level 5 in use) dh_shlibdeps dh_shlibdeps: Compatibility levels before 9 are deprecated (level 5 in use) dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'boolector' in '../boolector_1.5.118.6b56be4.121013-1_i386.deb'. dpkg-deb: building package 'boolector-dbgsym' in '../boolector-dbgsym_1.5.118.6b56be4.121013-1_i386.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../boolector_1.5.118.6b56be4.121013-1_i386.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/32163 and its subdirectories I: Current time: Tue May 26 01:14:22 -12 2020 I: pbuilder-time-stamp: 1590498862 Tue May 26 13:14:23 UTC 2020 I: 1st build successful. Starting 2nd build on remote node profitbricks-build6-i386.debian.net. Tue May 26 13:14:23 UTC 2020 I: Preparing to do remote build '2' on profitbricks-build6-i386.debian.net. Tue May 26 13:15:04 UTC 2020 I: Deleting $TMPDIR on profitbricks-build6-i386.debian.net. Tue May 26 13:15:04 UTC 2020 I: boolector_1.5.118.6b56be4.121013-1_i386.changes: Format: 1.8 Date: Tue, 16 Oct 2012 13:01:32 +0100 Source: boolector Binary: boolector boolector-dbgsym Architecture: i386 Version: 1.5.118.6b56be4.121013-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: boolector - SMT solver for bit-vectors and arrays Changes: boolector (1.5.118.6b56be4.121013-1) unstable; urgency=low . * New upstream release * Bumped Standards-Version to 3.9.3 (no changes) Checksums-Sha1: b14148619ca4dde9b86d21a4018bc76083656cce 13592 boolector-dbgsym_1.5.118.6b56be4.121013-1_i386.deb 2bd13471eaf220d5f526790fccc0df7bf683ab01 4722 boolector_1.5.118.6b56be4.121013-1_i386.buildinfo 0f78efbed5233cd7f0b4138e0e413d3e29632236 314368 boolector_1.5.118.6b56be4.121013-1_i386.deb Checksums-Sha256: d47a6bd59bce9171c1e90cd65529d17da39f6640a2b90789b6bbb947fd717884 13592 boolector-dbgsym_1.5.118.6b56be4.121013-1_i386.deb cf0f12d53d5c27e9e05b6c5d9259a096d8b3fe7ae07dfc64d50f6498d5183db7 4722 boolector_1.5.118.6b56be4.121013-1_i386.buildinfo 75c84a11965add4c6c077ef138cc293bb8923549b77466c6daf71fb6c71b234a 314368 boolector_1.5.118.6b56be4.121013-1_i386.deb Files: d294c4cefb023b4f6f69f5ae8af7098a 13592 debug optional boolector-dbgsym_1.5.118.6b56be4.121013-1_i386.deb d49782b6becef2ea10224f947ade4711 4722 science extra boolector_1.5.118.6b56be4.121013-1_i386.buildinfo 574808a6d324740afc28f26937b6261f 314368 science extra boolector_1.5.118.6b56be4.121013-1_i386.deb Tue May 26 13:15:05 UTC 2020 I: diffoscope 145 will be used to compare the two builds: # Profiling output for: /usr/bin/diffoscope --html /srv/reproducible-results/rbuild-debian/tmp.gErt2IbjfL/boolector_1.5.118.6b56be4.121013-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/tmp.gErt2IbjfL/boolector_1.5.118.6b56be4.121013-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/tmp.gErt2IbjfL/boolector_1.5.118.6b56be4.121013-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/tmp.gErt2IbjfL/b1/boolector_1.5.118.6b56be4.121013-1_i386.changes /srv/reproducible-results/rbuild-debian/tmp.gErt2IbjfL/b2/boolector_1.5.118.6b56be4.121013-1_i386.changes ## close_archive (total time: 0.001s) 0.000s 18 calls diffoscope.comparators.xz.XzContainer 0.000s 12 calls diffoscope.comparators.tar.TarContainer 0.000s 8 calls diffoscope.comparators.deb.DebContainer 0.000s 6 calls diffoscope.comparators.deb.DebTarContainer ## command (total time: 29.137s) 12.580s 151 calls diff 9.620s 198 calls objdump 5.702s 996 calls readelf 0.802s 4 calls objcopy 0.366s 18 calls xz 0.066s 7 calls cmp 0.002s 15 calls cmp (internal) ## compare_files (cumulative) (total time: 107.628s) 19.671s 1 call abc.DotChangesFile 19.439s 2 calls abc.DebFile 19.273s 4 calls abc.XzFile 18.671s 2 calls abc.DebDataTarFile 18.331s 2 calls abc.ElfFile 9.830s 10 calls diffoscope.comparators.elf.ElfCodeSection 2.062s 35 calls diffoscope.comparators.elf.ElfSection 0.213s 2 calls abc.TarFile 0.040s 1 call diffoscope.comparators.elf.ElfStringSection 0.037s 1 call diffoscope.comparators.elf.MonkeyPatchedElfSection 0.032s 1 call abc.TextFile 0.030s 2 calls abc.Md5sumsFile ## container_extract (total time: 0.414s) 0.369s 18 calls diffoscope.comparators.xz.XzContainer 0.019s 22 calls diffoscope.comparators.deb.DebContainer 0.014s 14 calls diffoscope.comparators.deb.DebTarContainer 0.012s 16 calls diffoscope.comparators.tar.TarContainer ## has_same_content_as (total time: 0.071s) 0.041s 12 calls diffoscope.comparators.utils.libarchive.LibarchiveMember 0.017s 2 calls diffoscope.comparators.debian.DebControlMember 0.012s 4 calls diffoscope.comparators.utils.archive.ArchiveMember 0.001s 35 calls diffoscope.comparators.elf.ElfSection 0.000s 2 calls abc.Md5sumsFile 0.000s 10 calls diffoscope.comparators.elf.ElfCodeSection 0.000s 1 call abc.DotChangesFile 0.000s 1 call diffoscope.comparators.utils.libarchive.LibarchiveSymlink 0.000s 1 call diffoscope.comparators.elf.MonkeyPatchedElfSection 0.000s 1 call diffoscope.comparators.elf.ElfStringSection ## main (total time: 23.556s) 23.537s 2 calls outputs 0.019s 1 call cleanup ## open_archive (total time: 0.001s) 0.001s 18 calls diffoscope.comparators.xz.XzContainer 0.000s 12 calls diffoscope.comparators.tar.TarContainer 0.000s 8 calls diffoscope.comparators.deb.DebContainer 0.000s 6 calls diffoscope.comparators.deb.DebTarContainer ## output (total time: 3.664s) 3.426s 1 call html 0.145s 1 call text 0.093s 1 call json ## recognizes (total time: 0.867s) 0.266s 1270 calls diffoscope.comparators.utils.libarchive.LibarchiveMember 0.246s 630 calls diffoscope.comparators.elf.ElfSection 0.174s 678 calls diffoscope.comparators.utils.archive.ArchiveMember 0.099s 180 calls diffoscope.comparators.elf.ElfCodeSection 0.052s 168 calls diffoscope.comparators.debian.DebControlMember 0.028s 10 calls diffoscope.comparators.binary.FilesystemFile 0.001s 18 calls diffoscope.comparators.elf.ElfStringSection 0.001s 18 calls diffoscope.comparators.elf.MonkeyPatchedElfSection 0.000s 8 calls abc.DotChangesFile Tue May 26 13:15:32 UTC 2020 E: boolector failed to build reproducibly in buster on i386. Tue May 26 13:15:38 UTC 2020 I: Submitting .buildinfo files to external archives: Tue May 26 13:15:38 UTC 2020 I: Submitting 8.0K b1/boolector_1.5.118.6b56be4.121013-1_i386.buildinfo.asc Tue May 26 13:15:40 UTC 2020 I: Submitting 8.0K b2/boolector_1.5.118.6b56be4.121013-1_i386.buildinfo.asc Tue May 26 13:15:41 UTC 2020 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Tue May 26 13:15:41 UTC 2020 I: Done submitting .buildinfo files. Tue May 26 13:15:41 UTC 2020 I: Removing signed boolector_1.5.118.6b56be4.121013-1_i386.buildinfo.asc files: removed './b1/boolector_1.5.118.6b56be4.121013-1_i386.buildinfo.asc' removed './b2/boolector_1.5.118.6b56be4.121013-1_i386.buildinfo.asc'