sbuild (Debian sbuild) 0.78.1 (09 February 2019) on gcc131.bak.milne.osuosl.org +==============================================================================+ | boolector 1.5.118.6b56be4.121013-1 (s390x) Thu, 27 Feb 2020 22:34:05 +0000 | +==============================================================================+ Package: boolector Version: 1.5.118.6b56be4.121013-1 Source Version: 1.5.118.6b56be4.121013-1 Distribution: unstable Machine Architecture: amd64 Host Architecture: s390x Build Architecture: amd64 Build Profiles: cross nocheck Build Type: any I: NOTICE: Log filtering will replace 'var/run/schroot/mount/unstable-amd64-sbuild-1065dca1-e2d7-44e3-9cab-ff6af8c9d9b4' with '<>' I: NOTICE: Log filtering will replace 'build/boolector-2LrHUm/resolver-wKuWMS' with '<>' +------------------------------------------------------------------------------+ | Update chroot | +------------------------------------------------------------------------------+ Get:1 http://debian.oregonstate.edu/debian unstable InRelease [142 kB] Get:2 http://debian.oregonstate.edu/debian unstable/main Sources.diff/Index [27.9 kB] Get:3 http://debian.oregonstate.edu/debian unstable/main amd64 Packages.diff/Index [27.9 kB] Get:4 http://debian.oregonstate.edu/debian unstable/main Sources 2020-02-27-0814.40.pdiff [5599 B] Get:5 http://debian.oregonstate.edu/debian unstable/main Sources 2020-02-27-1419.01.pdiff [20.1 kB] Get:6 http://debian.oregonstate.edu/debian unstable/main Sources 2020-02-27-2017.46.pdiff [11.9 kB] Get:6 http://debian.oregonstate.edu/debian unstable/main Sources 2020-02-27-2017.46.pdiff [11.9 kB] Get:7 http://debian.oregonstate.edu/debian unstable/main amd64 Packages 2020-02-27-0814.40.pdiff [4633 B] Get:8 http://debian.oregonstate.edu/debian unstable/main amd64 Packages 2020-02-27-1419.01.pdiff [24.4 kB] Get:9 http://debian.oregonstate.edu/debian unstable/main amd64 Packages 2020-02-27-2017.46.pdiff [11.6 kB] Get:9 http://debian.oregonstate.edu/debian unstable/main amd64 Packages 2020-02-27-2017.46.pdiff [11.6 kB] Get:10 http://debian.oregonstate.edu/debian unstable/main s390x Packages [7929 kB] Fetched 8205 kB in 2s (4961 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Check APT --------- Checking available source versions... Download source files with APT ------------------------------ Reading package lists... Need to get 361 kB of source archives. Get:1 http://debian.oregonstate.edu/debian unstable/main boolector 1.5.118.6b56be4.121013-1 (dsc) [1515 B] Get:2 http://debian.oregonstate.edu/debian unstable/main boolector 1.5.118.6b56be4.121013-1 (tar) [166 kB] Get:3 http://debian.oregonstate.edu/debian unstable/main boolector 1.5.118.6b56be4.121013-1 (tar) [189 kB] Get:4 http://debian.oregonstate.edu/debian unstable/main boolector 1.5.118.6b56be4.121013-1 (diff) [4827 B] Fetched 361 kB in 1s (402 kB/s) Download complete and in download only mode I: NOTICE: Log filtering will replace 'build/boolector-2LrHUm/boolector-1.5.118.6b56be4.121013' with '<>' I: NOTICE: Log filtering will replace 'build/boolector-2LrHUm' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper (>= 5), libc-dev, libstdc++-dev, build-essential:amd64, fakeroot:amd64, crossbuild-essential-s390x:amd64, libc-dev:s390x, libstdc++-dev:s390x Filtered Build-Depends: debhelper (>= 5), libc-dev, libstdc++-dev, build-essential:amd64, fakeroot:amd64, crossbuild-essential-s390x:amd64, libc-dev:s390x, libstdc++-dev:s390x dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<>/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [957 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [400 B] Get:5 copy:/<>/apt_archive ./ Packages [487 B] Fetched 1844 B in 0s (93.7 kB/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: autoconf automake autopoint autotools-dev binutils-s390x-linux-gnu bsdmainutils build-essential cpp-9-s390x-linux-gnu cpp-s390x-linux-gnu cross-config crossbuild-essential-s390x debhelper dh-autoreconf dh-strip-nondeterminism dpkg-cross dwz file g++ g++-9 g++-9-s390x-linux-gnu g++-s390x-linux-gnu gcc-10-base:s390x gcc-10-cross-base gcc-9-base:s390x gcc-9-cross-base gcc-9-s390x-linux-gnu gcc-9-s390x-linux-gnu-base gcc-s390x-linux-gnu gettext gettext-base groff-base intltool-debian libarchive-zip-perl libasan5:s390x libasan5-s390x-cross libatomic1:s390x libatomic1-s390x-cross libbsd0 libc6:s390x libc6-dev libc6-dev:s390x libc6-dev-s390x-cross libc6-s390x-cross libconfig-auto-perl libconfig-inifiles-perl libcroco3 libcrypt-dev libcrypt-dev:s390x libcrypt1:s390x libdebhelper-perl libdebian-dpkgcross-perl libelf1 libfile-homedir-perl libfile-stripnondeterminism-perl libfile-which-perl libgcc-9-dev:s390x libgcc-9-dev-s390x-cross libgcc-s1:s390x libgcc-s1-s390x-cross libglib2.0-0 libgomp1:s390x libgomp1-s390x-cross libicu63 libio-string-perl libitm1:s390x libitm1-s390x-cross liblocale-gettext-perl libmagic-mgc libmagic1 libpipeline1 libsigsegv2 libstdc++-9-dev libstdc++-9-dev:s390x libstdc++-9-dev-s390x-cross libstdc++6:s390x libstdc++6-s390x-cross libsub-override-perl libtool libubsan1:s390x libubsan1-s390x-cross libuchardet0 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml-simple-perl libxml2 libyaml-perl linux-libc-dev:s390x linux-libc-dev-s390x-cross m4 man-db po-debconf sensible-utils ucf Suggested packages: autoconf-archive gnu-standards autoconf-doc binutils-doc wamerican | wordlist whois vacation gcc-9-locales cpp-doc dh-make binutils-multiarch g++-multilib g++-9-multilib gcc-9-doc g++-9-multilib-s390x-linux-gnu gcc-9-multilib-s390x-linux-gnu manpages-dev flex bison gdb-s390x-linux-gnu gcc-doc gettext-doc libasprintf-dev libgettextpo-dev groff glibc-doc:s390x libc-l10n:s390x locales:s390x glibc-doc manpages-dev:s390x libstdc++-9-doc libstdc++-9-doc:s390x libtool-doc gfortran | fortran95-compiler gcj-jdk libyaml-shell-perl m4-doc apparmor less www-browser libmail-box-perl Recommended packages: curl | wget | lynx libidn2-0:s390x libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libltdl-dev libwww-perl libxml-sax-expat-perl libyaml-libyaml-perl | libyaml-syck-perl libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev binutils-s390x-linux-gnu bsdmainutils build-essential cpp-9-s390x-linux-gnu cpp-s390x-linux-gnu cross-config crossbuild-essential-s390x debhelper dh-autoreconf dh-strip-nondeterminism dpkg-cross dwz file g++ g++-9 g++-9-s390x-linux-gnu g++-s390x-linux-gnu gcc-10-base:s390x gcc-10-cross-base gcc-9-base:s390x gcc-9-cross-base gcc-9-s390x-linux-gnu gcc-9-s390x-linux-gnu-base gcc-s390x-linux-gnu gettext gettext-base groff-base intltool-debian libarchive-zip-perl libasan5:s390x libasan5-s390x-cross libatomic1:s390x libatomic1-s390x-cross libbsd0 libc6:s390x libc6-dev libc6-dev:s390x libc6-dev-s390x-cross libc6-s390x-cross libconfig-auto-perl libconfig-inifiles-perl libcroco3 libcrypt-dev libcrypt-dev:s390x libcrypt1:s390x libdebhelper-perl libdebian-dpkgcross-perl libelf1 libfile-homedir-perl libfile-stripnondeterminism-perl libfile-which-perl libgcc-9-dev:s390x libgcc-9-dev-s390x-cross libgcc-s1:s390x libgcc-s1-s390x-cross libglib2.0-0 libgomp1:s390x libgomp1-s390x-cross libicu63 libio-string-perl libitm1:s390x libitm1-s390x-cross liblocale-gettext-perl libmagic-mgc libmagic1 libpipeline1 libsigsegv2 libstdc++-9-dev libstdc++-9-dev:s390x libstdc++-9-dev-s390x-cross libstdc++6:s390x libstdc++6-s390x-cross libsub-override-perl libtool libubsan1:s390x libubsan1-s390x-cross libuchardet0 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml-simple-perl libxml2 libyaml-perl linux-libc-dev:s390x linux-libc-dev-s390x-cross m4 man-db po-debconf sbuild-build-depends-main-dummy:s390x sensible-utils ucf 0 upgraded, 96 newly installed, 0 to remove and 0 not upgraded. Need to get 75.0 MB of archives. After this operation, 310 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [912 B] Get:2 http://debian.oregonstate.edu/debian unstable/main amd64 libbsd0 amd64 0.10.0-1 [107 kB] Get:3 http://debian.oregonstate.edu/debian unstable/main amd64 bsdmainutils amd64 11.1.2+b1 [191 kB] Get:4 http://debian.oregonstate.edu/debian unstable/main amd64 libuchardet0 amd64 0.0.6-3 [64.9 kB] Get:5 http://debian.oregonstate.edu/debian unstable/main amd64 groff-base amd64 1.22.4-4 [919 kB] Get:6 http://debian.oregonstate.edu/debian unstable/main amd64 libpipeline1 amd64 1.5.2-2 [33.9 kB] Get:7 http://debian.oregonstate.edu/debian unstable/main amd64 man-db amd64 2.9.1-1 [1308 kB] Get:8 http://debian.oregonstate.edu/debian unstable/main amd64 liblocale-gettext-perl amd64 1.07-4 [18.8 kB] Get:9 http://debian.oregonstate.edu/debian unstable/main s390x gcc-10-base s390x 10-20200222-1 [195 kB] Get:10 http://debian.oregonstate.edu/debian unstable/main s390x gcc-9-base s390x 9.2.1-30 [196 kB] Get:11 http://debian.oregonstate.edu/debian unstable/main amd64 sensible-utils all 0.0.12+nmu1 [16.0 kB] Get:12 http://debian.oregonstate.edu/debian unstable/main amd64 libmagic-mgc amd64 1:5.38-4 [262 kB] Get:13 http://debian.oregonstate.edu/debian unstable/main amd64 libmagic1 amd64 1:5.38-4 [120 kB] Get:14 http://debian.oregonstate.edu/debian unstable/main amd64 file amd64 1:5.38-4 [67.9 kB] Get:15 http://debian.oregonstate.edu/debian unstable/main amd64 gettext-base amd64 0.19.8.1-10 [123 kB] Get:16 http://debian.oregonstate.edu/debian unstable/main amd64 ucf all 3.0038+nmu1 [69.0 kB] Get:17 http://debian.oregonstate.edu/debian unstable/main amd64 libsigsegv2 amd64 2.12-2 [32.8 kB] Get:18 http://debian.oregonstate.edu/debian unstable/main amd64 m4 amd64 1.4.18-4 [203 kB] Get:19 http://debian.oregonstate.edu/debian unstable/main amd64 autoconf all 2.69-11.1 [341 kB] Get:20 http://debian.oregonstate.edu/debian unstable/main amd64 autotools-dev all 20180224.1 [77.0 kB] Get:21 http://debian.oregonstate.edu/debian unstable/main amd64 automake all 1:1.16.1-4 [771 kB] Get:22 http://debian.oregonstate.edu/debian unstable/main amd64 autopoint all 0.19.8.1-10 [435 kB] Get:23 http://debian.oregonstate.edu/debian unstable/main amd64 binutils-s390x-linux-gnu amd64 2.34-3 [1944 kB] Get:24 http://debian.oregonstate.edu/debian unstable/main amd64 libcrypt-dev amd64 1:4.4.10-10 [104 kB] Get:25 http://debian.oregonstate.edu/debian unstable/main amd64 libc6-dev amd64 2.29-10 [2638 kB] Get:26 http://debian.oregonstate.edu/debian unstable/main amd64 libstdc++-9-dev amd64 9.2.1-30 [1697 kB] Get:27 http://debian.oregonstate.edu/debian unstable/main amd64 g++-9 amd64 9.2.1-30 [10.7 MB] Get:28 http://debian.oregonstate.edu/debian unstable/main amd64 g++ amd64 4:9.2.1-3.1 [1644 B] Get:29 http://debian.oregonstate.edu/debian unstable/main amd64 build-essential amd64 12.8 [7640 B] Get:30 http://debian.oregonstate.edu/debian unstable/main amd64 gcc-9-s390x-linux-gnu-base amd64 9.2.1-28cross1 [196 kB] Get:31 http://debian.oregonstate.edu/debian unstable/main amd64 cpp-9-s390x-linux-gnu amd64 9.2.1-28cross1 [6140 kB] Get:32 http://debian.oregonstate.edu/debian unstable/main amd64 cpp-s390x-linux-gnu amd64 4:9.2.1-3.1 [16.7 kB] Get:33 http://debian.oregonstate.edu/debian unstable/main amd64 cross-config all 2.6.15-3 [39.9 kB] Get:34 http://debian.oregonstate.edu/debian unstable/main amd64 gcc-9-cross-base all 9.2.1-28cross1 [191 kB] Get:35 http://debian.oregonstate.edu/debian unstable/main amd64 gcc-10-cross-base all 10-20200211-1cross1 [191 kB] Get:36 http://debian.oregonstate.edu/debian unstable/main amd64 libc6-s390x-cross all 2.29-9cross1 [1246 kB] Get:37 http://debian.oregonstate.edu/debian unstable/main amd64 libgcc-s1-s390x-cross all 10-20200211-1cross1 [24.7 kB] Get:38 http://debian.oregonstate.edu/debian unstable/main amd64 libgomp1-s390x-cross all 10-20200211-1cross1 [90.1 kB] Get:39 http://debian.oregonstate.edu/debian unstable/main amd64 libitm1-s390x-cross all 10-20200211-1cross1 [25.1 kB] Get:40 http://debian.oregonstate.edu/debian unstable/main amd64 libatomic1-s390x-cross all 10-20200211-1cross1 [7984 B] Get:41 http://debian.oregonstate.edu/debian unstable/main amd64 libasan5-s390x-cross all 9.2.1-28cross1 [338 kB] Get:42 http://debian.oregonstate.edu/debian unstable/main amd64 libstdc++6-s390x-cross all 10-20200211-1cross1 [444 kB] Get:43 http://debian.oregonstate.edu/debian unstable/main amd64 libubsan1-s390x-cross all 10-20200211-1cross1 [125 kB] Get:44 http://debian.oregonstate.edu/debian unstable/main amd64 libgcc-9-dev-s390x-cross all 9.2.1-28cross1 [683 kB] Get:45 http://debian.oregonstate.edu/debian unstable/main amd64 gcc-9-s390x-linux-gnu amd64 9.2.1-28cross1 [6513 kB] Get:46 http://debian.oregonstate.edu/debian unstable/main amd64 gcc-s390x-linux-gnu amd64 4:9.2.1-3.1 [1456 B] Get:47 http://debian.oregonstate.edu/debian unstable/main amd64 linux-libc-dev-s390x-cross all 5.4.8-1cross1 [1145 kB] Get:48 http://debian.oregonstate.edu/debian unstable/main amd64 libc6-dev-s390x-cross all 2.29-9cross1 [2209 kB] Get:49 http://debian.oregonstate.edu/debian unstable/main amd64 libstdc++-9-dev-s390x-cross all 9.2.1-28cross1 [1648 kB] Get:50 http://debian.oregonstate.edu/debian unstable/main amd64 g++-9-s390x-linux-gnu amd64 9.2.1-28cross1 [6722 kB] Get:51 http://debian.oregonstate.edu/debian unstable/main amd64 g++-s390x-linux-gnu amd64 4:9.2.1-3.1 [1176 B] Get:52 http://debian.oregonstate.edu/debian unstable/main amd64 libconfig-inifiles-perl all 3.000002-1 [52.0 kB] Get:53 http://debian.oregonstate.edu/debian unstable/main amd64 libio-string-perl all 1.08-3 [12.3 kB] Get:54 http://debian.oregonstate.edu/debian unstable/main amd64 libicu63 amd64 63.2-2 [8301 kB] Get:55 http://debian.oregonstate.edu/debian unstable/main amd64 libxml2 amd64 2.9.10+dfsg-4 [709 kB] Get:56 http://debian.oregonstate.edu/debian unstable/main amd64 libxml-namespacesupport-perl all 1.12-1 [14.8 kB] Get:57 http://debian.oregonstate.edu/debian unstable/main amd64 libxml-sax-base-perl all 1.09-1 [20.4 kB] Get:58 http://debian.oregonstate.edu/debian unstable/main amd64 libxml-sax-perl all 1.02+dfsg-1 [59.0 kB] Get:59 http://debian.oregonstate.edu/debian unstable/main amd64 libxml-libxml-perl amd64 2.0134+dfsg-1+b1 [344 kB] Get:60 http://debian.oregonstate.edu/debian unstable/main amd64 libxml-simple-perl all 2.25-1 [72.0 kB] Get:61 http://debian.oregonstate.edu/debian unstable/main amd64 libyaml-perl all 1.30-1 [67.7 kB] Get:62 http://debian.oregonstate.edu/debian unstable/main amd64 libconfig-auto-perl all 0.44-1 [19.5 kB] Get:63 http://debian.oregonstate.edu/debian unstable/main amd64 libfile-which-perl all 1.23-1 [16.6 kB] Get:64 http://debian.oregonstate.edu/debian unstable/main amd64 libfile-homedir-perl all 1.004-1 [42.7 kB] Get:65 http://debian.oregonstate.edu/debian unstable/main amd64 libdebian-dpkgcross-perl all 2.6.15-3 [38.7 kB] Get:66 http://debian.oregonstate.edu/debian unstable/main amd64 dpkg-cross all 2.6.15-3 [49.3 kB] Get:67 http://debian.oregonstate.edu/debian unstable/main amd64 crossbuild-essential-s390x all 12.8 [6636 B] Get:68 http://debian.oregonstate.edu/debian unstable/main amd64 libtool all 2.4.6-13 [513 kB] Get:69 http://debian.oregonstate.edu/debian unstable/main amd64 dh-autoreconf all 19 [16.9 kB] Get:70 http://debian.oregonstate.edu/debian unstable/main amd64 libdebhelper-perl all 12.9 [183 kB] Get:71 http://debian.oregonstate.edu/debian unstable/main amd64 libarchive-zip-perl all 1.67-1 [104 kB] Get:72 http://debian.oregonstate.edu/debian unstable/main amd64 libsub-override-perl all 0.09-2 [10.2 kB] Get:73 http://debian.oregonstate.edu/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.6.3-2 [23.7 kB] Get:74 http://debian.oregonstate.edu/debian unstable/main amd64 dh-strip-nondeterminism all 1.6.3-2 [14.7 kB] Get:75 http://debian.oregonstate.edu/debian unstable/main amd64 libelf1 amd64 0.176-1.1 [161 kB] Get:76 http://debian.oregonstate.edu/debian unstable/main amd64 dwz amd64 0.13-5 [151 kB] Get:77 http://debian.oregonstate.edu/debian unstable/main amd64 libglib2.0-0 amd64 2.62.5-1 [1320 kB] Get:78 http://debian.oregonstate.edu/debian unstable/main amd64 libcroco3 amd64 0.6.13-1 [146 kB] Get:79 http://debian.oregonstate.edu/debian unstable/main amd64 gettext amd64 0.19.8.1-10 [1303 kB] Get:80 http://debian.oregonstate.edu/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get:81 http://debian.oregonstate.edu/debian unstable/main amd64 po-debconf all 1.0.21 [248 kB] Get:82 http://debian.oregonstate.edu/debian unstable/main amd64 debhelper all 12.9 [994 kB] Get:83 http://debian.oregonstate.edu/debian unstable/main s390x libgcc-s1 s390x 10-20200222-1 [24.6 kB] Get:84 http://debian.oregonstate.edu/debian unstable/main s390x libcrypt1 s390x 1:4.4.10-10 [88.1 kB] Get:85 http://debian.oregonstate.edu/debian unstable/main s390x libc6 s390x 2.29-10 [2442 kB] Get:86 http://debian.oregonstate.edu/debian unstable/main s390x libasan5 s390x 9.2.1-30 [345 kB] Get:87 http://debian.oregonstate.edu/debian unstable/main s390x libatomic1 s390x 10-20200222-1 [8196 B] Get:88 http://debian.oregonstate.edu/debian unstable/main s390x linux-libc-dev s390x 5.4.19-1 [1073 kB] Get:89 http://debian.oregonstate.edu/debian unstable/main s390x libcrypt-dev s390x 1:4.4.10-10 [107 kB] Get:90 http://debian.oregonstate.edu/debian unstable/main s390x libc6-dev s390x 2.29-10 [2236 kB] Get:91 http://debian.oregonstate.edu/debian unstable/main s390x libgomp1 s390x 10-20200222-1 [92.2 kB] Get:92 http://debian.oregonstate.edu/debian unstable/main s390x libitm1 s390x 10-20200222-1 [25.4 kB] Get:93 http://debian.oregonstate.edu/debian unstable/main s390x libstdc++6 s390x 10-20200222-1 [485 kB] Get:94 http://debian.oregonstate.edu/debian unstable/main s390x libubsan1 s390x 10-20200222-1 [126 kB] Get:95 http://debian.oregonstate.edu/debian unstable/main s390x libgcc-9-dev s390x 9.2.1-30 [681 kB] Get:96 http://debian.oregonstate.edu/debian unstable/main s390x libstdc++-9-dev s390x 9.2.1-30 [1660 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 75.0 MB in 1s (82.0 MB/s) Selecting previously unselected package libbsd0:amd64. (Reading database ... 12785 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.10.0-1_amd64.deb ... Unpacking libbsd0:amd64 (0.10.0-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2+b1_amd64.deb ... Unpacking bsdmainutils (11.1.2+b1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../02-libuchardet0_0.0.6-3_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../03-groff-base_1.22.4-4_amd64.deb ... Unpacking groff-base (1.22.4-4) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../04-libpipeline1_1.5.2-2_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.2-2) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.9.1-1_amd64.deb ... Unpacking man-db (2.9.1-1) ... Selecting previously unselected package liblocale-gettext-perl. Preparing to unpack .../06-liblocale-gettext-perl_1.07-4_amd64.deb ... Unpacking liblocale-gettext-perl (1.07-4) ... Selecting previously unselected package gcc-10-base:s390x. Preparing to unpack .../07-gcc-10-base_10-20200222-1_s390x.deb ... Unpacking gcc-10-base:s390x (10-20200222-1) ... Selecting previously unselected package gcc-9-base:s390x. Preparing to unpack .../08-gcc-9-base_9.2.1-30_s390x.deb ... Unpacking gcc-9-base:s390x (9.2.1-30) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../09-sensible-utils_0.0.12+nmu1_all.deb ... Unpacking sensible-utils (0.0.12+nmu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../10-libmagic-mgc_1%3a5.38-4_amd64.deb ... Unpacking libmagic-mgc (1:5.38-4) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../11-libmagic1_1%3a5.38-4_amd64.deb ... Unpacking libmagic1:amd64 (1:5.38-4) ... Selecting previously unselected package file. Preparing to unpack .../12-file_1%3a5.38-4_amd64.deb ... Unpacking file (1:5.38-4) ... Selecting previously unselected package gettext-base. Preparing to unpack .../13-gettext-base_0.19.8.1-10_amd64.deb ... Unpacking gettext-base (0.19.8.1-10) ... Selecting previously unselected package ucf. Preparing to unpack .../14-ucf_3.0038+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0038+nmu1) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../15-libsigsegv2_2.12-2_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../16-m4_1.4.18-4_amd64.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../17-autoconf_2.69-11.1_all.deb ... Unpacking autoconf (2.69-11.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../18-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../19-automake_1%3a1.16.1-4_all.deb ... Unpacking automake (1:1.16.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../20-autopoint_0.19.8.1-10_all.deb ... Unpacking autopoint (0.19.8.1-10) ... Selecting previously unselected package binutils-s390x-linux-gnu. Preparing to unpack .../21-binutils-s390x-linux-gnu_2.34-3_amd64.deb ... Unpacking binutils-s390x-linux-gnu (2.34-3) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../22-libcrypt-dev_1%3a4.4.10-10_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.10-10) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../23-libc6-dev_2.29-10_amd64.deb ... Unpacking libc6-dev:amd64 (2.29-10) ... Selecting previously unselected package libstdc++-9-dev:amd64. Preparing to unpack .../24-libstdc++-9-dev_9.2.1-30_amd64.deb ... Unpacking libstdc++-9-dev:amd64 (9.2.1-30) ... Selecting previously unselected package g++-9. Preparing to unpack .../25-g++-9_9.2.1-30_amd64.deb ... Unpacking g++-9 (9.2.1-30) ... Selecting previously unselected package g++. Preparing to unpack .../26-g++_4%3a9.2.1-3.1_amd64.deb ... Unpacking g++ (4:9.2.1-3.1) ... Selecting previously unselected package build-essential. Preparing to unpack .../27-build-essential_12.8_amd64.deb ... Unpacking build-essential (12.8) ... Selecting previously unselected package gcc-9-s390x-linux-gnu-base:amd64. Preparing to unpack .../28-gcc-9-s390x-linux-gnu-base_9.2.1-28cross1_amd64.deb ... Unpacking gcc-9-s390x-linux-gnu-base:amd64 (9.2.1-28cross1) ... Selecting previously unselected package cpp-9-s390x-linux-gnu. Preparing to unpack .../29-cpp-9-s390x-linux-gnu_9.2.1-28cross1_amd64.deb ... Unpacking cpp-9-s390x-linux-gnu (9.2.1-28cross1) ... Selecting previously unselected package cpp-s390x-linux-gnu. Preparing to unpack .../30-cpp-s390x-linux-gnu_4%3a9.2.1-3.1_amd64.deb ... Unpacking cpp-s390x-linux-gnu (4:9.2.1-3.1) ... Selecting previously unselected package cross-config. Preparing to unpack .../31-cross-config_2.6.15-3_all.deb ... Unpacking cross-config (2.6.15-3) ... Selecting previously unselected package gcc-9-cross-base. Preparing to unpack .../32-gcc-9-cross-base_9.2.1-28cross1_all.deb ... Unpacking gcc-9-cross-base (9.2.1-28cross1) ... Selecting previously unselected package gcc-10-cross-base. Preparing to unpack .../33-gcc-10-cross-base_10-20200211-1cross1_all.deb ... Unpacking gcc-10-cross-base (10-20200211-1cross1) ... Selecting previously unselected package libc6-s390x-cross. Preparing to unpack .../34-libc6-s390x-cross_2.29-9cross1_all.deb ... Unpacking libc6-s390x-cross (2.29-9cross1) ... Selecting previously unselected package libgcc-s1-s390x-cross. Preparing to unpack .../35-libgcc-s1-s390x-cross_10-20200211-1cross1_all.deb ... Unpacking libgcc-s1-s390x-cross (10-20200211-1cross1) ... Selecting previously unselected package libgomp1-s390x-cross. Preparing to unpack .../36-libgomp1-s390x-cross_10-20200211-1cross1_all.deb ... Unpacking libgomp1-s390x-cross (10-20200211-1cross1) ... Selecting previously unselected package libitm1-s390x-cross. Preparing to unpack .../37-libitm1-s390x-cross_10-20200211-1cross1_all.deb ... Unpacking libitm1-s390x-cross (10-20200211-1cross1) ... Selecting previously unselected package libatomic1-s390x-cross. Preparing to unpack .../38-libatomic1-s390x-cross_10-20200211-1cross1_all.deb ... Unpacking libatomic1-s390x-cross (10-20200211-1cross1) ... Selecting previously unselected package libasan5-s390x-cross. Preparing to unpack .../39-libasan5-s390x-cross_9.2.1-28cross1_all.deb ... Unpacking libasan5-s390x-cross (9.2.1-28cross1) ... Selecting previously unselected package libstdc++6-s390x-cross. Preparing to unpack .../40-libstdc++6-s390x-cross_10-20200211-1cross1_all.deb ... Unpacking libstdc++6-s390x-cross (10-20200211-1cross1) ... Selecting previously unselected package libubsan1-s390x-cross. Preparing to unpack .../41-libubsan1-s390x-cross_10-20200211-1cross1_all.deb ... Unpacking libubsan1-s390x-cross (10-20200211-1cross1) ... Selecting previously unselected package libgcc-9-dev-s390x-cross. Preparing to unpack .../42-libgcc-9-dev-s390x-cross_9.2.1-28cross1_all.deb ... Unpacking libgcc-9-dev-s390x-cross (9.2.1-28cross1) ... Selecting previously unselected package gcc-9-s390x-linux-gnu. Preparing to unpack .../43-gcc-9-s390x-linux-gnu_9.2.1-28cross1_amd64.deb ... Unpacking gcc-9-s390x-linux-gnu (9.2.1-28cross1) ... Selecting previously unselected package gcc-s390x-linux-gnu. Preparing to unpack .../44-gcc-s390x-linux-gnu_4%3a9.2.1-3.1_amd64.deb ... Unpacking gcc-s390x-linux-gnu (4:9.2.1-3.1) ... Selecting previously unselected package linux-libc-dev-s390x-cross. Preparing to unpack .../45-linux-libc-dev-s390x-cross_5.4.8-1cross1_all.deb ... Unpacking linux-libc-dev-s390x-cross (5.4.8-1cross1) ... Selecting previously unselected package libc6-dev-s390x-cross. Preparing to unpack .../46-libc6-dev-s390x-cross_2.29-9cross1_all.deb ... Unpacking libc6-dev-s390x-cross (2.29-9cross1) ... Selecting previously unselected package libstdc++-9-dev-s390x-cross. Preparing to unpack .../47-libstdc++-9-dev-s390x-cross_9.2.1-28cross1_all.deb ... Unpacking libstdc++-9-dev-s390x-cross (9.2.1-28cross1) ... Selecting previously unselected package g++-9-s390x-linux-gnu. Preparing to unpack .../48-g++-9-s390x-linux-gnu_9.2.1-28cross1_amd64.deb ... Unpacking g++-9-s390x-linux-gnu (9.2.1-28cross1) ... Selecting previously unselected package g++-s390x-linux-gnu. Preparing to unpack .../49-g++-s390x-linux-gnu_4%3a9.2.1-3.1_amd64.deb ... Unpacking g++-s390x-linux-gnu (4:9.2.1-3.1) ... Selecting previously unselected package libconfig-inifiles-perl. Preparing to unpack .../50-libconfig-inifiles-perl_3.000002-1_all.deb ... Unpacking libconfig-inifiles-perl (3.000002-1) ... Selecting previously unselected package libio-string-perl. Preparing to unpack .../51-libio-string-perl_1.08-3_all.deb ... Unpacking libio-string-perl (1.08-3) ... Selecting previously unselected package libicu63:amd64. Preparing to unpack .../52-libicu63_63.2-2_amd64.deb ... Unpacking libicu63:amd64 (63.2-2) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../53-libxml2_2.9.10+dfsg-4_amd64.deb ... Unpacking libxml2:amd64 (2.9.10+dfsg-4) ... Selecting previously unselected package libxml-namespacesupport-perl. Preparing to unpack .../54-libxml-namespacesupport-perl_1.12-1_all.deb ... Unpacking libxml-namespacesupport-perl (1.12-1) ... Selecting previously unselected package libxml-sax-base-perl. Preparing to unpack .../55-libxml-sax-base-perl_1.09-1_all.deb ... Unpacking libxml-sax-base-perl (1.09-1) ... Selecting previously unselected package libxml-sax-perl. Preparing to unpack .../56-libxml-sax-perl_1.02+dfsg-1_all.deb ... Unpacking libxml-sax-perl (1.02+dfsg-1) ... Selecting previously unselected package libxml-libxml-perl. Preparing to unpack .../57-libxml-libxml-perl_2.0134+dfsg-1+b1_amd64.deb ... Unpacking libxml-libxml-perl (2.0134+dfsg-1+b1) ... Selecting previously unselected package libxml-simple-perl. Preparing to unpack .../58-libxml-simple-perl_2.25-1_all.deb ... Unpacking libxml-simple-perl (2.25-1) ... Selecting previously unselected package libyaml-perl. Preparing to unpack .../59-libyaml-perl_1.30-1_all.deb ... Unpacking libyaml-perl (1.30-1) ... Selecting previously unselected package libconfig-auto-perl. Preparing to unpack .../60-libconfig-auto-perl_0.44-1_all.deb ... Unpacking libconfig-auto-perl (0.44-1) ... Selecting previously unselected package libfile-which-perl. Preparing to unpack .../61-libfile-which-perl_1.23-1_all.deb ... Unpacking libfile-which-perl (1.23-1) ... Selecting previously unselected package libfile-homedir-perl. Preparing to unpack .../62-libfile-homedir-perl_1.004-1_all.deb ... Unpacking libfile-homedir-perl (1.004-1) ... Selecting previously unselected package libdebian-dpkgcross-perl. Preparing to unpack .../63-libdebian-dpkgcross-perl_2.6.15-3_all.deb ... Unpacking libdebian-dpkgcross-perl (2.6.15-3) ... Selecting previously unselected package dpkg-cross. Preparing to unpack .../64-dpkg-cross_2.6.15-3_all.deb ... Unpacking dpkg-cross (2.6.15-3) ... Selecting previously unselected package crossbuild-essential-s390x. Preparing to unpack .../65-crossbuild-essential-s390x_12.8_all.deb ... Unpacking crossbuild-essential-s390x (12.8) ... Selecting previously unselected package libtool. Preparing to unpack .../66-libtool_2.4.6-13_all.deb ... Unpacking libtool (2.4.6-13) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../67-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../68-libdebhelper-perl_12.9_all.deb ... Unpacking libdebhelper-perl (12.9) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../69-libarchive-zip-perl_1.67-1_all.deb ... Unpacking libarchive-zip-perl (1.67-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../70-libsub-override-perl_0.09-2_all.deb ... Unpacking libsub-override-perl (0.09-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../71-libfile-stripnondeterminism-perl_1.6.3-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.6.3-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../72-dh-strip-nondeterminism_1.6.3-2_all.deb ... Unpacking dh-strip-nondeterminism (1.6.3-2) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../73-libelf1_0.176-1.1_amd64.deb ... Unpacking libelf1:amd64 (0.176-1.1) ... Selecting previously unselected package dwz. Preparing to unpack .../74-dwz_0.13-5_amd64.deb ... Unpacking dwz (0.13-5) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../75-libglib2.0-0_2.62.5-1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.62.5-1) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../76-libcroco3_0.6.13-1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../77-gettext_0.19.8.1-10_amd64.deb ... Unpacking gettext (0.19.8.1-10) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../78-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 .../79-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../80-debhelper_12.9_all.deb ... Unpacking debhelper (12.9) ... Selecting previously unselected package libgcc-s1:s390x. Preparing to unpack .../81-libgcc-s1_10-20200222-1_s390x.deb ... Unpacking libgcc-s1:s390x (10-20200222-1) ... Selecting previously unselected package libcrypt1:s390x. Preparing to unpack .../82-libcrypt1_1%3a4.4.10-10_s390x.deb ... Unpacking libcrypt1:s390x (1:4.4.10-10) ... Selecting previously unselected package libc6:s390x. Preparing to unpack .../83-libc6_2.29-10_s390x.deb ... Unpacking libc6:s390x (2.29-10) ... Selecting previously unselected package libasan5:s390x. Preparing to unpack .../84-libasan5_9.2.1-30_s390x.deb ... Unpacking libasan5:s390x (9.2.1-30) ... Selecting previously unselected package libatomic1:s390x. Preparing to unpack .../85-libatomic1_10-20200222-1_s390x.deb ... Unpacking libatomic1:s390x (10-20200222-1) ... Selecting previously unselected package linux-libc-dev:s390x. Preparing to unpack .../86-linux-libc-dev_5.4.19-1_s390x.deb ... Unpacking linux-libc-dev:s390x (5.4.19-1) ... Selecting previously unselected package libcrypt-dev:s390x. Preparing to unpack .../87-libcrypt-dev_1%3a4.4.10-10_s390x.deb ... Unpacking libcrypt-dev:s390x (1:4.4.10-10) ... Selecting previously unselected package libc6-dev:s390x. Preparing to unpack .../88-libc6-dev_2.29-10_s390x.deb ... Unpacking libc6-dev:s390x (2.29-10) ... Selecting previously unselected package libgomp1:s390x. Preparing to unpack .../89-libgomp1_10-20200222-1_s390x.deb ... Unpacking libgomp1:s390x (10-20200222-1) ... Selecting previously unselected package libitm1:s390x. Preparing to unpack .../90-libitm1_10-20200222-1_s390x.deb ... Unpacking libitm1:s390x (10-20200222-1) ... Selecting previously unselected package libstdc++6:s390x. Preparing to unpack .../91-libstdc++6_10-20200222-1_s390x.deb ... Unpacking libstdc++6:s390x (10-20200222-1) ... Selecting previously unselected package libubsan1:s390x. Preparing to unpack .../92-libubsan1_10-20200222-1_s390x.deb ... Unpacking libubsan1:s390x (10-20200222-1) ... Selecting previously unselected package libgcc-9-dev:s390x. Preparing to unpack .../93-libgcc-9-dev_9.2.1-30_s390x.deb ... Unpacking libgcc-9-dev:s390x (9.2.1-30) ... Selecting previously unselected package libstdc++-9-dev:s390x. Preparing to unpack .../94-libstdc++-9-dev_9.2.1-30_s390x.deb ... Unpacking libstdc++-9-dev:s390x (9.2.1-30) ... Selecting previously unselected package sbuild-build-depends-main-dummy:s390x. Preparing to unpack .../95-sbuild-build-depends-main-dummy_0.invalid.0_s390x.deb ... Unpacking sbuild-build-depends-main-dummy:s390x (0.invalid.0) ... Setting up libconfig-inifiles-perl (3.000002-1) ... Setting up libpipeline1:amd64 (1.5.2-2) ... Setting up libfile-which-perl (1.23-1) ... Setting up binutils-s390x-linux-gnu (2.34-3) ... Setting up libmagic-mgc (1:5.38-4) ... Setting up libarchive-zip-perl (1.67-1) ... Setting up libglib2.0-0:amd64 (2.62.5-1) ... No schema files found: doing nothing. Setting up libdebhelper-perl (12.9) ... Setting up libc6-s390x-cross (2.29-9cross1) ... Setting up gcc-9-s390x-linux-gnu-base:amd64 (9.2.1-28cross1) ... Setting up libmagic1:amd64 (1:5.38-4) ... Setting up linux-libc-dev:s390x (5.4.19-1) ... Setting up libxml-namespacesupport-perl (1.12-1) ... Setting up gettext-base (0.19.8.1-10) ... Setting up file (1:5.38-4) ... Setting up libyaml-perl (1.30-1) ... Setting up libicu63:amd64 (63.2-2) ... Setting up libxml-sax-base-perl (1.09-1) ... Setting up libio-string-perl (1.08-3) ... Setting up gcc-10-base:s390x (10-20200222-1) ... Setting up autotools-dev (20180224.1) ... Setting up linux-libc-dev-s390x-cross (5.4.8-1cross1) ... Setting up cross-config (2.6.15-3) ... Setting up cpp-9-s390x-linux-gnu (9.2.1-28cross1) ... Setting up libsigsegv2:amd64 (2.12-2) ... Setting up autopoint (0.19.8.1-10) ... Setting up gcc-9-cross-base (9.2.1-28cross1) ... Setting up gcc-10-cross-base (10-20200211-1cross1) ... Setting up libitm1-s390x-cross (10-20200211-1cross1) ... Setting up sensible-utils (0.0.12+nmu1) ... Setting up libc6-dev-s390x-cross (2.29-9cross1) ... Setting up libcrypt-dev:amd64 (1:4.4.10-10) ... Setting up libuchardet0:amd64 (0.0.6-3) ... Setting up libsub-override-perl (0.09-2) ... Setting up libc6-dev:amd64 (2.29-10) ... Setting up libfile-homedir-perl (1.004-1) ... Setting up libbsd0:amd64 (0.10.0-1) ... Setting up libelf1:amd64 (0.176-1.1) ... Setting up libgomp1-s390x-cross (10-20200211-1cross1) ... Setting up libxml2:amd64 (2.9.10+dfsg-4) ... Setting up liblocale-gettext-perl (1.07-4) ... Setting up gcc-9-base:s390x (9.2.1-30) ... Setting up libfile-stripnondeterminism-perl (1.6.3-2) ... Setting up libstdc++-9-dev:amd64 (9.2.1-30) ... Setting up cpp-s390x-linux-gnu (4:9.2.1-3.1) ... Setting up libtool (2.4.6-13) ... Setting up libatomic1-s390x-cross (10-20200211-1cross1) ... Setting up m4 (1.4.18-4) ... 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:amd64 (0.6.13-1) ... Setting up libgcc-s1-s390x-cross (10-20200211-1cross1) ... Setting up ucf (3.0038+nmu1) ... Setting up g++-9 (9.2.1-30) ... Setting up autoconf (2.69-11.1) ... Setting up dh-strip-nondeterminism (1.6.3-2) ... Setting up g++ (4:9.2.1-3.1) ... update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode Setting up dwz (0.13-5) ... Setting up groff-base (1.22.4-4) ... Setting up build-essential (12.8) ... 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-10) ... Setting up libstdc++6-s390x-cross (10-20200211-1cross1) ... Setting up libasan5-s390x-cross (9.2.1-28cross1) ... Setting up man-db (2.9.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libxml-sax-perl (1.02+dfsg-1) ... update-perl-sax-parsers: Registering Perl SAX parser XML::SAX::PurePerl with priority 10... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Creating config file /etc/perl/XML/SAX/ParserDetails.ini with new version Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libxml-libxml-perl (2.0134+dfsg-1+b1) ... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX::Parser with priority 50... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX with priority 50... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Replacing config file /etc/perl/XML/SAX/ParserDetails.ini with new version Setting up libubsan1-s390x-cross (10-20200211-1cross1) ... Setting up po-debconf (1.0.21) ... Setting up libxml-simple-perl (2.25-1) ... Setting up libgcc-9-dev-s390x-cross (9.2.1-28cross1) ... Setting up libconfig-auto-perl (0.44-1) ... Setting up libstdc++-9-dev-s390x-cross (9.2.1-28cross1) ... Setting up libdebian-dpkgcross-perl (2.6.15-3) ... Setting up gcc-9-s390x-linux-gnu (9.2.1-28cross1) ... Setting up gcc-s390x-linux-gnu (4:9.2.1-3.1) ... Setting up dpkg-cross (2.6.15-3) ... Setting up g++-9-s390x-linux-gnu (9.2.1-28cross1) ... Setting up g++-s390x-linux-gnu (4:9.2.1-3.1) ... Setting up crossbuild-essential-s390x (12.8) ... Setting up libcrypt1:s390x (1:4.4.10-10) ... Setting up libgcc-s1:s390x (10-20200222-1) ... Setting up libc6:s390x (2.29-10) ... Setting up libcrypt-dev:s390x (1:4.4.10-10) ... Setting up libc6-dev:s390x (2.29-10) ... Setting up libstdc++6:s390x (10-20200222-1) ... Setting up libitm1:s390x (10-20200222-1) ... Setting up libgomp1:s390x (10-20200222-1) ... Setting up dh-autoreconf (19) ... Setting up libasan5:s390x (9.2.1-30) ... Setting up libatomic1:s390x (10-20200222-1) ... Setting up libubsan1:s390x (10-20200222-1) ... Setting up debhelper (12.9) ... Setting up libgcc-9-dev:s390x (9.2.1-30) ... Setting up libstdc++-9-dev:s390x (9.2.1-30) ... Setting up sbuild-build-depends-main-dummy:s390x (0.invalid.0) ... Processing triggers for libc-bin (2.29-10) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (s390x included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.19.0-6-amd64 #1 SMP Debian 4.19.67-2+deb10u2 (2019-11-11) amd64 (x86_64) Toolchain package versions: binutils_2.34-3 dpkg-dev_1.19.7 g++-9_9.2.1-30 gcc-8_8.3.0-29 gcc-9_9.2.1-30 libc6-dev_2.29-10 libstdc++-9-dev_9.2.1-30 libstdc++-9-dev-s390x-cross_9.2.1-28cross1 libstdc++6_10-20200222-1 libstdc++6-s390x-cross_10-20200211-1cross1 linux-libc-dev_5.4.19-1 Package versions: adduser_3.118 apt_1.8.4 autoconf_2.69-11.1 automake_1:1.16.1-4 autopoint_0.19.8.1-10 autotools-dev_20180224.1 base-files_11 base-passwd_3.5.47 bash_5.0-6 binutils_2.34-3 binutils-common_2.34-3 binutils-s390x-linux-gnu_2.34-3 binutils-x86-64-linux-gnu_2.34-3 bsdmainutils_11.1.2+b1 bsdutils_1:2.34-0.1 build-essential_12.8 bzip2_1.0.8-2 coreutils_8.30-3+b1 cpp_4:9.2.1-3.1 cpp-8_8.3.0-29 cpp-9_9.2.1-30 cpp-9-s390x-linux-gnu_9.2.1-28cross1 cpp-s390x-linux-gnu_4:9.2.1-3.1 cross-config_2.6.15-3 crossbuild-essential-s390x_12.8 dash_0.5.10.2-6 debconf_1.5.73 debhelper_12.9 debian-archive-keyring_2019.1 debianutils_4.9.1 dh-autoreconf_19 dh-strip-nondeterminism_1.6.3-2 diffutils_1:3.7-3 dpkg_1.19.7 dpkg-cross_2.6.15-3 dpkg-dev_1.19.7 dwz_0.13-5 e2fsprogs_1.45.5-2 fakeroot_1.24-1 fdisk_2.34-0.1 file_1:5.38-4 findutils_4.7.0-1 g++_4:9.2.1-3.1 g++-9_9.2.1-30 g++-9-s390x-linux-gnu_9.2.1-28cross1 g++-s390x-linux-gnu_4:9.2.1-3.1 gcc_4:9.2.1-3.1 gcc-10-base_10-20200222-1 gcc-10-cross-base_10-20200211-1cross1 gcc-8_8.3.0-29 gcc-8-base_8.3.0-29 gcc-9_9.2.1-30 gcc-9-base_9.2.1-30 gcc-9-cross-base_9.2.1-28cross1 gcc-9-s390x-linux-gnu_9.2.1-28cross1 gcc-9-s390x-linux-gnu-base_9.2.1-28cross1 gcc-s390x-linux-gnu_4:9.2.1-3.1 gettext_0.19.8.1-10 gettext-base_0.19.8.1-10 gpgv_2.2.19-1 grep_3.4-1 groff-base_1.22.4-4 gzip_1.10-1 hostname_3.23 init-system-helpers_1.57 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-5 libapt-pkg5.0_1.8.4 libarchive-zip-perl_1.67-1 libasan5_9.2.1-30 libasan5-s390x-cross_9.2.1-28cross1 libatomic1_10-20200222-1 libatomic1-s390x-cross_10-20200211-1cross1 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-2 libaudit1_1:2.8.5-2+b1 libbinutils_2.34-3 libblkid1_2.34-0.1 libbsd0_0.10.0-1 libbz2-1.0_1.0.8-2 libc-bin_2.29-10 libc-dev-bin_2.29-10 libc6_2.29-10 libc6-dev_2.29-10 libc6-dev-s390x-cross_2.29-9cross1 libc6-s390x-cross_2.29-9cross1 libcap-ng0_0.7.9-2.1+b1 libcc1-0_10-20200222-1 libcom-err2_1.45.5-2 libconfig-auto-perl_0.44-1 libconfig-inifiles-perl_3.000002-1 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.10-10 libcrypt1_1:4.4.10-10 libctf-nobfd0_2.34-3 libctf0_2.34-3 libdb5.3_5.3.28+dfsg1-0.6 libdebconfclient0_0.251 libdebhelper-perl_12.9 libdebian-dpkgcross-perl_2.6.15-3 libdpkg-perl_1.19.7 libelf1_0.176-1.1 libext2fs2_1.45.5-2 libfakeroot_1.24-1 libfdisk1_2.34-0.1 libffi6_3.2.1-9 libffi7_3.3-3 libfile-homedir-perl_1.004-1 libfile-stripnondeterminism-perl_1.6.3-2 libfile-which-perl_1.23-1 libgcc-8-dev_8.3.0-29 libgcc-9-dev_9.2.1-30 libgcc-9-dev-s390x-cross_9.2.1-28cross1 libgcc-s1_10-20200222-1 libgcc-s1-s390x-cross_10-20200211-1cross1 libgcc1_1:10-20200222-1 libgcrypt20_1.8.5-5 libgdbm-compat4_1.18.1-5 libgdbm6_1.18.1-5 libglib2.0-0_2.62.5-1 libgmp10_2:6.2.0+dfsg-4 libgnutls30_3.6.12-2 libgomp1_10-20200222-1 libgomp1-s390x-cross_10-20200211-1cross1 libgpg-error0_1.37-1 libhogweed4_3.5.1+really3.4.1-1 libhogweed5_3.5.1+really3.5.1-2 libicu63_63.2-2 libidn2-0_2.2.0-2 libio-string-perl_1.08-3 libisl19_0.20-2 libisl22_0.22.1-1 libitm1_10-20200222-1 libitm1-s390x-cross_10-20200211-1cross1 liblocale-gettext-perl_1.07-4 liblsan0_10-20200222-1 liblz4-1_1.9.2-2 liblzma5_5.2.4-1+b1 libmagic-mgc_1:5.38-4 libmagic1_1:5.38-4 libmount1_2.34-0.1 libmpc3_1.1.0-1 libmpfr6_4.0.2-1 libmpx2_8.3.0-29 libncursesw6_6.1+20191019-1 libnettle6_3.5.1+really3.4.1-1 libnettle7_3.5.1+really3.5.1-2 libp11-kit0_0.23.20-1 libpam-modules_1.3.1-5 libpam-modules-bin_1.3.1-5 libpam-runtime_1.3.1-5 libpam0g_1.3.1-5 libpcre2-8-0_10.34-7 libpcre3_2:8.39-12+b1 libperl5.28_5.28.1-6 libperl5.30_5.30.0-9 libpipeline1_1.5.2-2 libquadmath0_10-20200222-1 libseccomp2_2.4.2-2 libselinux1_3.0-1+b1 libsemanage-common_3.0-1 libsemanage1_3.0-1+b1 libsepol1_3.0-1 libsigsegv2_2.12-2 libsmartcols1_2.34-0.1 libss2_1.45.5-2 libstdc++-9-dev_9.2.1-30 libstdc++-9-dev-s390x-cross_9.2.1-28cross1 libstdc++6_10-20200222-1 libstdc++6-s390x-cross_10-20200211-1cross1 libsub-override-perl_0.09-2 libsystemd0_244.3-1 libtasn1-6_4.16.0-2 libtinfo6_6.1+20191019-1 libtool_2.4.6-13 libtsan0_10-20200222-1 libubsan1_10-20200222-1 libubsan1-s390x-cross_10-20200211-1cross1 libuchardet0_0.0.6-3 libudev1_244.3-1 libunistring2_0.9.10-2 libuuid1_2.34-0.1 libxml-libxml-perl_2.0134+dfsg-1+b1 libxml-namespacesupport-perl_1.12-1 libxml-sax-base-perl_1.09-1 libxml-sax-perl_1.02+dfsg-1 libxml-simple-perl_2.25-1 libxml2_2.9.10+dfsg-4 libyaml-perl_1.30-1 libzstd1_1.4.4+dfsg-3 linux-libc-dev_5.4.19-1 linux-libc-dev-s390x-cross_5.4.8-1cross1 login_1:4.8.1-1 logsave_1.45.5-2 lsb-base_11.1.0 m4_1.4.18-4 make_4.2.1-1.2 man-db_2.9.1-1 mawk_1.3.4.20200120-2 mount_2.34-0.1 ncurses-base_6.1+20191019-1 ncurses-bin_6.1+20191019-1 passwd_1:4.8.1-1 patch_2.7.6-6 perl_5.30.0-9 perl-base_5.30.0-9 perl-modules-5.28_5.28.1-6 perl-modules-5.30_5.30.0-9 po-debconf_1.0.21 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12+nmu1 sysvinit-utils_2.96-2.1 tar_1.30+dfsg-6+b1 tzdata_2019c-3 ucf_3.0038+nmu1 util-linux_2.34-0.1 xz-utils_5.2.4-1+b1 zlib1g_1:1.2.11.dfsg-2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----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----- gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error gpgv: Signature made Tue Oct 16 14:28:22 2012 UTC 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 /<> 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 Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf CONFIG_SITE=/etc/dpkg-cross/cross-config.s390x DEB_BUILD_OPTIONS=nocheck HOME=/sbuild-nonexistent LANG=en_US.UTF-8 LC_ALL=C.UTF-8 LOGNAME=helmut PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=unstable-amd64-sbuild SCHROOT_CHROOT_NAME=unstable-amd64-sbuild SCHROOT_COMMAND=env SCHROOT_GID=1003 SCHROOT_GROUP=helmut SCHROOT_SESSION_ID=unstable-amd64-sbuild-1065dca1-e2d7-44e3-9cab-ff6af8c9d9b4 SCHROOT_UID=1003 SCHROOT_USER=helmut SHELL=/bin/sh USER=helmut dpkg-buildpackage ----------------- Command: dpkg-buildpackage -as390x -Pcross,nocheck -us -uc -B -rfakeroot --jobs-try=1 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-architecture: warning: specified GNU system type s390x-linux-gnu does not match CC system type x86_64-linux-gnu, try setting a correct CC environment variable dpkg-source --before-build . dpkg-buildpackage: info: host architecture s390x 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: warning: Compatibility levels before 9 are deprecated (level 5 in use) dpkg-buildpackage: warning: debian/rules must be updated to support the 'build-arch' and 'build-indep' targets (at least 'build-arch' seems to be missing) 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 '/<>/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] 16052 | 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’ 16052 | if (rootsonly) noimpls++; goto CONTINUE; | ^~~~ rm -f lglcflags.h echo '#define LGL_CC "gcc (Debian 9.2.1-30) 9.2.1 20200224"' >> 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=] 456 | 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 '/<>/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 '/<>' 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 btorutil.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] 186 | 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] 3129 | 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 btorexp.c btorexp.c: In function ‘constraints_stats_changes’: btorexp.c:4898:5: warning: taking the absolute value of unsigned type ‘unsigned int’ has no effect [-Wabsolute-value] 4898 | abs (btor->stats.oldconstraints.varsubst - | ^~~ btorexp.c:4901:10: warning: taking the absolute value of unsigned type ‘unsigned int’ has no effect [-Wabsolute-value] 4901 | res += abs (btor->stats.oldconstraints.embedded - | ^~~ btorexp.c:4904:10: warning: taking the absolute value of unsigned type ‘unsigned int’ has no effect [-Wabsolute-value] 4904 | res += abs (btor->stats.oldconstraints.unsynthesized - | ^~~ btorexp.c:4907:10: warning: taking the absolute value of unsigned type ‘unsigned int’ has no effect [-Wabsolute-value] 4907 | res += abs (btor->stats.oldconstraints.synthesized - | ^~~ btorexp.c: In function ‘erase_local_data_exp’: btorexp.c:721:5: warning: this statement may fall through [-Wimplicit-fallthrough=] 721 | if (free_symbol) | ^ btorexp.c:727:7: note: here 727 | case BTOR_WRITE_NODE: | ^~~~ gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorbtor.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btormem.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 btorsmt2.c gcc -W -Wall -Wextra -O3 -DNDEBUG -DBTOR_USE_LINGELING -c btorconst.c 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 btorconst.o btormem.o btoraigvec.o btorsmt2.o btormain.o btorhash.o btorrewrite.o btorbtor.o btorutil.o btorsat.o btorexp.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 '/<>' touch build-stamp fakeroot debian/rules binary-arch dh_testdir dh_testroot dh_clean -k dh_clean: warning: Compatibility levels before 9 are deprecated (level 5 in use) dh_clean: warning: dh_clean -k is deprecated; use dh_prep instead dh_clean: warning: This feature will be removed in compat 12. dh_installdirs dh_installdirs: warning: 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: warning: Compatibility levels before 9 are deprecated (level 5 in use) dh_install dh_install: warning: Compatibility levels before 9 are deprecated (level 5 in use) dh_installman debian/boolector.1 dh_installman: warning: Compatibility levels before 9 are deprecated (level 5 in use) dh_link dh_strip dh_strip: warning: Compatibility levels before 9 are deprecated (level 5 in use) s390x-linux-gnu-objcopy: Unable to recognise the format of the input file `debian/boolector/usr/bin/boolector' dh_strip: error: s390x-linux-gnu-objcopy --only-keep-debug --compress-debug-sections debian/boolector/usr/bin/boolector debian/.debhelper/boolector/dbgsym-root/usr/lib/debug/.build-id/ed/b23e12f3c1a7997d44a00592ab68eaa5d9ec73.debug returned exit code 1 dh_strip: error: Aborting due to earlier error make: *** [debian/rules:75: binary-arch] Error 25 dpkg-buildpackage: error: fakeroot debian/rules binary-arch subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 2020-02-27T22:35:00Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not cleaning session: cloned chroot in use E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Profiles: cross nocheck Build Type: any Build-Space: 8472 Build-Time: 27 Distribution: unstable Fail-Stage: build Foreign Architectures: s390x Host Architecture: s390x Install-Time: 18 Job: boolector_1.5.118.6b56be4.121013-1 Machine Architecture: amd64 Package: boolector Package-Time: 55 Source-Version: 1.5.118.6b56be4.121013-1 Space: 8472 Status: attempted Version: 1.5.118.6b56be4.121013-1 -------------------------------------------------------------------------------- Finished at 2020-02-27T22:35:00Z Build needed 00:00:55, 8472k disk space