https://launchpad.net/ubuntu/+archive/test-rebuild-20181220/+build/15808771 RUN: /usr/share/launchpad-buildd/slavebin/slave-prep Forking launchpad-buildd slave process... Kernel version: Linux bos02-s390x-008 4.4.0-141-generic #167-Ubuntu SMP Wed Dec 5 10:32:22 UTC 2018 s390x Buildd toolchain package versions: launchpad-buildd_165 python-lpbuildd_165 sbuild_0.67.0-2ubuntu7.1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu14.10.1 bzr_2.7.0-2ubuntu3.1 git-build-recipe_0.3.4~git201611291343.dcee459~ubuntu16.04.1 git_1:2.7.4-0ubuntu1.6 dpkg-dev_1.18.4ubuntu1.5 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 8 Jan 17:36:41 ntpdate[1759]: adjust time server 10.211.37.1 offset 0.132212 sec RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=disco --arch=s390x PACKAGEBUILD-15808771 /home/buildd/filecache-default/5f92d5ecab7ce0d953bb2def2bd7e5fe5fb7c904 Creating target for build PACKAGEBUILD-15808771 RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=disco --arch=s390x PACKAGEBUILD-15808771 Starting target for build PACKAGEBUILD-15808771 RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=disco --arch=s390x PACKAGEBUILD-15808771 'deb http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco main' 'deb http://ftpmaster.internal/ubuntu disco main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu disco-security main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu disco-updates main restricted universe multiverse' Overriding sources.list in build-PACKAGEBUILD-15808771 RUN: /usr/share/launchpad-buildd/slavebin/in-target add-trusted-keys --backend=chroot --series=disco --arch=s390x PACKAGEBUILD-15808771 Adding trusted keys to build-PACKAGEBUILD-15808771 Warning: apt-key output should not be parsed (stdout is not a terminal) OK Warning: apt-key output should not be parsed (stdout is not a terminal) /etc/apt/trusted.gpg -------------------- pub rsa1024 2009-10-22 [SC] 60C3 1780 3A41 BA51 845E 371A 1E93 77A2 BA9E F27F uid [ unknown] Launchpad Toolchain builds /etc/apt/trusted.gpg.d/ubuntu-keyring-2012-archive.gpg ------------------------------------------------------ pub rsa4096 2012-05-11 [SC] 790B C727 7767 219C 42C8 6F93 3B4F E6AC C0B2 1F32 uid [ unknown] Ubuntu Archive Automatic Signing Key (2012) /etc/apt/trusted.gpg.d/ubuntu-keyring-2012-cdimage.gpg ------------------------------------------------------ pub rsa4096 2012-05-11 [SC] 8439 38DF 228D 22F7 B374 2BC0 D94A A3F0 EFE2 1092 uid [ unknown] Ubuntu CD Image Automatic Signing Key (2012) /etc/apt/trusted.gpg.d/ubuntu-keyring-2018-archive.gpg ------------------------------------------------------ pub rsa4096 2018-09-17 [SC] F6EC B376 2474 EDA9 D21B 7022 8719 20D1 991B C93C uid [ unknown] Ubuntu Archive Automatic Signing Key (2018) RUN: /usr/share/launchpad-buildd/slavebin/in-target update-debian-chroot --backend=chroot --series=disco --arch=s390x PACKAGEBUILD-15808771 Updating target for build PACKAGEBUILD-15808771 Get:1 http://ftpmaster.internal/ubuntu disco InRelease [243 kB] Get:2 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco InRelease [15.4 kB] Get:3 http://ftpmaster.internal/ubuntu disco-security InRelease [65.4 kB] Get:4 http://ftpmaster.internal/ubuntu disco-updates InRelease [65.4 kB] Get:5 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x Packages [23.1 kB] Get:6 http://ftpmaster.internal/ubuntu disco/main s390x Packages [941 kB] Get:7 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main Translation-en [13.3 kB] Get:8 http://ftpmaster.internal/ubuntu disco/main Translation-en [514 kB] Get:9 http://ftpmaster.internal/ubuntu disco/universe s390x Packages [8563 kB] Get:10 http://ftpmaster.internal/ubuntu disco/universe Translation-en [5169 kB] Get:11 http://ftpmaster.internal/ubuntu disco/multiverse s390x Packages [122 kB] Get:12 http://ftpmaster.internal/ubuntu disco/multiverse Translation-en [113 kB] Fetched 15.8 MB in 3s (5346 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: binutils binutils-common binutils-s390x-linux-gnu cpp-8 dash dpkg dpkg-dev e2fslibs e2fsprogs g++-8 gcc-8 gcc-8-base grep init init-system-helpers libasan5 libassuan0 libatomic1 libbinutils libcc1-0 libcom-err2 libcomerr2 libdpkg-perl libext2fs2 libgcc-8-dev libgcc1 libgomp1 libitm1 libsemanage-common libsemanage1 libsqlite3-0 libss2 libstdc++-8-dev libstdc++6 libubsan1 libzstd1 sed tzdata 38 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 27.5 MB of archives. After this operation, 32.8 kB of additional disk space will be used. Get:1 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x libcc1-0 s390x 8.2.0-13ubuntu1 [37.1 kB] Get:2 http://ftpmaster.internal/ubuntu disco/main s390x dpkg s390x 1.19.2ubuntu2 [1080 kB] Get:3 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x libgomp1 s390x 8.2.0-13ubuntu1 [69.9 kB] Get:4 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x libitm1 s390x 8.2.0-13ubuntu1 [26.9 kB] Get:5 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x libatomic1 s390x 8.2.0-13ubuntu1 [8424 B] Get:6 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x libasan5 s390x 8.2.0-13ubuntu1 [326 kB] Get:7 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x libubsan1 s390x 8.2.0-13ubuntu1 [115 kB] Get:8 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x gcc-8-base s390x 8.2.0-13ubuntu1 [18.6 kB] Get:9 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x libstdc++6 s390x 8.2.0-13ubuntu1 [396 kB] Get:10 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x g++-8 s390x 8.2.0-13ubuntu1 [6360 kB] Get:11 http://ftpmaster.internal/ubuntu disco/main s390x dash s390x 0.5.10.2-3ubuntu1 [83.8 kB] Get:12 http://ftpmaster.internal/ubuntu disco/main s390x grep s390x 3.3-1 [146 kB] Get:13 http://ftpmaster.internal/ubuntu disco/main s390x sed s390x 4.7-1 [187 kB] Get:14 http://ftpmaster.internal/ubuntu disco/main s390x init-system-helpers all 1.56+nmu1 [38.2 kB] Get:15 http://ftpmaster.internal/ubuntu disco/main s390x libext2fs2 s390x 1.44.5-1 [155 kB] Get:16 http://ftpmaster.internal/ubuntu disco/main s390x e2fsprogs s390x 1.44.5-1 [490 kB] Get:17 http://ftpmaster.internal/ubuntu disco/main s390x init s390x 1.56+nmu1 [6080 B] Get:18 http://ftpmaster.internal/ubuntu disco/main s390x libsemanage-common all 2.8-2 [7016 B] Get:19 http://ftpmaster.internal/ubuntu disco/main s390x libsemanage1 s390x 2.8-2 [78.5 kB] Get:20 http://ftpmaster.internal/ubuntu disco/main s390x libzstd1 s390x 1.3.8+dfsg-3 [204 kB] Get:21 http://ftpmaster.internal/ubuntu disco/main s390x libcom-err2 s390x 1.44.5-1 [9200 B] Get:22 http://ftpmaster.internal/ubuntu disco/main s390x libss2 s390x 1.44.5-1 [10.6 kB] Get:23 http://ftpmaster.internal/ubuntu disco/main s390x libsqlite3-0 s390x 3.26.0-3 [493 kB] Get:24 http://ftpmaster.internal/ubuntu disco/main s390x tzdata all 2018i-1 [189 kB] Get:25 http://ftpmaster.internal/ubuntu disco/main s390x dpkg-dev all 1.19.2ubuntu2 [549 kB] Get:26 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x libstdc++-8-dev s390x 8.2.0-13ubuntu1 [1503 kB] Get:27 http://ftpmaster.internal/ubuntu disco/main s390x libdpkg-perl all 1.19.2ubuntu2 [227 kB] Get:28 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x libgcc-8-dev s390x 8.2.0-13ubuntu1 [654 kB] Get:29 http://ftpmaster.internal/ubuntu disco/main s390x e2fslibs s390x 1.44.5-1 [2704 B] Get:30 http://ftpmaster.internal/ubuntu disco/main s390x libassuan0 s390x 2.5.2-1 [32.1 kB] Get:31 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x gcc-8 s390x 8.2.0-13ubuntu1 [6266 kB] Get:32 http://ftpmaster.internal/ubuntu disco/main s390x libcomerr2 s390x 1.44.5-1 [2700 B] Get:33 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x cpp-8 s390x 8.2.0-13ubuntu1 [5504 kB] Get:34 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x libgcc1 s390x 1:8.2.0-13ubuntu1 [25.1 kB] Get:35 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x libbinutils s390x 2.31.1-11ubuntu1 [304 kB] Get:36 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x binutils-common s390x 2.31.1-11ubuntu1 [194 kB] Get:37 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x binutils s390x 2.31.1-11ubuntu1 [3328 B] Get:38 http://ppa.launchpad.net/ubuntu-toolchain-r/ppa/ubuntu disco/main s390x binutils-s390x-linux-gnu s390x 2.31.1-11ubuntu1 [1679 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 27.5 MB in 0s (67.3 MB/s) (Reading database ... 12438 files and directories currently installed.) Preparing to unpack .../dpkg_1.19.2ubuntu2_s390x.deb ... Unpacking dpkg (1.19.2ubuntu2) over (1.19.2ubuntu1) ... Setting up dpkg (1.19.2ubuntu2) ... (Reading database ... 12438 files and directories currently installed.) Preparing to unpack .../dash_0.5.10.2-3ubuntu1_s390x.deb ... Unpacking dash (0.5.10.2-3ubuntu1) over (0.5.10.2-2) ... Setting up dash (0.5.10.2-3ubuntu1) ... (Reading database ... 12438 files and directories currently installed.) Preparing to unpack .../archives/grep_3.3-1_s390x.deb ... Unpacking grep (3.3-1) over (3.1-3) ... Setting up grep (3.3-1) ... (Reading database ... 12438 files and directories currently installed.) Preparing to unpack .../archives/sed_4.7-1_s390x.deb ... Unpacking sed (4.7-1) over (4.5-2) ... Setting up sed (4.7-1) ... (Reading database ... 12438 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.56+nmu1_all.deb ... Unpacking init-system-helpers (1.56+nmu1) over (1.56) ... Setting up init-system-helpers (1.56+nmu1) ... (Reading database ... 12438 files and directories currently installed.) Preparing to unpack .../libext2fs2_1.44.5-1_s390x.deb ... Unpacking libext2fs2:s390x (1.44.5-1) over (1.44.4-2ubuntu1) ... Setting up libext2fs2:s390x (1.44.5-1) ... (Reading database ... 12437 files and directories currently installed.) Preparing to unpack .../0-e2fsprogs_1.44.5-1_s390x.deb ... Unpacking e2fsprogs (1.44.5-1) over (1.44.4-2ubuntu1) ... Preparing to unpack .../1-init_1.56+nmu1_s390x.deb ... Unpacking init (1.56+nmu1) over (1.56) ... Preparing to unpack .../2-libcc1-0_8.2.0-13ubuntu1_s390x.deb ... Unpacking libcc1-0:s390x (8.2.0-13ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../3-libgomp1_8.2.0-13ubuntu1_s390x.deb ... Unpacking libgomp1:s390x (8.2.0-13ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../4-libitm1_8.2.0-13ubuntu1_s390x.deb ... Unpacking libitm1:s390x (8.2.0-13ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../5-libatomic1_8.2.0-13ubuntu1_s390x.deb ... Unpacking libatomic1:s390x (8.2.0-13ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../6-libasan5_8.2.0-13ubuntu1_s390x.deb ... Unpacking libasan5:s390x (8.2.0-13ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../7-libubsan1_8.2.0-13ubuntu1_s390x.deb ... Unpacking libubsan1:s390x (8.2.0-13ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../8-gcc-8-base_8.2.0-13ubuntu1_s390x.deb ... Unpacking gcc-8-base:s390x (8.2.0-13ubuntu1) over (8.2.0-12ubuntu1) ... Setting up gcc-8-base:s390x (8.2.0-13ubuntu1) ... (Reading database ... 12437 files and directories currently installed.) Preparing to unpack .../libstdc++6_8.2.0-13ubuntu1_s390x.deb ... Unpacking libstdc++6:s390x (8.2.0-13ubuntu1) over (8.2.0-12ubuntu1) ... Setting up libstdc++6:s390x (8.2.0-13ubuntu1) ... (Reading database ... 12437 files and directories currently installed.) Preparing to unpack .../0-g++-8_8.2.0-13ubuntu1_s390x.deb ... Unpacking g++-8 (8.2.0-13ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../1-libstdc++-8-dev_8.2.0-13ubuntu1_s390x.deb ... Unpacking libstdc++-8-dev:s390x (8.2.0-13ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../2-libgcc-8-dev_8.2.0-13ubuntu1_s390x.deb ... Unpacking libgcc-8-dev:s390x (8.2.0-13ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../3-gcc-8_8.2.0-13ubuntu1_s390x.deb ... Unpacking gcc-8 (8.2.0-13ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../4-cpp-8_8.2.0-13ubuntu1_s390x.deb ... Unpacking cpp-8 (8.2.0-13ubuntu1) over (8.2.0-12ubuntu1) ... Preparing to unpack .../5-libgcc1_1%3a8.2.0-13ubuntu1_s390x.deb ... Unpacking libgcc1:s390x (1:8.2.0-13ubuntu1) over (1:8.2.0-12ubuntu1) ... Setting up libgcc1:s390x (1:8.2.0-13ubuntu1) ... (Reading database ... 12437 files and directories currently installed.) Preparing to unpack .../libbinutils_2.31.1-11ubuntu1_s390x.deb ... Unpacking libbinutils:s390x (2.31.1-11ubuntu1) over (2.31.1-10ubuntu1) ... Preparing to unpack .../binutils-common_2.31.1-11ubuntu1_s390x.deb ... Unpacking binutils-common:s390x (2.31.1-11ubuntu1) over (2.31.1-10ubuntu1) ... Preparing to unpack .../binutils_2.31.1-11ubuntu1_s390x.deb ... Unpacking binutils (2.31.1-11ubuntu1) over (2.31.1-10ubuntu1) ... Preparing to unpack .../binutils-s390x-linux-gnu_2.31.1-11ubuntu1_s390x.deb ... Unpacking binutils-s390x-linux-gnu (2.31.1-11ubuntu1) over (2.31.1-10ubuntu1) ... Preparing to unpack .../libsemanage-common_2.8-2_all.deb ... Unpacking libsemanage-common (2.8-2) over (2.8-1build2) ... Setting up libsemanage-common (2.8-2) ... (Reading database ... 12437 files and directories currently installed.) Preparing to unpack .../libsemanage1_2.8-2_s390x.deb ... Unpacking libsemanage1:s390x (2.8-2) over (2.8-1build2) ... Setting up libsemanage1:s390x (2.8-2) ... (Reading database ... 12437 files and directories currently installed.) Preparing to unpack .../libzstd1_1.3.8+dfsg-3_s390x.deb ... Unpacking libzstd1:s390x (1.3.8+dfsg-3) over (1.3.5+dfsg-1ubuntu1) ... Setting up libzstd1:s390x (1.3.8+dfsg-3) ... (Reading database ... 12437 files and directories currently installed.) Preparing to unpack .../0-libcom-err2_1.44.5-1_s390x.deb ... Unpacking libcom-err2:s390x (1.44.5-1) over (1.44.4-2ubuntu1) ... Preparing to unpack .../1-libss2_1.44.5-1_s390x.deb ... Unpacking libss2:s390x (1.44.5-1) over (1.44.4-2ubuntu1) ... Preparing to unpack .../2-libsqlite3-0_3.26.0-3_s390x.deb ... Unpacking libsqlite3-0:s390x (3.26.0-3) over (3.26.0-2) ... Preparing to unpack .../3-tzdata_2018i-1_all.deb ... Unpacking tzdata (2018i-1) over (2018g-1) ... Preparing to unpack .../4-dpkg-dev_1.19.2ubuntu2_all.deb ... Unpacking dpkg-dev (1.19.2ubuntu2) over (1.19.2ubuntu1) ... Preparing to unpack .../5-libdpkg-perl_1.19.2ubuntu2_all.deb ... Unpacking libdpkg-perl (1.19.2ubuntu2) over (1.19.2ubuntu1) ... Preparing to unpack .../6-e2fslibs_1.44.5-1_s390x.deb ... Unpacking e2fslibs:s390x (1.44.5-1) over (1.44.4-2ubuntu1) ... Preparing to unpack .../7-libassuan0_2.5.2-1_s390x.deb ... Unpacking libassuan0:s390x (2.5.2-1) over (2.5.1-2) ... Preparing to unpack .../8-libcomerr2_1.44.5-1_s390x.deb ... Unpacking libcomerr2:s390x (1.44.5-1) over (1.44.4-2ubuntu1) ... Setting up cpp-8 (8.2.0-13ubuntu1) ... Setting up libcom-err2:s390x (1.44.5-1) ... Setting up libgomp1:s390x (8.2.0-13ubuntu1) ... Setting up libatomic1:s390x (8.2.0-13ubuntu1) ... Setting up libss2:s390x (1.44.5-1) ... Setting up libcc1-0:s390x (8.2.0-13ubuntu1) ... Setting up e2fslibs:s390x (1.44.5-1) ... Setting up tzdata (2018i-1) ... Current default time zone: 'Etc/UTC' Local time is now: Tue Jan 8 17:36:54 UTC 2019. Universal Time is now: Tue Jan 8 17:36:54 UTC 2019. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up init (1.56+nmu1) ... Setting up libdpkg-perl (1.19.2ubuntu2) ... Setting up e2fsprogs (1.44.5-1) ... Setting up binutils-common:s390x (2.31.1-11ubuntu1) ... Processing triggers for libc-bin (2.28-0ubuntu1) ... Setting up libsqlite3-0:s390x (3.26.0-3) ... Setting up libcomerr2:s390x (1.44.5-1) ... Setting up libasan5:s390x (8.2.0-13ubuntu1) ... Setting up libassuan0:s390x (2.5.2-1) ... Setting up libitm1:s390x (8.2.0-13ubuntu1) ... Setting up libubsan1:s390x (8.2.0-13ubuntu1) ... Setting up libbinutils:s390x (2.31.1-11ubuntu1) ... Setting up binutils-s390x-linux-gnu (2.31.1-11ubuntu1) ... Setting up libgcc-8-dev:s390x (8.2.0-13ubuntu1) ... Setting up binutils (2.31.1-11ubuntu1) ... Setting up libstdc++-8-dev:s390x (8.2.0-13ubuntu1) ... Setting up gcc-8 (8.2.0-13ubuntu1) ... Setting up g++-8 (8.2.0-13ubuntu1) ... Setting up dpkg-dev (1.19.2ubuntu2) ... Processing triggers for libc-bin (2.28-0ubuntu1) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package PACKAGEBUILD-15808771 s390x disco -c chroot:build-PACKAGEBUILD-15808771 --arch=s390x --dist=disco --nolog cvc3_2.4.1-5.1ubuntu1.dsc Initiating build PACKAGEBUILD-15808771 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-141-generic #167-Ubuntu SMP Wed Dec 5 10:32:22 UTC 2018 s390x sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on bos02-s390x-008.buildd +==============================================================================+ | cvc3 2.4.1-5.1ubuntu1 (s390x) 08 Jan 2019 17:36 | +==============================================================================+ Package: cvc3 Version: 2.4.1-5.1ubuntu1 Source Version: 2.4.1-5.1ubuntu1 Distribution: disco Machine Architecture: s390x Host Architecture: s390x Build Architecture: s390x I: NOTICE: Log filtering will replace 'build/cvc3-57zqh_/cvc3-2.4.1' with '<>' I: NOTICE: Log filtering will replace 'build/cvc3-57zqh_' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-15808771/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- cvc3_2.4.1-5.1ubuntu1.dsc exists in .; copying to chroot Check architectures ------------------- Check dependencies ------------------ Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-Vnz6YW/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-Vnz6YW/apt_archive ./ InRelease Get:2 copy:/<>/resolver-Vnz6YW/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-Vnz6YW/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-Vnz6YW/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-Vnz6YW/apt_archive ./ Packages [525 B] Fetched 2858 B in 0s (0 B/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install core build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 852 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-Vnz6YW/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [852 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 852 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 12440 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_s390x.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: cdbs, debhelper (>= 7), autoconf, autotools-dev, bison, default-jdk, flex, libgmp-dev | libgmp3-dev, patchutils, python Filtered Build-Depends: cdbs, debhelper (>= 7), autoconf, autotools-dev, bison, default-jdk, flex, libgmp-dev | libgmp3-dev, patchutils, python dpkg-deb: building package 'sbuild-build-depends-cvc3-dummy' in '/<>/resolver-WprcY7/apt_archive/sbuild-build-depends-cvc3-dummy.deb'. Ign:1 copy:/<>/resolver-WprcY7/apt_archive ./ InRelease Get:2 copy:/<>/resolver-WprcY7/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-WprcY7/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-WprcY7/apt_archive ./ Sources [268 B] Get:5 copy:/<>/resolver-WprcY7/apt_archive ./ Packages [584 B] Fetched 2971 B in 0s (0 B/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install cvc3 build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: adwaita-icon-theme autoconf automake autopoint autotools-dev bison bsdmainutils ca-certificates-java cdbs dbus dbus-user-session dconf-gsettings-backend dconf-service debhelper default-jdk default-jdk-headless default-jre default-jre-headless dh-autoreconf dh-strip-nondeterminism dh-translations dwz file flex fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base glib-networking glib-networking-common glib-networking-services groff-base gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme intltool intltool-debian java-common jq libarchive-zip-perl libasound2 libasound2-data libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbison-dev libbsd0 libcairo-gobject2 libcairo2 libcolord2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libdconf1 libdrm-common libdrm-nouveau2 libdrm2 libelf1 libencode-locale-perl libepoxy0 libexpat1 libfile-listing-perl libfile-stripnondeterminism-perl libfile-which-perl libfontconfig1 libfreetype6 libfribidi0 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgif7 libgl1 libgl1-mesa-dri libgl1-mesa-glx libglapi-mesa libglib2.0-0 libglvnd0 libglx-mesa0 libglx0 libgmp-dev libgmpxx4ldbl libgraphite2-3 libgssapi-krb5-2 libgtk-3-0 libgtk-3-common libharfbuzz0b libhtml-parser-perl libhtml-tagset-perl libhtml-tree-perl libhttp-cookies-perl libhttp-date-perl libhttp-message-perl libhttp-negotiate-perl libicu63 libio-html-perl libio-socket-ssl-perl libjbig0 libjpeg-turbo8 libjpeg8 libjq1 libjson-glib-1.0-0 libjson-glib-1.0-common libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 liblwp-mediatypes-perl liblwp-protocol-https-perl libmagic-mgc libmagic1 libmpdec2 libnet-http-perl libnet-ssleay-perl libnspr4 libnss3 libonig5 libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpcsclite1 libpipeline1 libpixman-1-0 libproxy1v5 libpsl5 libpython-stdlib libpython2-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib librest-0.7-0 librsvg2-2 librsvg2-common libsigsegv2 libsoup-gnome2.4-1 libsoup2.4-1 libthai-data libthai0 libtiff5 libtimedate-perl libtool libtry-tiny-perl liburi-perl libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp6 libwww-perl libwww-robotrules-perl libx11-6 libx11-data libx11-xcb1 libxau6 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-render0 libxcb-shm0 libxcb-sync1 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxkbcommon0 libxml-parser-perl libxml2 libxrandr2 libxrender1 libxshmfence1 libxtst6 libxxf86vm1 m4 man-db mime-support netbase openjdk-11-jdk openjdk-11-jdk-headless openjdk-11-jre openjdk-11-jre-headless patchutils perl-openssl-defaults po-debconf python python-minimal python2 python2-minimal python2.7 python2.7-minimal python3 python3-minimal python3-pkg-resources python3-scour python3-six python3.7 python3.7-minimal scour shared-mime-info ubuntu-mono ucf x11-common xkb-data Suggested packages: autoconf-archive gnu-standards autoconf-doc bison-doc wamerican | wordlist whois vacation devscripts dh-make flex-doc gettext-doc libasprintf-dev libgettextpo-dev groff libasound2-plugins alsa-utils colord cups-common gmp-doc libgmp10-doc libmpfr-dev krb5-doc krb5-user gvfs libdata-dump-perl liblcms2-utils libcrypt-ssleay-perl pcscd librsvg2-bin libtool-doc gfortran | fortran95-compiler gcj-jdk libauthen-ntlm-perl m4-doc apparmor less www-browser openjdk-11-demo openjdk-11-source visualvm libnss-mdns fonts-dejavu-extra fonts-ipafont-gothic fonts-ipafont-mincho fonts-wqy-microhei | fonts-wqy-zenhei fonts-indic libmail-box-perl python-doc python-tk python2-doc python2.7-doc binfmt-support python3-doc python3-tk python3-venv python3-setuptools python3.7-venv python3.7-doc gir1.2-rsvg-2.0 python3-gi-cairo Recommended packages: libfl-dev curl | wget | lynx at-spi2-core libarchive-cpio-perl libgdk-pixbuf2.0-bin libglib2.0-data xdg-user-dirs libgtk-3-bin libhtml-format-perl krb5-locales publicsuffix libltdl-dev libdata-dump-perl libhtml-form-perl libhttp-daemon-perl libmailtools-perl libxt-dev libatk-wrapper-java-jni fonts-dejavu-extra libmail-sendmail-perl The following NEW packages will be installed: adwaita-icon-theme autoconf automake autopoint autotools-dev bison bsdmainutils ca-certificates-java cdbs dbus dbus-user-session dconf-gsettings-backend dconf-service debhelper default-jdk default-jdk-headless default-jre default-jre-headless dh-autoreconf dh-strip-nondeterminism dh-translations dwz file flex fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base glib-networking glib-networking-common glib-networking-services groff-base gsettings-desktop-schemas gtk-update-icon-cache hicolor-icon-theme humanity-icon-theme intltool intltool-debian java-common jq libarchive-zip-perl libasound2 libasound2-data libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatspi2.0-0 libavahi-client3 libavahi-common-data libavahi-common3 libbison-dev libbsd0 libcairo-gobject2 libcairo2 libcolord2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libdconf1 libdrm-common libdrm-nouveau2 libdrm2 libelf1 libencode-locale-perl libepoxy0 libexpat1 libfile-listing-perl libfile-stripnondeterminism-perl libfile-which-perl libfontconfig1 libfreetype6 libfribidi0 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgif7 libgl1 libgl1-mesa-dri libgl1-mesa-glx libglapi-mesa libglib2.0-0 libglvnd0 libglx-mesa0 libglx0 libgmp-dev libgmpxx4ldbl libgraphite2-3 libgssapi-krb5-2 libgtk-3-0 libgtk-3-common libharfbuzz0b libhtml-parser-perl libhtml-tagset-perl libhtml-tree-perl libhttp-cookies-perl libhttp-date-perl libhttp-message-perl libhttp-negotiate-perl libicu63 libio-html-perl libio-socket-ssl-perl libjbig0 libjpeg-turbo8 libjpeg8 libjq1 libjson-glib-1.0-0 libjson-glib-1.0-common libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 liblwp-mediatypes-perl liblwp-protocol-https-perl libmagic-mgc libmagic1 libmpdec2 libnet-http-perl libnet-ssleay-perl libnspr4 libnss3 libonig5 libpam-systemd libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpcsclite1 libpipeline1 libpixman-1-0 libproxy1v5 libpsl5 libpython-stdlib libpython2-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib librest-0.7-0 librsvg2-2 librsvg2-common libsigsegv2 libsoup-gnome2.4-1 libsoup2.4-1 libthai-data libthai0 libtiff5 libtimedate-perl libtool libtry-tiny-perl liburi-perl libwayland-client0 libwayland-cursor0 libwayland-egl1 libwebp6 libwww-perl libwww-robotrules-perl libx11-6 libx11-data libx11-xcb1 libxau6 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-render0 libxcb-shm0 libxcb-sync1 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxkbcommon0 libxml-parser-perl libxml2 libxrandr2 libxrender1 libxshmfence1 libxtst6 libxxf86vm1 m4 man-db mime-support netbase openjdk-11-jdk openjdk-11-jdk-headless openjdk-11-jre openjdk-11-jre-headless patchutils perl-openssl-defaults po-debconf python python-minimal python2 python2-minimal python2.7 python2.7-minimal python3 python3-minimal python3-pkg-resources python3-scour python3-six python3.7 python3.7-minimal sbuild-build-depends-cvc3-dummy scour shared-mime-info ubuntu-mono ucf x11-common xkb-data 0 upgraded, 217 newly installed, 0 to remove and 0 not upgraded. Need to get 279 MB of archives. After this operation, 585 MB of additional disk space will be used. Get:1 copy:/<>/resolver-WprcY7/apt_archive ./ sbuild-build-depends-cvc3-dummy 0.invalid.0 [912 B] Get:2 http://ftpmaster.internal/ubuntu disco/main s390x libpython3.7-minimal s390x 3.7.2~rc1-1 [543 kB] Get:3 http://ftpmaster.internal/ubuntu disco/main s390x libexpat1 s390x 2.2.6-1 [82.9 kB] Get:4 http://ftpmaster.internal/ubuntu disco/main s390x python3.7-minimal s390x 3.7.2~rc1-1 [1554 kB] Get:5 http://ftpmaster.internal/ubuntu disco/main s390x python3-minimal s390x 3.7.1-1ubuntu1 [23.6 kB] Get:6 http://ftpmaster.internal/ubuntu disco/main s390x mime-support all 3.60ubuntu1 [30.1 kB] Get:7 http://ftpmaster.internal/ubuntu disco/main s390x libmpdec2 s390x 2.4.2-2 [80.6 kB] Get:8 http://ftpmaster.internal/ubuntu disco/main s390x libpython3.7-stdlib s390x 3.7.2~rc1-1 [1687 kB] Get:9 http://ftpmaster.internal/ubuntu disco/main s390x python3.7 s390x 3.7.2~rc1-1 [277 kB] Get:10 http://ftpmaster.internal/ubuntu disco/main s390x libpython3-stdlib s390x 3.7.1-1ubuntu1 [7128 B] Get:11 http://ftpmaster.internal/ubuntu disco/main s390x python3 s390x 3.7.1-1ubuntu1 [47.2 kB] Get:12 http://ftpmaster.internal/ubuntu disco/main s390x libbsd0 s390x 0.9.1-1 [43.1 kB] Get:13 http://ftpmaster.internal/ubuntu disco/main s390x bsdmainutils s390x 11.1.2ubuntu2 [181 kB] Get:14 http://ftpmaster.internal/ubuntu disco/main s390x groff-base s390x 1.22.3-10 [1174 kB] Get:15 http://ftpmaster.internal/ubuntu disco/main s390x libpipeline1 s390x 1.5.0-2 [24.4 kB] Get:16 http://ftpmaster.internal/ubuntu disco/main s390x man-db s390x 2.8.5-1 [1087 kB] Get:17 http://ftpmaster.internal/ubuntu disco/main s390x libsigsegv2 s390x 2.12-2 [13.8 kB] Get:18 http://ftpmaster.internal/ubuntu disco/main s390x m4 s390x 1.4.18-2 [194 kB] Get:19 http://ftpmaster.internal/ubuntu disco/main s390x flex s390x 2.6.4-6.2 [308 kB] Get:20 http://ftpmaster.internal/ubuntu disco/main s390x libpython2.7-minimal s390x 2.7.15-5 [335 kB] Get:21 http://ftpmaster.internal/ubuntu disco/main s390x python2.7-minimal s390x 2.7.15-5 [1172 kB] Get:22 http://ftpmaster.internal/ubuntu disco/main s390x python2-minimal s390x 2.7.15-3 [28.1 kB] Get:23 http://ftpmaster.internal/ubuntu disco/main s390x python-minimal s390x 2.7.15-3 [5996 B] Get:24 http://ftpmaster.internal/ubuntu disco/main s390x libpython2.7-stdlib s390x 2.7.15-5 [1855 kB] Get:25 http://ftpmaster.internal/ubuntu disco/main s390x python2.7 s390x 2.7.15-5 [239 kB] Get:26 http://ftpmaster.internal/ubuntu disco/main s390x libpython2-stdlib s390x 2.7.15-3 [7728 B] Get:27 http://ftpmaster.internal/ubuntu disco/main s390x libpython-stdlib s390x 2.7.15-3 [5828 B] Get:28 http://ftpmaster.internal/ubuntu disco/main s390x python2 s390x 2.7.15-3 [26.5 kB] Get:29 http://ftpmaster.internal/ubuntu disco/main s390x python s390x 2.7.15-3 [7832 B] Get:30 http://ftpmaster.internal/ubuntu disco/main s390x libdbus-1-3 s390x 1.12.10-1ubuntu2 [168 kB] Get:31 http://ftpmaster.internal/ubuntu disco/main s390x dbus s390x 1.12.10-1ubuntu2 [141 kB] Get:32 http://ftpmaster.internal/ubuntu disco/main s390x libmagic-mgc s390x 1:5.34-2 [197 kB] Get:33 http://ftpmaster.internal/ubuntu disco/main s390x libmagic1 s390x 1:5.34-2 [69.0 kB] Get:34 http://ftpmaster.internal/ubuntu disco/main s390x file s390x 1:5.34-2 [22.6 kB] Get:35 http://ftpmaster.internal/ubuntu disco/main s390x libelf1 s390x 0.175-1 [41.4 kB] Get:36 http://ftpmaster.internal/ubuntu disco/main s390x libfribidi0 s390x 1.0.5-3 [27.0 kB] Get:37 http://ftpmaster.internal/ubuntu disco/main s390x libglib2.0-0 s390x 2.58.1-2 [1085 kB] Get:38 http://ftpmaster.internal/ubuntu disco/main s390x libicu63 s390x 63.1-5 [8033 kB] Get:39 http://ftpmaster.internal/ubuntu disco/main s390x libpam-systemd s390x 239-7ubuntu15 [103 kB] Get:40 http://ftpmaster.internal/ubuntu disco/main s390x libxml2 s390x 2.9.4+dfsg1-7ubuntu3 [553 kB] Get:41 http://ftpmaster.internal/ubuntu disco/main s390x netbase all 5.5 [12.9 kB] Get:42 http://ftpmaster.internal/ubuntu disco/main s390x shared-mime-info s390x 1.10-1 [427 kB] Get:43 http://ftpmaster.internal/ubuntu disco/main s390x ucf all 3.0038 [50.5 kB] Get:44 http://ftpmaster.internal/ubuntu disco/main s390x xkb-data all 2.23.1-1ubuntu1.18.10.1 [325 kB] Get:45 http://ftpmaster.internal/ubuntu disco/main s390x gettext-base s390x 0.19.8.1-9 [48.1 kB] Get:46 http://ftpmaster.internal/ubuntu disco/main s390x libdrm-common all 2.4.95-1 [5000 B] Get:47 http://ftpmaster.internal/ubuntu disco/main s390x libdrm2 s390x 2.4.95-1 [28.8 kB] Get:48 http://ftpmaster.internal/ubuntu disco/main s390x libkrb5support0 s390x 1.16.1-1ubuntu1 [29.9 kB] Get:49 http://ftpmaster.internal/ubuntu disco/main s390x libk5crypto3 s390x 1.16.1-1ubuntu1 [83.7 kB] Get:50 http://ftpmaster.internal/ubuntu disco/main s390x libkeyutils1 s390x 1.5.9-9.3 [9384 B] Get:51 http://ftpmaster.internal/ubuntu disco/main s390x libkrb5-3 s390x 1.16.1-1ubuntu1 [262 kB] Get:52 http://ftpmaster.internal/ubuntu disco/main s390x libgssapi-krb5-2 s390x 1.16.1-1ubuntu1 [110 kB] Get:53 http://ftpmaster.internal/ubuntu disco/main s390x libpsl5 s390x 0.20.2-2 [49.8 kB] Get:54 http://ftpmaster.internal/ubuntu disco/main s390x libxau6 s390x 1:1.0.8-1 [7420 B] Get:55 http://ftpmaster.internal/ubuntu disco/main s390x libxdmcp6 s390x 1:1.1.2-3 [10.7 kB] Get:56 http://ftpmaster.internal/ubuntu disco/main s390x libxcb1 s390x 1.13.1-2 [43.0 kB] Get:57 http://ftpmaster.internal/ubuntu disco/main s390x libx11-data all 2:1.6.7-1 [113 kB] Get:58 http://ftpmaster.internal/ubuntu disco/main s390x libx11-6 s390x 2:1.6.7-1 [544 kB] Get:59 http://ftpmaster.internal/ubuntu disco/main s390x libxext6 s390x 2:1.3.3-1 [27.8 kB] Get:60 http://ftpmaster.internal/ubuntu disco/main s390x hicolor-icon-theme all 0.17-2 [9976 B] Get:61 http://ftpmaster.internal/ubuntu disco/main s390x libjpeg-turbo8 s390x 2.0.0-0ubuntu2 [102 kB] Get:62 http://ftpmaster.internal/ubuntu disco/main s390x libjpeg8 s390x 8c-2ubuntu8 [2142 B] Get:63 http://ftpmaster.internal/ubuntu disco/main s390x libjbig0 s390x 2.1-3.1build1 [26.3 kB] Get:64 http://ftpmaster.internal/ubuntu disco/main s390x libwebp6 s390x 0.6.1-2 [149 kB] Get:65 http://ftpmaster.internal/ubuntu disco/main s390x libtiff5 s390x 4.0.10-3 [147 kB] Get:66 http://ftpmaster.internal/ubuntu disco/main s390x libgdk-pixbuf2.0-common all 2.38.0+dfsg-7 [6080 B] Get:67 http://ftpmaster.internal/ubuntu disco/main s390x libgdk-pixbuf2.0-0 s390x 2.38.0+dfsg-7 [159 kB] Get:68 http://ftpmaster.internal/ubuntu disco/main s390x gtk-update-icon-cache s390x 3.24.2-2ubuntu2 [27.0 kB] Get:69 http://ftpmaster.internal/ubuntu disco/main s390x libfreetype6 s390x 2.8.1-2ubuntu2 [314 kB] Get:70 http://ftpmaster.internal/ubuntu disco/main s390x fonts-dejavu-core all 2.37-1 [1041 kB] Get:71 http://ftpmaster.internal/ubuntu disco/main s390x fontconfig-config all 2.13.0-5ubuntu3 [28.4 kB] Get:72 http://ftpmaster.internal/ubuntu disco/main s390x libfontconfig1 s390x 2.13.0-5ubuntu3 [106 kB] Get:73 http://ftpmaster.internal/ubuntu disco/main s390x libpixman-1-0 s390x 0.36.0-1 [136 kB] Get:74 http://ftpmaster.internal/ubuntu disco/main s390x libxcb-render0 s390x 1.13.1-2 [14.6 kB] Get:75 http://ftpmaster.internal/ubuntu disco/main s390x libxcb-shm0 s390x 1.13.1-2 [5472 B] Get:76 http://ftpmaster.internal/ubuntu disco/main s390x libxrender1 s390x 1:0.9.10-1 [17.8 kB] Get:77 http://ftpmaster.internal/ubuntu disco/main s390x libcairo2 s390x 1.16.0-1 [536 kB] Get:78 http://ftpmaster.internal/ubuntu disco/main s390x libcroco3 s390x 0.6.12-3 [74.0 kB] Get:79 http://ftpmaster.internal/ubuntu disco/main s390x fontconfig s390x 2.13.0-5ubuntu3 [170 kB] Get:80 http://ftpmaster.internal/ubuntu disco/main s390x libthai-data all 0.1.28-1 [134 kB] Get:81 http://ftpmaster.internal/ubuntu disco/main s390x libdatrie1 s390x 0.2.12-1 [18.0 kB] Get:82 http://ftpmaster.internal/ubuntu disco/main s390x libthai0 s390x 0.1.28-1 [18.2 kB] Get:83 http://ftpmaster.internal/ubuntu disco/main s390x libpango-1.0-0 s390x 1.42.4-6 [150 kB] Get:84 http://ftpmaster.internal/ubuntu disco/main s390x libgraphite2-3 s390x 1.3.12-1 [66.9 kB] Get:85 http://ftpmaster.internal/ubuntu disco/main s390x libharfbuzz0b s390x 2.3.0-1 [334 kB] Get:86 http://ftpmaster.internal/ubuntu disco/main s390x libpangoft2-1.0-0 s390x 1.42.4-6 [33.6 kB] Get:87 http://ftpmaster.internal/ubuntu disco/main s390x libpangocairo-1.0-0 s390x 1.42.4-6 [21.3 kB] Get:88 http://ftpmaster.internal/ubuntu disco/main s390x librsvg2-2 s390x 2.44.10-1 [1203 kB] Get:89 http://ftpmaster.internal/ubuntu disco/main s390x librsvg2-common s390x 2.44.10-1 [9024 B] Get:90 http://ftpmaster.internal/ubuntu disco/main s390x humanity-icon-theme all 0.6.15 [1250 kB] Get:91 http://ftpmaster.internal/ubuntu disco/main s390x ubuntu-mono all 16.10+18.10.20181005-0ubuntu1 [149 kB] Get:92 http://ftpmaster.internal/ubuntu disco/main s390x adwaita-icon-theme all 3.30.0-0ubuntu1 [3253 kB] Get:93 http://ftpmaster.internal/ubuntu disco/main s390x autoconf all 2.69-11 [322 kB] Get:94 http://ftpmaster.internal/ubuntu disco/main s390x autotools-dev all 20180224.1 [39.6 kB] Get:95 http://ftpmaster.internal/ubuntu disco/main s390x automake all 1:1.16.1-4 [522 kB] Get:96 http://ftpmaster.internal/ubuntu disco/main s390x autopoint all 0.19.8.1-9 [412 kB] Get:97 http://ftpmaster.internal/ubuntu disco/main s390x libbison-dev s390x 2:3.2.2.dfsg-1 [343 kB] Get:98 http://ftpmaster.internal/ubuntu disco/main s390x bison s390x 2:3.2.2.dfsg-1 [254 kB] Get:99 http://ftpmaster.internal/ubuntu disco/main s390x java-common all 0.71 [6752 B] Get:100 http://ftpmaster.internal/ubuntu disco/main s390x libavahi-common-data s390x 0.7-4ubuntu4 [21.3 kB] Get:101 http://ftpmaster.internal/ubuntu disco/main s390x libavahi-common3 s390x 0.7-4ubuntu4 [19.9 kB] Get:102 http://ftpmaster.internal/ubuntu disco/main s390x libavahi-client3 s390x 0.7-4ubuntu4 [22.6 kB] Get:103 http://ftpmaster.internal/ubuntu disco/main s390x libcups2 s390x 2.2.10-3 [193 kB] Get:104 http://ftpmaster.internal/ubuntu disco/main s390x liblcms2-2 s390x 2.9-3 [126 kB] Get:105 http://ftpmaster.internal/ubuntu disco/main s390x libnspr4 s390x 2:4.20-1ubuntu1 [101 kB] Get:106 http://ftpmaster.internal/ubuntu disco/main s390x libnss3 s390x 2:3.39-1ubuntu1 [1038 kB] Get:107 http://ftpmaster.internal/ubuntu disco/main s390x libasound2-data all 1.1.7-2ubuntu0.1 [38.7 kB] Get:108 http://ftpmaster.internal/ubuntu disco/main s390x libasound2 s390x 1.1.7-2ubuntu0.1 [309 kB] Get:109 http://ftpmaster.internal/ubuntu disco/main s390x libpcsclite1 s390x 1.8.24-1 [20.4 kB] Get:110 http://ftpmaster.internal/ubuntu disco/main s390x libxi6 s390x 2:1.7.9-1 [27.5 kB] Get:111 http://ftpmaster.internal/ubuntu disco/main s390x x11-common all 1:7.7+19ubuntu8 [22.5 kB] Get:112 http://ftpmaster.internal/ubuntu disco/main s390x libxtst6 s390x 2:1.2.3-1 [12.7 kB] Get:113 http://ftpmaster.internal/ubuntu disco/main s390x openjdk-11-jre-headless s390x 11.0.1+13-3ubuntu1 [32.5 MB] Get:114 http://ftpmaster.internal/ubuntu disco/main s390x default-jre-headless s390x 2:1.11-71 [3188 B] Get:115 http://ftpmaster.internal/ubuntu disco/main s390x ca-certificates-java all 20180516ubuntu1 [12.3 kB] Get:116 http://ftpmaster.internal/ubuntu disco/main s390x libtool all 2.4.6-6 [195 kB] Get:117 http://ftpmaster.internal/ubuntu disco/main s390x dh-autoreconf all 19 [16.1 kB] Get:118 http://ftpmaster.internal/ubuntu disco/main s390x libarchive-zip-perl all 1.64-1 [84.9 kB] Get:119 http://ftpmaster.internal/ubuntu disco/main s390x libfile-stripnondeterminism-perl all 1.0.0-1 [13.9 kB] Get:120 http://ftpmaster.internal/ubuntu disco/main s390x dh-strip-nondeterminism all 1.0.0-1 [5064 B] Get:121 http://ftpmaster.internal/ubuntu disco/main s390x dwz s390x 0.12-3 [73.6 kB] Get:122 http://ftpmaster.internal/ubuntu disco/main s390x gettext s390x 0.19.8.1-9 [858 kB] Get:123 http://ftpmaster.internal/ubuntu disco/main s390x intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:124 http://ftpmaster.internal/ubuntu disco/main s390x po-debconf all 1.0.21 [233 kB] Get:125 http://ftpmaster.internal/ubuntu disco/main s390x debhelper all 11.5.3ubuntu1 [888 kB] Get:126 http://ftpmaster.internal/ubuntu disco/main s390x liburi-perl all 1.74-1 [77.1 kB] Get:127 http://ftpmaster.internal/ubuntu disco/main s390x libencode-locale-perl all 1.05-1 [12.3 kB] Get:128 http://ftpmaster.internal/ubuntu disco/main s390x libtimedate-perl all 2.3000-2 [37.5 kB] Get:129 http://ftpmaster.internal/ubuntu disco/main s390x libhttp-date-perl all 6.02-1 [10.4 kB] Get:130 http://ftpmaster.internal/ubuntu disco/main s390x libfile-listing-perl all 6.04-1 [9774 B] Get:131 http://ftpmaster.internal/ubuntu disco/main s390x libhtml-tagset-perl all 3.20-3 [12.1 kB] Get:132 http://ftpmaster.internal/ubuntu disco/main s390x libhtml-parser-perl s390x 3.72-3build2 [85.1 kB] Get:133 http://ftpmaster.internal/ubuntu disco/main s390x libhtml-tree-perl all 5.07-1 [200 kB] Get:134 http://ftpmaster.internal/ubuntu disco/main s390x libio-html-perl all 1.001-1 [14.9 kB] Get:135 http://ftpmaster.internal/ubuntu disco/main s390x liblwp-mediatypes-perl all 6.02-1 [21.7 kB] Get:136 http://ftpmaster.internal/ubuntu disco/main s390x libhttp-message-perl all 6.18-1 [75.3 kB] Get:137 http://ftpmaster.internal/ubuntu disco/main s390x libhttp-cookies-perl all 6.04-1 [17.2 kB] Get:138 http://ftpmaster.internal/ubuntu disco/main s390x libhttp-negotiate-perl all 6.01-1 [12.5 kB] Get:139 http://ftpmaster.internal/ubuntu disco/main s390x perl-openssl-defaults s390x 3build1 [7012 B] Get:140 http://ftpmaster.internal/ubuntu disco/main s390x libnet-ssleay-perl s390x 1.85-2ubuntu3 [268 kB] Get:141 http://ftpmaster.internal/ubuntu disco/main s390x libio-socket-ssl-perl all 2.060-3 [173 kB] Get:142 http://ftpmaster.internal/ubuntu disco/main s390x libnet-http-perl all 6.18-1 [22.8 kB] Get:143 http://ftpmaster.internal/ubuntu disco/main s390x liblwp-protocol-https-perl all 6.07-2 [8284 B] Get:144 http://ftpmaster.internal/ubuntu disco/main s390x libtry-tiny-perl all 0.30-1 [20.5 kB] Get:145 http://ftpmaster.internal/ubuntu disco/main s390x libwww-robotrules-perl all 6.02-1 [12.6 kB] Get:146 http://ftpmaster.internal/ubuntu disco/main s390x libwww-perl all 6.36-1 [138 kB] Get:147 http://ftpmaster.internal/ubuntu disco/main s390x libxml-parser-perl s390x 2.44-2build4 [197 kB] Get:148 http://ftpmaster.internal/ubuntu disco/universe s390x intltool all 0.51.0-5ubuntu1 [44.6 kB] Get:149 http://ftpmaster.internal/ubuntu disco/universe s390x libonig5 s390x 6.9.1-1 [130 kB] Get:150 http://ftpmaster.internal/ubuntu disco/universe s390x libjq1 s390x 1.5+dfsg-2build1 [114 kB] Get:151 http://ftpmaster.internal/ubuntu disco/universe s390x jq s390x 1.5+dfsg-2build1 [46.1 kB] Get:152 http://ftpmaster.internal/ubuntu disco/main s390x libfile-which-perl all 1.23-1 [13.8 kB] Get:153 http://ftpmaster.internal/ubuntu disco/universe s390x dh-translations all 143 [24.7 kB] Get:154 http://ftpmaster.internal/ubuntu disco/main s390x python3-six all 1.11.0-2 [11.4 kB] Get:155 http://ftpmaster.internal/ubuntu disco/main s390x python3-pkg-resources all 40.6.2-1 [99.6 kB] Get:156 http://ftpmaster.internal/ubuntu disco/universe s390x python3-scour all 0.37-1 [45.7 kB] Get:157 http://ftpmaster.internal/ubuntu disco/universe s390x scour all 0.37-1 [7372 B] Get:158 http://ftpmaster.internal/ubuntu disco/universe s390x cdbs all 0.4.156ubuntu4 [45.4 kB] Get:159 http://ftpmaster.internal/ubuntu disco/main s390x dbus-user-session s390x 1.12.10-1ubuntu2 [9428 B] Get:160 http://ftpmaster.internal/ubuntu disco/main s390x libdconf1 s390x 0.30.1-2 [34.5 kB] Get:161 http://ftpmaster.internal/ubuntu disco/main s390x dconf-service s390x 0.30.1-2 [27.9 kB] Get:162 http://ftpmaster.internal/ubuntu disco/main s390x dconf-gsettings-backend s390x 0.30.1-2 [20.6 kB] Get:163 http://ftpmaster.internal/ubuntu disco/main s390x libatk1.0-data all 2.30.0-2 [3032 B] Get:164 http://ftpmaster.internal/ubuntu disco/main s390x libatk1.0-0 s390x 2.30.0-2 [41.9 kB] Get:165 http://ftpmaster.internal/ubuntu disco/main s390x libatspi2.0-0 s390x 2.30.0-5 [55.3 kB] Get:166 http://ftpmaster.internal/ubuntu disco/main s390x libatk-bridge2.0-0 s390x 2.30.0-2 [52.4 kB] Get:167 http://ftpmaster.internal/ubuntu disco/main s390x libcairo-gobject2 s390x 1.16.0-1 [17.0 kB] Get:168 http://ftpmaster.internal/ubuntu disco/main s390x libcolord2 s390x 1.4.3-3 [122 kB] Get:169 http://ftpmaster.internal/ubuntu disco/main s390x libepoxy0 s390x 1.5.3-0.1 [189 kB] Get:170 http://ftpmaster.internal/ubuntu disco/main s390x libjson-glib-1.0-common all 1.4.4-2 [3496 B] Get:171 http://ftpmaster.internal/ubuntu disco/main s390x libjson-glib-1.0-0 s390x 1.4.4-2 [54.1 kB] Get:172 http://ftpmaster.internal/ubuntu disco/main s390x libproxy1v5 s390x 0.4.15-5 [47.1 kB] Get:173 http://ftpmaster.internal/ubuntu disco/main s390x glib-networking-common all 2.58.0-1 [3568 B] Get:174 http://ftpmaster.internal/ubuntu disco/main s390x glib-networking-services s390x 2.58.0-1 [8700 B] Get:175 http://ftpmaster.internal/ubuntu disco/main s390x gsettings-desktop-schemas all 3.28.1-1ubuntu1 [27.7 kB] Get:176 http://ftpmaster.internal/ubuntu disco/main s390x glib-networking s390x 2.58.0-1 [45.3 kB] Get:177 http://ftpmaster.internal/ubuntu disco/main s390x libsoup2.4-1 s390x 2.64.2-2 [224 kB] Get:178 http://ftpmaster.internal/ubuntu disco/main s390x libsoup-gnome2.4-1 s390x 2.64.2-2 [5008 B] Get:179 http://ftpmaster.internal/ubuntu disco/main s390x librest-0.7-0 s390x 0.8.1-1 [29.7 kB] Get:180 http://ftpmaster.internal/ubuntu disco/main s390x libwayland-client0 s390x 1.16.0-1ubuntu2 [22.3 kB] Get:181 http://ftpmaster.internal/ubuntu disco/main s390x libwayland-cursor0 s390x 1.16.0-1ubuntu2 [10.0 kB] Get:182 http://ftpmaster.internal/ubuntu disco/main s390x libwayland-egl1 s390x 1.16.0-1ubuntu2 [5532 B] Get:183 http://ftpmaster.internal/ubuntu disco/main s390x libxcomposite1 s390x 1:0.4.4-2 [6894 B] Get:184 http://ftpmaster.internal/ubuntu disco/main s390x libxfixes3 s390x 1:5.0.3-1 [10.4 kB] Get:185 http://ftpmaster.internal/ubuntu disco/main s390x libxcursor1 s390x 1:1.1.15-2 [19.7 kB] Get:186 http://ftpmaster.internal/ubuntu disco/main s390x libxdamage1 s390x 1:1.1.4-3 [6740 B] Get:187 http://ftpmaster.internal/ubuntu disco/main s390x libxinerama1 s390x 2:1.1.4-1 [6892 B] Get:188 http://ftpmaster.internal/ubuntu disco/main s390x libxkbcommon0 s390x 0.8.2-1 [91.6 kB] Get:189 http://ftpmaster.internal/ubuntu disco/main s390x libxrandr2 s390x 2:1.5.1-1 [17.7 kB] Get:190 http://ftpmaster.internal/ubuntu disco/main s390x libgtk-3-common all 3.24.2-2ubuntu2 [230 kB] Get:191 http://ftpmaster.internal/ubuntu disco/main s390x libgtk-3-0 s390x 3.24.2-2ubuntu2 [2314 kB] Get:192 http://ftpmaster.internal/ubuntu disco/main s390x libglvnd0 s390x 1.1.0-1 [82.9 kB] Get:193 http://ftpmaster.internal/ubuntu disco/main s390x libglapi-mesa s390x 18.2.6-1ubuntu3 [40.9 kB] Get:194 http://ftpmaster.internal/ubuntu disco/main s390x libx11-xcb1 s390x 2:1.6.7-1 [9180 B] Get:195 http://ftpmaster.internal/ubuntu disco/main s390x libxcb-dri2-0 s390x 1.13.1-2 [6840 B] Get:196 http://ftpmaster.internal/ubuntu disco/main s390x libxcb-dri3-0 s390x 1.13.1-2 [6548 B] Get:197 http://ftpmaster.internal/ubuntu disco/main s390x libxcb-glx0 s390x 1.13.1-2 [22.2 kB] Get:198 http://ftpmaster.internal/ubuntu disco/main s390x libxcb-present0 s390x 1.13.1-2 [5400 B] Get:199 http://ftpmaster.internal/ubuntu disco/main s390x libxcb-sync1 s390x 1.13.1-2 [8620 B] Get:200 http://ftpmaster.internal/ubuntu disco/main s390x libxshmfence1 s390x 1.3-1 [5032 B] Get:201 http://ftpmaster.internal/ubuntu disco/main s390x libxxf86vm1 s390x 1:1.1.4-1 [9952 B] Get:202 http://ftpmaster.internal/ubuntu disco/main s390x libdrm-nouveau2 s390x 2.4.95-1 [15.4 kB] Get:203 http://ftpmaster.internal/ubuntu disco/main s390x libgl1-mesa-dri s390x 18.2.6-1ubuntu3 [3425 kB] Get:204 http://ftpmaster.internal/ubuntu disco/main s390x libglx-mesa0 s390x 18.2.6-1ubuntu3 [138 kB] Get:205 http://ftpmaster.internal/ubuntu disco/main s390x libglx0 s390x 1.1.0-1 [25.2 kB] Get:206 http://ftpmaster.internal/ubuntu disco/main s390x libgl1 s390x 1.1.0-1 [128 kB] Get:207 http://ftpmaster.internal/ubuntu disco/main s390x libgl1-mesa-glx s390x 18.2.6-1ubuntu3 [5388 B] Get:208 http://ftpmaster.internal/ubuntu disco/main s390x libgif7 s390x 5.1.4-3 [30.8 kB] Get:209 http://ftpmaster.internal/ubuntu disco/main s390x openjdk-11-jre s390x 11.0.1+13-3ubuntu1 [34.2 kB] Get:210 http://ftpmaster.internal/ubuntu disco/main s390x default-jre s390x 2:1.11-71 [1084 B] Get:211 http://ftpmaster.internal/ubuntu disco/main s390x openjdk-11-jdk-headless s390x 11.0.1+13-3ubuntu1 [194 MB] Get:212 http://ftpmaster.internal/ubuntu disco/main s390x default-jdk-headless s390x 2:1.11-71 [1144 B] Get:213 http://ftpmaster.internal/ubuntu disco/main s390x openjdk-11-jdk s390x 11.0.1+13-3ubuntu1 [1901 kB] Get:214 http://ftpmaster.internal/ubuntu disco/main s390x default-jdk s390x 2:1.11-71 [1100 B] Get:215 http://ftpmaster.internal/ubuntu disco/main s390x libgmpxx4ldbl s390x 2:6.1.2+dfsg-4 [8796 B] Get:216 http://ftpmaster.internal/ubuntu disco/main s390x libgmp-dev s390x 2:6.1.2+dfsg-4 [302 kB] Get:217 http://ftpmaster.internal/ubuntu disco/main s390x patchutils s390x 0.3.4-2 [69.1 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 279 MB in 4s (76.2 MB/s) Selecting previously unselected package libpython3.7-minimal:s390x. (Reading database ... 12440 files and directories currently installed.) Preparing to unpack .../libpython3.7-minimal_3.7.2~rc1-1_s390x.deb ... Unpacking libpython3.7-minimal:s390x (3.7.2~rc1-1) ... Selecting previously unselected package libexpat1:s390x. Preparing to unpack .../libexpat1_2.2.6-1_s390x.deb ... Unpacking libexpat1:s390x (2.2.6-1) ... Selecting previously unselected package python3.7-minimal. Preparing to unpack .../python3.7-minimal_3.7.2~rc1-1_s390x.deb ... Unpacking python3.7-minimal (3.7.2~rc1-1) ... Setting up libpython3.7-minimal:s390x (3.7.2~rc1-1) ... Setting up libexpat1:s390x (2.2.6-1) ... Setting up python3.7-minimal (3.7.2~rc1-1) ... Selecting previously unselected package python3-minimal. (Reading database ... 12689 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.7.1-1ubuntu1_s390x.deb ... Unpacking python3-minimal (3.7.1-1ubuntu1) ... Selecting previously unselected package mime-support. Preparing to unpack .../1-mime-support_3.60ubuntu1_all.deb ... Unpacking mime-support (3.60ubuntu1) ... Selecting previously unselected package libmpdec2:s390x. Preparing to unpack .../2-libmpdec2_2.4.2-2_s390x.deb ... Unpacking libmpdec2:s390x (2.4.2-2) ... Selecting previously unselected package libpython3.7-stdlib:s390x. Preparing to unpack .../3-libpython3.7-stdlib_3.7.2~rc1-1_s390x.deb ... Unpacking libpython3.7-stdlib:s390x (3.7.2~rc1-1) ... Selecting previously unselected package python3.7. Preparing to unpack .../4-python3.7_3.7.2~rc1-1_s390x.deb ... Unpacking python3.7 (3.7.2~rc1-1) ... Selecting previously unselected package libpython3-stdlib:s390x. Preparing to unpack .../5-libpython3-stdlib_3.7.1-1ubuntu1_s390x.deb ... Unpacking libpython3-stdlib:s390x (3.7.1-1ubuntu1) ... Setting up python3-minimal (3.7.1-1ubuntu1) ... Selecting previously unselected package python3. (Reading database ... 13123 files and directories currently installed.) Preparing to unpack .../00-python3_3.7.1-1ubuntu1_s390x.deb ... Unpacking python3 (3.7.1-1ubuntu1) ... Selecting previously unselected package libbsd0:s390x. Preparing to unpack .../01-libbsd0_0.9.1-1_s390x.deb ... Unpacking libbsd0:s390x (0.9.1-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../02-bsdmainutils_11.1.2ubuntu2_s390x.deb ... Unpacking bsdmainutils (11.1.2ubuntu2) ... Selecting previously unselected package groff-base. Preparing to unpack .../03-groff-base_1.22.3-10_s390x.deb ... Unpacking groff-base (1.22.3-10) ... Selecting previously unselected package libpipeline1:s390x. Preparing to unpack .../04-libpipeline1_1.5.0-2_s390x.deb ... Unpacking libpipeline1:s390x (1.5.0-2) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.8.5-1_s390x.deb ... Unpacking man-db (2.8.5-1) ... Selecting previously unselected package libsigsegv2:s390x. Preparing to unpack .../06-libsigsegv2_2.12-2_s390x.deb ... Unpacking libsigsegv2:s390x (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../07-m4_1.4.18-2_s390x.deb ... Unpacking m4 (1.4.18-2) ... Selecting previously unselected package flex. Preparing to unpack .../08-flex_2.6.4-6.2_s390x.deb ... Unpacking flex (2.6.4-6.2) ... Selecting previously unselected package libpython2.7-minimal:s390x. Preparing to unpack .../09-libpython2.7-minimal_2.7.15-5_s390x.deb ... Unpacking libpython2.7-minimal:s390x (2.7.15-5) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../10-python2.7-minimal_2.7.15-5_s390x.deb ... Unpacking python2.7-minimal (2.7.15-5) ... Selecting previously unselected package python2-minimal. Preparing to unpack .../11-python2-minimal_2.7.15-3_s390x.deb ... Unpacking python2-minimal (2.7.15-3) ... Selecting previously unselected package python-minimal. Preparing to unpack .../12-python-minimal_2.7.15-3_s390x.deb ... Unpacking python-minimal (2.7.15-3) ... Selecting previously unselected package libpython2.7-stdlib:s390x. Preparing to unpack .../13-libpython2.7-stdlib_2.7.15-5_s390x.deb ... Unpacking libpython2.7-stdlib:s390x (2.7.15-5) ... Selecting previously unselected package python2.7. Preparing to unpack .../14-python2.7_2.7.15-5_s390x.deb ... Unpacking python2.7 (2.7.15-5) ... Selecting previously unselected package libpython2-stdlib:s390x. Preparing to unpack .../15-libpython2-stdlib_2.7.15-3_s390x.deb ... Unpacking libpython2-stdlib:s390x (2.7.15-3) ... Selecting previously unselected package libpython-stdlib:s390x. Preparing to unpack .../16-libpython-stdlib_2.7.15-3_s390x.deb ... Unpacking libpython-stdlib:s390x (2.7.15-3) ... Setting up libpython2.7-minimal:s390x (2.7.15-5) ... Setting up python2.7-minimal (2.7.15-5) ... Setting up python2-minimal (2.7.15-3) ... Selecting previously unselected package python2. (Reading database ... 14618 files and directories currently installed.) Preparing to unpack .../python2_2.7.15-3_s390x.deb ... Unpacking python2 (2.7.15-3) ... Setting up python-minimal (2.7.15-3) ... Selecting previously unselected package python. (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../000-python_2.7.15-3_s390x.deb ... Unpacking python (2.7.15-3) ... Selecting previously unselected package libdbus-1-3:s390x. Preparing to unpack .../001-libdbus-1-3_1.12.10-1ubuntu2_s390x.deb ... Unpacking libdbus-1-3:s390x (1.12.10-1ubuntu2) ... Selecting previously unselected package dbus. Preparing to unpack .../002-dbus_1.12.10-1ubuntu2_s390x.deb ... Unpacking dbus (1.12.10-1ubuntu2) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../003-libmagic-mgc_1%3a5.34-2_s390x.deb ... Unpacking libmagic-mgc (1:5.34-2) ... Selecting previously unselected package libmagic1:s390x. Preparing to unpack .../004-libmagic1_1%3a5.34-2_s390x.deb ... Unpacking libmagic1:s390x (1:5.34-2) ... Selecting previously unselected package file. Preparing to unpack .../005-file_1%3a5.34-2_s390x.deb ... Unpacking file (1:5.34-2) ... Selecting previously unselected package libelf1:s390x. Preparing to unpack .../006-libelf1_0.175-1_s390x.deb ... Unpacking libelf1:s390x (0.175-1) ... Selecting previously unselected package libfribidi0:s390x. Preparing to unpack .../007-libfribidi0_1.0.5-3_s390x.deb ... Unpacking libfribidi0:s390x (1.0.5-3) ... Selecting previously unselected package libglib2.0-0:s390x. Preparing to unpack .../008-libglib2.0-0_2.58.1-2_s390x.deb ... Unpacking libglib2.0-0:s390x (2.58.1-2) ... Selecting previously unselected package libicu63:s390x. Preparing to unpack .../009-libicu63_63.1-5_s390x.deb ... Unpacking libicu63:s390x (63.1-5) ... Selecting previously unselected package libpam-systemd:s390x. Preparing to unpack .../010-libpam-systemd_239-7ubuntu15_s390x.deb ... Unpacking libpam-systemd:s390x (239-7ubuntu15) ... Selecting previously unselected package libxml2:s390x. Preparing to unpack .../011-libxml2_2.9.4+dfsg1-7ubuntu3_s390x.deb ... Unpacking libxml2:s390x (2.9.4+dfsg1-7ubuntu3) ... Selecting previously unselected package netbase. Preparing to unpack .../012-netbase_5.5_all.deb ... Unpacking netbase (5.5) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../013-shared-mime-info_1.10-1_s390x.deb ... Unpacking shared-mime-info (1.10-1) ... Selecting previously unselected package ucf. Preparing to unpack .../014-ucf_3.0038_all.deb ... Moving old data out of the way Unpacking ucf (3.0038) ... Selecting previously unselected package xkb-data. Preparing to unpack .../015-xkb-data_2.23.1-1ubuntu1.18.10.1_all.deb ... Unpacking xkb-data (2.23.1-1ubuntu1.18.10.1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../016-gettext-base_0.19.8.1-9_s390x.deb ... Unpacking gettext-base (0.19.8.1-9) ... Selecting previously unselected package libdrm-common. Preparing to unpack .../017-libdrm-common_2.4.95-1_all.deb ... Unpacking libdrm-common (2.4.95-1) ... Selecting previously unselected package libdrm2:s390x. Preparing to unpack .../018-libdrm2_2.4.95-1_s390x.deb ... Unpacking libdrm2:s390x (2.4.95-1) ... Selecting previously unselected package libkrb5support0:s390x. Preparing to unpack .../019-libkrb5support0_1.16.1-1ubuntu1_s390x.deb ... Unpacking libkrb5support0:s390x (1.16.1-1ubuntu1) ... Selecting previously unselected package libk5crypto3:s390x. Preparing to unpack .../020-libk5crypto3_1.16.1-1ubuntu1_s390x.deb ... Unpacking libk5crypto3:s390x (1.16.1-1ubuntu1) ... Selecting previously unselected package libkeyutils1:s390x. Preparing to unpack .../021-libkeyutils1_1.5.9-9.3_s390x.deb ... Unpacking libkeyutils1:s390x (1.5.9-9.3) ... Selecting previously unselected package libkrb5-3:s390x. Preparing to unpack .../022-libkrb5-3_1.16.1-1ubuntu1_s390x.deb ... Unpacking libkrb5-3:s390x (1.16.1-1ubuntu1) ... Selecting previously unselected package libgssapi-krb5-2:s390x. Preparing to unpack .../023-libgssapi-krb5-2_1.16.1-1ubuntu1_s390x.deb ... Unpacking libgssapi-krb5-2:s390x (1.16.1-1ubuntu1) ... Selecting previously unselected package libpsl5:s390x. Preparing to unpack .../024-libpsl5_0.20.2-2_s390x.deb ... Unpacking libpsl5:s390x (0.20.2-2) ... Selecting previously unselected package libxau6:s390x. Preparing to unpack .../025-libxau6_1%3a1.0.8-1_s390x.deb ... Unpacking libxau6:s390x (1:1.0.8-1) ... Selecting previously unselected package libxdmcp6:s390x. Preparing to unpack .../026-libxdmcp6_1%3a1.1.2-3_s390x.deb ... Unpacking libxdmcp6:s390x (1:1.1.2-3) ... Selecting previously unselected package libxcb1:s390x. Preparing to unpack .../027-libxcb1_1.13.1-2_s390x.deb ... Unpacking libxcb1:s390x (1.13.1-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../028-libx11-data_2%3a1.6.7-1_all.deb ... Unpacking libx11-data (2:1.6.7-1) ... Selecting previously unselected package libx11-6:s390x. Preparing to unpack .../029-libx11-6_2%3a1.6.7-1_s390x.deb ... Unpacking libx11-6:s390x (2:1.6.7-1) ... Selecting previously unselected package libxext6:s390x. Preparing to unpack .../030-libxext6_2%3a1.3.3-1_s390x.deb ... Unpacking libxext6:s390x (2:1.3.3-1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../031-hicolor-icon-theme_0.17-2_all.deb ... Unpacking hicolor-icon-theme (0.17-2) ... Selecting previously unselected package libjpeg-turbo8:s390x. Preparing to unpack .../032-libjpeg-turbo8_2.0.0-0ubuntu2_s390x.deb ... Unpacking libjpeg-turbo8:s390x (2.0.0-0ubuntu2) ... Selecting previously unselected package libjpeg8:s390x. Preparing to unpack .../033-libjpeg8_8c-2ubuntu8_s390x.deb ... Unpacking libjpeg8:s390x (8c-2ubuntu8) ... Selecting previously unselected package libjbig0:s390x. Preparing to unpack .../034-libjbig0_2.1-3.1build1_s390x.deb ... Unpacking libjbig0:s390x (2.1-3.1build1) ... Selecting previously unselected package libwebp6:s390x. Preparing to unpack .../035-libwebp6_0.6.1-2_s390x.deb ... Unpacking libwebp6:s390x (0.6.1-2) ... Selecting previously unselected package libtiff5:s390x. Preparing to unpack .../036-libtiff5_4.0.10-3_s390x.deb ... Unpacking libtiff5:s390x (4.0.10-3) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../037-libgdk-pixbuf2.0-common_2.38.0+dfsg-7_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.38.0+dfsg-7) ... Selecting previously unselected package libgdk-pixbuf2.0-0:s390x. Preparing to unpack .../038-libgdk-pixbuf2.0-0_2.38.0+dfsg-7_s390x.deb ... Unpacking libgdk-pixbuf2.0-0:s390x (2.38.0+dfsg-7) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../039-gtk-update-icon-cache_3.24.2-2ubuntu2_s390x.deb ... No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed. No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed. Unpacking gtk-update-icon-cache (3.24.2-2ubuntu2) ... Selecting previously unselected package libfreetype6:s390x. Preparing to unpack .../040-libfreetype6_2.8.1-2ubuntu2_s390x.deb ... Unpacking libfreetype6:s390x (2.8.1-2ubuntu2) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../041-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../042-fontconfig-config_2.13.0-5ubuntu3_all.deb ... Unpacking fontconfig-config (2.13.0-5ubuntu3) ... Selecting previously unselected package libfontconfig1:s390x. Preparing to unpack .../043-libfontconfig1_2.13.0-5ubuntu3_s390x.deb ... Unpacking libfontconfig1:s390x (2.13.0-5ubuntu3) ... Selecting previously unselected package libpixman-1-0:s390x. Preparing to unpack .../044-libpixman-1-0_0.36.0-1_s390x.deb ... Unpacking libpixman-1-0:s390x (0.36.0-1) ... Selecting previously unselected package libxcb-render0:s390x. Preparing to unpack .../045-libxcb-render0_1.13.1-2_s390x.deb ... Unpacking libxcb-render0:s390x (1.13.1-2) ... Selecting previously unselected package libxcb-shm0:s390x. Preparing to unpack .../046-libxcb-shm0_1.13.1-2_s390x.deb ... Unpacking libxcb-shm0:s390x (1.13.1-2) ... Selecting previously unselected package libxrender1:s390x. Preparing to unpack .../047-libxrender1_1%3a0.9.10-1_s390x.deb ... Unpacking libxrender1:s390x (1:0.9.10-1) ... Selecting previously unselected package libcairo2:s390x. Preparing to unpack .../048-libcairo2_1.16.0-1_s390x.deb ... Unpacking libcairo2:s390x (1.16.0-1) ... Selecting previously unselected package libcroco3:s390x. Preparing to unpack .../049-libcroco3_0.6.12-3_s390x.deb ... Unpacking libcroco3:s390x (0.6.12-3) ... Selecting previously unselected package fontconfig. Preparing to unpack .../050-fontconfig_2.13.0-5ubuntu3_s390x.deb ... Unpacking fontconfig (2.13.0-5ubuntu3) ... Selecting previously unselected package libthai-data. Preparing to unpack .../051-libthai-data_0.1.28-1_all.deb ... Unpacking libthai-data (0.1.28-1) ... Selecting previously unselected package libdatrie1:s390x. Preparing to unpack .../052-libdatrie1_0.2.12-1_s390x.deb ... Unpacking libdatrie1:s390x (0.2.12-1) ... Selecting previously unselected package libthai0:s390x. Preparing to unpack .../053-libthai0_0.1.28-1_s390x.deb ... Unpacking libthai0:s390x (0.1.28-1) ... Selecting previously unselected package libpango-1.0-0:s390x. Preparing to unpack .../054-libpango-1.0-0_1.42.4-6_s390x.deb ... Unpacking libpango-1.0-0:s390x (1.42.4-6) ... Selecting previously unselected package libgraphite2-3:s390x. Preparing to unpack .../055-libgraphite2-3_1.3.12-1_s390x.deb ... Unpacking libgraphite2-3:s390x (1.3.12-1) ... Selecting previously unselected package libharfbuzz0b:s390x. Preparing to unpack .../056-libharfbuzz0b_2.3.0-1_s390x.deb ... Unpacking libharfbuzz0b:s390x (2.3.0-1) ... Selecting previously unselected package libpangoft2-1.0-0:s390x. Preparing to unpack .../057-libpangoft2-1.0-0_1.42.4-6_s390x.deb ... Unpacking libpangoft2-1.0-0:s390x (1.42.4-6) ... Selecting previously unselected package libpangocairo-1.0-0:s390x. Preparing to unpack .../058-libpangocairo-1.0-0_1.42.4-6_s390x.deb ... Unpacking libpangocairo-1.0-0:s390x (1.42.4-6) ... Selecting previously unselected package librsvg2-2:s390x. Preparing to unpack .../059-librsvg2-2_2.44.10-1_s390x.deb ... Unpacking librsvg2-2:s390x (2.44.10-1) ... Selecting previously unselected package librsvg2-common:s390x. Preparing to unpack .../060-librsvg2-common_2.44.10-1_s390x.deb ... Unpacking librsvg2-common:s390x (2.44.10-1) ... Selecting previously unselected package humanity-icon-theme. Preparing to unpack .../061-humanity-icon-theme_0.6.15_all.deb ... Unpacking humanity-icon-theme (0.6.15) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../062-ubuntu-mono_16.10+18.10.20181005-0ubuntu1_all.deb ... Unpacking ubuntu-mono (16.10+18.10.20181005-0ubuntu1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../063-adwaita-icon-theme_3.30.0-0ubuntu1_all.deb ... Unpacking adwaita-icon-theme (3.30.0-0ubuntu1) ... Selecting previously unselected package autoconf. Preparing to unpack .../064-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../065-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../066-automake_1%3a1.16.1-4_all.deb ... Unpacking automake (1:1.16.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../067-autopoint_0.19.8.1-9_all.deb ... Unpacking autopoint (0.19.8.1-9) ... Selecting previously unselected package libbison-dev:s390x. Preparing to unpack .../068-libbison-dev_2%3a3.2.2.dfsg-1_s390x.deb ... Unpacking libbison-dev:s390x (2:3.2.2.dfsg-1) ... Selecting previously unselected package bison. Preparing to unpack .../069-bison_2%3a3.2.2.dfsg-1_s390x.deb ... Unpacking bison (2:3.2.2.dfsg-1) ... Selecting previously unselected package java-common. Preparing to unpack .../070-java-common_0.71_all.deb ... Unpacking java-common (0.71) ... Selecting previously unselected package libavahi-common-data:s390x. Preparing to unpack .../071-libavahi-common-data_0.7-4ubuntu4_s390x.deb ... Unpacking libavahi-common-data:s390x (0.7-4ubuntu4) ... Selecting previously unselected package libavahi-common3:s390x. Preparing to unpack .../072-libavahi-common3_0.7-4ubuntu4_s390x.deb ... Unpacking libavahi-common3:s390x (0.7-4ubuntu4) ... Selecting previously unselected package libavahi-client3:s390x. Preparing to unpack .../073-libavahi-client3_0.7-4ubuntu4_s390x.deb ... Unpacking libavahi-client3:s390x (0.7-4ubuntu4) ... Selecting previously unselected package libcups2:s390x. Preparing to unpack .../074-libcups2_2.2.10-3_s390x.deb ... Unpacking libcups2:s390x (2.2.10-3) ... Selecting previously unselected package liblcms2-2:s390x. Preparing to unpack .../075-liblcms2-2_2.9-3_s390x.deb ... Unpacking liblcms2-2:s390x (2.9-3) ... Selecting previously unselected package libnspr4:s390x. Preparing to unpack .../076-libnspr4_2%3a4.20-1ubuntu1_s390x.deb ... Unpacking libnspr4:s390x (2:4.20-1ubuntu1) ... Selecting previously unselected package libnss3:s390x. Preparing to unpack .../077-libnss3_2%3a3.39-1ubuntu1_s390x.deb ... Unpacking libnss3:s390x (2:3.39-1ubuntu1) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../078-libasound2-data_1.1.7-2ubuntu0.1_all.deb ... Unpacking libasound2-data (1.1.7-2ubuntu0.1) ... Selecting previously unselected package libasound2:s390x. Preparing to unpack .../079-libasound2_1.1.7-2ubuntu0.1_s390x.deb ... Unpacking libasound2:s390x (1.1.7-2ubuntu0.1) ... Selecting previously unselected package libpcsclite1:s390x. Preparing to unpack .../080-libpcsclite1_1.8.24-1_s390x.deb ... Unpacking libpcsclite1:s390x (1.8.24-1) ... Selecting previously unselected package libxi6:s390x. Preparing to unpack .../081-libxi6_2%3a1.7.9-1_s390x.deb ... Unpacking libxi6:s390x (2:1.7.9-1) ... Selecting previously unselected package x11-common. Preparing to unpack .../082-x11-common_1%3a7.7+19ubuntu8_all.deb ... dpkg-query: no packages found matching nux-tools Unpacking x11-common (1:7.7+19ubuntu8) ... Selecting previously unselected package libxtst6:s390x. Preparing to unpack .../083-libxtst6_2%3a1.2.3-1_s390x.deb ... Unpacking libxtst6:s390x (2:1.2.3-1) ... Selecting previously unselected package openjdk-11-jre-headless:s390x. Preparing to unpack .../084-openjdk-11-jre-headless_11.0.1+13-3ubuntu1_s390x.deb ... Unpacking openjdk-11-jre-headless:s390x (11.0.1+13-3ubuntu1) ... Selecting previously unselected package default-jre-headless. Preparing to unpack .../085-default-jre-headless_2%3a1.11-71_s390x.deb ... Unpacking default-jre-headless (2:1.11-71) ... Selecting previously unselected package ca-certificates-java. Preparing to unpack .../086-ca-certificates-java_20180516ubuntu1_all.deb ... Unpacking ca-certificates-java (20180516ubuntu1) ... Selecting previously unselected package libtool. Preparing to unpack .../087-libtool_2.4.6-6_all.deb ... Unpacking libtool (2.4.6-6) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../088-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../089-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 .../090-libfile-stripnondeterminism-perl_1.0.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.0.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../091-dh-strip-nondeterminism_1.0.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.0.0-1) ... Selecting previously unselected package dwz. Preparing to unpack .../092-dwz_0.12-3_s390x.deb ... Unpacking dwz (0.12-3) ... Selecting previously unselected package gettext. Preparing to unpack .../093-gettext_0.19.8.1-9_s390x.deb ... Unpacking gettext (0.19.8.1-9) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../094-intltool-debian_0.35.0+20060710.4_all.deb ... Unpacking intltool-debian (0.35.0+20060710.4) ... Selecting previously unselected package po-debconf. Preparing to unpack .../095-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../096-debhelper_11.5.3ubuntu1_all.deb ... Unpacking debhelper (11.5.3ubuntu1) ... Selecting previously unselected package liburi-perl. Preparing to unpack .../097-liburi-perl_1.74-1_all.deb ... Unpacking liburi-perl (1.74-1) ... Selecting previously unselected package libencode-locale-perl. Preparing to unpack .../098-libencode-locale-perl_1.05-1_all.deb ... Unpacking libencode-locale-perl (1.05-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../099-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package libhttp-date-perl. Preparing to unpack .../100-libhttp-date-perl_6.02-1_all.deb ... Unpacking libhttp-date-perl (6.02-1) ... Selecting previously unselected package libfile-listing-perl. Preparing to unpack .../101-libfile-listing-perl_6.04-1_all.deb ... Unpacking libfile-listing-perl (6.04-1) ... Selecting previously unselected package libhtml-tagset-perl. Preparing to unpack .../102-libhtml-tagset-perl_3.20-3_all.deb ... Unpacking libhtml-tagset-perl (3.20-3) ... Selecting previously unselected package libhtml-parser-perl. Preparing to unpack .../103-libhtml-parser-perl_3.72-3build2_s390x.deb ... Unpacking libhtml-parser-perl (3.72-3build2) ... Selecting previously unselected package libhtml-tree-perl. Preparing to unpack .../104-libhtml-tree-perl_5.07-1_all.deb ... Unpacking libhtml-tree-perl (5.07-1) ... Selecting previously unselected package libio-html-perl. Preparing to unpack .../105-libio-html-perl_1.001-1_all.deb ... Unpacking libio-html-perl (1.001-1) ... Selecting previously unselected package liblwp-mediatypes-perl. Preparing to unpack .../106-liblwp-mediatypes-perl_6.02-1_all.deb ... Unpacking liblwp-mediatypes-perl (6.02-1) ... Selecting previously unselected package libhttp-message-perl. Preparing to unpack .../107-libhttp-message-perl_6.18-1_all.deb ... Unpacking libhttp-message-perl (6.18-1) ... Selecting previously unselected package libhttp-cookies-perl. Preparing to unpack .../108-libhttp-cookies-perl_6.04-1_all.deb ... Unpacking libhttp-cookies-perl (6.04-1) ... Selecting previously unselected package libhttp-negotiate-perl. Preparing to unpack .../109-libhttp-negotiate-perl_6.01-1_all.deb ... Unpacking libhttp-negotiate-perl (6.01-1) ... Selecting previously unselected package perl-openssl-defaults:s390x. Preparing to unpack .../110-perl-openssl-defaults_3build1_s390x.deb ... Unpacking perl-openssl-defaults:s390x (3build1) ... Selecting previously unselected package libnet-ssleay-perl. Preparing to unpack .../111-libnet-ssleay-perl_1.85-2ubuntu3_s390x.deb ... Unpacking libnet-ssleay-perl (1.85-2ubuntu3) ... Selecting previously unselected package libio-socket-ssl-perl. Preparing to unpack .../112-libio-socket-ssl-perl_2.060-3_all.deb ... Unpacking libio-socket-ssl-perl (2.060-3) ... Selecting previously unselected package libnet-http-perl. Preparing to unpack .../113-libnet-http-perl_6.18-1_all.deb ... Unpacking libnet-http-perl (6.18-1) ... Selecting previously unselected package liblwp-protocol-https-perl. Preparing to unpack .../114-liblwp-protocol-https-perl_6.07-2_all.deb ... Unpacking liblwp-protocol-https-perl (6.07-2) ... Selecting previously unselected package libtry-tiny-perl. Preparing to unpack .../115-libtry-tiny-perl_0.30-1_all.deb ... Unpacking libtry-tiny-perl (0.30-1) ... Selecting previously unselected package libwww-robotrules-perl. Preparing to unpack .../116-libwww-robotrules-perl_6.02-1_all.deb ... Unpacking libwww-robotrules-perl (6.02-1) ... Selecting previously unselected package libwww-perl. Preparing to unpack .../117-libwww-perl_6.36-1_all.deb ... Unpacking libwww-perl (6.36-1) ... Selecting previously unselected package libxml-parser-perl. Preparing to unpack .../118-libxml-parser-perl_2.44-2build4_s390x.deb ... Unpacking libxml-parser-perl (2.44-2build4) ... Selecting previously unselected package intltool. Preparing to unpack .../119-intltool_0.51.0-5ubuntu1_all.deb ... Unpacking intltool (0.51.0-5ubuntu1) ... Selecting previously unselected package libonig5:s390x. Preparing to unpack .../120-libonig5_6.9.1-1_s390x.deb ... Unpacking libonig5:s390x (6.9.1-1) ... Selecting previously unselected package libjq1:s390x. Preparing to unpack .../121-libjq1_1.5+dfsg-2build1_s390x.deb ... Unpacking libjq1:s390x (1.5+dfsg-2build1) ... Selecting previously unselected package jq. Preparing to unpack .../122-jq_1.5+dfsg-2build1_s390x.deb ... Unpacking jq (1.5+dfsg-2build1) ... Selecting previously unselected package libfile-which-perl. Preparing to unpack .../123-libfile-which-perl_1.23-1_all.deb ... Unpacking libfile-which-perl (1.23-1) ... Selecting previously unselected package dh-translations. Preparing to unpack .../124-dh-translations_143_all.deb ... Unpacking dh-translations (143) ... Selecting previously unselected package python3-six. Preparing to unpack .../125-python3-six_1.11.0-2_all.deb ... Unpacking python3-six (1.11.0-2) ... Selecting previously unselected package python3-pkg-resources. Preparing to unpack .../126-python3-pkg-resources_40.6.2-1_all.deb ... Unpacking python3-pkg-resources (40.6.2-1) ... Selecting previously unselected package python3-scour. Preparing to unpack .../127-python3-scour_0.37-1_all.deb ... Unpacking python3-scour (0.37-1) ... Selecting previously unselected package scour. Preparing to unpack .../128-scour_0.37-1_all.deb ... Unpacking scour (0.37-1) ... Selecting previously unselected package cdbs. Preparing to unpack .../129-cdbs_0.4.156ubuntu4_all.deb ... Unpacking cdbs (0.4.156ubuntu4) ... Selecting previously unselected package dbus-user-session. Preparing to unpack .../130-dbus-user-session_1.12.10-1ubuntu2_s390x.deb ... Unpacking dbus-user-session (1.12.10-1ubuntu2) ... Selecting previously unselected package libdconf1:s390x. Preparing to unpack .../131-libdconf1_0.30.1-2_s390x.deb ... Unpacking libdconf1:s390x (0.30.1-2) ... Selecting previously unselected package dconf-service. Preparing to unpack .../132-dconf-service_0.30.1-2_s390x.deb ... Unpacking dconf-service (0.30.1-2) ... Selecting previously unselected package dconf-gsettings-backend:s390x. Preparing to unpack .../133-dconf-gsettings-backend_0.30.1-2_s390x.deb ... Unpacking dconf-gsettings-backend:s390x (0.30.1-2) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../134-libatk1.0-data_2.30.0-2_all.deb ... Unpacking libatk1.0-data (2.30.0-2) ... Selecting previously unselected package libatk1.0-0:s390x. Preparing to unpack .../135-libatk1.0-0_2.30.0-2_s390x.deb ... Unpacking libatk1.0-0:s390x (2.30.0-2) ... Selecting previously unselected package libatspi2.0-0:s390x. Preparing to unpack .../136-libatspi2.0-0_2.30.0-5_s390x.deb ... Unpacking libatspi2.0-0:s390x (2.30.0-5) ... Selecting previously unselected package libatk-bridge2.0-0:s390x. Preparing to unpack .../137-libatk-bridge2.0-0_2.30.0-2_s390x.deb ... Unpacking libatk-bridge2.0-0:s390x (2.30.0-2) ... Selecting previously unselected package libcairo-gobject2:s390x. Preparing to unpack .../138-libcairo-gobject2_1.16.0-1_s390x.deb ... Unpacking libcairo-gobject2:s390x (1.16.0-1) ... Selecting previously unselected package libcolord2:s390x. Preparing to unpack .../139-libcolord2_1.4.3-3_s390x.deb ... Unpacking libcolord2:s390x (1.4.3-3) ... Selecting previously unselected package libepoxy0:s390x. Preparing to unpack .../140-libepoxy0_1.5.3-0.1_s390x.deb ... Unpacking libepoxy0:s390x (1.5.3-0.1) ... Selecting previously unselected package libjson-glib-1.0-common. Preparing to unpack .../141-libjson-glib-1.0-common_1.4.4-2_all.deb ... Unpacking libjson-glib-1.0-common (1.4.4-2) ... Selecting previously unselected package libjson-glib-1.0-0:s390x. Preparing to unpack .../142-libjson-glib-1.0-0_1.4.4-2_s390x.deb ... Unpacking libjson-glib-1.0-0:s390x (1.4.4-2) ... Selecting previously unselected package libproxy1v5:s390x. Preparing to unpack .../143-libproxy1v5_0.4.15-5_s390x.deb ... Unpacking libproxy1v5:s390x (0.4.15-5) ... Selecting previously unselected package glib-networking-common. Preparing to unpack .../144-glib-networking-common_2.58.0-1_all.deb ... Unpacking glib-networking-common (2.58.0-1) ... Selecting previously unselected package glib-networking-services. Preparing to unpack .../145-glib-networking-services_2.58.0-1_s390x.deb ... Unpacking glib-networking-services (2.58.0-1) ... Selecting previously unselected package gsettings-desktop-schemas. Preparing to unpack .../146-gsettings-desktop-schemas_3.28.1-1ubuntu1_all.deb ... Unpacking gsettings-desktop-schemas (3.28.1-1ubuntu1) ... Selecting previously unselected package glib-networking:s390x. Preparing to unpack .../147-glib-networking_2.58.0-1_s390x.deb ... Unpacking glib-networking:s390x (2.58.0-1) ... Selecting previously unselected package libsoup2.4-1:s390x. Preparing to unpack .../148-libsoup2.4-1_2.64.2-2_s390x.deb ... Unpacking libsoup2.4-1:s390x (2.64.2-2) ... Selecting previously unselected package libsoup-gnome2.4-1:s390x. Preparing to unpack .../149-libsoup-gnome2.4-1_2.64.2-2_s390x.deb ... Unpacking libsoup-gnome2.4-1:s390x (2.64.2-2) ... Selecting previously unselected package librest-0.7-0:s390x. Preparing to unpack .../150-librest-0.7-0_0.8.1-1_s390x.deb ... Unpacking librest-0.7-0:s390x (0.8.1-1) ... Selecting previously unselected package libwayland-client0:s390x. Preparing to unpack .../151-libwayland-client0_1.16.0-1ubuntu2_s390x.deb ... Unpacking libwayland-client0:s390x (1.16.0-1ubuntu2) ... Selecting previously unselected package libwayland-cursor0:s390x. Preparing to unpack .../152-libwayland-cursor0_1.16.0-1ubuntu2_s390x.deb ... Unpacking libwayland-cursor0:s390x (1.16.0-1ubuntu2) ... Selecting previously unselected package libwayland-egl1:s390x. Preparing to unpack .../153-libwayland-egl1_1.16.0-1ubuntu2_s390x.deb ... Unpacking libwayland-egl1:s390x (1.16.0-1ubuntu2) ... Selecting previously unselected package libxcomposite1:s390x. Preparing to unpack .../154-libxcomposite1_1%3a0.4.4-2_s390x.deb ... Unpacking libxcomposite1:s390x (1:0.4.4-2) ... Selecting previously unselected package libxfixes3:s390x. Preparing to unpack .../155-libxfixes3_1%3a5.0.3-1_s390x.deb ... Unpacking libxfixes3:s390x (1:5.0.3-1) ... Selecting previously unselected package libxcursor1:s390x. Preparing to unpack .../156-libxcursor1_1%3a1.1.15-2_s390x.deb ... Unpacking libxcursor1:s390x (1:1.1.15-2) ... Selecting previously unselected package libxdamage1:s390x. Preparing to unpack .../157-libxdamage1_1%3a1.1.4-3_s390x.deb ... Unpacking libxdamage1:s390x (1:1.1.4-3) ... Selecting previously unselected package libxinerama1:s390x. Preparing to unpack .../158-libxinerama1_2%3a1.1.4-1_s390x.deb ... Unpacking libxinerama1:s390x (2:1.1.4-1) ... Selecting previously unselected package libxkbcommon0:s390x. Preparing to unpack .../159-libxkbcommon0_0.8.2-1_s390x.deb ... Unpacking libxkbcommon0:s390x (0.8.2-1) ... Selecting previously unselected package libxrandr2:s390x. Preparing to unpack .../160-libxrandr2_2%3a1.5.1-1_s390x.deb ... Unpacking libxrandr2:s390x (2:1.5.1-1) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../161-libgtk-3-common_3.24.2-2ubuntu2_all.deb ... Unpacking libgtk-3-common (3.24.2-2ubuntu2) ... Selecting previously unselected package libgtk-3-0:s390x. Preparing to unpack .../162-libgtk-3-0_3.24.2-2ubuntu2_s390x.deb ... Unpacking libgtk-3-0:s390x (3.24.2-2ubuntu2) ... Selecting previously unselected package libglvnd0:s390x. Preparing to unpack .../163-libglvnd0_1.1.0-1_s390x.deb ... Unpacking libglvnd0:s390x (1.1.0-1) ... Selecting previously unselected package libglapi-mesa:s390x. Preparing to unpack .../164-libglapi-mesa_18.2.6-1ubuntu3_s390x.deb ... Unpacking libglapi-mesa:s390x (18.2.6-1ubuntu3) ... Selecting previously unselected package libx11-xcb1:s390x. Preparing to unpack .../165-libx11-xcb1_2%3a1.6.7-1_s390x.deb ... Unpacking libx11-xcb1:s390x (2:1.6.7-1) ... Selecting previously unselected package libxcb-dri2-0:s390x. Preparing to unpack .../166-libxcb-dri2-0_1.13.1-2_s390x.deb ... Unpacking libxcb-dri2-0:s390x (1.13.1-2) ... Selecting previously unselected package libxcb-dri3-0:s390x. Preparing to unpack .../167-libxcb-dri3-0_1.13.1-2_s390x.deb ... Unpacking libxcb-dri3-0:s390x (1.13.1-2) ... Selecting previously unselected package libxcb-glx0:s390x. Preparing to unpack .../168-libxcb-glx0_1.13.1-2_s390x.deb ... Unpacking libxcb-glx0:s390x (1.13.1-2) ... Selecting previously unselected package libxcb-present0:s390x. Preparing to unpack .../169-libxcb-present0_1.13.1-2_s390x.deb ... Unpacking libxcb-present0:s390x (1.13.1-2) ... Selecting previously unselected package libxcb-sync1:s390x. Preparing to unpack .../170-libxcb-sync1_1.13.1-2_s390x.deb ... Unpacking libxcb-sync1:s390x (1.13.1-2) ... Selecting previously unselected package libxshmfence1:s390x. Preparing to unpack .../171-libxshmfence1_1.3-1_s390x.deb ... Unpacking libxshmfence1:s390x (1.3-1) ... Selecting previously unselected package libxxf86vm1:s390x. Preparing to unpack .../172-libxxf86vm1_1%3a1.1.4-1_s390x.deb ... Unpacking libxxf86vm1:s390x (1:1.1.4-1) ... Selecting previously unselected package libdrm-nouveau2:s390x. Preparing to unpack .../173-libdrm-nouveau2_2.4.95-1_s390x.deb ... Unpacking libdrm-nouveau2:s390x (2.4.95-1) ... Selecting previously unselected package libgl1-mesa-dri:s390x. Preparing to unpack .../174-libgl1-mesa-dri_18.2.6-1ubuntu3_s390x.deb ... Unpacking libgl1-mesa-dri:s390x (18.2.6-1ubuntu3) ... Selecting previously unselected package libglx-mesa0:s390x. Preparing to unpack .../175-libglx-mesa0_18.2.6-1ubuntu3_s390x.deb ... Unpacking libglx-mesa0:s390x (18.2.6-1ubuntu3) ... Selecting previously unselected package libglx0:s390x. Preparing to unpack .../176-libglx0_1.1.0-1_s390x.deb ... Unpacking libglx0:s390x (1.1.0-1) ... Selecting previously unselected package libgl1:s390x. Preparing to unpack .../177-libgl1_1.1.0-1_s390x.deb ... Unpacking libgl1:s390x (1.1.0-1) ... Selecting previously unselected package libgl1-mesa-glx:s390x. Preparing to unpack .../178-libgl1-mesa-glx_18.2.6-1ubuntu3_s390x.deb ... Unpacking libgl1-mesa-glx:s390x (18.2.6-1ubuntu3) ... Selecting previously unselected package libgif7:s390x. Preparing to unpack .../179-libgif7_5.1.4-3_s390x.deb ... Unpacking libgif7:s390x (5.1.4-3) ... Selecting previously unselected package openjdk-11-jre:s390x. Preparing to unpack .../180-openjdk-11-jre_11.0.1+13-3ubuntu1_s390x.deb ... Unpacking openjdk-11-jre:s390x (11.0.1+13-3ubuntu1) ... Selecting previously unselected package default-jre. Preparing to unpack .../181-default-jre_2%3a1.11-71_s390x.deb ... Unpacking default-jre (2:1.11-71) ... Selecting previously unselected package openjdk-11-jdk-headless:s390x. Preparing to unpack .../182-openjdk-11-jdk-headless_11.0.1+13-3ubuntu1_s390x.deb ... Unpacking openjdk-11-jdk-headless:s390x (11.0.1+13-3ubuntu1) ... Selecting previously unselected package default-jdk-headless. Preparing to unpack .../183-default-jdk-headless_2%3a1.11-71_s390x.deb ... Unpacking default-jdk-headless (2:1.11-71) ... Selecting previously unselected package openjdk-11-jdk:s390x. Preparing to unpack .../184-openjdk-11-jdk_11.0.1+13-3ubuntu1_s390x.deb ... Unpacking openjdk-11-jdk:s390x (11.0.1+13-3ubuntu1) ... Selecting previously unselected package default-jdk. Preparing to unpack .../185-default-jdk_2%3a1.11-71_s390x.deb ... Unpacking default-jdk (2:1.11-71) ... Selecting previously unselected package libgmpxx4ldbl:s390x. Preparing to unpack .../186-libgmpxx4ldbl_2%3a6.1.2+dfsg-4_s390x.deb ... Unpacking libgmpxx4ldbl:s390x (2:6.1.2+dfsg-4) ... Selecting previously unselected package libgmp-dev:s390x. Preparing to unpack .../187-libgmp-dev_2%3a6.1.2+dfsg-4_s390x.deb ... Unpacking libgmp-dev:s390x (2:6.1.2+dfsg-4) ... Selecting previously unselected package patchutils. Preparing to unpack .../188-patchutils_0.3.4-2_s390x.deb ... Unpacking patchutils (0.3.4-2) ... Selecting previously unselected package sbuild-build-depends-cvc3-dummy. Preparing to unpack .../189-sbuild-build-depends-cvc3-dummy_0.invalid.0_s390x.deb ... Unpacking sbuild-build-depends-cvc3-dummy (0.invalid.0) ... Setting up libhtml-tagset-perl (3.20-3) ... Setting up libglvnd0:s390x (1.1.0-1) ... Setting up libonig5:s390x (6.9.1-1) ... Setting up libtry-tiny-perl (0.30-1) ... Setting up libjson-glib-1.0-common (1.4.4-2) ... Setting up glib-networking-common (2.58.0-1) ... Setting up libarchive-zip-perl (1.64-1) ... Setting up mime-support (3.60ubuntu1) ... Setting up libicu63:s390x (63.1-5) ... Setting up libfile-which-perl (1.23-1) ... Setting up libencode-locale-perl (1.05-1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up liblcms2-2:s390x (2.9-3) ... Setting up libjbig0:s390x (2.1-3.1build1) ... Setting up libpcsclite1:s390x (1.8.24-1) ... Setting up libsigsegv2:s390x (2.12-2) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up perl-openssl-defaults:s390x (3build1) ... Setting up libpsl5:s390x (0.20.2-2) ... Setting up libelf1:s390x (0.175-1) ... Setting up groff-base (1.22.3-10) ... Setting up libglib2.0-0:s390x (2.58.1-2) ... Setting up libasound2-data (1.1.7-2ubuntu0.1) ... Setting up libxshmfence1:s390x (1.3-1) ... Setting up libio-html-perl (1.001-1) ... Setting up libwayland-client0:s390x (1.16.0-1ubuntu2) ... Setting up xkb-data (2.23.1-1ubuntu1.18.10.1) ... Setting up libproxy1v5:s390x (0.4.15-5) ... Setting up java-common (0.71) ... Setting up libgdk-pixbuf2.0-common (2.38.0+dfsg-7) ... Setting up glib-networking-services (2.58.0-1) ... Setting up libdatrie1:s390x (0.2.12-1) ... Setting up gettext-base (0.19.8.1-9) ... Setting up libgif7:s390x (5.1.4-3) ... Setting up libjpeg-turbo8:s390x (2.0.0-0ubuntu2) ... Setting up libpipeline1:s390x (1.5.0-2) ... Setting up libglapi-mesa:s390x (18.2.6-1ubuntu3) ... Setting up m4 (1.4.18-2) ... Setting up libbsd0:s390x (0.9.1-1) ... Setting up libkrb5support0:s390x (1.16.1-1ubuntu1) ... Setting up libnspr4:s390x (2:4.20-1ubuntu1) ... Setting up ucf (3.0038) ... Setting up libxml2:s390x (2.9.4+dfsg1-7ubuntu3) ... Setting up libfreetype6:s390x (2.8.1-2ubuntu2) ... Setting up libmagic-mgc (1:5.34-2) ... Setting up libasound2:s390x (1.1.7-2ubuntu0.1) ... Setting up libmagic1:s390x (1:5.34-2) ... Setting up libdrm-common (2.4.95-1) ... Setting up libjson-glib-1.0-0:s390x (1.4.4-2) ... Setting up libgraphite2-3:s390x (1.3.12-1) ... Setting up libcroco3:s390x (0.6.12-3) ... Setting up libjq1:s390x (1.5+dfsg-2build1) ... Setting up libatk1.0-data (2.30.0-2) ... Setting up libx11-xcb1:s390x (2:1.6.7-1) ... Setting up libpixman-1-0:s390x (0.36.0-1) ... Setting up liblwp-mediatypes-perl (6.02-1) ... Processing triggers for libc-bin (2.28-0ubuntu1) ... Setting up dwz (0.12-3) ... Setting up patchutils (0.3.4-2) ... Setting up libepoxy0:s390x (1.5.3-0.1) ... Setting up autotools-dev (20180224.1) ... Setting up liburi-perl (1.74-1) ... Setting up libatk1.0-0:s390x (2.30.0-2) ... Processing triggers for systemd (239-7ubuntu15) ... Setting up libhtml-parser-perl (3.72-3build2) ... Setting up libbison-dev:s390x (2:3.2.2.dfsg-1) ... Setting up libdconf1:s390x (0.30.1-2) ... Setting up libfribidi0:s390x (1.0.5-3) ... Setting up shared-mime-info (1.10-1) ... Setting up libxkbcommon0:s390x (0.8.2-1) ... Setting up libnet-http-perl (6.18-1) ... Setting up libcolord2:s390x (1.4.3-3) ... Setting up libthai-data (0.1.28-1) ... Setting up bison (2:3.2.2.dfsg-1) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode Setting up libxdmcp6:s390x (1:1.1.2-3) ... Setting up libkeyutils1:s390x (1.5.9-9.3) ... Setting up bsdmainutils (11.1.2ubuntu2) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up libgmpxx4ldbl:s390x (2:6.1.2+dfsg-4) ... Setting up x11-common (1:7.7+19ubuntu8) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Processing triggers for ca-certificates (20180409) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. Setting up hicolor-icon-theme (0.17-2) ... Setting up libwww-robotrules-perl (6.02-1) ... Setting up libwayland-cursor0:s390x (1.16.0-1ubuntu2) ... Setting up libwayland-egl1:s390x (1.16.0-1ubuntu2) ... Setting up libx11-data (2:1.6.7-1) ... Setting up libpython2.7-stdlib:s390x (2.7.15-5) ... Setting up libxau6:s390x (1:1.0.8-1) ... Setting up autopoint (0.19.8.1-9) ... Setting up libmpdec2:s390x (2.4.2-2) ... Setting up libdbus-1-3:s390x (1.12.10-1ubuntu2) ... Setting up libavahi-common-data:s390x (0.7-4ubuntu4) ... Setting up netbase (5.5) ... Setting up libwebp6:s390x (0.6.1-2) ... Setting up libfile-stripnondeterminism-perl (1.0.0-1) ... Setting up libjpeg8:s390x (8c-2ubuntu8) ... Setting up libgmp-dev:s390x (2:6.1.2+dfsg-4) ... Setting up libk5crypto3:s390x (1.16.1-1ubuntu1) ... Setting up jq (1.5+dfsg-2build1) ... Setting up libpython3.7-stdlib:s390x (3.7.2~rc1-1) ... Setting up fontconfig-config (2.13.0-5ubuntu3) ... Setting up libhttp-date-perl (6.02-1) ... Setting up gettext (0.19.8.1-9) ... Setting up flex (2.6.4-6.2) ... Setting up libnet-ssleay-perl (1.85-2ubuntu3) ... Setting up python2.7 (2.7.15-5) ... Setting up libnss3:s390x (2:3.39-1ubuntu1) ... Setting up libharfbuzz0b:s390x (2.3.0-1) ... Setting up libtiff5:s390x (4.0.10-3) ... Setting up python3.7 (3.7.2~rc1-1) ... Setting up autoconf (2.69-11) ... Setting up libthai0:s390x (0.1.28-1) ... Setting up file (1:5.34-2) ... Setting up libio-socket-ssl-perl (2.060-3) ... Setting up libhtml-tree-perl (5.07-1) ... Setting up libdrm2:s390x (2.4.95-1) ... Setting up intltool-debian (0.35.0+20060710.4) ... 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 libfile-listing-perl (6.04-1) ... Setting up man-db (2.8.5-1) ... Not building database; man-db/auto-update is not 'true'. Created symlink /etc/systemd/system/timers.target.wants/man-db.timer → /lib/systemd/system/man-db.timer. Setting up libhttp-message-perl (6.18-1) ... Setting up libpython2-stdlib:s390x (2.7.15-3) ... Setting up libkrb5-3:s390x (1.16.1-1ubuntu1) ... Setting up libavahi-common3:s390x (0.7-4ubuntu4) ... Setting up dbus (1.12.10-1ubuntu2) ... Setting up libdrm-nouveau2:s390x (2.4.95-1) ... Setting up libxcb1:s390x (1.13.1-2) ... Setting up libhttp-negotiate-perl (6.01-1) ... Setting up libtool (2.4.6-6) ... Setting up libpython3-stdlib:s390x (3.7.1-1ubuntu1) ... Setting up libxcb-present0:s390x (1.13.1-2) ... Setting up libfontconfig1:s390x (2.13.0-5ubuntu3) ... Setting up libxcb-dri2-0:s390x (1.13.1-2) ... Setting up libxcb-dri3-0:s390x (1.13.1-2) ... Setting up libxcb-glx0:s390x (1.13.1-2) ... Setting up libxcb-render0:s390x (1.13.1-2) ... Setting up libpam-systemd:s390x (239-7ubuntu15) ... Setting up po-debconf (1.0.21) ... Setting up python3 (3.7.1-1ubuntu1) ... Setting up libhttp-cookies-perl (6.04-1) ... Setting up python3-six (1.11.0-2) ... Setting up libx11-6:s390x (2:1.6.7-1) ... Setting up libgl1-mesa-dri:s390x (18.2.6-1ubuntu3) ... Setting up python3-pkg-resources (40.6.2-1) ... Setting up python2 (2.7.15-3) ... Setting up dbus-user-session (1.12.10-1ubuntu2) ... Setting up libxcb-sync1:s390x (1.13.1-2) ... Setting up libgssapi-krb5-2:s390x (1.16.1-1ubuntu1) ... Setting up libpython-stdlib:s390x (2.7.15-3) ... Setting up libxcomposite1:s390x (1:0.4.4-2) ... Setting up libxcb-shm0:s390x (1.13.1-2) ... Setting up libxrender1:s390x (1:0.9.10-1) ... Setting up libavahi-client3:s390x (0.7-4ubuntu4) ... Setting up python (2.7.15-3) ... Setting up fontconfig (2.13.0-5ubuntu3) ... Regenerating fonts cache... done. Setting up libcups2:s390x (2.2.10-3) ... Setting up libxdamage1:s390x (1:1.1.4-3) ... Setting up libxext6:s390x (2:1.3.3-1) ... Setting up libxfixes3:s390x (1:5.0.3-1) ... Setting up dconf-service (0.30.1-2) ... Setting up libatspi2.0-0:s390x (2.30.0-5) ... Setting up libgdk-pixbuf2.0-0:s390x (2.38.0+dfsg-7) ... Setting up python3-scour (0.37-1) ... Setting up scour (0.37-1) ... Setting up libxtst6:s390x (2:1.2.3-1) ... Setting up gtk-update-icon-cache (3.24.2-2ubuntu2) ... Setting up libxcursor1:s390x (1:1.1.15-2) ... Setting up libpango-1.0-0:s390x (1.42.4-6) ... Setting up libatk-bridge2.0-0:s390x (2.30.0-2) ... Setting up libxxf86vm1:s390x (1:1.1.4-1) ... Setting up dconf-gsettings-backend:s390x (0.30.1-2) ... Setting up libxrandr2:s390x (2:1.5.1-1) ... Setting up libglx-mesa0:s390x (18.2.6-1ubuntu3) ... Setting up libxi6:s390x (2:1.7.9-1) ... Setting up libcairo2:s390x (1.16.0-1) ... Setting up libxinerama1:s390x (2:1.1.4-1) ... Setting up gsettings-desktop-schemas (3.28.1-1ubuntu1) ... Setting up libgtk-3-common (3.24.2-2ubuntu2) ... Setting up libcairo-gobject2:s390x (1.16.0-1) ... Setting up libpangoft2-1.0-0:s390x (1.42.4-6) ... Setting up glib-networking:s390x (2.58.0-1) ... Setting up libglx0:s390x (1.1.0-1) ... Setting up libsoup2.4-1:s390x (2.64.2-2) ... Setting up libsoup-gnome2.4-1:s390x (2.64.2-2) ... Setting up libpangocairo-1.0-0:s390x (1.42.4-6) ... Setting up libgl1:s390x (1.1.0-1) ... Setting up librest-0.7-0:s390x (0.8.1-1) ... Setting up librsvg2-2:s390x (2.44.10-1) ... Setting up librsvg2-common:s390x (2.44.10-1) ... Setting up libgl1-mesa-glx:s390x (18.2.6-1ubuntu3) ... Setting up adwaita-icon-theme (3.30.0-0ubuntu1) ... update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode Setting up dh-autoreconf (19) ... Setting up liblwp-protocol-https-perl (6.07-2) ... Setting up openjdk-11-jre-headless:s390x (11.0.1+13-3ubuntu1) ... update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/rmid to provide /usr/bin/rmid (rmid) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/java to provide /usr/bin/java (java) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/keytool to provide /usr/bin/keytool (keytool) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jjs to provide /usr/bin/jjs (jjs) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/pack200 to provide /usr/bin/pack200 (pack200) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/rmiregistry to provide /usr/bin/rmiregistry (rmiregistry) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/unpack200 to provide /usr/bin/unpack200 (unpack200) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/lib/jexec to provide /usr/bin/jexec (jexec) in auto mode Setting up openjdk-11-jdk-headless:s390x (11.0.1+13-3ubuntu1) ... update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jar to provide /usr/bin/jar (jar) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jarsigner to provide /usr/bin/jarsigner (jarsigner) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/javac to provide /usr/bin/javac (javac) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/javadoc to provide /usr/bin/javadoc (javadoc) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/javap to provide /usr/bin/javap (javap) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jcmd to provide /usr/bin/jcmd (jcmd) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jdb to provide /usr/bin/jdb (jdb) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jdeprscan to provide /usr/bin/jdeprscan (jdeprscan) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jdeps to provide /usr/bin/jdeps (jdeps) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jimage to provide /usr/bin/jimage (jimage) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jinfo to provide /usr/bin/jinfo (jinfo) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jlink to provide /usr/bin/jlink (jlink) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jmap to provide /usr/bin/jmap (jmap) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jmod to provide /usr/bin/jmod (jmod) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jps to provide /usr/bin/jps (jps) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jrunscript to provide /usr/bin/jrunscript (jrunscript) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jshell to provide /usr/bin/jshell (jshell) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jstack to provide /usr/bin/jstack (jstack) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jstat to provide /usr/bin/jstat (jstat) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jstatd to provide /usr/bin/jstatd (jstatd) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/rmic to provide /usr/bin/rmic (rmic) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/serialver to provide /usr/bin/serialver (serialver) in auto mode Setting up humanity-icon-theme (0.6.15) ... Setting up libgtk-3-0:s390x (3.24.2-2ubuntu2) ... Setting up dh-strip-nondeterminism (1.0.0-1) ... Setting up default-jre-headless (2:1.11-71) ... Setting up default-jdk-headless (2:1.11-71) ... Setting up libwww-perl (6.36-1) ... Setting up openjdk-11-jre:s390x (11.0.1+13-3ubuntu1) ... Setting up debhelper (11.5.3ubuntu1) ... Setting up ca-certificates-java (20180516ubuntu1) ... head: cannot open '/etc/ssl/certs/java/cacerts' for reading: No such file or directory Adding debian:Go_Daddy_Root_Certificate_Authority_-_G2.pem Adding debian:OpenTrust_Root_CA_G3.pem Adding debian:OISTE_WISeKey_Global_Root_GA_CA.pem Adding debian:Certplus_Root_CA_G1.pem Adding debian:Sonera_Class_2_Root_CA.pem Adding debian:IdenTrust_Public_Sector_Root_CA_1.pem Adding debian:D-TRUST_Root_Class_3_CA_2_2009.pem Adding debian:Staat_der_Nederlanden_Root_CA_-_G3.pem Adding debian:Amazon_Root_CA_1.pem Adding debian:certSIGN_ROOT_CA.pem Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2015.pem Adding debian:Certum_Trusted_Network_CA_2.pem Adding debian:GlobalSign_ECC_Root_CA_-_R5.pem Adding debian:Comodo_AAA_Services_root.pem Adding debian:Izenpe.com.pem Adding debian:QuoVadis_Root_CA_1_G3.pem Adding debian:SecureSign_RootCA11.pem Adding debian:Entrust.net_Premium_2048_Secure_Server_CA.pem Adding debian:Taiwan_GRCA.pem Adding debian:Certinomis_-_Root_CA.pem Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G5.pem Adding debian:TUBITAK_Kamu_SM_SSL_Kok_Sertifikasi_-_Surum_1.pem Adding debian:EE_Certification_Centre_Root_CA.pem Adding debian:Starfield_Services_Root_Certificate_Authority_-_G2.pem Adding debian:Microsec_e-Szigno_Root_CA_2009.pem Adding debian:OISTE_WISeKey_Global_Root_GB_CA.pem Adding debian:Certplus_Class_2_Primary_CA.pem Adding debian:GlobalSign_Root_CA_-_R2.pem Adding debian:SSL.com_Root_Certification_Authority_ECC.pem Adding debian:Go_Daddy_Class_2_CA.pem Adding debian:thawte_Primary_Root_CA.pem Adding debian:T-TeleSec_GlobalRoot_Class_3.pem Adding debian:QuoVadis_Root_CA_2.pem Adding debian:TrustCor_RootCert_CA-1.pem Adding debian:Certigna.pem Adding debian:GeoTrust_Primary_Certification_Authority.pem Adding debian:TrustCor_RootCert_CA-2.pem Adding debian:ACCVRAIZ1.pem Adding debian:Certum_Trusted_Network_CA.pem Adding debian:TÜRKTRUST_Elektronik_Sertifika_Hizmet_Sağlayıcısı_H5.pem Adding debian:GeoTrust_Global_CA.pem Adding debian:QuoVadis_Root_CA_2_G3.pem Adding debian:ePKI_Root_Certification_Authority.pem Adding debian:DST_Root_CA_X3.pem Adding debian:thawte_Primary_Root_CA_-_G2.pem Adding debian:AffirmTrust_Commercial.pem Adding debian:Deutsche_Telekom_Root_CA_2.pem Adding debian:Starfield_Root_Certificate_Authority_-_G2.pem Adding debian:Entrust_Root_Certification_Authority_-_G2.pem Adding debian:Global_Chambersign_Root_-_2008.pem Adding debian:SwissSign_Silver_CA_-_G2.pem Adding debian:QuoVadis_Root_CA_3_G3.pem Adding debian:GlobalSign_Root_CA_-_R3.pem Adding debian:COMODO_RSA_Certification_Authority.pem Adding debian:GeoTrust_Universal_CA_2.pem Adding debian:SecureTrust_CA.pem Adding debian:QuoVadis_Root_CA.pem Adding debian:OpenTrust_Root_CA_G1.pem Adding debian:Starfield_Class_2_CA.pem Adding debian:TeliaSonera_Root_CA_v1.pem Adding debian:EC-ACC.pem Adding debian:GeoTrust_Primary_Certification_Authority_-_G3.pem Adding debian:thawte_Primary_Root_CA_-_G3.pem Adding debian:DigiCert_Global_Root_G2.pem Adding debian:Security_Communication_Root_CA.pem Adding debian:E-Tugra_Certification_Authority.pem Adding debian:TrustCor_ECA-1.pem Adding debian:Verisign_Class_3_Public_Primary_Certification_Authority_-_G3.pem Adding debian:Buypass_Class_3_Root_CA.pem Adding debian:USERTrust_RSA_Certification_Authority.pem Adding debian:Hongkong_Post_Root_CA_1.pem Adding debian:Chambers_of_Commerce_Root_-_2008.pem Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2011.pem Adding debian:GeoTrust_Primary_Certification_Authority_-_G2.pem Adding debian:D-TRUST_Root_Class_3_CA_2_EV_2009.pem Adding debian:SwissSign_Gold_CA_-_G2.pem Adding debian:Visa_eCommerce_Root.pem Adding debian:Baltimore_CyberTrust_Root.pem Adding debian:QuoVadis_Root_CA_3.pem Adding debian:GeoTrust_Universal_CA.pem Adding debian:COMODO_ECC_Certification_Authority.pem Adding debian:Security_Communication_RootCA2.pem Adding debian:SSL.com_Root_Certification_Authority_RSA.pem Adding debian:DigiCert_Global_Root_CA.pem Adding debian:USERTrust_ECC_Certification_Authority.pem Adding debian:CA_Disig_Root_R2.pem Adding debian:OpenTrust_Root_CA_G2.pem Adding debian:NetLock_Arany_=Class_Gold=_Főtanúsítvány.pem Adding debian:IdenTrust_Commercial_Root_CA_1.pem Adding debian:COMODO_Certification_Authority.pem Adding debian:DigiCert_Assured_ID_Root_CA.pem Adding debian:TWCA_Global_Root_CA.pem Adding debian:DigiCert_Global_Root_G3.pem Adding debian:AffirmTrust_Premium_ECC.pem Adding debian:Amazon_Root_CA_2.pem Adding debian:DigiCert_Trusted_Root_G4.pem Adding debian:Actalis_Authentication_Root_CA.pem Adding debian:Network_Solutions_Certificate_Authority.pem Adding debian:DigiCert_Assured_ID_Root_G3.pem Adding debian:Atos_TrustedRoot_2011.pem Adding debian:AddTrust_External_Root.pem Adding debian:Staat_der_Nederlanden_EV_Root_CA.pem Adding debian:AC_RAIZ_FNMT-RCM.pem Adding debian:Trustis_FPS_Root_CA.pem Adding debian:SSL.com_EV_Root_Certification_Authority_RSA_R2.pem Adding debian:GlobalSign_ECC_Root_CA_-_R4.pem Adding debian:SZAFIR_ROOT_CA2.pem Adding debian:Autoridad_de_Certificacion_Firmaprofesional_CIF_A62634068.pem Adding debian:DigiCert_Assured_ID_Root_G2.pem Adding debian:ISRG_Root_X1.pem Adding debian:CFCA_EV_ROOT.pem Adding debian:VeriSign_Universal_Root_Certification_Authority.pem Adding debian:LuxTrust_Global_Root_2.pem Adding debian:TWCA_Root_Certification_Authority.pem Adding debian:Entrust_Root_Certification_Authority.pem Adding debian:AffirmTrust_Networking.pem Adding debian:Entrust_Root_Certification_Authority_-_EC1.pem Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G4.pem Adding debian:Amazon_Root_CA_4.pem Adding debian:DigiCert_High_Assurance_EV_Root_CA.pem Adding debian:Buypass_Class_2_Root_CA.pem Adding debian:Staat_der_Nederlanden_Root_CA_-_G2.pem Adding debian:T-TeleSec_GlobalRoot_Class_2.pem Adding debian:Amazon_Root_CA_3.pem Adding debian:GlobalSign_Root_CA.pem Adding debian:Certplus_Root_CA_G2.pem Adding debian:XRamp_Global_CA_Root.pem Adding debian:GDCA_TrustAUTH_R5_ROOT.pem Adding debian:Secure_Global_CA.pem Adding debian:Cybertrust_Global_Root.pem Adding debian:AffirmTrust_Premium.pem Adding debian:SSL.com_EV_Root_Certification_Authority_ECC.pem Adding debian:Hellenic_Academic_and_Research_Institutions_ECC_RootCA_2015.pem done. Setting up ubuntu-mono (16.10+18.10.20181005-0ubuntu1) ... Setting up default-jre (2:1.11-71) ... Setting up libxml-parser-perl (2.44-2build4) ... Setting up openjdk-11-jdk:s390x (11.0.1+13-3ubuntu1) ... update-alternatives: using /usr/lib/jvm/java-11-openjdk-s390x/bin/jconsole to provide /usr/bin/jconsole (jconsole) in auto mode Setting up default-jdk (2:1.11-71) ... Setting up intltool (0.51.0-5ubuntu1) ... Setting up dh-translations (143) ... Setting up cdbs (0.4.156ubuntu4) ... Setting up sbuild-build-depends-cvc3-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.28-0ubuntu1) ... Processing triggers for systemd (239-7ubuntu15) ... Processing triggers for libgdk-pixbuf2.0-0:s390x (2.38.0+dfsg-7) ... Processing triggers for ca-certificates (20180409) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. done. +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-141-generic s390x (s390x) Toolchain package versions: binutils_2.31.1-11ubuntu1 dpkg-dev_1.19.2ubuntu2 g++-8_8.2.0-13ubuntu1 gcc-8_8.2.0-13ubuntu1 libc6-dev_2.28-0ubuntu1 libstdc++-8-dev_8.2.0-13ubuntu1 libstdc++6_8.2.0-13ubuntu1 linux-libc-dev_4.18.0-11.12 Package versions: adduser_3.117ubuntu1 advancecomp_2.1-1 adwaita-icon-theme_3.30.0-0ubuntu1 apt_1.8.0~alpha2ubuntu1 autoconf_2.69-11 automake_1:1.16.1-4 autopoint_0.19.8.1-9 autotools-dev_20180224.1 base-files_10.1ubuntu8 base-passwd_3.5.45 bash_4.4.18-2ubuntu3 binutils_2.31.1-11ubuntu1 binutils-common_2.31.1-11ubuntu1 binutils-s390x-linux-gnu_2.31.1-11ubuntu1 bison_2:3.2.2.dfsg-1 bsdmainutils_11.1.2ubuntu2 bsdutils_1:2.32-0.1ubuntu2 build-essential_12.5ubuntu2 bzip2_1.0.6-9 ca-certificates_20180409 ca-certificates-java_20180516ubuntu1 cdbs_0.4.156ubuntu4 coreutils_8.28-1ubuntu2 cpp_4:8.2.0-2ubuntu2 cpp-8_8.2.0-13ubuntu1 dash_0.5.10.2-3ubuntu1 dbus_1.12.10-1ubuntu2 dbus-user-session_1.12.10-1ubuntu2 dconf-gsettings-backend_0.30.1-2 dconf-service_0.30.1-2 debconf_1.5.69 debhelper_11.5.3ubuntu1 debianutils_4.8.6 default-jdk_2:1.11-71 default-jdk-headless_2:1.11-71 default-jre_2:1.11-71 default-jre-headless_2:1.11-71 dh-autoreconf_19 dh-strip-nondeterminism_1.0.0-1 dh-translations_143 diffutils_1:3.6-1 dmsetup_2:1.02.145-4.1ubuntu4 dpkg_1.19.2ubuntu2 dpkg-dev_1.19.2ubuntu2 dwz_0.12-3 e2fslibs_1.44.5-1 e2fsprogs_1.44.5-1 fakeroot_1.23-1 fdisk_2.32-0.1ubuntu2 file_1:5.34-2 findutils_4.6.0+git+20181018-1 flex_2.6.4-6.2 fontconfig_2.13.0-5ubuntu3 fontconfig-config_2.13.0-5ubuntu3 fonts-dejavu-core_2.37-1 g++_4:8.2.0-2ubuntu2 g++-8_8.2.0-13ubuntu1 gcc_4:8.2.0-2ubuntu2 gcc-8_8.2.0-13ubuntu1 gcc-8-base_8.2.0-13ubuntu1 gettext_0.19.8.1-9 gettext-base_0.19.8.1-9 glib-networking_2.58.0-1 glib-networking-common_2.58.0-1 glib-networking-services_2.58.0-1 gpg_2.2.8-3ubuntu1 gpg-agent_2.2.8-3ubuntu1 gpgconf_2.2.8-3ubuntu1 gpgv_2.2.8-3ubuntu1 grep_3.3-1 groff-base_1.22.3-10 gsettings-desktop-schemas_3.28.1-1ubuntu1 gtk-update-icon-cache_3.24.2-2ubuntu2 gzip_1.6-5ubuntu2 hicolor-icon-theme_0.17-2 hostname_3.21 humanity-icon-theme_0.6.15 init_1.56+nmu1 init-system-helpers_1.56+nmu1 initscripts_2.88dsf-59.3ubuntu2 insserv_1.14.0-5ubuntu3 intltool_0.51.0-5ubuntu1 intltool-debian_0.35.0+20060710.4 java-common_0.71 jq_1.5+dfsg-2build1 libacl1_2.2.52-3build1 libapparmor1_2.12-4ubuntu10 libapt-pkg5.0_1.8.0~alpha2ubuntu1 libarchive-zip-perl_1.64-1 libargon2-1_0~20171227-0.1 libasan5_8.2.0-13ubuntu1 libasound2_1.1.7-2ubuntu0.1 libasound2-data_1.1.7-2ubuntu0.1 libassuan0_2.5.2-1 libatk-bridge2.0-0_2.30.0-2 libatk1.0-0_2.30.0-2 libatk1.0-data_2.30.0-2 libatomic1_8.2.0-13ubuntu1 libatspi2.0-0_2.30.0-5 libattr1_1:2.4.47-2build1 libaudit-common_1:2.8.3-1ubuntu3 libaudit1_1:2.8.3-1ubuntu3 libavahi-client3_0.7-4ubuntu4 libavahi-common-data_0.7-4ubuntu4 libavahi-common3_0.7-4ubuntu4 libbinutils_2.31.1-11ubuntu1 libbison-dev_2:3.2.2.dfsg-1 libblkid1_2.32-0.1ubuntu2 libbsd0_0.9.1-1 libbz2-1.0_1.0.6-9 libc-bin_2.28-0ubuntu1 libc-dev-bin_2.28-0ubuntu1 libc6_2.28-0ubuntu1 libc6-dev_2.28-0ubuntu1 libcairo-gobject2_1.16.0-1 libcairo2_1.16.0-1 libcap-ng0_0.7.9-1build1 libcap2_1:2.25-1.2 libcc1-0_8.2.0-13ubuntu1 libcolord2_1.4.3-3 libcom-err2_1.44.5-1 libcomerr2_1.44.5-1 libcroco3_0.6.12-3 libcryptsetup12_2:2.0.4-2ubuntu2 libcups2_2.2.10-3 libdatrie1_0.2.12-1 libdb5.3_5.3.28+dfsg1-0.2 libdbus-1-3_1.12.10-1ubuntu2 libdconf1_0.30.1-2 libdebconfclient0_0.244ubuntu1 libdevmapper1.02.1_2:1.02.145-4.1ubuntu4 libdpkg-perl_1.19.2ubuntu2 libdrm-common_2.4.95-1 libdrm-nouveau2_2.4.95-1 libdrm2_2.4.95-1 libelf1_0.175-1 libencode-locale-perl_1.05-1 libepoxy0_1.5.3-0.1 libexpat1_2.2.6-1 libext2fs2_1.44.5-1 libfakeroot_1.23-1 libfdisk1_2.32-0.1ubuntu2 libffi6_3.2.1-9 libfile-listing-perl_6.04-1 libfile-stripnondeterminism-perl_1.0.0-1 libfile-which-perl_1.23-1 libfontconfig1_2.13.0-5ubuntu3 libfreetype6_2.8.1-2ubuntu2 libfribidi0_1.0.5-3 libgcc-8-dev_8.2.0-13ubuntu1 libgcc1_1:8.2.0-13ubuntu1 libgcrypt20_1.8.4-3ubuntu1 libgdbm-compat4_1.18.1-2 libgdbm6_1.18.1-2 libgdk-pixbuf2.0-0_2.38.0+dfsg-7 libgdk-pixbuf2.0-common_2.38.0+dfsg-7 libgif7_5.1.4-3 libgl1_1.1.0-1 libgl1-mesa-dri_18.2.6-1ubuntu3 libgl1-mesa-glx_18.2.6-1ubuntu3 libglapi-mesa_18.2.6-1ubuntu3 libglib2.0-0_2.58.1-2 libglvnd0_1.1.0-1 libglx-mesa0_18.2.6-1ubuntu3 libglx0_1.1.0-1 libgmp-dev_2:6.1.2+dfsg-4 libgmp10_2:6.1.2+dfsg-4 libgmpxx4ldbl_2:6.1.2+dfsg-4 libgnutls30_3.6.4-2ubuntu2 libgomp1_8.2.0-13ubuntu1 libgpg-error0_1.32-3 libgraphite2-3_1.3.12-1 libgssapi-krb5-2_1.16.1-1ubuntu1 libgtk-3-0_3.24.2-2ubuntu2 libgtk-3-common_3.24.2-2ubuntu2 libharfbuzz0b_2.3.0-1 libhogweed4_3.4.1~rc1-1 libhtml-parser-perl_3.72-3build2 libhtml-tagset-perl_3.20-3 libhtml-tree-perl_5.07-1 libhttp-cookies-perl_6.04-1 libhttp-date-perl_6.02-1 libhttp-message-perl_6.18-1 libhttp-negotiate-perl_6.01-1 libicu63_63.1-5 libidn11_1.33-2.2ubuntu1 libidn2-0_2.0.5-1 libio-html-perl_1.001-1 libio-socket-ssl-perl_2.060-3 libip4tc0_1.6.1-2ubuntu3 libisl19_0.20-2 libitm1_8.2.0-13ubuntu1 libjbig0_2.1-3.1build1 libjpeg-turbo8_2.0.0-0ubuntu2 libjpeg8_8c-2ubuntu8 libjq1_1.5+dfsg-2build1 libjson-c3_0.12.1-1.3 libjson-glib-1.0-0_1.4.4-2 libjson-glib-1.0-common_1.4.4-2 libk5crypto3_1.16.1-1ubuntu1 libkeyutils1_1.5.9-9.3 libkmod2_25-1ubuntu2 libkrb5-3_1.16.1-1ubuntu1 libkrb5support0_1.16.1-1ubuntu1 liblcms2-2_2.9-3 liblockfile-bin_1.14-1.1 liblockfile1_1.14-1.1 liblwp-mediatypes-perl_6.02-1 liblwp-protocol-https-perl_6.07-2 liblz4-1_1.8.2-1ubuntu1 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.34-2 libmagic1_1:5.34-2 libmount1_2.32-0.1ubuntu2 libmpc3_1.1.0-1 libmpdec2_2.4.2-2 libmpfr6_4.0.1-2 libncurses6_6.1+20180210-4ubuntu1 libncursesw6_6.1+20180210-4ubuntu1 libnet-http-perl_6.18-1 libnet-ssleay-perl_1.85-2ubuntu3 libnettle6_3.4.1~rc1-1 libnpth0_1.6-1 libnspr4_2:4.20-1ubuntu1 libnss3_2:3.39-1ubuntu1 libonig5_6.9.1-1 libp11-kit0_0.23.14-2 libpam-modules_1.1.8-3.6ubuntu2 libpam-modules-bin_1.1.8-3.6ubuntu2 libpam-runtime_1.1.8-3.6ubuntu2 libpam-systemd_239-7ubuntu15 libpam0g_1.1.8-3.6ubuntu2 libpango-1.0-0_1.42.4-6 libpangocairo-1.0-0_1.42.4-6 libpangoft2-1.0-0_1.42.4-6 libpcre3_2:8.39-11 libpcsclite1_1.8.24-1 libperl5.28_5.28.1-3 libpipeline1_1.5.0-2 libpixman-1-0_0.36.0-1 libpng16-16_1.6.34-2 libprocps7_2:3.3.15-2ubuntu1 libproxy1v5_0.4.15-5 libpsl5_0.20.2-2 libpython-stdlib_2.7.15-3 libpython2-stdlib_2.7.15-3 libpython2.7-minimal_2.7.15-5 libpython2.7-stdlib_2.7.15-5 libpython3-stdlib_3.7.1-1ubuntu1 libpython3.7-minimal_3.7.2~rc1-1 libpython3.7-stdlib_3.7.2~rc1-1 libreadline7_7.0-5 librest-0.7-0_0.8.1-1 librsvg2-2_2.44.10-1 librsvg2-common_2.44.10-1 libseccomp2_2.3.3-3ubuntu2 libselinux1_2.8-1build2 libsemanage-common_2.8-2 libsemanage1_2.8-2 libsepol1_2.8-1 libsigsegv2_2.12-2 libslang2_2.3.2-1ubuntu1 libsmartcols1_2.32-0.1ubuntu2 libsoup-gnome2.4-1_2.64.2-2 libsoup2.4-1_2.64.2-2 libsqlite3-0_3.26.0-3 libss2_1.44.5-1 libssl1.1_1.1.1a-1ubuntu2 libstdc++-8-dev_8.2.0-13ubuntu1 libstdc++6_8.2.0-13ubuntu1 libsystemd0_239-7ubuntu15 libtasn1-6_4.13-3 libthai-data_0.1.28-1 libthai0_0.1.28-1 libtiff5_4.0.10-3 libtimedate-perl_2.3000-2 libtinfo6_6.1+20180210-4ubuntu1 libtool_2.4.6-6 libtry-tiny-perl_0.30-1 libubsan1_8.2.0-13ubuntu1 libudev1_239-7ubuntu15 libunistring2_0.9.10-1ubuntu1 liburi-perl_1.74-1 libusb-0.1-4_2:0.1.12-32 libustr-1.0-1_1.0.4-6 libuuid1_2.32-0.1ubuntu2 libwayland-client0_1.16.0-1ubuntu2 libwayland-cursor0_1.16.0-1ubuntu2 libwayland-egl1_1.16.0-1ubuntu2 libwebp6_0.6.1-2 libwww-perl_6.36-1 libwww-robotrules-perl_6.02-1 libx11-6_2:1.6.7-1 libx11-data_2:1.6.7-1 libx11-xcb1_2:1.6.7-1 libxau6_1:1.0.8-1 libxcb-dri2-0_1.13.1-2 libxcb-dri3-0_1.13.1-2 libxcb-glx0_1.13.1-2 libxcb-present0_1.13.1-2 libxcb-render0_1.13.1-2 libxcb-shm0_1.13.1-2 libxcb-sync1_1.13.1-2 libxcb1_1.13.1-2 libxcomposite1_1:0.4.4-2 libxcursor1_1:1.1.15-2 libxdamage1_1:1.1.4-3 libxdmcp6_1:1.1.2-3 libxext6_2:1.3.3-1 libxfixes3_1:5.0.3-1 libxi6_2:1.7.9-1 libxinerama1_2:1.1.4-1 libxkbcommon0_0.8.2-1 libxml-parser-perl_2.44-2build4 libxml2_2.9.4+dfsg1-7ubuntu3 libxrandr2_2:1.5.1-1 libxrender1_1:0.9.10-1 libxshmfence1_1.3-1 libxtst6_2:1.2.3-1 libxxf86vm1_1:1.1.4-1 libzstd1_1.3.8+dfsg-3 linux-libc-dev_4.18.0-11.12 lockfile-progs_0.1.18 login_1:4.5-1ubuntu1 lsb-base_9.20170808ubuntu1 m4_1.4.18-2 make_4.2.1-1.2 man-db_2.8.5-1 mawk_1.3.3-17ubuntu3 mime-support_3.60ubuntu1 mount_2.32-0.1ubuntu2 multiarch-support_2.28-0ubuntu1 ncurses-base_6.1+20180210-4ubuntu1 ncurses-bin_6.1+20180210-4ubuntu1 netbase_5.5 openjdk-11-jdk_11.0.1+13-3ubuntu1 openjdk-11-jdk-headless_11.0.1+13-3ubuntu1 openjdk-11-jre_11.0.1+13-3ubuntu1 openjdk-11-jre-headless_11.0.1+13-3ubuntu1 openssl_1.1.1a-1ubuntu2 optipng_0.7.6-1.1 passwd_1:4.5-1ubuntu1 patch_2.7.6-3 patchutils_0.3.4-2 perl_5.28.1-3 perl-base_5.28.1-3 perl-modules-5.28_5.28.1-3 perl-openssl-defaults_3build1 pinentry-curses_1.1.0-1build2 pkgbinarymangler_143 po-debconf_1.0.21 policyrcd-script-zg2_0.1-3 procps_2:3.3.15-2ubuntu1 python_2.7.15-3 python-minimal_2.7.15-3 python2_2.7.15-3 python2-minimal_2.7.15-3 python2.7_2.7.15-5 python2.7-minimal_2.7.15-5 python3_3.7.1-1ubuntu1 python3-minimal_3.7.1-1ubuntu1 python3-pkg-resources_40.6.2-1 python3-scour_0.37-1 python3-six_1.11.0-2 python3.7_3.7.2~rc1-1 python3.7-minimal_3.7.2~rc1-1 readline-common_7.0-5 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-cvc3-dummy_0.invalid.0 scour_0.37-1 sed_4.7-1 sensible-utils_0.0.12 shared-mime-info_1.10-1 systemd_239-7ubuntu15 systemd-sysv_239-7ubuntu15 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.10ubuntu2 tar_1.30+dfsg-3 tzdata_2018i-1 ubuntu-keyring_2018.09.18.1 ubuntu-mono_16.10+18.10.20181005-0ubuntu1 ucf_3.0038 util-linux_2.32-0.1ubuntu2 x11-common_1:7.7+19ubuntu8 xkb-data_2.23.1-1ubuntu1.18.10.1 xz-utils_5.2.2-1.3 zlib1g_1:1.2.11.dfsg-0ubuntu2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Sun Jan 22 03:37:51 2017 UTC gpgv: using RSA key C2403D0CFC669A93 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./cvc3_2.4.1-5.1ubuntu1.dsc dpkg-source: info: extracting cvc3 in cvc3-2.4.1 dpkg-source: info: unpacking cvc3_2.4.1.orig.tar.gz tar: A lone zero block at 11280 dpkg-source: info: unpacking cvc3_2.4.1-5.1ubuntu1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying disable-log-dumps-in-tests.patch Check disc space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=noautodbgsym parallel=4 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-15808771 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-15808771 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-15808771 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package cvc3 dpkg-buildpackage: info: source version 2.4.1-5.1ubuntu1 dpkg-buildpackage: info: source distribution zesty dpkg-source --before-build . dpkg-buildpackage: info: host architecture s390x fakeroot debian/rules clean test -x debian/rules rm -f java/Test_manifest dh_autotools-dev_updateconfig dh_autotools-dev_updateconfig: Compatibility levels before 9 are deprecated (level 7 in use) dh_autotools-dev_updateconfig: dh_autotools-dev_updateconfig is deprecated; please see dh_autotools-dev_updateconfig(1) for a replacement dh_autotools-dev_updateconfig: This feature will be removed in compat 12. ./configure --disable-zchaff checking for g++... g++ checking whether the C++ compiler works... yes checking for C++ compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking how to run the C++ preprocessor... g++ -E checking for ar... ar checking build system type... s390x-ibm-linux-gnu checking host system type... s390x-ibm-linux-gnu checking for install... /usr/bin/install checking for ldconfig... /sbin/ldconfig checking for time... not found configure: WARNING: Regression tests depend upon GNU time. checking for perl... /usr/bin/perl checking for bison... bison -y checking for flex... flex checking lex output file root... lex.yy checking lex library... none needed checking whether yytext is a pointer... no checking for compiler version (g++ --version)... 8.2.0 checking for gmp... yes checking vector usability... yes checking vector presence... yes checking for vector... yes checking list usability... yes checking list presence... yes checking for list... yes checking deque usability... yes checking deque presence... yes checking for deque... yes checking set usability... yes checking set presence... yes checking for set... yes checking string usability... yes checking string presence... yes checking for string... yes checking cstdlib usability... yes checking cstdlib presence... yes checking for cstdlib... yes checking cstdio usability... yes checking cstdio presence... yes checking for cstdio... yes checking functional usability... yes checking functional presence... yes checking for functional... yes checking algorithm usability... yes checking algorithm presence... yes checking for algorithm... yes checking for doxygen... no checking for doxytag... no checking for fig2dev... no checking for dot... NO checking for etags... no checking for ebrowse... no configure: creating ./config.status config.status: creating Makefile.local config.status: creating LICENSE config.status: creating src/cvc3.pc config.status: creating bin/unpack config.status: creating bin/run_tests config.status: creating bin/cvc2smt config.status: creating doc/Doxyfile config.status: creating doc/Makefile CVC3 is configured successfully. Platform: s390x-linux-gnu Version: 2.4.1 Computer arithmetic: GMP Run ./configure --help for additional configuration options. Type 'make' to compile CVC3. dh_autotools-dev_restoreconfig dh_autotools-dev_restoreconfig: Compatibility levels before 9 are deprecated (level 7 in use) dh_autotools-dev_restoreconfig: dh_autotools-dev_restoreconfig is deprecated; please see dh_autotools-dev_restoreconfig(1) for a replacement dh_autotools-dev_restoreconfig: This feature will be removed in compat 12. rm -f debian/stamp-makefile-build debian/stamp-makefile-install /usr/bin/make -C . -k distclean TOP=/<> make[1]: Entering directory '/<>' cd /<>/src; /usr/bin/make distclean make[2]: Entering directory '/<>/src' /usr/bin/make build TARGET=distclean make[3]: Entering directory '/<>/src' cd util && /usr/bin/make distclean make[4]: Entering directory '/<>/src/util' Making dependencies for debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp g++ -M -O2 -Wall -I. -I/<>/src/include -DRATIONAL_GMP debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp >> /<>/obj/util/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/util' cd context && /usr/bin/make distclean make[4]: Entering directory '/<>/src/context' Making dependencies for context.cpp cdflags.cpp g++ -M -O2 -Wall -I. -I/<>/src/include context.cpp cdflags.cpp >> /<>/obj/context/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/context' cd expr && /usr/bin/make distclean make[4]: Entering directory '/<>/src/expr' Making dependencies for expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp g++ -M -O2 -Wall -I. -I/<>/src/include expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp >> /<>/obj/expr/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/expr' cd theorem && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theorem' Making dependencies for assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp g++ -M -O2 -Wall -I. -I/<>/src/include assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp >> /<>/obj/theorem/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theorem' cd sat && /usr/bin/make distclean make[4]: Entering directory '/<>/src/sat' Making dependencies for cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp g++ -M -O2 -Wall -I. -I/<>/src/include cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp >> /<>/obj/sat/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/sat' cd theory_core && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_core' Making dependencies for theory.cpp theory_core.cpp core_theorem_producer.cpp expr_transform.cpp bryant.cpp g++ -M -O2 -Wall -I. -I/<>/src/include theory.cpp theory_core.cpp core_theorem_producer.cpp expr_transform.cpp bryant.cpp >> /<>/obj/theory_core/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_core' cd theory_arith && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_arith' Making dependencies for arith_theorem_producer_old.cpp arith_theorem_producer.cpp arith_theorem_producer3.cpp theory_arith.cpp theory_arith_old.cpp theory_arith_new.cpp theory_arith3.cpp g++ -M -O2 -Wall -I. -I/<>/src/include arith_theorem_producer_old.cpp arith_theorem_producer.cpp arith_theorem_producer3.cpp theory_arith.cpp theory_arith_old.cpp theory_arith_new.cpp theory_arith3.cpp >> /<>/obj/theory_arith/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_arith' cd theory_array && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_array' Making dependencies for array_theorem_producer.cpp theory_array.cpp g++ -M -O2 -Wall -I. -I/<>/src/include array_theorem_producer.cpp theory_array.cpp >> /<>/obj/theory_array/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_array' cd theory_bitvector && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_bitvector' Making dependencies for bitvector_theorem_producer.cpp theory_bitvector.cpp g++ -M -O2 -Wall -I. -I/<>/src/include bitvector_theorem_producer.cpp theory_bitvector.cpp >> /<>/obj/theory_bitvector/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_bitvector' cd theory_datatype && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_datatype' Making dependencies for datatype_theorem_producer.cpp theory_datatype.cpp theory_datatype_lazy.cpp g++ -M -O2 -Wall -I. -I/<>/src/include datatype_theorem_producer.cpp theory_datatype.cpp theory_datatype_lazy.cpp >> /<>/obj/theory_datatype/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_datatype' cd theory_quant && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_quant' Making dependencies for theory_quant.cpp quant_theorem_producer.cpp g++ -M -O2 -Wall -I. -I/<>/src/include theory_quant.cpp quant_theorem_producer.cpp >> /<>/obj/theory_quant/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_quant' cd theory_records && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_records' Making dependencies for theory_records.cpp records_theorem_producer.cpp g++ -M -O2 -Wall -I. -I/<>/src/include theory_records.cpp records_theorem_producer.cpp >> /<>/obj/theory_records/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_records' cd theory_simulate && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_simulate' Making dependencies for theory_simulate.cpp simulate_theorem_producer.cpp g++ -M -O2 -Wall -I. -I/<>/src/include theory_simulate.cpp simulate_theorem_producer.cpp >> /<>/obj/theory_simulate/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_simulate' cd theory_uf && /usr/bin/make distclean make[4]: Entering directory '/<>/src/theory_uf' Making dependencies for uf_theorem_producer.cpp theory_uf.cpp g++ -M -O2 -Wall -I. -I/<>/src/include uf_theorem_producer.cpp theory_uf.cpp >> /<>/obj/theory_uf/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/theory_uf' cd search && /usr/bin/make distclean make[4]: Entering directory '/<>/src/search' Making dependencies for clause.cpp search_impl_base.cpp search.cpp search_fast.cpp search_theorem_producer.cpp search_sat.cpp search_simple.cpp variable.cpp circuit.cpp decision_engine.cpp decision_engine_dfs.cpp LFSCObject.cpp LFSCUtilProof.cpp LFSCBoolProof.cpp LFSCConvert.cpp LFSCLraProof.cpp LFSCPrinter.cpp LFSCProof.cpp TReturn.cpp Util.cpp g++ -M -O2 -Wall -I. -I/<>/src/include clause.cpp search_impl_base.cpp search.cpp search_fast.cpp search_theorem_producer.cpp search_sat.cpp search_simple.cpp variable.cpp circuit.cpp decision_engine.cpp decision_engine_dfs.cpp LFSCObject.cpp LFSCUtilProof.cpp LFSCBoolProof.cpp LFSCConvert.cpp LFSCLraProof.cpp LFSCPrinter.cpp LFSCProof.cpp TReturn.cpp Util.cpp >> /<>/obj/search/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/search' cd parser && /usr/bin/make distclean make[4]: Entering directory '/<>/src/parser' bison -d -y -o parsePL.cpp -p PL --debug -v PL.y PL.y: warning: 3 shift/reduce conflicts [-Wconflicts-sr] PL.y:1531.24-1536.25: warning: rule useless in parser due to conflicts [-Wother] AndExpr : AndExpr AND_TOK Expr ^^^^^^^^^^^^^ PL.y:1549.25-1554.25: warning: rule useless in parser due to conflicts [-Wother] OrExpr : OrExpr OR_TOK Expr ^^^^^^^^^^ flex -I -PPL -olexPL.cpp PL.lex bison -d -y -o parseLisp.cpp -p Lisp --debug -v Lisp.y flex -I -PLisp -olexLisp.cpp Lisp.lex bison -d -y -o parsesmtlib.cpp -p smtlib --debug -v smtlib.y flex -I -Psmtlib -olexsmtlib.cpp smtlib.lex bison -d -y -o parsesmtlib2.cpp -p smtlib2 --debug -v smtlib2.y smtlib2.y: warning: 4 shift/reduce conflicts [-Wconflicts-sr] flex -I -Psmtlib2 -olexsmtlib2.cpp smtlib2.lex Making dependencies for parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parser.cpp g++ -M -O2 -Wall -I. -I/<>/src/include -O0 parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parser.cpp >> /<>/obj/parser/s390x-linux-gnu/Makefile.tmp rm -f parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parsePL_defs.h parsePL.output parseLisp_defs.h parseLisp.output parsesmtlib_defs.h parsesmtlib.output parsesmtlib2_defs.h parsesmtlib2.output make[4]: Leaving directory '/<>/src/parser' cd translator && /usr/bin/make distclean make[4]: Entering directory '/<>/src/translator' Making dependencies for translator.cpp g++ -M -O2 -Wall -I. -I/<>/src/include translator.cpp >> /<>/obj/translator/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/translator' cd vcl && /usr/bin/make distclean make[4]: Entering directory '/<>/src/vcl' Making dependencies for vcl.cpp vc_cmd.cpp g++ -M -O2 -Wall -I. -I/<>/src/include vcl.cpp vc_cmd.cpp >> /<>/obj/vcl/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/vcl' cd c_interface && /usr/bin/make distclean make[4]: Entering directory '/<>/src/c_interface' Making dependencies for c_interface.cpp g++ -M -O2 -Wall -I. -I/<>/src/include c_interface.cpp >> /<>/obj/c_interface/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/c_interface' cd cvc3 && /usr/bin/make distclean VERSION=2.4.1 make[4]: Entering directory '/<>/src/cvc3' Making dependencies for main.cpp g++ -M -O2 -Wall -I. -I/<>/src/include -DVERSION=\"2.4.1\" main.cpp >> /<>/obj/cvc3/s390x-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/<>/src/cvc3' make[3]: Leaving directory '/<>/src' rm -rf cvc3.pc make[2]: Leaving directory '/<>/src' cd /<>/doc; /usr/bin/make distclean make[2]: Entering directory '/<>/doc' make[2]: Leaving directory '/<>/doc' cd /<>/test; /usr/bin/make distclean make[2]: Entering directory '/<>/test' Making dependencies for main.cpp george.cpp g++ -M -O2 -Wall -I. -I/<>/src/include -O0 main.cpp george.cpp >> /<>/test/obj/s390x-linux-gnu/Makefile.tmp rm -f make[2]: Leaving directory '/<>/test' cd /<>/java; /usr/bin/make distclean make[2]: Entering directory '/<>/java' if [ ! -d obj ]; then mkdir -p obj; fi rm -f src/cvc3/EmbeddedManager.cpp src/cvc3/Expr.cpp src/cvc3/ExprMut.cpp src/cvc3/ExprManager.cpp src/cvc3/Type.cpp src/cvc3/TypeMut.cpp src/cvc3/Op.cpp src/cvc3/OpMut.cpp src/cvc3/Rational.cpp src/cvc3/RationalMut.cpp src/cvc3/Theorem.cpp src/cvc3/TheoremMut.cpp src/cvc3/Proof.cpp src/cvc3/ProofMut.cpp src/cvc3/Context.cpp src/cvc3/ContextMut.cpp src/cvc3/Flag.cpp src/cvc3/Flags.cpp src/cvc3/FlagsMut.cpp src/cvc3/Statistics.cpp src/cvc3/StatisticsMut.cpp src/cvc3/ValidityChecker.cpp rm -fr obj/cvc3/* rm -fr /<>/java/lib/* rm -f include/cvc3/EmbeddedManager.h include/cvc3/Expr.h include/cvc3/ExprMut.h include/cvc3/ExprManager.h include/cvc3/Type.h include/cvc3/TypeMut.h include/cvc3/Op.h include/cvc3/OpMut.h include/cvc3/Rational.h include/cvc3/RationalMut.h include/cvc3/Theorem.h include/cvc3/TheoremMut.h include/cvc3/Proof.h include/cvc3/ProofMut.h include/cvc3/Context.h include/cvc3/ContextMut.h include/cvc3/Flag.h include/cvc3/Flags.h include/cvc3/FlagsMut.h include/cvc3/Statistics.h include/cvc3/StatisticsMut.h include/cvc3/ValidityChecker.h include/cvc3/EmbeddedManager.h.gch include/cvc3/Expr.h.gch include/cvc3/ExprMut.h.gch include/cvc3/ExprManager.h.gch include/cvc3/Type.h.gch include/cvc3/TypeMut.h.gch include/cvc3/Op.h.gch include/cvc3/OpMut.h.gch include/cvc3/Rational.h.gch include/cvc3/RationalMut.h.gch include/cvc3/Theorem.h.gch include/cvc3/TheoremMut.h.gch include/cvc3/Proof.h.gch include/cvc3/ProofMut.h.gch include/cvc3/Context.h.gch include/cvc3/ContextMut.h.gch include/cvc3/Flag.h.gch include/cvc3/Flags.h.gch include/cvc3/FlagsMut.h.gch include/cvc3/Statistics.h.gch include/cvc3/StatisticsMut.h.gch include/cvc3/ValidityChecker.h.gch include/cvc3/JniUtils.h.gch make[2]: Leaving directory '/<>/java' rm -rf /<>/test/bin /<>/test/obj cd /<>/testc; /usr/bin/make distclean make[2]: Entering directory '/<>/testc' Making dependencies for gcc -M -g -I../src/include main.c >> /<>/testc/obj/s390x-linux-gnu/Makefile.tmp rm -f /<>/testc/obj/s390x-linux-gnu/main.o make[2]: Leaving directory '/<>/testc' rm -rf /<>/testc/bin /<>/testc/obj mv: cannot stat '/<>/bin/CVS': No such file or directory make[1]: [Makefile:163: distclean] Error 1 (ignored) mv: cannot stat '/<>/bin/.cvsignore': No such file or directory make[1]: [Makefile:164: distclean] Error 1 (ignored) rm -rf /<>/bin rm -f TAGS BROWSE FILES LICENSE Makefile.local rm -rf /<>/autom4te.cache rm -f config.log config.status rm -f regressions.log rm -rf /<>/lib /<>/obj make[1]: Leaving directory '/<>' rm -f debian/stamp-makefile-check rm -f debian/stamp-autotools rmdir --ignore-fail-on-non-empty . rmdir: failed to remove '.': Invalid argument make: [/usr/share/cdbs/1/class/autotools.mk:64: makefile-clean] Error 1 (ignored) set -e; dh_clean dh_clean: Compatibility levels before 9 are deprecated (level 7 in use) rm -f debian/stamp-autotools-files debian/rules build-arch test -x debian/rules mkdir -p "." set -e; mv ./config.guess ./config.guess.cdbs-orig; cp --remove-destination /usr/share/misc/config.guess ./config.guess; set -e; mv ./config.sub ./config.sub.cdbs-orig; cp --remove-destination /usr/share/misc/config.sub ./config.sub; touch debian/stamp-autotools-files chmod a+x /<>/./configure mkdir -p . cd . && CFLAGS="-g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security" CXXFLAGS="-g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98" CPPFLAGS="-Wdate-time -D_FORTIFY_SOURCE=2" LDFLAGS="-Wl,-Bsymbolic-functions -Wl,-z,relro" /<>/./configure --build=s390x-linux-gnu --prefix=/usr --includedir="\${prefix}/include" --mandir="\${prefix}/share/man" --infodir="\${prefix}/share/info" --sysconfdir=/etc --localstatedir=/var --libexecdir="\${prefix}/lib/cvc3" --srcdir=. --disable-maintainer-mode --disable-dependency-tracking --disable-silent-rules --enable-dynamic --enable-java --with-java-home=/usr/lib/jvm/default-java --disable-zchaff configure: WARNING: unrecognized options: --disable-maintainer-mode, --disable-dependency-tracking, --disable-silent-rules checking for g++... g++ checking whether the C++ compiler works... yes checking for C++ compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking how to run the C++ preprocessor... g++ -E checking for ar... ar checking build system type... s390x-ibm-linux-gnu checking host system type... s390x-ibm-linux-gnu checking for install... /usr/bin/install checking for ldconfig... /sbin/ldconfig checking for time... not found configure: WARNING: Regression tests depend upon GNU time. checking for perl... /usr/bin/perl checking for bison... bison -y checking for flex... flex checking lex output file root... lex.yy checking lex library... none needed checking whether yytext is a pointer... no checking for compiler version (g++ --version)... 8.2.0 checking for gmp... yes checking for javac... /usr/lib/jvm/default-java/bin/javac checking for javah... /<>/./configure: line 4133: not: command not found no checking for jar... /usr/lib/jvm/default-java/bin/jar checking for java... /usr/lib/jvm/default-java/bin/java checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking jni.h usability... yes checking jni.h presence... yes checking for jni.h... yes checking jni_md.h usability... yes checking jni_md.h presence... yes checking for jni_md.h... yes checking for python... /usr/bin/python checking vector usability... yes checking vector presence... yes checking for vector... yes checking list usability... yes checking list presence... yes checking for list... yes checking deque usability... yes checking deque presence... yes checking for deque... yes checking set usability... yes checking set presence... yes checking for set... yes checking string usability... yes checking string presence... yes checking for string... yes checking cstdlib usability... yes checking cstdlib presence... yes checking for cstdlib... yes checking cstdio usability... yes checking cstdio presence... yes checking for cstdio... yes checking functional usability... yes checking functional presence... yes checking for functional... yes checking algorithm usability... yes checking algorithm presence... yes checking for algorithm... yes checking for doxygen... no checking for doxytag... no checking for fig2dev... no checking for dot... NO checking for etags... no checking for ebrowse... no configure: creating ./config.status config.status: creating Makefile.local config.status: creating LICENSE config.status: creating src/cvc3.pc config.status: creating bin/unpack config.status: creating bin/run_tests config.status: creating bin/cvc2smt config.status: creating doc/Doxyfile config.status: creating doc/Makefile configure: WARNING: unrecognized options: --disable-maintainer-mode, --disable-dependency-tracking, --disable-silent-rules CVC3 is configured successfully. Platform: s390x-linux-gnu Version: 2.4.1 Computer arithmetic: GMP Run ./configure --help for additional configuration options. Type 'make' to compile CVC3. *** CVC3 is configured to compile using shared libraries. *** Type "make ld_sh" for bash shells or "make ld_csh" for csh shells *** to see how to set LD_LIBRARY_PATH appropriately. To use static *** libraries and executables instead, run: *** ./configure --enable-static touch debian/stamp-autotools /usr/bin/make -C . make[1]: Entering directory '/<>' cd /<>/src; /usr/bin/make VERSION=2.4.1 make[2]: Entering directory '/<>/src' cd util && /usr/bin/make make[3]: Entering directory '/<>/src/util' Making dependencies for debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -DRATIONAL_GMP -Wdate-time -D_FORTIFY_SOURCE=2 debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp >> /<>/obj/util/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -DRATIONAL_GMP -Wdate-time -D_FORTIFY_SOURCE=2 -c debug.cpp -o '/<>/obj/util/s390x-linux-gnu/debug.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -DRATIONAL_GMP -Wdate-time -D_FORTIFY_SOURCE=2 -c statistics.cpp -o '/<>/obj/util/s390x-linux-gnu/statistics.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -DRATIONAL_GMP -Wdate-time -D_FORTIFY_SOURCE=2 -c rational.cpp -o '/<>/obj/util/s390x-linux-gnu/rational.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -DRATIONAL_GMP -Wdate-time -D_FORTIFY_SOURCE=2 -c rational-native.cpp -o '/<>/obj/util/s390x-linux-gnu/rational-native.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -DRATIONAL_GMP -Wdate-time -D_FORTIFY_SOURCE=2 -c rational-gmp.cpp -o '/<>/obj/util/s390x-linux-gnu/rational-gmp.o' ar ruvs '/<>/lib/s390x-linux-gnu/libcvc_util.a' /<>/obj/util/s390x-linux-gnu/debug.o /<>/obj/util/s390x-linux-gnu/statistics.o /<>/obj/util/s390x-linux-gnu/rational.o /<>/obj/util/s390x-linux-gnu/rational-native.o /<>/obj/util/s390x-linux-gnu/rational-gmp.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libcvc_util.a a - /<>/obj/util/s390x-linux-gnu/debug.o a - /<>/obj/util/s390x-linux-gnu/statistics.o a - /<>/obj/util/s390x-linux-gnu/rational.o a - /<>/obj/util/s390x-linux-gnu/rational-native.o a - /<>/obj/util/s390x-linux-gnu/rational-gmp.o make[3]: Leaving directory '/<>/src/util' cd context && /usr/bin/make make[3]: Entering directory '/<>/src/context' Making dependencies for context.cpp cdflags.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 context.cpp cdflags.cpp >> /<>/obj/context/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c context.cpp -o '/<>/obj/context/s390x-linux-gnu/context.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c cdflags.cpp -o '/<>/obj/context/s390x-linux-gnu/cdflags.o' ar ruvs '/<>/lib/s390x-linux-gnu/libcontext.a' /<>/obj/context/s390x-linux-gnu/context.o /<>/obj/context/s390x-linux-gnu/cdflags.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libcontext.a a - /<>/obj/context/s390x-linux-gnu/context.o a - /<>/obj/context/s390x-linux-gnu/cdflags.o make[3]: Leaving directory '/<>/src/context' cd expr && /usr/bin/make make[3]: Entering directory '/<>/src/expr' Making dependencies for expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp >> /<>/obj/expr/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c expr.cpp -o '/<>/obj/expr/s390x-linux-gnu/expr.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c expr_manager.cpp -o '/<>/obj/expr/s390x-linux-gnu/expr_manager.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c expr_stream.cpp -o '/<>/obj/expr/s390x-linux-gnu/expr_stream.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c expr_value.cpp -o '/<>/obj/expr/s390x-linux-gnu/expr_value.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c expr_op.cpp -o '/<>/obj/expr/s390x-linux-gnu/expr_op.o' ar ruvs '/<>/lib/s390x-linux-gnu/libexpr.a' /<>/obj/expr/s390x-linux-gnu/expr.o /<>/obj/expr/s390x-linux-gnu/expr_manager.o /<>/obj/expr/s390x-linux-gnu/expr_stream.o /<>/obj/expr/s390x-linux-gnu/expr_value.o /<>/obj/expr/s390x-linux-gnu/expr_op.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libexpr.a a - /<>/obj/expr/s390x-linux-gnu/expr.o a - /<>/obj/expr/s390x-linux-gnu/expr_manager.o a - /<>/obj/expr/s390x-linux-gnu/expr_stream.o a - /<>/obj/expr/s390x-linux-gnu/expr_value.o a - /<>/obj/expr/s390x-linux-gnu/expr_op.o make[3]: Leaving directory '/<>/src/expr' cd theorem && /usr/bin/make make[3]: Entering directory '/<>/src/theorem' Making dependencies for assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp >> /<>/obj/theorem/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c assumptions.cpp -o '/<>/obj/theorem/s390x-linux-gnu/assumptions.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theorem.cpp -o '/<>/obj/theorem/s390x-linux-gnu/theorem.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theorem_manager.cpp -o '/<>/obj/theorem/s390x-linux-gnu/theorem_manager.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theorem_producer.cpp -o '/<>/obj/theorem/s390x-linux-gnu/theorem_producer.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c common_theorem_producer.cpp -o '/<>/obj/theorem/s390x-linux-gnu/common_theorem_producer.o' In file included from common_theorem_producer.h:34, from common_theorem_producer.cpp:27: common_theorem_producer.cpp: In member function ‘virtual CVC3::Theorem CVC3::CommonTheoremProducer::contradictionRule(const CVC3::Theorem&, const CVC3::Theorem&)’: common_theorem_producer.cpp:565:30: warning: logical not is only applied to the left hand side of comparison [-Wlogical-not-parentheses] CHECK_SOUND(!e.getExpr() == not_e.getExpr(), ^~ /<>/src/include/theorem_producer.h:83:39: note: in definition of macro ‘CHECK_SOUND’ #define CHECK_SOUND(cond, msg) { if(!(cond)) \ ^~~~ common_theorem_producer.cpp:565:17: note: add parentheses around left hand side expression to silence this warning CHECK_SOUND(!e.getExpr() == not_e.getExpr(), ^~~~~~~~~~~~ /<>/src/include/theorem_producer.h:83:39: note: in definition of macro ‘CHECK_SOUND’ #define CHECK_SOUND(cond, msg) { if(!(cond)) \ ^~~~ ar ruvs '/<>/lib/s390x-linux-gnu/libtheorem.a' /<>/obj/theorem/s390x-linux-gnu/assumptions.o /<>/obj/theorem/s390x-linux-gnu/theorem.o /<>/obj/theorem/s390x-linux-gnu/theorem_manager.o /<>/obj/theorem/s390x-linux-gnu/theorem_producer.o /<>/obj/theorem/s390x-linux-gnu/common_theorem_producer.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libtheorem.a a - /<>/obj/theorem/s390x-linux-gnu/assumptions.o a - /<>/obj/theorem/s390x-linux-gnu/theorem.o a - /<>/obj/theorem/s390x-linux-gnu/theorem_manager.o a - /<>/obj/theorem/s390x-linux-gnu/theorem_producer.o a - /<>/obj/theorem/s390x-linux-gnu/common_theorem_producer.o make[3]: Leaving directory '/<>/src/theorem' cd sat && /usr/bin/make make[3]: Entering directory '/<>/src/sat' Making dependencies for cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp >> /<>/obj/sat/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c cnf.cpp -o '/<>/obj/sat/s390x-linux-gnu/cnf.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c cnf_manager.cpp -o '/<>/obj/sat/s390x-linux-gnu/cnf_manager.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c cnf_theorem_producer.cpp -o '/<>/obj/sat/s390x-linux-gnu/cnf_theorem_producer.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c dpllt_basic.cpp -o '/<>/obj/sat/s390x-linux-gnu/dpllt_basic.o' dpllt_basic.cpp: In member function ‘void SAT::DPLLTBasic::handle_result(SatSolver::SATStatus)’: dpllt_basic.cpp:172:16: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] const char * result = "UNKNOWN"; ^~~~~~ g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c sat_api.cpp -o '/<>/obj/sat/s390x-linux-gnu/sat_api.o' sat_api.cpp: In member function ‘void SatSolver::PrintStatistics(std::ostream&)’: sat_api.cpp:29:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] if (val != -1) ^~ sat_api.cpp:32:5: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ os << "Number of Clauses\t\t\t" << NumClauses() << endl; ^~ g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c dpllt_minisat.cpp -o '/<>/obj/sat/s390x-linux-gnu/dpllt_minisat.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c minisat_types.cpp -o '/<>/obj/sat/s390x-linux-gnu/minisat_types.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c minisat_derivation.cpp -o '/<>/obj/sat/s390x-linux-gnu/minisat_derivation.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c minisat_solver.cpp -o '/<>/obj/sat/s390x-linux-gnu/minisat_solver.o' ar ruvs '/<>/lib/s390x-linux-gnu/libsat.a' /<>/obj/sat/s390x-linux-gnu/cnf.o /<>/obj/sat/s390x-linux-gnu/cnf_manager.o /<>/obj/sat/s390x-linux-gnu/cnf_theorem_producer.o /<>/obj/sat/s390x-linux-gnu/dpllt_basic.o /<>/obj/sat/s390x-linux-gnu/sat_api.o /<>/obj/sat/s390x-linux-gnu/dpllt_minisat.o /<>/obj/sat/s390x-linux-gnu/minisat_types.o /<>/obj/sat/s390x-linux-gnu/minisat_derivation.o /<>/obj/sat/s390x-linux-gnu/minisat_solver.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libsat.a a - /<>/obj/sat/s390x-linux-gnu/cnf.o a - /<>/obj/sat/s390x-linux-gnu/cnf_manager.o a - /<>/obj/sat/s390x-linux-gnu/cnf_theorem_producer.o a - /<>/obj/sat/s390x-linux-gnu/dpllt_basic.o a - /<>/obj/sat/s390x-linux-gnu/sat_api.o a - /<>/obj/sat/s390x-linux-gnu/dpllt_minisat.o a - /<>/obj/sat/s390x-linux-gnu/minisat_types.o a - /<>/obj/sat/s390x-linux-gnu/minisat_derivation.o a - /<>/obj/sat/s390x-linux-gnu/minisat_solver.o make[3]: Leaving directory '/<>/src/sat' cd theory_core && /usr/bin/make make[3]: Entering directory '/<>/src/theory_core' Making dependencies for theory.cpp theory_core.cpp core_theorem_producer.cpp expr_transform.cpp bryant.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 theory.cpp theory_core.cpp core_theorem_producer.cpp expr_transform.cpp bryant.cpp >> /<>/obj/theory_core/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theory.cpp -o '/<>/obj/theory_core/s390x-linux-gnu/theory.o' In file included from /<>/src/include/expr_stream.h:36, from /<>/src/include/theory.h:25, from /<>/src/include/theory_core.h:25, from theory.cpp:22: /<>/src/include/expr.h: In member function ‘CVC3::Theory* CVC3::Theory::theoryOf(const CVC3::Expr&)’: /<>/src/include/expr.h:1017:17: warning: ‘’ may be used uninitialized in this function [-Wmaybe-uninitialized] return getKind() == APPLY; } ~~~~~~~^~ /<>/src/include/expr.h: In member function ‘CVC3::Theory* CVC3::Theory::theoryOf(const CVC3::Type&)’: /<>/src/include/expr.h:1017:17: warning: ‘’ is used uninitialized in this function [-Wuninitialized] return getKind() == APPLY; } ~~~~~~~^~ g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theory_core.cpp -o '/<>/obj/theory_core/s390x-linux-gnu/theory_core.o' theory_core.cpp: In constructor ‘CVC3::TheoryCore::TheoryCore(CVC3::ContextManager*, CVC3::ExprManager*, CVC3::TheoremManager*, CVC3::Translator*, const CVC3::CLFlags&, CVC3::Statistics&)’: theory_core.cpp:725:22: warning: converting ‘false’ to pointer type ‘const bool*’ [-Wconversion-null] d_coreSatAPI(NULL) ^ theory_core.cpp: In member function ‘bool CVC3::TheoryCore::refineCounterExample(CVC3::Theorem&)’: theory_core.cpp:3419:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] if(d_theories[i] != this) ^~ theory_core.cpp:3421:4: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ if(inconsistent()) { ^~ g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c core_theorem_producer.cpp -o '/<>/obj/theory_core/s390x-linux-gnu/core_theorem_producer.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c expr_transform.cpp -o '/<>/obj/theory_core/s390x-linux-gnu/expr_transform.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c bryant.cpp -o '/<>/obj/theory_core/s390x-linux-gnu/bryant.o' bryant.cpp: In member function ‘void CVC3::ExprTransform::GetPEqs(const CVC3::Expr&, CVC3::ExprTransform::B_name_map&, std::set&, std::set&, CVC3::ExprTransform::T_generator_map&, std::set&)’: bryant.cpp:402:5: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] if (!SeenBefore.insert(e).second) ^~ bryant.cpp:404:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ if (e.isEq()) { ^~ bryant.cpp: In member function ‘CVC3::Expr CVC3::ExprTransform::ConstrainedConstraints(std::set&, CVC3::ExprTransform::T_generator_map&, CVC3::ExprTransform::B_name_map&, CVC3::ExprTransform::B_Term_map&, std::set&, std::set&, std::set&)’: bryant.cpp:452:3: warning: this ‘else’ clause does not guard... [-Wmisleading-indentation] else ^~~~ bryant.cpp:454:4: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘else’ for (set::iterator j = (*f).second->begin(); j != (*f).second->end(); j++) { ^~~ bryant.cpp:470:17: warning: logical not is only applied to the left hand side of comparison [-Wlogical-not-parentheses] if (!Value == Temp) ^~ bryant.cpp:470:10: note: add parentheses around left hand side expression to silence this warning if (!Value == Temp) ^~~~~~ ( ) ar ruvs '/<>/lib/s390x-linux-gnu/libtheory_core.a' /<>/obj/theory_core/s390x-linux-gnu/theory.o /<>/obj/theory_core/s390x-linux-gnu/theory_core.o /<>/obj/theory_core/s390x-linux-gnu/core_theorem_producer.o /<>/obj/theory_core/s390x-linux-gnu/expr_transform.o /<>/obj/theory_core/s390x-linux-gnu/bryant.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libtheory_core.a a - /<>/obj/theory_core/s390x-linux-gnu/theory.o a - /<>/obj/theory_core/s390x-linux-gnu/theory_core.o a - /<>/obj/theory_core/s390x-linux-gnu/core_theorem_producer.o a - /<>/obj/theory_core/s390x-linux-gnu/expr_transform.o a - /<>/obj/theory_core/s390x-linux-gnu/bryant.o make[3]: Leaving directory '/<>/src/theory_core' cd theory_arith && /usr/bin/make make[3]: Entering directory '/<>/src/theory_arith' Making dependencies for arith_theorem_producer_old.cpp arith_theorem_producer.cpp arith_theorem_producer3.cpp theory_arith.cpp theory_arith_old.cpp theory_arith_new.cpp theory_arith3.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 arith_theorem_producer_old.cpp arith_theorem_producer.cpp arith_theorem_producer3.cpp theory_arith.cpp theory_arith_old.cpp theory_arith_new.cpp theory_arith3.cpp >> /<>/obj/theory_arith/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c arith_theorem_producer_old.cpp -o '/<>/obj/theory_arith/s390x-linux-gnu/arith_theorem_producer_old.o' arith_theorem_producer_old.cpp: In member function ‘virtual CVC3::Theorem CVC3::ArithTheoremProducerOld::canonMult(const CVC3::Expr&)’: arith_theorem_producer_old.cpp:797:50: warning: logical not is only applied to the left hand side of comparison [-Wlogical-not-parentheses] if (count_non_trivial > 0 && !count_constants == (e.arity() - 1)) { ^~ arith_theorem_producer_old.cpp:797:33: note: add parentheses around left hand side expression to silence this warning if (count_non_trivial > 0 && !count_constants == (e.arity() - 1)) { ^~~~~~~~~~~~~~~~ ( ) g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c arith_theorem_producer.cpp -o '/<>/obj/theory_arith/s390x-linux-gnu/arith_theorem_producer.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c arith_theorem_producer3.cpp -o '/<>/obj/theory_arith/s390x-linux-gnu/arith_theorem_producer3.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theory_arith.cpp -o '/<>/obj/theory_arith/s390x-linux-gnu/theory_arith.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theory_arith_old.cpp -o '/<>/obj/theory_arith/s390x-linux-gnu/theory_arith_old.o' theory_arith_old.cpp: In member function ‘bool CVC3::TheoryArithOld::findBounds(const CVC3::Expr&, CVC3::Rational&, CVC3::Rational&)’: theory_arith_old.cpp:2782:24: warning: variable ‘strictUB’ set but not used [-Wunused-but-set-variable] bool strictLB=false, strictUB=false; ^~~~~~~~ g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theory_arith_new.cpp -o '/<>/obj/theory_arith/s390x-linux-gnu/theory_arith_new.o' theory_arith_new.cpp: In member function ‘bool CVC3::TheoryArithNew::findBounds(const CVC3::Expr&, CVC3::Rational&, CVC3::Rational&)’: theory_arith_new.cpp:1350:24: warning: variable ‘strictUB’ set but not used [-Wunused-but-set-variable] bool strictLB=false, strictUB=false; ^~~~~~~~ theory_arith_new.cpp: In member function ‘std::__cxx11::string CVC3::TheoryArithNew::tableauxAsString() const’: theory_arith_new.cpp:3350:30: warning: variable ‘row_end’ set but not used [-Wunused-but-set-variable] TebleauxMap::const_iterator row_end = tableaux.end(); ^~~~~~~ g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theory_arith3.cpp -o '/<>/obj/theory_arith/s390x-linux-gnu/theory_arith3.o' theory_arith3.cpp: In member function ‘bool CVC3::TheoryArith3::findBounds(const CVC3::Expr&, CVC3::Rational&, CVC3::Rational&)’: theory_arith3.cpp:2199:24: warning: variable ‘strictUB’ set but not used [-Wunused-but-set-variable] bool strictLB=false, strictUB=false; ^~~~~~~~ ar ruvs '/<>/lib/s390x-linux-gnu/libtheory_arith.a' /<>/obj/theory_arith/s390x-linux-gnu/arith_theorem_producer_old.o /<>/obj/theory_arith/s390x-linux-gnu/arith_theorem_producer.o /<>/obj/theory_arith/s390x-linux-gnu/arith_theorem_producer3.o /<>/obj/theory_arith/s390x-linux-gnu/theory_arith.o /<>/obj/theory_arith/s390x-linux-gnu/theory_arith_old.o /<>/obj/theory_arith/s390x-linux-gnu/theory_arith_new.o /<>/obj/theory_arith/s390x-linux-gnu/theory_arith3.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libtheory_arith.a a - /<>/obj/theory_arith/s390x-linux-gnu/arith_theorem_producer_old.o a - /<>/obj/theory_arith/s390x-linux-gnu/arith_theorem_producer.o a - /<>/obj/theory_arith/s390x-linux-gnu/arith_theorem_producer3.o a - /<>/obj/theory_arith/s390x-linux-gnu/theory_arith.o a - /<>/obj/theory_arith/s390x-linux-gnu/theory_arith_old.o a - /<>/obj/theory_arith/s390x-linux-gnu/theory_arith_new.o a - /<>/obj/theory_arith/s390x-linux-gnu/theory_arith3.o make[3]: Leaving directory '/<>/src/theory_arith' cd theory_array && /usr/bin/make make[3]: Entering directory '/<>/src/theory_array' Making dependencies for array_theorem_producer.cpp theory_array.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 array_theorem_producer.cpp theory_array.cpp >> /<>/obj/theory_array/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c array_theorem_producer.cpp -o '/<>/obj/theory_array/s390x-linux-gnu/array_theorem_producer.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theory_array.cpp -o '/<>/obj/theory_array/s390x-linux-gnu/theory_array.o' ar ruvs '/<>/lib/s390x-linux-gnu/libtheory_array.a' /<>/obj/theory_array/s390x-linux-gnu/array_theorem_producer.o /<>/obj/theory_array/s390x-linux-gnu/theory_array.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libtheory_array.a a - /<>/obj/theory_array/s390x-linux-gnu/array_theorem_producer.o a - /<>/obj/theory_array/s390x-linux-gnu/theory_array.o make[3]: Leaving directory '/<>/src/theory_array' cd theory_bitvector && /usr/bin/make make[3]: Entering directory '/<>/src/theory_bitvector' Making dependencies for bitvector_theorem_producer.cpp theory_bitvector.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 bitvector_theorem_producer.cpp theory_bitvector.cpp >> /<>/obj/theory_bitvector/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c bitvector_theorem_producer.cpp -o '/<>/obj/theory_bitvector/s390x-linux-gnu/bitvector_theorem_producer.o' bitvector_theorem_producer.cpp: In member function ‘virtual CVC3::Theorem CVC3::BitvectorTheoremProducer::bitwiseFlatten(const CVC3::Expr&, int)’: bitvector_theorem_producer.cpp:2996:26: warning: variable ‘jend’ set but not used [-Wunused-but-set-variable] vector::iterator jend = flattenkids.end(); ^~~~ g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theory_bitvector.cpp -o '/<>/obj/theory_bitvector/s390x-linux-gnu/theory_bitvector.o' theory_bitvector.cpp: In member function ‘CVC3::Theorem CVC3::TheoryBitvector::rewriteBV(const CVC3::Expr&, CVC3::ExprMap&, int)’: theory_bitvector.cpp:1063:11: warning: variable ‘hi’ set but not used [-Wunused-but-set-variable] int hi(-1), low(-1); ^~ ar ruvs '/<>/lib/s390x-linux-gnu/libtheory_bitvector.a' /<>/obj/theory_bitvector/s390x-linux-gnu/bitvector_theorem_producer.o /<>/obj/theory_bitvector/s390x-linux-gnu/theory_bitvector.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libtheory_bitvector.a a - /<>/obj/theory_bitvector/s390x-linux-gnu/bitvector_theorem_producer.o a - /<>/obj/theory_bitvector/s390x-linux-gnu/theory_bitvector.o make[3]: Leaving directory '/<>/src/theory_bitvector' cd theory_datatype && /usr/bin/make make[3]: Entering directory '/<>/src/theory_datatype' Making dependencies for datatype_theorem_producer.cpp theory_datatype.cpp theory_datatype_lazy.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 datatype_theorem_producer.cpp theory_datatype.cpp theory_datatype_lazy.cpp >> /<>/obj/theory_datatype/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c datatype_theorem_producer.cpp -o '/<>/obj/theory_datatype/s390x-linux-gnu/datatype_theorem_producer.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theory_datatype.cpp -o '/<>/obj/theory_datatype/s390x-linux-gnu/theory_datatype.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theory_datatype_lazy.cpp -o '/<>/obj/theory_datatype/s390x-linux-gnu/theory_datatype_lazy.o' ar ruvs '/<>/lib/s390x-linux-gnu/libtheory_datatype.a' /<>/obj/theory_datatype/s390x-linux-gnu/datatype_theorem_producer.o /<>/obj/theory_datatype/s390x-linux-gnu/theory_datatype.o /<>/obj/theory_datatype/s390x-linux-gnu/theory_datatype_lazy.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libtheory_datatype.a a - /<>/obj/theory_datatype/s390x-linux-gnu/datatype_theorem_producer.o a - /<>/obj/theory_datatype/s390x-linux-gnu/theory_datatype.o a - /<>/obj/theory_datatype/s390x-linux-gnu/theory_datatype_lazy.o make[3]: Leaving directory '/<>/src/theory_datatype' cd theory_quant && /usr/bin/make make[3]: Entering directory '/<>/src/theory_quant' Making dependencies for theory_quant.cpp quant_theorem_producer.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 theory_quant.cpp quant_theorem_producer.cpp >> /<>/obj/theory_quant/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theory_quant.cpp -o '/<>/obj/theory_quant/s390x-linux-gnu/theory_quant.o' theory_quant.cpp: In member function ‘virtual CVC3::Expr CVC3::TheoryQuant::parseExprOp(const CVC3::Expr&)’: theory_quant.cpp:9077:21: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] catch (Exception e){ ^ g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c quant_theorem_producer.cpp -o '/<>/obj/theory_quant/s390x-linux-gnu/quant_theorem_producer.o' ar ruvs '/<>/lib/s390x-linux-gnu/libtheory_quant.a' /<>/obj/theory_quant/s390x-linux-gnu/theory_quant.o /<>/obj/theory_quant/s390x-linux-gnu/quant_theorem_producer.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libtheory_quant.a a - /<>/obj/theory_quant/s390x-linux-gnu/theory_quant.o a - /<>/obj/theory_quant/s390x-linux-gnu/quant_theorem_producer.o make[3]: Leaving directory '/<>/src/theory_quant' cd theory_records && /usr/bin/make make[3]: Entering directory '/<>/src/theory_records' Making dependencies for theory_records.cpp records_theorem_producer.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 theory_records.cpp records_theorem_producer.cpp >> /<>/obj/theory_records/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theory_records.cpp -o '/<>/obj/theory_records/s390x-linux-gnu/theory_records.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c records_theorem_producer.cpp -o '/<>/obj/theory_records/s390x-linux-gnu/records_theorem_producer.o' ar ruvs '/<>/lib/s390x-linux-gnu/libtheory_records.a' /<>/obj/theory_records/s390x-linux-gnu/theory_records.o /<>/obj/theory_records/s390x-linux-gnu/records_theorem_producer.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libtheory_records.a a - /<>/obj/theory_records/s390x-linux-gnu/theory_records.o a - /<>/obj/theory_records/s390x-linux-gnu/records_theorem_producer.o make[3]: Leaving directory '/<>/src/theory_records' cd theory_simulate && /usr/bin/make make[3]: Entering directory '/<>/src/theory_simulate' Making dependencies for theory_simulate.cpp simulate_theorem_producer.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 theory_simulate.cpp simulate_theorem_producer.cpp >> /<>/obj/theory_simulate/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theory_simulate.cpp -o '/<>/obj/theory_simulate/s390x-linux-gnu/theory_simulate.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c simulate_theorem_producer.cpp -o '/<>/obj/theory_simulate/s390x-linux-gnu/simulate_theorem_producer.o' ar ruvs '/<>/lib/s390x-linux-gnu/libtheory_simulate.a' /<>/obj/theory_simulate/s390x-linux-gnu/theory_simulate.o /<>/obj/theory_simulate/s390x-linux-gnu/simulate_theorem_producer.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libtheory_simulate.a a - /<>/obj/theory_simulate/s390x-linux-gnu/theory_simulate.o a - /<>/obj/theory_simulate/s390x-linux-gnu/simulate_theorem_producer.o make[3]: Leaving directory '/<>/src/theory_simulate' cd theory_uf && /usr/bin/make make[3]: Entering directory '/<>/src/theory_uf' Making dependencies for uf_theorem_producer.cpp theory_uf.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 uf_theorem_producer.cpp theory_uf.cpp >> /<>/obj/theory_uf/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c uf_theorem_producer.cpp -o '/<>/obj/theory_uf/s390x-linux-gnu/uf_theorem_producer.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c theory_uf.cpp -o '/<>/obj/theory_uf/s390x-linux-gnu/theory_uf.o' ar ruvs '/<>/lib/s390x-linux-gnu/libtheory_uf.a' /<>/obj/theory_uf/s390x-linux-gnu/uf_theorem_producer.o /<>/obj/theory_uf/s390x-linux-gnu/theory_uf.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libtheory_uf.a a - /<>/obj/theory_uf/s390x-linux-gnu/uf_theorem_producer.o a - /<>/obj/theory_uf/s390x-linux-gnu/theory_uf.o make[3]: Leaving directory '/<>/src/theory_uf' cd search && /usr/bin/make make[3]: Entering directory '/<>/src/search' Making dependencies for clause.cpp search_impl_base.cpp search.cpp search_fast.cpp search_theorem_producer.cpp search_sat.cpp search_simple.cpp variable.cpp circuit.cpp decision_engine.cpp decision_engine_dfs.cpp LFSCObject.cpp LFSCUtilProof.cpp LFSCBoolProof.cpp LFSCConvert.cpp LFSCLraProof.cpp LFSCPrinter.cpp LFSCProof.cpp TReturn.cpp Util.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 clause.cpp search_impl_base.cpp search.cpp search_fast.cpp search_theorem_producer.cpp search_sat.cpp search_simple.cpp variable.cpp circuit.cpp decision_engine.cpp decision_engine_dfs.cpp LFSCObject.cpp LFSCUtilProof.cpp LFSCBoolProof.cpp LFSCConvert.cpp LFSCLraProof.cpp LFSCPrinter.cpp LFSCProof.cpp TReturn.cpp Util.cpp >> /<>/obj/search/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c clause.cpp -o '/<>/obj/search/s390x-linux-gnu/clause.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c search_impl_base.cpp -o '/<>/obj/search/s390x-linux-gnu/search_impl_base.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c search.cpp -o '/<>/obj/search/s390x-linux-gnu/search.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c search_fast.cpp -o '/<>/obj/search/s390x-linux-gnu/search_fast.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c search_theorem_producer.cpp -o '/<>/obj/search/s390x-linux-gnu/search_theorem_producer.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c search_sat.cpp -o '/<>/obj/search/s390x-linux-gnu/search_sat.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c search_simple.cpp -o '/<>/obj/search/s390x-linux-gnu/search_simple.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c variable.cpp -o '/<>/obj/search/s390x-linux-gnu/variable.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c circuit.cpp -o '/<>/obj/search/s390x-linux-gnu/circuit.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c decision_engine.cpp -o '/<>/obj/search/s390x-linux-gnu/decision_engine.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c decision_engine_dfs.cpp -o '/<>/obj/search/s390x-linux-gnu/decision_engine_dfs.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c LFSCObject.cpp -o '/<>/obj/search/s390x-linux-gnu/LFSCObject.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c LFSCUtilProof.cpp -o '/<>/obj/search/s390x-linux-gnu/LFSCUtilProof.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c LFSCBoolProof.cpp -o '/<>/obj/search/s390x-linux-gnu/LFSCBoolProof.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c LFSCConvert.cpp -o '/<>/obj/search/s390x-linux-gnu/LFSCConvert.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c LFSCLraProof.cpp -o '/<>/obj/search/s390x-linux-gnu/LFSCLraProof.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c LFSCPrinter.cpp -o '/<>/obj/search/s390x-linux-gnu/LFSCPrinter.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c LFSCProof.cpp -o '/<>/obj/search/s390x-linux-gnu/LFSCProof.o' LFSCProof.cpp: In member function ‘virtual int LFSCProof::checkOp()’: LFSCProof.cpp:91:11: warning: unused variable ‘o’ [-Wunused-variable] int o = getChild( a )->checkOp(); ^ LFSCProof.cpp: In static member function ‘static LFSCProof* LFSCProof::Make_CNF(const CVC3::Expr&, const CVC3::Expr&, int)’: LFSCProof.cpp:193:11: warning: unused variable ‘m2’ [-Wunused-variable] int m2 = queryM( ec[1] ); ^~ g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c TReturn.cpp -o '/<>/obj/search/s390x-linux-gnu/TReturn.o' TReturn.cpp: In static member function ‘static int TReturn::normalize_tr(const CVC3::Expr&, TReturn*&, int, bool, bool)’: TReturn.cpp:127:12: warning: unused variable ‘torig’ [-Wunused-variable] TReturn* torig = t1; ^~~~~ g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c Util.cpp -o '/<>/obj/search/s390x-linux-gnu/Util.o' ar ruvs '/<>/lib/s390x-linux-gnu/libsearch.a' /<>/obj/search/s390x-linux-gnu/clause.o /<>/obj/search/s390x-linux-gnu/search_impl_base.o /<>/obj/search/s390x-linux-gnu/search.o /<>/obj/search/s390x-linux-gnu/search_fast.o /<>/obj/search/s390x-linux-gnu/search_theorem_producer.o /<>/obj/search/s390x-linux-gnu/search_sat.o /<>/obj/search/s390x-linux-gnu/search_simple.o /<>/obj/search/s390x-linux-gnu/variable.o /<>/obj/search/s390x-linux-gnu/circuit.o /<>/obj/search/s390x-linux-gnu/decision_engine.o /<>/obj/search/s390x-linux-gnu/decision_engine_dfs.o /<>/obj/search/s390x-linux-gnu/LFSCObject.o /<>/obj/search/s390x-linux-gnu/LFSCUtilProof.o /<>/obj/search/s390x-linux-gnu/LFSCBoolProof.o /<>/obj/search/s390x-linux-gnu/LFSCConvert.o /<>/obj/search/s390x-linux-gnu/LFSCLraProof.o /<>/obj/search/s390x-linux-gnu/LFSCPrinter.o /<>/obj/search/s390x-linux-gnu/LFSCProof.o /<>/obj/search/s390x-linux-gnu/TReturn.o /<>/obj/search/s390x-linux-gnu/Util.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libsearch.a a - /<>/obj/search/s390x-linux-gnu/clause.o a - /<>/obj/search/s390x-linux-gnu/search_impl_base.o a - /<>/obj/search/s390x-linux-gnu/search.o a - /<>/obj/search/s390x-linux-gnu/search_fast.o a - /<>/obj/search/s390x-linux-gnu/search_theorem_producer.o a - /<>/obj/search/s390x-linux-gnu/search_sat.o a - /<>/obj/search/s390x-linux-gnu/search_simple.o a - /<>/obj/search/s390x-linux-gnu/variable.o a - /<>/obj/search/s390x-linux-gnu/circuit.o a - /<>/obj/search/s390x-linux-gnu/decision_engine.o a - /<>/obj/search/s390x-linux-gnu/decision_engine_dfs.o a - /<>/obj/search/s390x-linux-gnu/LFSCObject.o a - /<>/obj/search/s390x-linux-gnu/LFSCUtilProof.o a - /<>/obj/search/s390x-linux-gnu/LFSCBoolProof.o a - /<>/obj/search/s390x-linux-gnu/LFSCConvert.o a - /<>/obj/search/s390x-linux-gnu/LFSCLraProof.o a - /<>/obj/search/s390x-linux-gnu/LFSCPrinter.o a - /<>/obj/search/s390x-linux-gnu/LFSCProof.o a - /<>/obj/search/s390x-linux-gnu/TReturn.o a - /<>/obj/search/s390x-linux-gnu/Util.o make[3]: Leaving directory '/<>/src/search' cd parser && /usr/bin/make make[3]: Entering directory '/<>/src/parser' bison -d -y -o parsePL.cpp -p PL --debug -v PL.y PL.y: warning: 3 shift/reduce conflicts [-Wconflicts-sr] PL.y:1531.24-1536.25: warning: rule useless in parser due to conflicts [-Wother] AndExpr : AndExpr AND_TOK Expr ^^^^^^^^^^^^^ PL.y:1549.25-1554.25: warning: rule useless in parser due to conflicts [-Wother] OrExpr : OrExpr OR_TOK Expr ^^^^^^^^^^ flex -I -PPL -olexPL.cpp PL.lex bison -d -y -o parseLisp.cpp -p Lisp --debug -v Lisp.y flex -I -PLisp -olexLisp.cpp Lisp.lex bison -d -y -o parsesmtlib.cpp -p smtlib --debug -v smtlib.y flex -I -Psmtlib -olexsmtlib.cpp smtlib.lex bison -d -y -o parsesmtlib2.cpp -p smtlib2 --debug -v smtlib2.y smtlib2.y: warning: 4 shift/reduce conflicts [-Wconflicts-sr] flex -I -Psmtlib2 -olexsmtlib2.cpp smtlib2.lex Making dependencies for parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parser.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -O0 -Wdate-time -D_FORTIFY_SOURCE=2 parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parser.cpp >> /<>/obj/parser/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -O0 -Wdate-time -D_FORTIFY_SOURCE=2 -c parsePL.cpp -o '/<>/obj/parser/s390x-linux-gnu/parsePL.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -O0 -Wdate-time -D_FORTIFY_SOURCE=2 -c lexPL.cpp -o '/<>/obj/parser/s390x-linux-gnu/lexPL.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -O0 -Wdate-time -D_FORTIFY_SOURCE=2 -c parseLisp.cpp -o '/<>/obj/parser/s390x-linux-gnu/parseLisp.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -O0 -Wdate-time -D_FORTIFY_SOURCE=2 -c lexLisp.cpp -o '/<>/obj/parser/s390x-linux-gnu/lexLisp.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -O0 -Wdate-time -D_FORTIFY_SOURCE=2 -c parsesmtlib.cpp -o '/<>/obj/parser/s390x-linux-gnu/parsesmtlib.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -O0 -Wdate-time -D_FORTIFY_SOURCE=2 -c lexsmtlib.cpp -o '/<>/obj/parser/s390x-linux-gnu/lexsmtlib.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -O0 -Wdate-time -D_FORTIFY_SOURCE=2 -c parsesmtlib2.cpp -o '/<>/obj/parser/s390x-linux-gnu/parsesmtlib2.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -O0 -Wdate-time -D_FORTIFY_SOURCE=2 -c lexsmtlib2.cpp -o '/<>/obj/parser/s390x-linux-gnu/lexsmtlib2.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -O0 -Wdate-time -D_FORTIFY_SOURCE=2 -c parser.cpp -o '/<>/obj/parser/s390x-linux-gnu/parser.o' ar ruvs '/<>/lib/s390x-linux-gnu/libparser.a' /<>/obj/parser/s390x-linux-gnu/parsePL.o /<>/obj/parser/s390x-linux-gnu/lexPL.o /<>/obj/parser/s390x-linux-gnu/parseLisp.o /<>/obj/parser/s390x-linux-gnu/lexLisp.o /<>/obj/parser/s390x-linux-gnu/parsesmtlib.o /<>/obj/parser/s390x-linux-gnu/lexsmtlib.o /<>/obj/parser/s390x-linux-gnu/parsesmtlib2.o /<>/obj/parser/s390x-linux-gnu/lexsmtlib2.o /<>/obj/parser/s390x-linux-gnu/parser.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libparser.a a - /<>/obj/parser/s390x-linux-gnu/parsePL.o a - /<>/obj/parser/s390x-linux-gnu/lexPL.o a - /<>/obj/parser/s390x-linux-gnu/parseLisp.o a - /<>/obj/parser/s390x-linux-gnu/lexLisp.o a - /<>/obj/parser/s390x-linux-gnu/parsesmtlib.o a - /<>/obj/parser/s390x-linux-gnu/lexsmtlib.o a - /<>/obj/parser/s390x-linux-gnu/parsesmtlib2.o a - /<>/obj/parser/s390x-linux-gnu/lexsmtlib2.o a - /<>/obj/parser/s390x-linux-gnu/parser.o make[3]: Leaving directory '/<>/src/parser' cd translator && /usr/bin/make make[3]: Entering directory '/<>/src/translator' Making dependencies for translator.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 translator.cpp >> /<>/obj/translator/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c translator.cpp -o '/<>/obj/translator/s390x-linux-gnu/translator.o' ar ruvs '/<>/lib/s390x-linux-gnu/libtranslator.a' /<>/obj/translator/s390x-linux-gnu/translator.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libtranslator.a a - /<>/obj/translator/s390x-linux-gnu/translator.o make[3]: Leaving directory '/<>/src/translator' cd vcl && /usr/bin/make make[3]: Entering directory '/<>/src/vcl' Making dependencies for vcl.cpp vc_cmd.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 vcl.cpp vc_cmd.cpp >> /<>/obj/vcl/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c vcl.cpp -o '/<>/obj/vcl/s390x-linux-gnu/vcl.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c vc_cmd.cpp -o '/<>/obj/vcl/s390x-linux-gnu/vc_cmd.o' vc_cmd.cpp: In member function ‘bool CVC3::VCCmd::evaluateCommand(const CVC3::Expr&)’: vc_cmd.cpp:780:10: warning: unused variable ‘b’ [-Wunused-variable] bool b = d_vc->inconsistent(assertions); ^ ar ruvs '/<>/lib/s390x-linux-gnu/libvcl.a' /<>/obj/vcl/s390x-linux-gnu/vcl.o /<>/obj/vcl/s390x-linux-gnu/vc_cmd.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libvcl.a a - /<>/obj/vcl/s390x-linux-gnu/vcl.o a - /<>/obj/vcl/s390x-linux-gnu/vc_cmd.o make[3]: Leaving directory '/<>/src/vcl' cd c_interface && /usr/bin/make make[3]: Entering directory '/<>/src/c_interface' Making dependencies for c_interface.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 c_interface.cpp >> /<>/obj/c_interface/s390x-linux-gnu/Makefile.tmp g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -Wdate-time -D_FORTIFY_SOURCE=2 -c c_interface.cpp -o '/<>/obj/c_interface/s390x-linux-gnu/c_interface.o' c_interface.cpp: In function ‘void* vc_createValidityChecker(Flags)’: c_interface.cpp:192:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_createFlags()’: c_interface.cpp:202:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_destroyValidityChecker(VC)’: c_interface.cpp:214:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_deleteFlags(Flags)’: c_interface.cpp:223:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_deleteExpr(Expr)’: c_interface.cpp:233:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_deleteVector(void**)’: c_interface.cpp:255:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_setBoolFlag(Flags, char*, int)’: c_interface.cpp:271:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_setIntFlag(Flags, char*, int)’: c_interface.cpp:281:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_setStringFlag(Flags, char*, char*)’: c_interface.cpp:291:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_setStrSeqFlag(Flags, char*, char*, int)’: c_interface.cpp:301:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_boolType(VC)’: c_interface.cpp:312:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_realType(VC)’: c_interface.cpp:324:27: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_intType(VC)’: c_interface.cpp:336:27: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_tupleType2(VC, Type, Type)’: c_interface.cpp:373:27: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_tupleType3(VC, Type, Type, Type)’: c_interface.cpp:386:27: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_tupleTypeN(VC, void**, int)’: c_interface.cpp:402:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_recordType1(VC, char*, Type)’: c_interface.cpp:414:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_recordType2(VC, char*, Type, char*, Type)’: c_interface.cpp:428:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_recordType3(VC, char*, Type, char*, Type, char*, Type)’: c_interface.cpp:444:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_recordTypeN(VC, char**, void**, int)’: c_interface.cpp:463:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_dataType1(VC, char*, char*, int, char**, void**)’: c_interface.cpp:484:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_dataTypeN(VC, char*, int, char**, int*, char***, void***)’: c_interface.cpp:509:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void** vc_dataTypeMN(VC, int, char**, int*, char***, int**, char****, void****)’: c_interface.cpp:548:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_arrayType(VC, Type, Type)’: c_interface.cpp:560:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvType(VC, int)’: c_interface.cpp:572:27: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_funType1(VC, Type, Type)’: c_interface.cpp:584:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_funType2(VC, Type, Type, Type)’: c_interface.cpp:599:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_funType3(VC, Type, Type, Type, Type)’: c_interface.cpp:615:27: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_funTypeN(VC, void**, Type, int)’: c_interface.cpp:630:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_createType(VC, char*)’: c_interface.cpp:642:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_lookupType(VC, char*)’: c_interface.cpp:654:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getEM(VC)’: c_interface.cpp:671:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_varExpr(VC, char*, Type)’: c_interface.cpp:683:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_varExprDef(VC, char*, Type, Expr)’: c_interface.cpp:695:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_lookupVar(VC, char*, void**)’: c_interface.cpp:710:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getType(VC, Expr)’: c_interface.cpp:722:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getBaseType(VC, Expr)’: c_interface.cpp:734:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getBaseTypeOfType(VC, Type)’: c_interface.cpp:746:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getTypePred(VC, Type, Expr)’: c_interface.cpp:758:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_stringExpr(VC, char*)’: c_interface.cpp:770:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_idExpr(VC, char*)’: c_interface.cpp:782:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_listExpr(VC, int, void**)’: c_interface.cpp:797:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_printExpr(VC, Expr)’: c_interface.cpp:809:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘char* vc_printExprString(VC, Expr)’: c_interface.cpp:828:27: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch(CVC3::Exception ex) { ^~ c_interface.cpp: In function ‘void vc_printExprFile(VC, Expr, int)’: c_interface.cpp:850:27: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch(CVC3::Exception ex) { ^~ c_interface.cpp: In function ‘void* vc_importExpr(VC, Expr)’: c_interface.cpp:861:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_importType(VC, Type)’: c_interface.cpp:873:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_eqExpr(VC, Expr, Expr)’: c_interface.cpp:885:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_distinctExpr(VC, void**, int)’: c_interface.cpp:900:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_trueExpr(VC)’: c_interface.cpp:912:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_falseExpr(VC)’: c_interface.cpp:924:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_notExpr(VC, Expr)’: c_interface.cpp:936:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_andExpr(VC, Expr, Expr)’: c_interface.cpp:948:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_andExprN(VC, void**, int)’: c_interface.cpp:964:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_orExpr(VC, Expr, Expr)’: c_interface.cpp:976:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_orExprN(VC, void**, int)’: c_interface.cpp:992:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_impliesExpr(VC, Expr, Expr)’: c_interface.cpp:1004:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_iffExpr(VC, Expr, Expr)’: c_interface.cpp:1016:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_iteExpr(VC, Expr, Expr, Expr)’: c_interface.cpp:1029:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_substExpr(VC, Expr, void**, int, void**, int)’: c_interface.cpp:1051:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_createOp(VC, char*, Type)’: c_interface.cpp:1064:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_createOpDef(VC, char*, Type, Expr)’: c_interface.cpp:1076:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_lookupOp(VC, char*, void**)’: c_interface.cpp:1091:27: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_funExpr1(VC, Op, Expr)’: c_interface.cpp:1103:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_funExpr2(VC, Op, Expr, Expr)’: c_interface.cpp:1115:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_funExpr3(VC, Op, Expr, Expr, Expr)’: c_interface.cpp:1129:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_funExprN(VC, Op, void**, int)’: c_interface.cpp:1145:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_ratExpr(VC, int, int)’: c_interface.cpp:1157:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_ratExprFromStr(VC, char*, char*, int)’: c_interface.cpp:1169:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_ratExprFromStr1(VC, char*, int)’: c_interface.cpp:1181:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_uminusExpr(VC, Expr)’: c_interface.cpp:1193:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_plusExpr(VC, Expr, Expr)’: c_interface.cpp:1205:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_plusExprN(VC, void**, int)’: c_interface.cpp:1220:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_minusExpr(VC, Expr, Expr)’: c_interface.cpp:1232:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_multExpr(VC, Expr, Expr)’: c_interface.cpp:1244:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_powExpr(VC, Expr, Expr)’: c_interface.cpp:1256:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_divideExpr(VC, Expr, Expr)’: c_interface.cpp:1268:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_ltExpr(VC, Expr, Expr)’: c_interface.cpp:1280:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_leExpr(VC, Expr, Expr)’: c_interface.cpp:1292:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_gtExpr(VC, Expr, Expr)’: c_interface.cpp:1304:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_geExpr(VC, Expr, Expr)’: c_interface.cpp:1316:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_recordExpr1(VC, char*, Expr)’: c_interface.cpp:1328:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_recordExpr2(VC, char*, Expr, char*, Expr)’: c_interface.cpp:1342:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_recordExpr3(VC, char*, Expr, char*, Expr, char*, Expr)’: c_interface.cpp:1358:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_recordExprN(VC, char**, void**, int)’: c_interface.cpp:1377:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_recSelectExpr(VC, Expr, char*)’: c_interface.cpp:1389:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_recUpdateExpr(VC, Expr, char*, Expr)’: c_interface.cpp:1403:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_readExpr(VC, Expr, Expr)’: c_interface.cpp:1415:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_writeExpr(VC, Expr, Expr, Expr)’: c_interface.cpp:1428:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvConstExprFromStr(VC, char*)’: c_interface.cpp:1446:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvExtract(VC, Expr, int, int)’: c_interface.cpp:1504:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvBoolExtract(VC, Expr, int)’: c_interface.cpp:1518:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvNotExpr(VC, Expr)’: c_interface.cpp:1530:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvAndExpr(VC, Expr, Expr)’: c_interface.cpp:1542:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvOrExpr(VC, Expr, Expr)’: c_interface.cpp:1554:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvXorExpr(VC, Expr, Expr)’: c_interface.cpp:1566:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvLtExpr(VC, Expr, Expr)’: c_interface.cpp:1578:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvLeExpr(VC, Expr, Expr)’: c_interface.cpp:1590:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvGtExpr(VC, Expr, Expr)’: c_interface.cpp:1604:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvGeExpr(VC, Expr, Expr)’: c_interface.cpp:1618:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvSLtExpr(VC, Expr, Expr)’: c_interface.cpp:1630:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvSLeExpr(VC, Expr, Expr)’: c_interface.cpp:1642:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvSGtExpr(VC, Expr, Expr)’: c_interface.cpp:1656:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvSGeExpr(VC, Expr, Expr)’: c_interface.cpp:1670:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvSignExtend(VC, Expr, int)’: c_interface.cpp:1682:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvUMinusExpr(VC, Expr)’: c_interface.cpp:1694:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvPlusExpr(VC, int, Expr, Expr)’: c_interface.cpp:1709:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvMinusExpr(VC, int, Expr, Expr)’: c_interface.cpp:1728:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvMultExpr(VC, int, Expr, Expr)’: c_interface.cpp:1746:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvLeftShiftExpr(VC, int, Expr)’: c_interface.cpp:1764:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvRightShiftExpr(VC, int, Expr)’: c_interface.cpp:1776:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvUDivExpr(VC, Expr, Expr)’: c_interface.cpp:1787:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvURemExpr(VC, Expr, Expr)’: c_interface.cpp:1798:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvSDivExpr(VC, Expr, Expr)’: c_interface.cpp:1809:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvSRemExpr(VC, Expr, Expr)’: c_interface.cpp:1820:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvSModExpr(VC, Expr, Expr)’: c_interface.cpp:1831:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvVar32LeftShiftExpr(VC, Expr, Expr)’: c_interface.cpp:1871:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvVar32DivByPowOfTwoExpr(VC, Expr, Expr)’: c_interface.cpp:1897:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvVar32RightShiftExpr(VC, Expr, Expr)’: c_interface.cpp:1924:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_bvWriteToMemoryArray(VC, Expr, Expr, Expr, int)’: c_interface.cpp:2043:9: warning: variable ‘hi’ set but not used [-Wunused-but-set-variable] int hi = newBitsPerElem - 1; ^~ c_interface.cpp: In function ‘void* vc_tupleExprN(VC, void**, int)’: c_interface.cpp:2076:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_tupleSelectExpr(VC, Expr, int)’: c_interface.cpp:2088:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_tupleUpdateExpr(VC, Expr, int, Expr)’: c_interface.cpp:2101:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_datatypeConsExpr(VC, char*, int, void**)’: c_interface.cpp:2118:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_datatypeSelExpr(VC, char*, Expr)’: c_interface.cpp:2130:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_datatypeTestExpr(VC, char*, Expr)’: c_interface.cpp:2142:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_boundVarExpr(VC, char*, char*, Type)’: c_interface.cpp:2154:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_forallExpr(VC, void**, int, Expr)’: c_interface.cpp:2170:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_setTriggers(VC, Expr, int, void**)’: c_interface.cpp:2199:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_existsExpr(VC, void**, int, Expr)’: c_interface.cpp:2214:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_lambdaExpr(VC, int, void**, Expr)’: c_interface.cpp:2230:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_setResourceLimit(VC, unsigned int)’: c_interface.cpp:2247:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_assertFormula(VC, Expr)’: c_interface.cpp:2258:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_registerAtom(VC, Expr)’: c_interface.cpp:2269:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getImpliedLiteral(VC)’: c_interface.cpp:2280:27: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_simplify(VC, Expr)’: c_interface.cpp:2292:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘int vc_query(VC, Expr)’: c_interface.cpp:2304:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘int vc_checkContinue(VC)’: c_interface.cpp:2316:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘int vc_restart(VC, Expr)’: c_interface.cpp:2328:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_returnFromCheck(VC)’: c_interface.cpp:2340:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void** vc_getUserAssumptions(VC, int*)’: c_interface.cpp:2359:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void** vc_getInternalAssumptions(VC, int*)’: c_interface.cpp:2379:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void** vc_getAssumptions(VC, int*)’: c_interface.cpp:2399:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getProofAssumptions(VC)’: c_interface.cpp:2413:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getProofQuery(VC)’: c_interface.cpp:2425:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void** vc_getAssumptionsUsed(VC, int*)’: c_interface.cpp:2445:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void** vc_getCounterExample(VC, int*)’: c_interface.cpp:2465:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void** vc_getConcreteModel(VC, int*)’: c_interface.cpp:2487:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘int vc_inconsistent(VC, void***, int*)’: c_interface.cpp:2507:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘char* vc_incomplete(VC)’: c_interface.cpp:2530:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getProof(VC)’: c_interface.cpp:2542:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getProofOfFile(VC, char*)’: c_interface.cpp:2563:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getTCC(VC)’: c_interface.cpp:2575:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void** vc_getAssumptionsTCC(VC, int*)’: c_interface.cpp:2595:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getProofTCC(VC)’: c_interface.cpp:2607:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getClosure(VC)’: c_interface.cpp:2619:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getProofClosure(VC)’: c_interface.cpp:2631:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘int vc_stackLevel(VC)’: c_interface.cpp:2643:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_push(VC)’: c_interface.cpp:2655:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_pop(VC)’: c_interface.cpp:2666:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_popto(VC, int)’: c_interface.cpp:2677:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘int vc_compare_exprs(Expr, Expr)’: c_interface.cpp:2698:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘const char* vc_exprString(Expr)’: c_interface.cpp:2709:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘const char* vc_typeString(Type)’: c_interface.cpp:2720:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘bool vc_isClosure(Expr)’: c_interface.cpp:2730:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘bool vc_isQuantifier(Expr)’: c_interface.cpp:2740:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘bool vc_isLambda(Expr)’: c_interface.cpp:2750:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘bool vc_isVar(Expr)’: c_interface.cpp:2760:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘int vc_arity(Expr)’: c_interface.cpp:2770:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘int vc_getKind(Expr)’: c_interface.cpp:2780:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getChild(Expr, int)’: c_interface.cpp:2790:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘int vc_getNumVars(Expr)’: c_interface.cpp:2800:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getVar(Expr, int)’: c_interface.cpp:2816:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getBody(Expr)’: c_interface.cpp:2826:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getExistential(Expr)’: c_interface.cpp:2835:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_getFun(VC, Expr)’: c_interface.cpp:2846:26: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] }catch(CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void* vc_toExpr(Type)’: c_interface.cpp:2856:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘const char* vc_getKindString(VC, int)’: c_interface.cpp:2869:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘int vc_getKindInt(VC, char*)’: c_interface.cpp:2881:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘int vc_getInt(Expr)’: c_interface.cpp:2891:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘int vc_getBVInt(VC, Expr)’: c_interface.cpp:2902:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘unsigned int vc_getBVUnsigned(VC, Expr)’: c_interface.cpp:2913:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ c_interface.cpp: In function ‘void vc_print_statistics(VC)’: c_interface.cpp:2925:28: warning: catching polymorphic type ‘class CVC3::Exception’ by value [-Wcatch-value=] } catch (CVC3::Exception ex){ ^~ ar ruvs '/<>/lib/s390x-linux-gnu/libc_interface.a' /<>/obj/c_interface/s390x-linux-gnu/c_interface.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/s390x-linux-gnu/libc_interface.a a - /<>/obj/c_interface/s390x-linux-gnu/c_interface.o make[3]: Leaving directory '/<>/src/c_interface' /usr/bin/make /<>/lib/libcvc3.so.5.0.0 make[3]: Entering directory '/<>/src' Building shared library /<>/lib/s390x-linux-gnu/libcvc3.so.5.0.0 rm -rf /<>/unpack_tmp /<>/bin/unpack /<>/unpack_tmp /<>/lib/s390x-linux-gnu/libcvc_util.a /<>/lib/s390x-linux-gnu/libcontext.a /<>/lib/s390x-linux-gnu/libexpr.a /<>/lib/s390x-linux-gnu/libtheorem.a /<>/lib/s390x-linux-gnu/libsat.a /<>/lib/s390x-linux-gnu/libtheory_core.a /<>/lib/s390x-linux-gnu/libtheory_arith.a /<>/lib/s390x-linux-gnu/libtheory_array.a /<>/lib/s390x-linux-gnu/libtheory_bitvector.a /<>/lib/s390x-linux-gnu/libtheory_datatype.a /<>/lib/s390x-linux-gnu/libtheory_quant.a /<>/lib/s390x-linux-gnu/libtheory_records.a /<>/lib/s390x-linux-gnu/libtheory_simulate.a /<>/lib/s390x-linux-gnu/libtheory_uf.a /<>/lib/s390x-linux-gnu/libsearch.a /<>/lib/s390x-linux-gnu/libparser.a /<>/lib/s390x-linux-gnu/libtranslator.a /<>/lib/s390x-linux-gnu/libvcl.a /<>/lib/s390x-linux-gnu/libc_interface.a > UNPACKED Found 86 members in 19 libraries Unpacking cvc_util Unpacking context Unpacking expr Unpacking theorem Unpacking sat Unpacking theory_core Unpacking theory_arith Unpacking theory_array Unpacking theory_bitvector Unpacking theory_datatype Unpacking theory_quant Unpacking theory_records Unpacking theory_simulate Unpacking theory_uf Unpacking search Unpacking parser Unpacking translator Unpacking vcl Unpacking c_interface cat UNPACKED | xargs g++ -shared -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -Wl,-Bsymbolic-functions -Wl,-z,relro \ -Wl,-soname,libcvc3.so.5 -o '/<>/lib/s390x-linux-gnu/libcvc3.so.5.0.0' `` -lgmp /sbin/ldconfig -nv /<>/lib/s390x-linux-gnu /<>/lib/s390x-linux-gnu: libcvc3.so.5 -> libcvc3.so.5.0.0 (changed) ln -sf libcvc3.so.5.0.0 /<>/lib/s390x-linux-gnu/libcvc3.so.5.0 ln -sf libcvc3.so.5.0.0 /<>/lib/s390x-linux-gnu/libcvc3.so.5 ln -sf libcvc3.so.5.0.0 /<>/lib/s390x-linux-gnu/libcvc3.so ln -sf /<>/lib/s390x-linux-gnu/libcvc3.so.5.0.0 '/<>/lib//libcvc3.so.5.0.0' /sbin/ldconfig -nv '/<>/lib/' /<>/lib: libcvc3.so.5 -> libcvc3.so.5.0.0 (changed) ln -sf libcvc3.so.5.0.0 '/<>/lib//libcvc3.so.5.0' ln -sf libcvc3.so.5.0.0 '/<>/lib//libcvc3.so.5' ln -sf libcvc3.so.5.0.0 '/<>/lib//libcvc3.so' make[3]: Leaving directory '/<>/src' cd cvc3 && /usr/bin/make VERSION=2.4.1 make[3]: Entering directory '/<>/src/cvc3' Making dependencies for main.cpp g++ -M -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -DVERSION=\"2.4.1\" -Wdate-time -D_FORTIFY_SOURCE=2 main.cpp >> /<>/obj/cvc3/s390x-linux-gnu/Makefile.tmp /usr/bin/make /<>/bin/s390x-linux-gnu/cvc3 make[4]: Entering directory '/<>/src/cvc3' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -DVERSION=\"2.4.1\" -Wdate-time -D_FORTIFY_SOURCE=2 -c main.cpp -o '/<>/obj/cvc3/s390x-linux-gnu/main.o' g++ -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -std=gnu++98 -fPIC -O2 -Wall -I. -I/<>/src/include -DVERSION=\"2.4.1\" -Wl,-Bsymbolic-functions -Wl,-z,relro -o '/<>/bin/s390x-linux-gnu/cvc3' /<>/obj/cvc3/s390x-linux-gnu/main.o \ -L/<>/lib/s390x-linux-gnu -lcvc3 -lgmp make[4]: Leaving directory '/<>/src/cvc3' ln -sf /<>/bin/s390x-linux-gnu/cvc3 /<>/bin/cvc3 make[3]: Leaving directory '/<>/src/cvc3' make[2]: Leaving directory '/<>/src' cd /<>/java; /usr/bin/make VERSION=2.4.1 make[2]: Entering directory '/<>/java' if [ ! -d obj ]; then mkdir -p obj; fi /usr/lib/jvm/default-java/bin/javac -Xlint -g -source 1.4 -sourcepath src \ -d obj src/cvc3/JniUtils.java warning: [options] bootstrap class path not set in conjunction with -source 1.4 error: Source option 1.4 is no longer supported. Use 6 or later. make[2]: *** [Makefile:166: JniUtils.class] Error 2 make[2]: Leaving directory '/<>/java' make[1]: *** [Makefile:45: build] Error 2 make[1]: Leaving directory '/<>' make: *** [/usr/share/cdbs/1/class/makefile.mk:77: debian/stamp-makefile-build] Error 2 dpkg-buildpackage: error: debian/rules build-arch subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 20190108-1742 Finished -------- E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: s390x Build-Space: 773480 Build-Time: 309 Distribution: disco Fail-Stage: build Host Architecture: s390x Install-Time: 37 Job: cvc3_2.4.1-5.1ubuntu1.dsc Machine Architecture: s390x Package: cvc3 Package-Time: 346 Source-Version: 2.4.1-5.1ubuntu1 Space: 773480 Status: attempted Version: 2.4.1-5.1ubuntu1 -------------------------------------------------------------------------------- Finished at 20190108-1742 Build needed 00:05:46, 773480k disc space RUN: /usr/share/launchpad-buildd/slavebin/in-target scan-for-processes --backend=chroot --series=disco --arch=s390x PACKAGEBUILD-15808771 Scanning for processes to kill in build PACKAGEBUILD-15808771