https://launchpad.net/ubuntu/+archive/test-rebuild-20180408-gcc8/+build/14651601 RUN: /usr/share/launchpad-buildd/slavebin/slave-prep Forking launchpad-buildd slave process... Kernel version: Linux bos02-arm64-003 4.4.0-121-generic #145-Ubuntu SMP Fri Apr 13 13:47:48 UTC 2018 aarch64 Buildd toolchain package versions: launchpad-buildd_161 python-lpbuildd_161 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.3 dpkg-dev_1.18.4ubuntu1.4 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 28 Apr 02:47:19 ntpdate[1830]: adjust time server 10.211.37.1 offset 0.032740 sec RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=bionic --arch=armhf PACKAGEBUILD-14651601 /home/buildd/filecache-default/fc6c56f66744d62233b3c844f67cb7d83d839bbc Creating target for build PACKAGEBUILD-14651601 RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=bionic --arch=armhf PACKAGEBUILD-14651601 Starting target for build PACKAGEBUILD-14651601 RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=bionic --arch=armhf PACKAGEBUILD-14651601 'deb http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic main' 'deb http://ppa.launchpad.net/ubuntu-toolchain-r/volatile/ubuntu bionic main' 'deb http://ftpmaster.internal/ubuntu bionic main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu bionic-security main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu bionic-updates main restricted universe multiverse' Overriding sources.list in build-PACKAGEBUILD-14651601 RUN: /usr/share/launchpad-buildd/slavebin/in-target add-trusted-keys --backend=chroot --series=bionic --arch=armhf PACKAGEBUILD-14651601 Adding trusted keys to build-PACKAGEBUILD-14651601 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) RUN: /usr/share/launchpad-buildd/slavebin/in-target update-debian-chroot --backend=chroot --series=bionic --arch=armhf PACKAGEBUILD-14651601 Updating target for build PACKAGEBUILD-14651601 Get:1 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic InRelease [15.4 kB] Get:2 http://ftpmaster.internal/ubuntu bionic InRelease [242 kB] Get:3 http://ppa.launchpad.net/ubuntu-toolchain-r/volatile/ubuntu bionic InRelease [15.4 kB] Get:4 http://ftpmaster.internal/ubuntu bionic-security InRelease [65.4 kB] Get:5 http://ftpmaster.internal/ubuntu bionic-updates InRelease [65.4 kB] Get:6 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic/main armhf Packages [15.1 kB] Get:7 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic/main Translation-en [9080 B] Get:8 http://ftpmaster.internal/ubuntu bionic/main armhf Packages [968 kB] Get:9 http://ftpmaster.internal/ubuntu bionic/main Translation-en [516 kB] Get:10 http://ppa.launchpad.net/ubuntu-toolchain-r/volatile/ubuntu bionic/main armhf Packages [3552 B] Get:11 http://ftpmaster.internal/ubuntu bionic/universe armhf Packages [8269 kB] Get:12 http://ppa.launchpad.net/ubuntu-toolchain-r/volatile/ubuntu bionic/main Translation-en [4884 B] Get:13 http://ftpmaster.internal/ubuntu bionic/universe Translation-en [4941 kB] Get:14 http://ftpmaster.internal/ubuntu bionic/multiverse armhf Packages [129 kB] Fetched 15.3 MB in 6s (2489 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages were automatically installed and are no longer required: g++-7 libstdc++-7-dev Use 'sudo apt autoremove' to remove them. The following NEW packages will be installed: cpp-8 g++-8 gcc-8 libasan5 libgcc-8-dev libstdc++-8-dev libubsan1 The following packages will be upgraded: cpp g++ gcc gcc-8-base libatomic1 libcc1-0 libgcc1 libgomp1 libstdc++6 9 upgraded, 7 newly installed, 0 to remove and 0 not upgraded. Need to get 114 MB of archives. After this operation, 401 MB of additional disk space will be used. Get:1 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic/main armhf gcc-8-base armhf 8-20180425-1ubuntu1 [18.1 kB] Get:2 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic/main armhf libstdc++6 armhf 8-20180425-1ubuntu1 [350 kB] Get:3 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic/main armhf libgomp1 armhf 8-20180425-1ubuntu1 [66.6 kB] Get:4 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic/main armhf libcc1-0 armhf 8-20180425-1ubuntu1 [32.7 kB] Get:5 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic/main armhf libatomic1 armhf 8-20180425-1ubuntu1 [7060 B] Get:6 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic/main armhf libgcc1 armhf 1:8-20180425-1ubuntu1 [37.1 kB] Get:7 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic/main armhf cpp-8 armhf 8-20180425-1ubuntu1 [36.2 MB] Get:8 http://ppa.launchpad.net/ubuntu-toolchain-r/volatile/ubuntu bionic/main armhf cpp armhf 4:8-20180321-2ubuntu0.1 [42.2 kB] Get:9 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic/main armhf libasan5 armhf 8-20180425-1ubuntu1 [349 kB] Get:10 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic/main armhf libubsan1 armhf 8-20180425-1ubuntu1 [109 kB] Get:11 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic/main armhf libgcc-8-dev armhf 8-20180425-1ubuntu1 [631 kB] Get:12 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic/main armhf gcc-8 armhf 8-20180425-1ubuntu1 [35.9 MB] Get:13 http://ppa.launchpad.net/ubuntu-toolchain-r/volatile/ubuntu bionic/main armhf gcc armhf 4:8-20180321-2ubuntu0.1 [5176 B] Get:14 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic/main armhf libstdc++-8-dev armhf 8-20180425-1ubuntu1 [1563 kB] Get:15 http://ppa.launchpad.net/ubuntu-toolchain-r/test/ubuntu bionic/main armhf g++-8 armhf 8-20180425-1ubuntu1 [38.9 MB] Get:16 http://ppa.launchpad.net/ubuntu-toolchain-r/volatile/ubuntu bionic/main armhf g++ armhf 4:8-20180321-2ubuntu0.1 [1536 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 114 MB in 5s (23.2 MB/s) (Reading database ... 12378 files and directories currently installed.) Preparing to unpack .../gcc-8-base_8-20180425-1ubuntu1_armhf.deb ... Unpacking gcc-8-base:armhf (8-20180425-1ubuntu1) over (8-20180414-1ubuntu2) ... Setting up gcc-8-base:armhf (8-20180425-1ubuntu1) ... (Reading database ... 12378 files and directories currently installed.) Preparing to unpack .../libstdc++6_8-20180425-1ubuntu1_armhf.deb ... Unpacking libstdc++6:armhf (8-20180425-1ubuntu1) over (8-20180414-1ubuntu2) ... Setting up libstdc++6:armhf (8-20180425-1ubuntu1) ... (Reading database ... 12378 files and directories currently installed.) Preparing to unpack .../libgomp1_8-20180425-1ubuntu1_armhf.deb ... Unpacking libgomp1:armhf (8-20180425-1ubuntu1) over (8-20180414-1ubuntu2) ... Preparing to unpack .../libcc1-0_8-20180425-1ubuntu1_armhf.deb ... Unpacking libcc1-0:armhf (8-20180425-1ubuntu1) over (8-20180414-1ubuntu2) ... Preparing to unpack .../libatomic1_8-20180425-1ubuntu1_armhf.deb ... Unpacking libatomic1:armhf (8-20180425-1ubuntu1) over (8-20180414-1ubuntu2) ... Preparing to unpack .../libgcc1_1%3a8-20180425-1ubuntu1_armhf.deb ... Unpacking libgcc1:armhf (1:8-20180425-1ubuntu1) over (1:8-20180414-1ubuntu2) ... Setting up libgcc1:armhf (1:8-20180425-1ubuntu1) ... Selecting previously unselected package cpp-8. (Reading database ... 12378 files and directories currently installed.) Preparing to unpack .../0-cpp-8_8-20180425-1ubuntu1_armhf.deb ... Unpacking cpp-8 (8-20180425-1ubuntu1) ... Preparing to unpack .../1-cpp_4%3a8-20180321-2ubuntu0.1_armhf.deb ... Unpacking cpp (4:8-20180321-2ubuntu0.1) over (4:7.3.0-3ubuntu2) ... Selecting previously unselected package libasan5:armhf. Preparing to unpack .../2-libasan5_8-20180425-1ubuntu1_armhf.deb ... Unpacking libasan5:armhf (8-20180425-1ubuntu1) ... Selecting previously unselected package libubsan1:armhf. Preparing to unpack .../3-libubsan1_8-20180425-1ubuntu1_armhf.deb ... Unpacking libubsan1:armhf (8-20180425-1ubuntu1) ... Selecting previously unselected package libgcc-8-dev:armhf. Preparing to unpack .../4-libgcc-8-dev_8-20180425-1ubuntu1_armhf.deb ... Unpacking libgcc-8-dev:armhf (8-20180425-1ubuntu1) ... Selecting previously unselected package gcc-8. Preparing to unpack .../5-gcc-8_8-20180425-1ubuntu1_armhf.deb ... Unpacking gcc-8 (8-20180425-1ubuntu1) ... Preparing to unpack .../6-gcc_4%3a8-20180321-2ubuntu0.1_armhf.deb ... Unpacking gcc (4:8-20180321-2ubuntu0.1) over (4:7.3.0-3ubuntu2) ... Selecting previously unselected package libstdc++-8-dev:armhf. Preparing to unpack .../7-libstdc++-8-dev_8-20180425-1ubuntu1_armhf.deb ... Unpacking libstdc++-8-dev:armhf (8-20180425-1ubuntu1) ... Selecting previously unselected package g++-8. Preparing to unpack .../8-g++-8_8-20180425-1ubuntu1_armhf.deb ... Unpacking g++-8 (8-20180425-1ubuntu1) ... Preparing to unpack .../9-g++_4%3a8-20180321-2ubuntu0.1_armhf.deb ... Unpacking g++ (4:8-20180321-2ubuntu0.1) over (4:7.3.0-3ubuntu2) ... Setting up cpp-8 (8-20180425-1ubuntu1) ... Setting up libgomp1:armhf (8-20180425-1ubuntu1) ... Setting up libatomic1:armhf (8-20180425-1ubuntu1) ... Setting up cpp (4:8-20180321-2ubuntu0.1) ... Setting up libcc1-0:armhf (8-20180425-1ubuntu1) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... Setting up libasan5:armhf (8-20180425-1ubuntu1) ... Setting up libubsan1:armhf (8-20180425-1ubuntu1) ... Setting up libgcc-8-dev:armhf (8-20180425-1ubuntu1) ... Setting up libstdc++-8-dev:armhf (8-20180425-1ubuntu1) ... Setting up gcc-8 (8-20180425-1ubuntu1) ... Setting up g++-8 (8-20180425-1ubuntu1) ... Setting up gcc (4:8-20180321-2ubuntu0.1) ... Setting up g++ (4:8-20180321-2ubuntu0.1) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package PACKAGEBUILD-14651601 armhf bionic -c chroot:build-PACKAGEBUILD-14651601 --arch=armhf --dist=bionic --nolog cvc3_2.4.1-5.1ubuntu1.dsc Initiating build PACKAGEBUILD-14651601 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-121-generic #145-Ubuntu SMP Fri Apr 13 13:47:48 UTC 2018 armv7l sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on bos02-arm64-003.buildd +==============================================================================+ | cvc3 2.4.1-5.1ubuntu1 (armhf) 28 Apr 2018 02:48 | +==============================================================================+ Package: cvc3 Version: 2.4.1-5.1ubuntu1 Source Version: 2.4.1-5.1ubuntu1 Distribution: bionic Machine Architecture: arm64 Host Architecture: armhf Build Architecture: armhf I: NOTICE: Log filtering will replace 'build/cvc3-8SRFge/cvc3-2.4.1' with '<>' I: NOTICE: Log filtering will replace 'build/cvc3-8SRFge' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-14651601/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-HxBKTs/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-HxBKTs/apt_archive ./ InRelease Get:2 copy:/<>/resolver-HxBKTs/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-HxBKTs/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-HxBKTs/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-HxBKTs/apt_archive ./ Packages [526 B] Fetched 2859 B in 0s (94.4 kB/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 packages were automatically installed and are no longer required: g++-7 libstdc++-7-dev Use 'apt autoremove' to remove them. 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-HxBKTs/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 ... 13316 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.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-YZESG3/apt_archive/sbuild-build-depends-cvc3-dummy.deb'. Ign:1 copy:/<>/resolver-YZESG3/apt_archive ./ InRelease Get:2 copy:/<>/resolver-YZESG3/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-YZESG3/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-YZESG3/apt_archive ./ Sources [268 B] Get:5 copy:/<>/resolver-YZESG3/apt_archive ./ Packages [585 B] Fetched 2972 B in 0s (133 kB/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 packages were automatically installed and are no longer required: g++-7 libstdc++-7-dev Use 'apt autoremove' to remove them. The following additional packages will be installed: adwaita-icon-theme autoconf automake autopoint autotools-dev bison bsdmainutils ca-certificates-java cdbs dconf-gsettings-backend dconf-service debhelper default-jdk default-jdk-headless default-jre default-jre-headless dh-autoreconf dh-strip-nondeterminism dh-translations 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 libatk-wrapper-java libatk-wrapper-java-jni 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-amdgpu1 libdrm-common libdrm-etnaviv1 libdrm-freedreno1 libdrm-nouveau2 libdrm-radeon1 libdrm2 libedit2 libegl-mesa0 libegl1 libelf1 libencode-locale-perl libepoxy0 libexpat1 libfile-listing-perl libfile-stripnondeterminism-perl libfile-which-perl libfontconfig1 libfontenc1 libfreetype6 libgbm1 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 libice6 libicu60 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 libllvm6.0 liblwp-mediatypes-perl liblwp-protocol-https-perl libmagic-mgc libmagic1 libmpdec2 libnet-http-perl libnet-ssleay-perl libnspr4 libnss3 libonig4 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpcsclite1 libpipeline1 libpixman-1-0 libproxy1v5 libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.6-minimal libpython3.6-stdlib librest-0.7-0 librsvg2-2 librsvg2-common libsensors4 libsigsegv2 libsm6 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-mesa libwayland-server0 libwww-perl libwww-robotrules-perl libx11-6 libx11-data libx11-xcb1 libxau6 libxaw7 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-render0 libxcb-shape0 libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml-parser-perl libxml2 libxmu6 libxmuu1 libxpm4 libxrandr2 libxrender1 libxshmfence1 libxt6 libxtst6 libxv1 libxxf86dga1 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.7 python2.7-minimal python3 python3-minimal python3-pkg-resources python3-scour python3-six python3.6 python3.6-minimal scour shared-mime-info ubuntu-mono ucf x11-common x11-utils xkb-data Suggested packages: autoconf-archive gnu-standards autoconf-doc bison-doc wamerican | wordlist whois vacation devscripts dh-make dwz default-java-plugin 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 lm-sensors 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.7-doc binfmt-support python3-doc python3-tk python3-venv python3-setuptools python3.6-venv python3.6-doc gir1.2-rsvg-2.0 python3-gi-cairo mesa-utils Recommended packages: libfl-dev curl | wget | lynx at-spi2-core dbus libarchive-cpio-perl libgdk-pixbuf2.0-bin libglib2.0-data xdg-user-dirs libgtk-3-bin libhtml-format-perl krb5-locales libltdl-dev libdata-dump-perl libhtml-form-perl libhttp-daemon-perl libmailtools-perl libxt-dev 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 dconf-gsettings-backend dconf-service debhelper default-jdk default-jdk-headless default-jre default-jre-headless dh-autoreconf dh-strip-nondeterminism dh-translations 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 libatk-wrapper-java libatk-wrapper-java-jni 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-amdgpu1 libdrm-common libdrm-etnaviv1 libdrm-freedreno1 libdrm-nouveau2 libdrm-radeon1 libdrm2 libedit2 libegl-mesa0 libegl1 libelf1 libencode-locale-perl libepoxy0 libexpat1 libfile-listing-perl libfile-stripnondeterminism-perl libfile-which-perl libfontconfig1 libfontenc1 libfreetype6 libgbm1 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 libice6 libicu60 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 libllvm6.0 liblwp-mediatypes-perl liblwp-protocol-https-perl libmagic-mgc libmagic1 libmpdec2 libnet-http-perl libnet-ssleay-perl libnspr4 libnss3 libonig4 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpcsclite1 libpipeline1 libpixman-1-0 libproxy1v5 libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.6-minimal libpython3.6-stdlib librest-0.7-0 librsvg2-2 librsvg2-common libsensors4 libsigsegv2 libsm6 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-mesa libwayland-server0 libwww-perl libwww-robotrules-perl libx11-6 libx11-data libx11-xcb1 libxau6 libxaw7 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-render0 libxcb-shape0 libxcb-shm0 libxcb-sync1 libxcb-xfixes0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxkbcommon0 libxml-parser-perl libxml2 libxmu6 libxmuu1 libxpm4 libxrandr2 libxrender1 libxshmfence1 libxt6 libxtst6 libxv1 libxxf86dga1 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.7 python2.7-minimal python3 python3-minimal python3-pkg-resources python3-scour python3-six python3.6 python3.6-minimal sbuild-build-depends-cvc3-dummy scour shared-mime-info ubuntu-mono ucf x11-common x11-utils xkb-data 0 upgraded, 234 newly installed, 0 to remove and 0 not upgraded. Need to get 167 MB of archives. After this operation, 559 MB of additional disk space will be used. Get:1 copy:/<>/resolver-YZESG3/apt_archive ./ sbuild-build-depends-cvc3-dummy 0.invalid.0 [912 B] Get:2 http://ftpmaster.internal/ubuntu bionic/main armhf libpython3.6-minimal armhf 3.6.5-3 [524 kB] Get:3 http://ftpmaster.internal/ubuntu bionic/main armhf libexpat1 armhf 2.2.5-3 [59.7 kB] Get:4 http://ftpmaster.internal/ubuntu bionic/main armhf python3.6-minimal armhf 3.6.5-3 [1216 kB] Get:5 http://ftpmaster.internal/ubuntu bionic/main armhf python3-minimal armhf 3.6.5-3 [23.8 kB] Get:6 http://ftpmaster.internal/ubuntu bionic/main armhf mime-support all 3.60ubuntu1 [30.1 kB] Get:7 http://ftpmaster.internal/ubuntu bionic/main armhf libmpdec2 armhf 2.4.2-1ubuntu1 [66.4 kB] Get:8 http://ftpmaster.internal/ubuntu bionic/main armhf libpython3.6-stdlib armhf 3.6.5-3 [1595 kB] Get:9 http://ftpmaster.internal/ubuntu bionic/main armhf python3.6 armhf 3.6.5-3 [186 kB] Get:10 http://ftpmaster.internal/ubuntu bionic/main armhf libpython3-stdlib armhf 3.6.5-3 [7276 B] Get:11 http://ftpmaster.internal/ubuntu bionic/main armhf python3 armhf 3.6.5-3 [10.2 kB] Get:12 http://ftpmaster.internal/ubuntu bionic/main armhf libxau6 armhf 1:1.0.8-1 [7324 B] Get:13 http://ftpmaster.internal/ubuntu bionic/main armhf libbsd0 armhf 0.8.7-1 [40.4 kB] Get:14 http://ftpmaster.internal/ubuntu bionic/main armhf libxdmcp6 armhf 1:1.1.2-3 [9316 B] Get:15 http://ftpmaster.internal/ubuntu bionic/main armhf libxcb1 armhf 1.13-1 [41.2 kB] Get:16 http://ftpmaster.internal/ubuntu bionic/main armhf libx11-data all 2:1.6.4-3 [114 kB] Get:17 http://ftpmaster.internal/ubuntu bionic/main armhf libx11-6 armhf 2:1.6.4-3 [515 kB] Get:18 http://ftpmaster.internal/ubuntu bionic/main armhf libxext6 armhf 2:1.3.3-1 [25.1 kB] Get:19 http://ftpmaster.internal/ubuntu bionic/main armhf bsdmainutils armhf 11.1.2ubuntu1 [177 kB] Get:20 http://ftpmaster.internal/ubuntu bionic/main armhf groff-base armhf 1.22.3-10 [1013 kB] Get:21 http://ftpmaster.internal/ubuntu bionic/main armhf libpipeline1 armhf 1.5.0-1 [21.1 kB] Get:22 http://ftpmaster.internal/ubuntu bionic/main armhf man-db armhf 2.8.3-2 [993 kB] Get:23 http://ftpmaster.internal/ubuntu bionic/main armhf libsigsegv2 armhf 2.12-1 [14.0 kB] Get:24 http://ftpmaster.internal/ubuntu bionic/main armhf m4 armhf 1.4.18-1 [181 kB] Get:25 http://ftpmaster.internal/ubuntu bionic/main armhf flex armhf 2.6.4-6 [298 kB] Get:26 http://ftpmaster.internal/ubuntu bionic/main armhf libfreetype6 armhf 2.8.1-2ubuntu2 [280 kB] Get:27 http://ftpmaster.internal/ubuntu bionic/main armhf ucf all 3.0038 [50.5 kB] Get:28 http://ftpmaster.internal/ubuntu bionic/main armhf fonts-dejavu-core all 2.37-1 [1041 kB] Get:29 http://ftpmaster.internal/ubuntu bionic/main armhf fontconfig-config all 2.12.6-0ubuntu2 [55.8 kB] Get:30 http://ftpmaster.internal/ubuntu bionic/main armhf libfontconfig1 armhf 2.12.6-0ubuntu2 [120 kB] Get:31 http://ftpmaster.internal/ubuntu bionic/main armhf fontconfig armhf 2.12.6-0ubuntu2 [167 kB] Get:32 http://ftpmaster.internal/ubuntu bionic/main armhf libjpeg-turbo8 armhf 1.5.2-0ubuntu5 [87.2 kB] Get:33 http://ftpmaster.internal/ubuntu bionic/main armhf x11-common all 1:7.7+19ubuntu7 [22.0 kB] Get:34 http://ftpmaster.internal/ubuntu bionic/main armhf libice6 armhf 2:1.0.9-2 [33.5 kB] Get:35 http://ftpmaster.internal/ubuntu bionic/main armhf libsm6 armhf 2:1.2.2-1 [13.9 kB] Get:36 http://ftpmaster.internal/ubuntu bionic/main armhf libxrender1 armhf 1:0.9.10-1 [15.6 kB] Get:37 http://ftpmaster.internal/ubuntu bionic/main armhf libxft2 armhf 2.3.2-1 [30.5 kB] Get:38 http://ftpmaster.internal/ubuntu bionic/main armhf libxinerama1 armhf 2:1.1.3-1 [7278 B] Get:39 http://ftpmaster.internal/ubuntu bionic/main armhf libxxf86dga1 armhf 2:1.1.4-1 [11.9 kB] Get:40 http://ftpmaster.internal/ubuntu bionic/main armhf libxxf86vm1 armhf 1:1.1.4-1 [9770 B] Get:41 http://ftpmaster.internal/ubuntu bionic/main armhf libpython2.7-minimal armhf 2.7.15~rc1-1 [334 kB] Get:42 http://ftpmaster.internal/ubuntu bionic/main armhf python2.7-minimal armhf 2.7.15~rc1-1 [1084 kB] Get:43 http://ftpmaster.internal/ubuntu bionic/main armhf python-minimal armhf 2.7.15~rc1-1 [28.1 kB] Get:44 http://ftpmaster.internal/ubuntu bionic/main armhf libpython2.7-stdlib armhf 2.7.15~rc1-1 [1833 kB] Get:45 http://ftpmaster.internal/ubuntu bionic/main armhf python2.7 armhf 2.7.15~rc1-1 [238 kB] Get:46 http://ftpmaster.internal/ubuntu bionic/main armhf libpython-stdlib armhf 2.7.15~rc1-1 [7624 B] Get:47 http://ftpmaster.internal/ubuntu bionic/main armhf python armhf 2.7.15~rc1-1 [140 kB] Get:48 http://ftpmaster.internal/ubuntu bionic/main armhf libmagic-mgc armhf 1:5.32-2 [184 kB] Get:49 http://ftpmaster.internal/ubuntu bionic/main armhf libmagic1 armhf 1:5.32-2 [62.7 kB] Get:50 http://ftpmaster.internal/ubuntu bionic/main armhf file armhf 1:5.32-2 [21.5 kB] Get:51 http://ftpmaster.internal/ubuntu bionic/main armhf libdbus-1-3 armhf 1.12.2-1ubuntu1 [153 kB] Get:52 http://ftpmaster.internal/ubuntu bionic/main armhf libelf1 armhf 0.170-0.4 [42.2 kB] Get:53 http://ftpmaster.internal/ubuntu bionic/main armhf libglib2.0-0 armhf 2.56.1-2ubuntu1 [1014 kB] Get:54 http://ftpmaster.internal/ubuntu bionic/main armhf libicu60 armhf 60.2-3ubuntu3 [7797 kB] Get:55 http://ftpmaster.internal/ubuntu bionic/main armhf libxml2 armhf 2.9.4+dfsg1-6.1ubuntu1 [567 kB] Get:56 http://ftpmaster.internal/ubuntu bionic/main armhf netbase all 5.4 [12.7 kB] Get:57 http://ftpmaster.internal/ubuntu bionic/main armhf shared-mime-info armhf 1.9-2 [424 kB] Get:58 http://ftpmaster.internal/ubuntu bionic/main armhf xkb-data all 2.23.1-1ubuntu1 [325 kB] Get:59 http://ftpmaster.internal/ubuntu bionic/main armhf gettext-base armhf 0.19.8.1-6 [46.2 kB] Get:60 http://ftpmaster.internal/ubuntu bionic/main armhf libdrm-common all 2.4.91-2 [4916 B] Get:61 http://ftpmaster.internal/ubuntu bionic/main armhf libdrm2 armhf 2.4.91-2 [27.0 kB] Get:62 http://ftpmaster.internal/ubuntu bionic/main armhf libedit2 armhf 3.1-20170329-1 [61.9 kB] Get:63 http://ftpmaster.internal/ubuntu bionic/main armhf libkrb5support0 armhf 1.16-2build1 [27.5 kB] Get:64 http://ftpmaster.internal/ubuntu bionic/main armhf libk5crypto3 armhf 1.16-2build1 [83.2 kB] Get:65 http://ftpmaster.internal/ubuntu bionic/main armhf libkeyutils1 armhf 1.5.9-9.2ubuntu2 [7796 B] Get:66 http://ftpmaster.internal/ubuntu bionic/main armhf libkrb5-3 armhf 1.16-2build1 [233 kB] Get:67 http://ftpmaster.internal/ubuntu bionic/main armhf libgssapi-krb5-2 armhf 1.16-2build1 [101 kB] Get:68 http://ftpmaster.internal/ubuntu bionic/main armhf libxmuu1 armhf 2:1.1.2-2 [9130 B] Get:69 http://ftpmaster.internal/ubuntu bionic/main armhf hicolor-icon-theme all 0.17-2 [9976 B] Get:70 http://ftpmaster.internal/ubuntu bionic/main armhf libjpeg8 armhf 8c-2ubuntu8 [2202 B] Get:71 http://ftpmaster.internal/ubuntu bionic/main armhf libjbig0 armhf 2.1-3.1build1 [23.9 kB] Get:72 http://ftpmaster.internal/ubuntu bionic/main armhf libtiff5 armhf 4.0.9-5 [135 kB] Get:73 http://ftpmaster.internal/ubuntu bionic/main armhf libgdk-pixbuf2.0-common all 2.36.11-2 [4536 B] Get:74 http://ftpmaster.internal/ubuntu bionic/main armhf libgdk-pixbuf2.0-0 armhf 2.36.11-2 [149 kB] Get:75 http://ftpmaster.internal/ubuntu bionic/main armhf gtk-update-icon-cache armhf 3.22.30-1ubuntu1 [26.9 kB] Get:76 http://ftpmaster.internal/ubuntu bionic/main armhf libpixman-1-0 armhf 0.34.0-2 [157 kB] Get:77 http://ftpmaster.internal/ubuntu bionic/main armhf libxcb-render0 armhf 1.13-1 [13.9 kB] Get:78 http://ftpmaster.internal/ubuntu bionic/main armhf libxcb-shm0 armhf 1.13-1 [5404 B] Get:79 http://ftpmaster.internal/ubuntu bionic/main armhf libcairo2 armhf 1.15.10-2 [507 kB] Get:80 http://ftpmaster.internal/ubuntu bionic/main armhf libcroco3 armhf 0.6.12-2 [69.4 kB] Get:81 http://ftpmaster.internal/ubuntu bionic/main armhf libthai-data all 0.1.27-2 [133 kB] Get:82 http://ftpmaster.internal/ubuntu bionic/main armhf libdatrie1 armhf 0.2.10-7 [14.5 kB] Get:83 http://ftpmaster.internal/ubuntu bionic/main armhf libthai0 armhf 0.1.27-2 [14.7 kB] Get:84 http://ftpmaster.internal/ubuntu bionic/main armhf libpango-1.0-0 armhf 1.40.14-1 [137 kB] Get:85 http://ftpmaster.internal/ubuntu bionic/main armhf libgraphite2-3 armhf 1.3.11-2 [67.5 kB] Get:86 http://ftpmaster.internal/ubuntu bionic/main armhf libharfbuzz0b armhf 1.7.2-1ubuntu1 [205 kB] Get:87 http://ftpmaster.internal/ubuntu bionic/main armhf libpangoft2-1.0-0 armhf 1.40.14-1 [28.6 kB] Get:88 http://ftpmaster.internal/ubuntu bionic/main armhf libpangocairo-1.0-0 armhf 1.40.14-1 [17.5 kB] Get:89 http://ftpmaster.internal/ubuntu bionic/main armhf librsvg2-2 armhf 2.40.20-2 [83.8 kB] Get:90 http://ftpmaster.internal/ubuntu bionic/main armhf librsvg2-common armhf 2.40.20-2 [4720 B] Get:91 http://ftpmaster.internal/ubuntu bionic/main armhf humanity-icon-theme all 0.6.15 [1250 kB] Get:92 http://ftpmaster.internal/ubuntu bionic/main armhf ubuntu-mono all 16.10+18.04.20180421.1-0ubuntu1 [149 kB] Get:93 http://ftpmaster.internal/ubuntu bionic/main armhf adwaita-icon-theme all 3.28.0-1ubuntu1 [3306 kB] Get:94 http://ftpmaster.internal/ubuntu bionic/main armhf autoconf all 2.69-11 [322 kB] Get:95 http://ftpmaster.internal/ubuntu bionic/main armhf autotools-dev all 20180224.1 [39.6 kB] Get:96 http://ftpmaster.internal/ubuntu bionic/main armhf automake all 1:1.15.1-3ubuntu2 [509 kB] Get:97 http://ftpmaster.internal/ubuntu bionic/main armhf autopoint all 0.19.8.1-6 [412 kB] Get:98 http://ftpmaster.internal/ubuntu bionic/main armhf libbison-dev armhf 2:3.0.4.dfsg-1build1 [339 kB] Get:99 http://ftpmaster.internal/ubuntu bionic/main armhf bison armhf 2:3.0.4.dfsg-1build1 [225 kB] Get:100 http://ftpmaster.internal/ubuntu bionic/main armhf java-common all 0.63ubuntu1~02 [7032 B] Get:101 http://ftpmaster.internal/ubuntu bionic/main armhf libavahi-common-data armhf 0.7-3.1ubuntu1 [22.3 kB] Get:102 http://ftpmaster.internal/ubuntu bionic/main armhf libavahi-common3 armhf 0.7-3.1ubuntu1 [18.4 kB] Get:103 http://ftpmaster.internal/ubuntu bionic/main armhf libavahi-client3 armhf 0.7-3.1ubuntu1 [21.7 kB] Get:104 http://ftpmaster.internal/ubuntu bionic/main armhf libcups2 armhf 2.2.7-1ubuntu2 [179 kB] Get:105 http://ftpmaster.internal/ubuntu bionic/main armhf liblcms2-2 armhf 2.9-1 [114 kB] Get:106 http://ftpmaster.internal/ubuntu bionic/main armhf libnspr4 armhf 2:4.18-1ubuntu1 [89.8 kB] Get:107 http://ftpmaster.internal/ubuntu bionic/main armhf libnss3 armhf 2:3.35-2ubuntu2 [946 kB] Get:108 http://ftpmaster.internal/ubuntu bionic/main armhf libpcsclite1 armhf 1.8.23-1 [18.3 kB] Get:109 http://ftpmaster.internal/ubuntu bionic/main armhf libxi6 armhf 2:1.7.9-1 [26.1 kB] Get:110 http://ftpmaster.internal/ubuntu bionic/main armhf libxtst6 armhf 2:1.2.3-1 [11.4 kB] Get:111 http://ftpmaster.internal/ubuntu bionic/main armhf openjdk-11-jre-headless armhf 10.0.1+10-3ubuntu1 [35.7 MB] Get:112 http://ftpmaster.internal/ubuntu bionic/main armhf default-jre-headless armhf 2:1.10-63ubuntu1~02 [3416 B] Get:113 http://ftpmaster.internal/ubuntu bionic/main armhf ca-certificates-java all 20170930ubuntu1 [12.1 kB] Get:114 http://ftpmaster.internal/ubuntu bionic/main armhf libtool all 2.4.6-2 [194 kB] Get:115 http://ftpmaster.internal/ubuntu bionic/main armhf dh-autoreconf all 17 [15.8 kB] Get:116 http://ftpmaster.internal/ubuntu bionic/main armhf libarchive-zip-perl all 1.60-1 [83.9 kB] Get:117 http://ftpmaster.internal/ubuntu bionic/main armhf libfile-stripnondeterminism-perl all 0.040-1.1~build1 [13.8 kB] Get:118 http://ftpmaster.internal/ubuntu bionic/main armhf libtimedate-perl all 2.3000-2 [37.5 kB] Get:119 http://ftpmaster.internal/ubuntu bionic/main armhf dh-strip-nondeterminism all 0.040-1.1~build1 [5208 B] Get:120 http://ftpmaster.internal/ubuntu bionic/main armhf gettext armhf 0.19.8.1-6 [833 kB] Get:121 http://ftpmaster.internal/ubuntu bionic/main armhf intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:122 http://ftpmaster.internal/ubuntu bionic/main armhf po-debconf all 1.0.20 [232 kB] Get:123 http://ftpmaster.internal/ubuntu bionic/main armhf debhelper all 11.1.6ubuntu1 [902 kB] Get:124 http://ftpmaster.internal/ubuntu bionic/main armhf liburi-perl all 1.73-1 [77.2 kB] Get:125 http://ftpmaster.internal/ubuntu bionic/main armhf libencode-locale-perl all 1.05-1 [12.3 kB] Get:126 http://ftpmaster.internal/ubuntu bionic/main armhf libhttp-date-perl all 6.02-1 [10.4 kB] Get:127 http://ftpmaster.internal/ubuntu bionic/main armhf libfile-listing-perl all 6.04-1 [9774 B] Get:128 http://ftpmaster.internal/ubuntu bionic/main armhf libhtml-tagset-perl all 3.20-3 [12.1 kB] Get:129 http://ftpmaster.internal/ubuntu bionic/main armhf libhtml-parser-perl armhf 3.72-3build1 [82.7 kB] Get:130 http://ftpmaster.internal/ubuntu bionic/main armhf libhtml-tree-perl all 5.07-1 [200 kB] Get:131 http://ftpmaster.internal/ubuntu bionic/main armhf libio-html-perl all 1.001-1 [14.9 kB] Get:132 http://ftpmaster.internal/ubuntu bionic/main armhf liblwp-mediatypes-perl all 6.02-1 [21.7 kB] Get:133 http://ftpmaster.internal/ubuntu bionic/main armhf libhttp-message-perl all 6.14-1 [72.1 kB] Get:134 http://ftpmaster.internal/ubuntu bionic/main armhf libhttp-cookies-perl all 6.04-1 [17.2 kB] Get:135 http://ftpmaster.internal/ubuntu bionic/main armhf libhttp-negotiate-perl all 6.00-2 [13.4 kB] Get:136 http://ftpmaster.internal/ubuntu bionic/main armhf perl-openssl-defaults armhf 3build1 [7012 B] Get:137 http://ftpmaster.internal/ubuntu bionic/main armhf libnet-ssleay-perl armhf 1.84-1build1 [262 kB] Get:138 http://ftpmaster.internal/ubuntu bionic/main armhf libio-socket-ssl-perl all 2.056-1 [172 kB] Get:139 http://ftpmaster.internal/ubuntu bionic/main armhf libnet-http-perl all 6.17-1 [22.7 kB] Get:140 http://ftpmaster.internal/ubuntu bionic/main armhf liblwp-protocol-https-perl all 6.07-2 [8284 B] Get:141 http://ftpmaster.internal/ubuntu bionic/main armhf libtry-tiny-perl all 0.30-1 [20.5 kB] Get:142 http://ftpmaster.internal/ubuntu bionic/main armhf libwww-robotrules-perl all 6.01-1 [14.1 kB] Get:143 http://ftpmaster.internal/ubuntu bionic/main armhf libwww-perl all 6.31-1 [137 kB] Get:144 http://ftpmaster.internal/ubuntu bionic/main armhf libxml-parser-perl armhf 2.44-2build3 [196 kB] Get:145 http://ftpmaster.internal/ubuntu bionic/universe armhf intltool all 0.51.0-5ubuntu1 [44.6 kB] Get:146 http://ftpmaster.internal/ubuntu bionic/universe armhf libonig4 armhf 6.7.0-1 [102 kB] Get:147 http://ftpmaster.internal/ubuntu bionic/universe armhf libjq1 armhf 1.5+dfsg-2 [111 kB] Get:148 http://ftpmaster.internal/ubuntu bionic/universe armhf jq armhf 1.5+dfsg-2 [47.3 kB] Get:149 http://ftpmaster.internal/ubuntu bionic/main armhf libfile-which-perl all 1.21-1 [11.8 kB] Get:150 http://ftpmaster.internal/ubuntu bionic/universe armhf dh-translations all 138 [23.3 kB] Get:151 http://ftpmaster.internal/ubuntu bionic/main armhf python3-six all 1.11.0-2 [11.4 kB] Get:152 http://ftpmaster.internal/ubuntu bionic/main armhf python3-pkg-resources all 39.0.1-2 [98.8 kB] Get:153 http://ftpmaster.internal/ubuntu bionic/universe armhf python3-scour all 0.36-2 [44.8 kB] Get:154 http://ftpmaster.internal/ubuntu bionic/universe armhf scour all 0.36-2 [7372 B] Get:155 http://ftpmaster.internal/ubuntu bionic/universe armhf cdbs all 0.4.156ubuntu4 [45.4 kB] Get:156 http://ftpmaster.internal/ubuntu bionic/main armhf libdconf1 armhf 0.26.0-2ubuntu3 [29.3 kB] Get:157 http://ftpmaster.internal/ubuntu bionic/main armhf dconf-service armhf 0.26.0-2ubuntu3 [24.5 kB] Get:158 http://ftpmaster.internal/ubuntu bionic/main armhf dconf-gsettings-backend armhf 0.26.0-2ubuntu3 [16.3 kB] Get:159 http://ftpmaster.internal/ubuntu bionic/main armhf libgtk-3-common all 3.22.30-1ubuntu1 [228 kB] Get:160 http://ftpmaster.internal/ubuntu bionic/main armhf libatk1.0-data all 2.28.1-1 [2992 B] Get:161 http://ftpmaster.internal/ubuntu bionic/main armhf libatk1.0-0 armhf 2.28.1-1 [36.9 kB] Get:162 http://ftpmaster.internal/ubuntu bionic/main armhf libatspi2.0-0 armhf 2.28.0-1 [49.9 kB] Get:163 http://ftpmaster.internal/ubuntu bionic/main armhf libatk-bridge2.0-0 armhf 2.26.2-1 [48.9 kB] Get:164 http://ftpmaster.internal/ubuntu bionic/main armhf libcairo-gobject2 armhf 1.15.10-2 [16.2 kB] Get:165 http://ftpmaster.internal/ubuntu bionic/main armhf libcolord2 armhf 1.3.3-2build1 [95.3 kB] Get:166 http://ftpmaster.internal/ubuntu bionic/main armhf libepoxy0 armhf 1.4.3-1 [161 kB] Get:167 http://ftpmaster.internal/ubuntu bionic/main armhf libjson-glib-1.0-common all 1.4.2-3 [3464 B] Get:168 http://ftpmaster.internal/ubuntu bionic/main armhf libjson-glib-1.0-0 armhf 1.4.2-3 [51.2 kB] Get:169 http://ftpmaster.internal/ubuntu bionic/main armhf libproxy1v5 armhf 0.4.15-1 [42.7 kB] Get:170 http://ftpmaster.internal/ubuntu bionic/main armhf glib-networking-common all 2.56.0-1 [3324 B] Get:171 http://ftpmaster.internal/ubuntu bionic/main armhf glib-networking-services armhf 2.56.0-1 [7860 B] Get:172 http://ftpmaster.internal/ubuntu bionic/main armhf gsettings-desktop-schemas all 3.28.0-1ubuntu1 [27.8 kB] Get:173 http://ftpmaster.internal/ubuntu bionic/main armhf glib-networking armhf 2.56.0-1 [49.3 kB] Get:174 http://ftpmaster.internal/ubuntu bionic/main armhf libsoup2.4-1 armhf 2.62.1-1 [249 kB] Get:175 http://ftpmaster.internal/ubuntu bionic/main armhf libsoup-gnome2.4-1 armhf 2.62.1-1 [4712 B] Get:176 http://ftpmaster.internal/ubuntu bionic/main armhf librest-0.7-0 armhf 0.8.0-2 [26.9 kB] Get:177 http://ftpmaster.internal/ubuntu bionic/main armhf libwayland-client0 armhf 1.14.0-2 [17.8 kB] Get:178 http://ftpmaster.internal/ubuntu bionic/main armhf libwayland-cursor0 armhf 1.14.0-2 [8860 B] Get:179 http://ftpmaster.internal/ubuntu bionic/main armhf libglvnd0 armhf 1.0.0-2ubuntu2 [47.1 kB] Get:180 http://ftpmaster.internal/ubuntu bionic/main armhf libwayland-server0 armhf 1.14.0-2 [22.8 kB] Get:181 http://ftpmaster.internal/ubuntu bionic/main armhf libgbm1 armhf 18.0.0~rc5-1ubuntu1 [21.3 kB] Get:182 http://ftpmaster.internal/ubuntu bionic/main armhf libglapi-mesa armhf 18.0.0~rc5-1ubuntu1 [28.7 kB] Get:183 http://ftpmaster.internal/ubuntu bionic/main armhf libx11-xcb1 armhf 2:1.6.4-3 [9578 B] Get:184 http://ftpmaster.internal/ubuntu bionic/main armhf libxcb-dri2-0 armhf 1.13-1 [6712 B] Get:185 http://ftpmaster.internal/ubuntu bionic/main armhf libxcb-dri3-0 armhf 1.13-1 [6320 B] Get:186 http://ftpmaster.internal/ubuntu bionic/main armhf libxcb-present0 armhf 1.13-1 [5472 B] Get:187 http://ftpmaster.internal/ubuntu bionic/main armhf libxcb-sync1 armhf 1.13-1 [8272 B] Get:188 http://ftpmaster.internal/ubuntu bionic/main armhf libxcb-xfixes0 armhf 1.13-1 [9036 B] Get:189 http://ftpmaster.internal/ubuntu bionic/main armhf libxshmfence1 armhf 1.3-1 [4792 B] Get:190 http://ftpmaster.internal/ubuntu bionic/main armhf libegl-mesa0 armhf 18.0.0~rc5-1ubuntu1 [67.5 kB] Get:191 http://ftpmaster.internal/ubuntu bionic/main armhf libegl1 armhf 1.0.0-2ubuntu2 [26.5 kB] Get:192 http://ftpmaster.internal/ubuntu bionic/main armhf libwayland-egl1-mesa armhf 18.0.0~rc5-1ubuntu1 [6952 B] Get:193 http://ftpmaster.internal/ubuntu bionic/main armhf libxcomposite1 armhf 1:0.4.4-2 [7684 B] Get:194 http://ftpmaster.internal/ubuntu bionic/main armhf libxfixes3 armhf 1:5.0.3-1 [9390 B] Get:195 http://ftpmaster.internal/ubuntu bionic/main armhf libxcursor1 armhf 1:1.1.15-1 [16.9 kB] Get:196 http://ftpmaster.internal/ubuntu bionic/main armhf libxdamage1 armhf 1:1.1.4-3 [6488 B] Get:197 http://ftpmaster.internal/ubuntu bionic/main armhf libxkbcommon0 armhf 0.8.0-1 [86.1 kB] Get:198 http://ftpmaster.internal/ubuntu bionic/main armhf libxrandr2 armhf 2:1.5.1-1 [15.5 kB] Get:199 http://ftpmaster.internal/ubuntu bionic/main armhf libgtk-3-0 armhf 3.22.30-1ubuntu1 [2135 kB] Get:200 http://ftpmaster.internal/ubuntu bionic/main armhf libxcb-glx0 armhf 1.13-1 [20.1 kB] Get:201 http://ftpmaster.internal/ubuntu bionic/main armhf libdrm-amdgpu1 armhf 2.4.91-2 [17.5 kB] Get:202 http://ftpmaster.internal/ubuntu bionic/main armhf libdrm-etnaviv1 armhf 2.4.91-2 [10.2 kB] Get:203 http://ftpmaster.internal/ubuntu bionic/main armhf libdrm-freedreno1 armhf 2.4.91-2 [16.2 kB] Get:204 http://ftpmaster.internal/ubuntu bionic/main armhf libdrm-nouveau2 armhf 2.4.91-2 [14.7 kB] Get:205 http://ftpmaster.internal/ubuntu bionic/main armhf libdrm-radeon1 armhf 2.4.91-2 [19.6 kB] Get:206 http://ftpmaster.internal/ubuntu bionic/main armhf libllvm6.0 armhf 1:6.0-1ubuntu2 [13.5 MB] Get:207 http://ftpmaster.internal/ubuntu bionic/main armhf libsensors4 armhf 1:3.4.0-4 [25.8 kB] Get:208 http://ftpmaster.internal/ubuntu bionic/main armhf libgl1-mesa-dri armhf 18.0.0~rc5-1ubuntu1 [3718 kB] Get:209 http://ftpmaster.internal/ubuntu bionic/main armhf libglx-mesa0 armhf 18.0.0~rc5-1ubuntu1 [116 kB] Get:210 http://ftpmaster.internal/ubuntu bionic/main armhf libglx0 armhf 1.0.0-2ubuntu2 [23.3 kB] Get:211 http://ftpmaster.internal/ubuntu bionic/main armhf libgl1 armhf 1.0.0-2ubuntu2 [94.2 kB] Get:212 http://ftpmaster.internal/ubuntu bionic/main armhf libgl1-mesa-glx armhf 18.0.0~rc5-1ubuntu1 [3780 B] Get:213 http://ftpmaster.internal/ubuntu bionic/main armhf libfontenc1 armhf 1:1.1.3-1 [11.7 kB] Get:214 http://ftpmaster.internal/ubuntu bionic/main armhf libxt6 armhf 1:1.1.5-1 [129 kB] Get:215 http://ftpmaster.internal/ubuntu bionic/main armhf libxmu6 armhf 2:1.1.2-2 [38.3 kB] Get:216 http://ftpmaster.internal/ubuntu bionic/main armhf libxpm4 armhf 1:3.5.12-1 [29.0 kB] Get:217 http://ftpmaster.internal/ubuntu bionic/main armhf libxaw7 armhf 2:1.0.13-1 [141 kB] Get:218 http://ftpmaster.internal/ubuntu bionic/main armhf libxcb-shape0 armhf 1.13-1 [5684 B] Get:219 http://ftpmaster.internal/ubuntu bionic/main armhf libxv1 armhf 2:1.0.11-1 [9430 B] Get:220 http://ftpmaster.internal/ubuntu bionic/main armhf x11-utils armhf 7.7+3build1 [173 kB] Get:221 http://ftpmaster.internal/ubuntu bionic/main armhf libatk-wrapper-java all 0.33.3-20ubuntu0.1 [34.7 kB] Get:222 http://ftpmaster.internal/ubuntu bionic/main armhf libatk-wrapper-java-jni armhf 0.33.3-20ubuntu0.1 [23.5 kB] Get:223 http://ftpmaster.internal/ubuntu bionic/main armhf libasound2-data all 1.1.3-5 [36.1 kB] Get:224 http://ftpmaster.internal/ubuntu bionic/main armhf libasound2 armhf 1.1.3-5 [306 kB] Get:225 http://ftpmaster.internal/ubuntu bionic/main armhf libgif7 armhf 5.1.4-2 [28.3 kB] Get:226 http://ftpmaster.internal/ubuntu bionic/main armhf openjdk-11-jre armhf 10.0.1+10-3ubuntu1 [46.5 kB] Get:227 http://ftpmaster.internal/ubuntu bionic/main armhf default-jre armhf 2:1.10-63ubuntu1~02 [1092 B] Get:228 http://ftpmaster.internal/ubuntu bionic/main armhf openjdk-11-jdk-headless armhf 10.0.1+10-3ubuntu1 [70.4 MB] Get:229 http://ftpmaster.internal/ubuntu bionic/main armhf default-jdk-headless armhf 2:1.10-63ubuntu1~02 [1136 B] Get:230 http://ftpmaster.internal/ubuntu bionic/main armhf openjdk-11-jdk armhf 10.0.1+10-3ubuntu1 [17.2 kB] Get:231 http://ftpmaster.internal/ubuntu bionic/main armhf default-jdk armhf 2:1.10-63ubuntu1~02 [1096 B] Get:232 http://ftpmaster.internal/ubuntu bionic/main armhf libgmpxx4ldbl armhf 2:6.1.2+dfsg-2 [8080 B] Get:233 http://ftpmaster.internal/ubuntu bionic/main armhf libgmp-dev armhf 2:6.1.2+dfsg-2 [255 kB] Get:234 http://ftpmaster.internal/ubuntu bionic/main armhf patchutils armhf 0.3.4-2 [64.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 167 MB in 7s (25.7 MB/s) Selecting previously unselected package libpython3.6-minimal:armhf. (Reading database ... 13316 files and directories currently installed.) Preparing to unpack .../0-libpython3.6-minimal_3.6.5-3_armhf.deb ... Unpacking libpython3.6-minimal:armhf (3.6.5-3) ... Selecting previously unselected package libexpat1:armhf. Preparing to unpack .../1-libexpat1_2.2.5-3_armhf.deb ... Unpacking libexpat1:armhf (2.2.5-3) ... Selecting previously unselected package python3.6-minimal. Preparing to unpack .../2-python3.6-minimal_3.6.5-3_armhf.deb ... Unpacking python3.6-minimal (3.6.5-3) ... Selecting previously unselected package python3-minimal. Preparing to unpack .../3-python3-minimal_3.6.5-3_armhf.deb ... Unpacking python3-minimal (3.6.5-3) ... Selecting previously unselected package mime-support. Preparing to unpack .../4-mime-support_3.60ubuntu1_all.deb ... Unpacking mime-support (3.60ubuntu1) ... Selecting previously unselected package libmpdec2:armhf. Preparing to unpack .../5-libmpdec2_2.4.2-1ubuntu1_armhf.deb ... Unpacking libmpdec2:armhf (2.4.2-1ubuntu1) ... Selecting previously unselected package libpython3.6-stdlib:armhf. Preparing to unpack .../6-libpython3.6-stdlib_3.6.5-3_armhf.deb ... Unpacking libpython3.6-stdlib:armhf (3.6.5-3) ... Selecting previously unselected package python3.6. Preparing to unpack .../7-python3.6_3.6.5-3_armhf.deb ... Unpacking python3.6 (3.6.5-3) ... Selecting previously unselected package libpython3-stdlib:armhf. Preparing to unpack .../8-libpython3-stdlib_3.6.5-3_armhf.deb ... Unpacking libpython3-stdlib:armhf (3.6.5-3) ... Setting up libpython3.6-minimal:armhf (3.6.5-3) ... Setting up libexpat1:armhf (2.2.5-3) ... Setting up python3.6-minimal (3.6.5-3) ... Setting up python3-minimal (3.6.5-3) ... Selecting previously unselected package python3. (Reading database ... 13990 files and directories currently installed.) Preparing to unpack .../00-python3_3.6.5-3_armhf.deb ... Unpacking python3 (3.6.5-3) ... Selecting previously unselected package libxau6:armhf. Preparing to unpack .../01-libxau6_1%3a1.0.8-1_armhf.deb ... Unpacking libxau6:armhf (1:1.0.8-1) ... Selecting previously unselected package libbsd0:armhf. Preparing to unpack .../02-libbsd0_0.8.7-1_armhf.deb ... Unpacking libbsd0:armhf (0.8.7-1) ... Selecting previously unselected package libxdmcp6:armhf. Preparing to unpack .../03-libxdmcp6_1%3a1.1.2-3_armhf.deb ... Unpacking libxdmcp6:armhf (1:1.1.2-3) ... Selecting previously unselected package libxcb1:armhf. Preparing to unpack .../04-libxcb1_1.13-1_armhf.deb ... Unpacking libxcb1:armhf (1.13-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../05-libx11-data_2%3a1.6.4-3_all.deb ... Unpacking libx11-data (2:1.6.4-3) ... Selecting previously unselected package libx11-6:armhf. Preparing to unpack .../06-libx11-6_2%3a1.6.4-3_armhf.deb ... Unpacking libx11-6:armhf (2:1.6.4-3) ... Selecting previously unselected package libxext6:armhf. Preparing to unpack .../07-libxext6_2%3a1.3.3-1_armhf.deb ... Unpacking libxext6:armhf (2:1.3.3-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../08-bsdmainutils_11.1.2ubuntu1_armhf.deb ... Unpacking bsdmainutils (11.1.2ubuntu1) ... Selecting previously unselected package groff-base. Preparing to unpack .../09-groff-base_1.22.3-10_armhf.deb ... Unpacking groff-base (1.22.3-10) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../10-libpipeline1_1.5.0-1_armhf.deb ... Unpacking libpipeline1:armhf (1.5.0-1) ... Selecting previously unselected package man-db. Preparing to unpack .../11-man-db_2.8.3-2_armhf.deb ... Unpacking man-db (2.8.3-2) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../12-libsigsegv2_2.12-1_armhf.deb ... Unpacking libsigsegv2:armhf (2.12-1) ... Selecting previously unselected package m4. Preparing to unpack .../13-m4_1.4.18-1_armhf.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package flex. Preparing to unpack .../14-flex_2.6.4-6_armhf.deb ... Unpacking flex (2.6.4-6) ... Selecting previously unselected package libfreetype6:armhf. Preparing to unpack .../15-libfreetype6_2.8.1-2ubuntu2_armhf.deb ... Unpacking libfreetype6:armhf (2.8.1-2ubuntu2) ... Selecting previously unselected package ucf. Preparing to unpack .../16-ucf_3.0038_all.deb ... Moving old data out of the way Unpacking ucf (3.0038) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../17-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../18-fontconfig-config_2.12.6-0ubuntu2_all.deb ... Unpacking fontconfig-config (2.12.6-0ubuntu2) ... Selecting previously unselected package libfontconfig1:armhf. Preparing to unpack .../19-libfontconfig1_2.12.6-0ubuntu2_armhf.deb ... Unpacking libfontconfig1:armhf (2.12.6-0ubuntu2) ... Selecting previously unselected package fontconfig. Preparing to unpack .../20-fontconfig_2.12.6-0ubuntu2_armhf.deb ... Unpacking fontconfig (2.12.6-0ubuntu2) ... Selecting previously unselected package libjpeg-turbo8:armhf. Preparing to unpack .../21-libjpeg-turbo8_1.5.2-0ubuntu5_armhf.deb ... Unpacking libjpeg-turbo8:armhf (1.5.2-0ubuntu5) ... Selecting previously unselected package x11-common. Preparing to unpack .../22-x11-common_1%3a7.7+19ubuntu7_all.deb ... Unpacking x11-common (1:7.7+19ubuntu7) ... Selecting previously unselected package libice6:armhf. Preparing to unpack .../23-libice6_2%3a1.0.9-2_armhf.deb ... Unpacking libice6:armhf (2:1.0.9-2) ... Selecting previously unselected package libsm6:armhf. Preparing to unpack .../24-libsm6_2%3a1.2.2-1_armhf.deb ... Unpacking libsm6:armhf (2:1.2.2-1) ... Selecting previously unselected package libxrender1:armhf. Preparing to unpack .../25-libxrender1_1%3a0.9.10-1_armhf.deb ... Unpacking libxrender1:armhf (1:0.9.10-1) ... Selecting previously unselected package libxft2:armhf. Preparing to unpack .../26-libxft2_2.3.2-1_armhf.deb ... Unpacking libxft2:armhf (2.3.2-1) ... Selecting previously unselected package libxinerama1:armhf. Preparing to unpack .../27-libxinerama1_2%3a1.1.3-1_armhf.deb ... Unpacking libxinerama1:armhf (2:1.1.3-1) ... Selecting previously unselected package libxxf86dga1:armhf. Preparing to unpack .../28-libxxf86dga1_2%3a1.1.4-1_armhf.deb ... Unpacking libxxf86dga1:armhf (2:1.1.4-1) ... Selecting previously unselected package libxxf86vm1:armhf. Preparing to unpack .../29-libxxf86vm1_1%3a1.1.4-1_armhf.deb ... Unpacking libxxf86vm1:armhf (1:1.1.4-1) ... Selecting previously unselected package libpython2.7-minimal:armhf. Preparing to unpack .../30-libpython2.7-minimal_2.7.15~rc1-1_armhf.deb ... Unpacking libpython2.7-minimal:armhf (2.7.15~rc1-1) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../31-python2.7-minimal_2.7.15~rc1-1_armhf.deb ... Unpacking python2.7-minimal (2.7.15~rc1-1) ... Selecting previously unselected package python-minimal. Preparing to unpack .../32-python-minimal_2.7.15~rc1-1_armhf.deb ... Unpacking python-minimal (2.7.15~rc1-1) ... Selecting previously unselected package libpython2.7-stdlib:armhf. Preparing to unpack .../33-libpython2.7-stdlib_2.7.15~rc1-1_armhf.deb ... Unpacking libpython2.7-stdlib:armhf (2.7.15~rc1-1) ... Selecting previously unselected package python2.7. Preparing to unpack .../34-python2.7_2.7.15~rc1-1_armhf.deb ... Unpacking python2.7 (2.7.15~rc1-1) ... Selecting previously unselected package libpython-stdlib:armhf. Preparing to unpack .../35-libpython-stdlib_2.7.15~rc1-1_armhf.deb ... Unpacking libpython-stdlib:armhf (2.7.15~rc1-1) ... Setting up libpython2.7-minimal:armhf (2.7.15~rc1-1) ... Setting up python2.7-minimal (2.7.15~rc1-1) ... Setting up python-minimal (2.7.15~rc1-1) ... Selecting previously unselected package python. (Reading database ... 15981 files and directories currently installed.) Preparing to unpack .../000-python_2.7.15~rc1-1_armhf.deb ... Unpacking python (2.7.15~rc1-1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../001-libmagic-mgc_1%3a5.32-2_armhf.deb ... Unpacking libmagic-mgc (1:5.32-2) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../002-libmagic1_1%3a5.32-2_armhf.deb ... Unpacking libmagic1:armhf (1:5.32-2) ... Selecting previously unselected package file. Preparing to unpack .../003-file_1%3a5.32-2_armhf.deb ... Unpacking file (1:5.32-2) ... Selecting previously unselected package libdbus-1-3:armhf. Preparing to unpack .../004-libdbus-1-3_1.12.2-1ubuntu1_armhf.deb ... Unpacking libdbus-1-3:armhf (1.12.2-1ubuntu1) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../005-libelf1_0.170-0.4_armhf.deb ... Unpacking libelf1:armhf (0.170-0.4) ... Selecting previously unselected package libglib2.0-0:armhf. Preparing to unpack .../006-libglib2.0-0_2.56.1-2ubuntu1_armhf.deb ... Unpacking libglib2.0-0:armhf (2.56.1-2ubuntu1) ... Selecting previously unselected package libicu60:armhf. Preparing to unpack .../007-libicu60_60.2-3ubuntu3_armhf.deb ... Unpacking libicu60:armhf (60.2-3ubuntu3) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../008-libxml2_2.9.4+dfsg1-6.1ubuntu1_armhf.deb ... Unpacking libxml2:armhf (2.9.4+dfsg1-6.1ubuntu1) ... Selecting previously unselected package netbase. Preparing to unpack .../009-netbase_5.4_all.deb ... Unpacking netbase (5.4) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../010-shared-mime-info_1.9-2_armhf.deb ... Unpacking shared-mime-info (1.9-2) ... Selecting previously unselected package xkb-data. Preparing to unpack .../011-xkb-data_2.23.1-1ubuntu1_all.deb ... Unpacking xkb-data (2.23.1-1ubuntu1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../012-gettext-base_0.19.8.1-6_armhf.deb ... Unpacking gettext-base (0.19.8.1-6) ... Selecting previously unselected package libdrm-common. Preparing to unpack .../013-libdrm-common_2.4.91-2_all.deb ... Unpacking libdrm-common (2.4.91-2) ... Selecting previously unselected package libdrm2:armhf. Preparing to unpack .../014-libdrm2_2.4.91-2_armhf.deb ... Unpacking libdrm2:armhf (2.4.91-2) ... Selecting previously unselected package libedit2:armhf. Preparing to unpack .../015-libedit2_3.1-20170329-1_armhf.deb ... Unpacking libedit2:armhf (3.1-20170329-1) ... Selecting previously unselected package libkrb5support0:armhf. Preparing to unpack .../016-libkrb5support0_1.16-2build1_armhf.deb ... Unpacking libkrb5support0:armhf (1.16-2build1) ... Selecting previously unselected package libk5crypto3:armhf. Preparing to unpack .../017-libk5crypto3_1.16-2build1_armhf.deb ... Unpacking libk5crypto3:armhf (1.16-2build1) ... Selecting previously unselected package libkeyutils1:armhf. Preparing to unpack .../018-libkeyutils1_1.5.9-9.2ubuntu2_armhf.deb ... Unpacking libkeyutils1:armhf (1.5.9-9.2ubuntu2) ... Selecting previously unselected package libkrb5-3:armhf. Preparing to unpack .../019-libkrb5-3_1.16-2build1_armhf.deb ... Unpacking libkrb5-3:armhf (1.16-2build1) ... Selecting previously unselected package libgssapi-krb5-2:armhf. Preparing to unpack .../020-libgssapi-krb5-2_1.16-2build1_armhf.deb ... Unpacking libgssapi-krb5-2:armhf (1.16-2build1) ... Selecting previously unselected package libxmuu1:armhf. Preparing to unpack .../021-libxmuu1_2%3a1.1.2-2_armhf.deb ... Unpacking libxmuu1:armhf (2:1.1.2-2) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../022-hicolor-icon-theme_0.17-2_all.deb ... Unpacking hicolor-icon-theme (0.17-2) ... Selecting previously unselected package libjpeg8:armhf. Preparing to unpack .../023-libjpeg8_8c-2ubuntu8_armhf.deb ... Unpacking libjpeg8:armhf (8c-2ubuntu8) ... Selecting previously unselected package libjbig0:armhf. Preparing to unpack .../024-libjbig0_2.1-3.1build1_armhf.deb ... Unpacking libjbig0:armhf (2.1-3.1build1) ... Selecting previously unselected package libtiff5:armhf. Preparing to unpack .../025-libtiff5_4.0.9-5_armhf.deb ... Unpacking libtiff5:armhf (4.0.9-5) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../026-libgdk-pixbuf2.0-common_2.36.11-2_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.36.11-2) ... Selecting previously unselected package libgdk-pixbuf2.0-0:armhf. Preparing to unpack .../027-libgdk-pixbuf2.0-0_2.36.11-2_armhf.deb ... Unpacking libgdk-pixbuf2.0-0:armhf (2.36.11-2) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../028-gtk-update-icon-cache_3.22.30-1ubuntu1_armhf.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.22.30-1ubuntu1) ... Selecting previously unselected package libpixman-1-0:armhf. Preparing to unpack .../029-libpixman-1-0_0.34.0-2_armhf.deb ... Unpacking libpixman-1-0:armhf (0.34.0-2) ... Selecting previously unselected package libxcb-render0:armhf. Preparing to unpack .../030-libxcb-render0_1.13-1_armhf.deb ... Unpacking libxcb-render0:armhf (1.13-1) ... Selecting previously unselected package libxcb-shm0:armhf. Preparing to unpack .../031-libxcb-shm0_1.13-1_armhf.deb ... Unpacking libxcb-shm0:armhf (1.13-1) ... Selecting previously unselected package libcairo2:armhf. Preparing to unpack .../032-libcairo2_1.15.10-2_armhf.deb ... Unpacking libcairo2:armhf (1.15.10-2) ... Selecting previously unselected package libcroco3:armhf. Preparing to unpack .../033-libcroco3_0.6.12-2_armhf.deb ... Unpacking libcroco3:armhf (0.6.12-2) ... Selecting previously unselected package libthai-data. Preparing to unpack .../034-libthai-data_0.1.27-2_all.deb ... Unpacking libthai-data (0.1.27-2) ... Selecting previously unselected package libdatrie1:armhf. Preparing to unpack .../035-libdatrie1_0.2.10-7_armhf.deb ... Unpacking libdatrie1:armhf (0.2.10-7) ... Selecting previously unselected package libthai0:armhf. Preparing to unpack .../036-libthai0_0.1.27-2_armhf.deb ... Unpacking libthai0:armhf (0.1.27-2) ... Selecting previously unselected package libpango-1.0-0:armhf. Preparing to unpack .../037-libpango-1.0-0_1.40.14-1_armhf.deb ... Unpacking libpango-1.0-0:armhf (1.40.14-1) ... Selecting previously unselected package libgraphite2-3:armhf. Preparing to unpack .../038-libgraphite2-3_1.3.11-2_armhf.deb ... Unpacking libgraphite2-3:armhf (1.3.11-2) ... Selecting previously unselected package libharfbuzz0b:armhf. Preparing to unpack .../039-libharfbuzz0b_1.7.2-1ubuntu1_armhf.deb ... Unpacking libharfbuzz0b:armhf (1.7.2-1ubuntu1) ... Selecting previously unselected package libpangoft2-1.0-0:armhf. Preparing to unpack .../040-libpangoft2-1.0-0_1.40.14-1_armhf.deb ... Unpacking libpangoft2-1.0-0:armhf (1.40.14-1) ... Selecting previously unselected package libpangocairo-1.0-0:armhf. Preparing to unpack .../041-libpangocairo-1.0-0_1.40.14-1_armhf.deb ... Unpacking libpangocairo-1.0-0:armhf (1.40.14-1) ... Selecting previously unselected package librsvg2-2:armhf. Preparing to unpack .../042-librsvg2-2_2.40.20-2_armhf.deb ... Unpacking librsvg2-2:armhf (2.40.20-2) ... Selecting previously unselected package librsvg2-common:armhf. Preparing to unpack .../043-librsvg2-common_2.40.20-2_armhf.deb ... Unpacking librsvg2-common:armhf (2.40.20-2) ... Selecting previously unselected package humanity-icon-theme. Preparing to unpack .../044-humanity-icon-theme_0.6.15_all.deb ... Unpacking humanity-icon-theme (0.6.15) ... Selecting previously unselected package ubuntu-mono. Preparing to unpack .../045-ubuntu-mono_16.10+18.04.20180421.1-0ubuntu1_all.deb ... Unpacking ubuntu-mono (16.10+18.04.20180421.1-0ubuntu1) ... Selecting previously unselected package adwaita-icon-theme. Preparing to unpack .../046-adwaita-icon-theme_3.28.0-1ubuntu1_all.deb ... Unpacking adwaita-icon-theme (3.28.0-1ubuntu1) ... Selecting previously unselected package autoconf. Preparing to unpack .../047-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../048-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../049-automake_1%3a1.15.1-3ubuntu2_all.deb ... Unpacking automake (1:1.15.1-3ubuntu2) ... Selecting previously unselected package autopoint. Preparing to unpack .../050-autopoint_0.19.8.1-6_all.deb ... Unpacking autopoint (0.19.8.1-6) ... Selecting previously unselected package libbison-dev:armhf. Preparing to unpack .../051-libbison-dev_2%3a3.0.4.dfsg-1build1_armhf.deb ... Unpacking libbison-dev:armhf (2:3.0.4.dfsg-1build1) ... Selecting previously unselected package bison. Preparing to unpack .../052-bison_2%3a3.0.4.dfsg-1build1_armhf.deb ... Unpacking bison (2:3.0.4.dfsg-1build1) ... Selecting previously unselected package java-common. Preparing to unpack .../053-java-common_0.63ubuntu1~02_all.deb ... Unpacking java-common (0.63ubuntu1~02) ... Selecting previously unselected package libavahi-common-data:armhf. Preparing to unpack .../054-libavahi-common-data_0.7-3.1ubuntu1_armhf.deb ... Unpacking libavahi-common-data:armhf (0.7-3.1ubuntu1) ... Selecting previously unselected package libavahi-common3:armhf. Preparing to unpack .../055-libavahi-common3_0.7-3.1ubuntu1_armhf.deb ... Unpacking libavahi-common3:armhf (0.7-3.1ubuntu1) ... Selecting previously unselected package libavahi-client3:armhf. Preparing to unpack .../056-libavahi-client3_0.7-3.1ubuntu1_armhf.deb ... Unpacking libavahi-client3:armhf (0.7-3.1ubuntu1) ... Selecting previously unselected package libcups2:armhf. Preparing to unpack .../057-libcups2_2.2.7-1ubuntu2_armhf.deb ... Unpacking libcups2:armhf (2.2.7-1ubuntu2) ... Selecting previously unselected package liblcms2-2:armhf. Preparing to unpack .../058-liblcms2-2_2.9-1_armhf.deb ... Unpacking liblcms2-2:armhf (2.9-1) ... Selecting previously unselected package libnspr4:armhf. Preparing to unpack .../059-libnspr4_2%3a4.18-1ubuntu1_armhf.deb ... Unpacking libnspr4:armhf (2:4.18-1ubuntu1) ... Selecting previously unselected package libnss3:armhf. Preparing to unpack .../060-libnss3_2%3a3.35-2ubuntu2_armhf.deb ... Unpacking libnss3:armhf (2:3.35-2ubuntu2) ... Selecting previously unselected package libpcsclite1:armhf. Preparing to unpack .../061-libpcsclite1_1.8.23-1_armhf.deb ... Unpacking libpcsclite1:armhf (1.8.23-1) ... Selecting previously unselected package libxi6:armhf. Preparing to unpack .../062-libxi6_2%3a1.7.9-1_armhf.deb ... Unpacking libxi6:armhf (2:1.7.9-1) ... Selecting previously unselected package libxtst6:armhf. Preparing to unpack .../063-libxtst6_2%3a1.2.3-1_armhf.deb ... Unpacking libxtst6:armhf (2:1.2.3-1) ... Selecting previously unselected package openjdk-11-jre-headless:armhf. Preparing to unpack .../064-openjdk-11-jre-headless_10.0.1+10-3ubuntu1_armhf.deb ... Unpacking openjdk-11-jre-headless:armhf (10.0.1+10-3ubuntu1) ... Selecting previously unselected package default-jre-headless. Preparing to unpack .../065-default-jre-headless_2%3a1.10-63ubuntu1~02_armhf.deb ... Unpacking default-jre-headless (2:1.10-63ubuntu1~02) ... Selecting previously unselected package ca-certificates-java. Preparing to unpack .../066-ca-certificates-java_20170930ubuntu1_all.deb ... Unpacking ca-certificates-java (20170930ubuntu1) ... Selecting previously unselected package libtool. Preparing to unpack .../067-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../068-dh-autoreconf_17_all.deb ... Unpacking dh-autoreconf (17) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../069-libarchive-zip-perl_1.60-1_all.deb ... Unpacking libarchive-zip-perl (1.60-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../070-libfile-stripnondeterminism-perl_0.040-1.1~build1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.040-1.1~build1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../071-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../072-dh-strip-nondeterminism_0.040-1.1~build1_all.deb ... Unpacking dh-strip-nondeterminism (0.040-1.1~build1) ... Selecting previously unselected package gettext. Preparing to unpack .../073-gettext_0.19.8.1-6_armhf.deb ... Unpacking gettext (0.19.8.1-6) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../074-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 .../075-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../076-debhelper_11.1.6ubuntu1_all.deb ... Unpacking debhelper (11.1.6ubuntu1) ... Selecting previously unselected package liburi-perl. Preparing to unpack .../077-liburi-perl_1.73-1_all.deb ... Unpacking liburi-perl (1.73-1) ... Selecting previously unselected package libencode-locale-perl. Preparing to unpack .../078-libencode-locale-perl_1.05-1_all.deb ... Unpacking libencode-locale-perl (1.05-1) ... Selecting previously unselected package libhttp-date-perl. Preparing to unpack .../079-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 .../080-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 .../081-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 .../082-libhtml-parser-perl_3.72-3build1_armhf.deb ... Unpacking libhtml-parser-perl (3.72-3build1) ... Selecting previously unselected package libhtml-tree-perl. Preparing to unpack .../083-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 .../084-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 .../085-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 .../086-libhttp-message-perl_6.14-1_all.deb ... Unpacking libhttp-message-perl (6.14-1) ... Selecting previously unselected package libhttp-cookies-perl. Preparing to unpack .../087-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 .../088-libhttp-negotiate-perl_6.00-2_all.deb ... Unpacking libhttp-negotiate-perl (6.00-2) ... Selecting previously unselected package perl-openssl-defaults:armhf. Preparing to unpack .../089-perl-openssl-defaults_3build1_armhf.deb ... Unpacking perl-openssl-defaults:armhf (3build1) ... Selecting previously unselected package libnet-ssleay-perl. Preparing to unpack .../090-libnet-ssleay-perl_1.84-1build1_armhf.deb ... Unpacking libnet-ssleay-perl (1.84-1build1) ... Selecting previously unselected package libio-socket-ssl-perl. Preparing to unpack .../091-libio-socket-ssl-perl_2.056-1_all.deb ... Unpacking libio-socket-ssl-perl (2.056-1) ... Selecting previously unselected package libnet-http-perl. Preparing to unpack .../092-libnet-http-perl_6.17-1_all.deb ... Unpacking libnet-http-perl (6.17-1) ... Selecting previously unselected package liblwp-protocol-https-perl. Preparing to unpack .../093-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 .../094-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 .../095-libwww-robotrules-perl_6.01-1_all.deb ... Unpacking libwww-robotrules-perl (6.01-1) ... Selecting previously unselected package libwww-perl. Preparing to unpack .../096-libwww-perl_6.31-1_all.deb ... Unpacking libwww-perl (6.31-1) ... Selecting previously unselected package libxml-parser-perl. Preparing to unpack .../097-libxml-parser-perl_2.44-2build3_armhf.deb ... Unpacking libxml-parser-perl (2.44-2build3) ... Selecting previously unselected package intltool. Preparing to unpack .../098-intltool_0.51.0-5ubuntu1_all.deb ... Unpacking intltool (0.51.0-5ubuntu1) ... Selecting previously unselected package libonig4:armhf. Preparing to unpack .../099-libonig4_6.7.0-1_armhf.deb ... Unpacking libonig4:armhf (6.7.0-1) ... Selecting previously unselected package libjq1:armhf. Preparing to unpack .../100-libjq1_1.5+dfsg-2_armhf.deb ... Unpacking libjq1:armhf (1.5+dfsg-2) ... Selecting previously unselected package jq. Preparing to unpack .../101-jq_1.5+dfsg-2_armhf.deb ... Unpacking jq (1.5+dfsg-2) ... Selecting previously unselected package libfile-which-perl. Preparing to unpack .../102-libfile-which-perl_1.21-1_all.deb ... Unpacking libfile-which-perl (1.21-1) ... Selecting previously unselected package dh-translations. Preparing to unpack .../103-dh-translations_138_all.deb ... Unpacking dh-translations (138) ... Selecting previously unselected package python3-six. Preparing to unpack .../104-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 .../105-python3-pkg-resources_39.0.1-2_all.deb ... Unpacking python3-pkg-resources (39.0.1-2) ... Selecting previously unselected package python3-scour. Preparing to unpack .../106-python3-scour_0.36-2_all.deb ... Unpacking python3-scour (0.36-2) ... Selecting previously unselected package scour. Preparing to unpack .../107-scour_0.36-2_all.deb ... Unpacking scour (0.36-2) ... Selecting previously unselected package cdbs. Preparing to unpack .../108-cdbs_0.4.156ubuntu4_all.deb ... Unpacking cdbs (0.4.156ubuntu4) ... Selecting previously unselected package libdconf1:armhf. Preparing to unpack .../109-libdconf1_0.26.0-2ubuntu3_armhf.deb ... Unpacking libdconf1:armhf (0.26.0-2ubuntu3) ... Selecting previously unselected package dconf-service. Preparing to unpack .../110-dconf-service_0.26.0-2ubuntu3_armhf.deb ... Unpacking dconf-service (0.26.0-2ubuntu3) ... Selecting previously unselected package dconf-gsettings-backend:armhf. Preparing to unpack .../111-dconf-gsettings-backend_0.26.0-2ubuntu3_armhf.deb ... Unpacking dconf-gsettings-backend:armhf (0.26.0-2ubuntu3) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../112-libgtk-3-common_3.22.30-1ubuntu1_all.deb ... Unpacking libgtk-3-common (3.22.30-1ubuntu1) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../113-libatk1.0-data_2.28.1-1_all.deb ... Unpacking libatk1.0-data (2.28.1-1) ... Selecting previously unselected package libatk1.0-0:armhf. Preparing to unpack .../114-libatk1.0-0_2.28.1-1_armhf.deb ... Unpacking libatk1.0-0:armhf (2.28.1-1) ... Selecting previously unselected package libatspi2.0-0:armhf. Preparing to unpack .../115-libatspi2.0-0_2.28.0-1_armhf.deb ... Unpacking libatspi2.0-0:armhf (2.28.0-1) ... Selecting previously unselected package libatk-bridge2.0-0:armhf. Preparing to unpack .../116-libatk-bridge2.0-0_2.26.2-1_armhf.deb ... Unpacking libatk-bridge2.0-0:armhf (2.26.2-1) ... Selecting previously unselected package libcairo-gobject2:armhf. Preparing to unpack .../117-libcairo-gobject2_1.15.10-2_armhf.deb ... Unpacking libcairo-gobject2:armhf (1.15.10-2) ... Selecting previously unselected package libcolord2:armhf. Preparing to unpack .../118-libcolord2_1.3.3-2build1_armhf.deb ... Unpacking libcolord2:armhf (1.3.3-2build1) ... Selecting previously unselected package libepoxy0:armhf. Preparing to unpack .../119-libepoxy0_1.4.3-1_armhf.deb ... Unpacking libepoxy0:armhf (1.4.3-1) ... Selecting previously unselected package libjson-glib-1.0-common. Preparing to unpack .../120-libjson-glib-1.0-common_1.4.2-3_all.deb ... Unpacking libjson-glib-1.0-common (1.4.2-3) ... Selecting previously unselected package libjson-glib-1.0-0:armhf. Preparing to unpack .../121-libjson-glib-1.0-0_1.4.2-3_armhf.deb ... Unpacking libjson-glib-1.0-0:armhf (1.4.2-3) ... Selecting previously unselected package libproxy1v5:armhf. Preparing to unpack .../122-libproxy1v5_0.4.15-1_armhf.deb ... Unpacking libproxy1v5:armhf (0.4.15-1) ... Selecting previously unselected package glib-networking-common. Preparing to unpack .../123-glib-networking-common_2.56.0-1_all.deb ... Unpacking glib-networking-common (2.56.0-1) ... Selecting previously unselected package glib-networking-services. Preparing to unpack .../124-glib-networking-services_2.56.0-1_armhf.deb ... Unpacking glib-networking-services (2.56.0-1) ... Selecting previously unselected package gsettings-desktop-schemas. Preparing to unpack .../125-gsettings-desktop-schemas_3.28.0-1ubuntu1_all.deb ... Unpacking gsettings-desktop-schemas (3.28.0-1ubuntu1) ... Selecting previously unselected package glib-networking:armhf. Preparing to unpack .../126-glib-networking_2.56.0-1_armhf.deb ... Unpacking glib-networking:armhf (2.56.0-1) ... Selecting previously unselected package libsoup2.4-1:armhf. Preparing to unpack .../127-libsoup2.4-1_2.62.1-1_armhf.deb ... Unpacking libsoup2.4-1:armhf (2.62.1-1) ... Selecting previously unselected package libsoup-gnome2.4-1:armhf. Preparing to unpack .../128-libsoup-gnome2.4-1_2.62.1-1_armhf.deb ... Unpacking libsoup-gnome2.4-1:armhf (2.62.1-1) ... Selecting previously unselected package librest-0.7-0:armhf. Preparing to unpack .../129-librest-0.7-0_0.8.0-2_armhf.deb ... Unpacking librest-0.7-0:armhf (0.8.0-2) ... Selecting previously unselected package libwayland-client0:armhf. Preparing to unpack .../130-libwayland-client0_1.14.0-2_armhf.deb ... Unpacking libwayland-client0:armhf (1.14.0-2) ... Selecting previously unselected package libwayland-cursor0:armhf. Preparing to unpack .../131-libwayland-cursor0_1.14.0-2_armhf.deb ... Unpacking libwayland-cursor0:armhf (1.14.0-2) ... Selecting previously unselected package libglvnd0:armhf. Preparing to unpack .../132-libglvnd0_1.0.0-2ubuntu2_armhf.deb ... Unpacking libglvnd0:armhf (1.0.0-2ubuntu2) ... Selecting previously unselected package libwayland-server0:armhf. Preparing to unpack .../133-libwayland-server0_1.14.0-2_armhf.deb ... Unpacking libwayland-server0:armhf (1.14.0-2) ... Selecting previously unselected package libgbm1:armhf. Preparing to unpack .../134-libgbm1_18.0.0~rc5-1ubuntu1_armhf.deb ... Unpacking libgbm1:armhf (18.0.0~rc5-1ubuntu1) ... Selecting previously unselected package libglapi-mesa:armhf. Preparing to unpack .../135-libglapi-mesa_18.0.0~rc5-1ubuntu1_armhf.deb ... Unpacking libglapi-mesa:armhf (18.0.0~rc5-1ubuntu1) ... Selecting previously unselected package libx11-xcb1:armhf. Preparing to unpack .../136-libx11-xcb1_2%3a1.6.4-3_armhf.deb ... Unpacking libx11-xcb1:armhf (2:1.6.4-3) ... Selecting previously unselected package libxcb-dri2-0:armhf. Preparing to unpack .../137-libxcb-dri2-0_1.13-1_armhf.deb ... Unpacking libxcb-dri2-0:armhf (1.13-1) ... Selecting previously unselected package libxcb-dri3-0:armhf. Preparing to unpack .../138-libxcb-dri3-0_1.13-1_armhf.deb ... Unpacking libxcb-dri3-0:armhf (1.13-1) ... Selecting previously unselected package libxcb-present0:armhf. Preparing to unpack .../139-libxcb-present0_1.13-1_armhf.deb ... Unpacking libxcb-present0:armhf (1.13-1) ... Selecting previously unselected package libxcb-sync1:armhf. Preparing to unpack .../140-libxcb-sync1_1.13-1_armhf.deb ... Unpacking libxcb-sync1:armhf (1.13-1) ... Selecting previously unselected package libxcb-xfixes0:armhf. Preparing to unpack .../141-libxcb-xfixes0_1.13-1_armhf.deb ... Unpacking libxcb-xfixes0:armhf (1.13-1) ... Selecting previously unselected package libxshmfence1:armhf. Preparing to unpack .../142-libxshmfence1_1.3-1_armhf.deb ... Unpacking libxshmfence1:armhf (1.3-1) ... Selecting previously unselected package libegl-mesa0:armhf. Preparing to unpack .../143-libegl-mesa0_18.0.0~rc5-1ubuntu1_armhf.deb ... Unpacking libegl-mesa0:armhf (18.0.0~rc5-1ubuntu1) ... Selecting previously unselected package libegl1:armhf. Preparing to unpack .../144-libegl1_1.0.0-2ubuntu2_armhf.deb ... Unpacking libegl1:armhf (1.0.0-2ubuntu2) ... Selecting previously unselected package libwayland-egl1-mesa:armhf. Preparing to unpack .../145-libwayland-egl1-mesa_18.0.0~rc5-1ubuntu1_armhf.deb ... Unpacking libwayland-egl1-mesa:armhf (18.0.0~rc5-1ubuntu1) ... Selecting previously unselected package libxcomposite1:armhf. Preparing to unpack .../146-libxcomposite1_1%3a0.4.4-2_armhf.deb ... Unpacking libxcomposite1:armhf (1:0.4.4-2) ... Selecting previously unselected package libxfixes3:armhf. Preparing to unpack .../147-libxfixes3_1%3a5.0.3-1_armhf.deb ... Unpacking libxfixes3:armhf (1:5.0.3-1) ... Selecting previously unselected package libxcursor1:armhf. Preparing to unpack .../148-libxcursor1_1%3a1.1.15-1_armhf.deb ... Unpacking libxcursor1:armhf (1:1.1.15-1) ... Selecting previously unselected package libxdamage1:armhf. Preparing to unpack .../149-libxdamage1_1%3a1.1.4-3_armhf.deb ... Unpacking libxdamage1:armhf (1:1.1.4-3) ... Selecting previously unselected package libxkbcommon0:armhf. Preparing to unpack .../150-libxkbcommon0_0.8.0-1_armhf.deb ... Unpacking libxkbcommon0:armhf (0.8.0-1) ... Selecting previously unselected package libxrandr2:armhf. Preparing to unpack .../151-libxrandr2_2%3a1.5.1-1_armhf.deb ... Unpacking libxrandr2:armhf (2:1.5.1-1) ... Selecting previously unselected package libgtk-3-0:armhf. Preparing to unpack .../152-libgtk-3-0_3.22.30-1ubuntu1_armhf.deb ... Unpacking libgtk-3-0:armhf (3.22.30-1ubuntu1) ... Selecting previously unselected package libxcb-glx0:armhf. Preparing to unpack .../153-libxcb-glx0_1.13-1_armhf.deb ... Unpacking libxcb-glx0:armhf (1.13-1) ... Selecting previously unselected package libdrm-amdgpu1:armhf. Preparing to unpack .../154-libdrm-amdgpu1_2.4.91-2_armhf.deb ... Unpacking libdrm-amdgpu1:armhf (2.4.91-2) ... Selecting previously unselected package libdrm-etnaviv1:armhf. Preparing to unpack .../155-libdrm-etnaviv1_2.4.91-2_armhf.deb ... Unpacking libdrm-etnaviv1:armhf (2.4.91-2) ... Selecting previously unselected package libdrm-freedreno1:armhf. Preparing to unpack .../156-libdrm-freedreno1_2.4.91-2_armhf.deb ... Unpacking libdrm-freedreno1:armhf (2.4.91-2) ... Selecting previously unselected package libdrm-nouveau2:armhf. Preparing to unpack .../157-libdrm-nouveau2_2.4.91-2_armhf.deb ... Unpacking libdrm-nouveau2:armhf (2.4.91-2) ... Selecting previously unselected package libdrm-radeon1:armhf. Preparing to unpack .../158-libdrm-radeon1_2.4.91-2_armhf.deb ... Unpacking libdrm-radeon1:armhf (2.4.91-2) ... Selecting previously unselected package libllvm6.0:armhf. Preparing to unpack .../159-libllvm6.0_1%3a6.0-1ubuntu2_armhf.deb ... Unpacking libllvm6.0:armhf (1:6.0-1ubuntu2) ... Selecting previously unselected package libsensors4:armhf. Preparing to unpack .../160-libsensors4_1%3a3.4.0-4_armhf.deb ... Unpacking libsensors4:armhf (1:3.4.0-4) ... Selecting previously unselected package libgl1-mesa-dri:armhf. Preparing to unpack .../161-libgl1-mesa-dri_18.0.0~rc5-1ubuntu1_armhf.deb ... Unpacking libgl1-mesa-dri:armhf (18.0.0~rc5-1ubuntu1) ... Selecting previously unselected package libglx-mesa0:armhf. Preparing to unpack .../162-libglx-mesa0_18.0.0~rc5-1ubuntu1_armhf.deb ... Unpacking libglx-mesa0:armhf (18.0.0~rc5-1ubuntu1) ... Selecting previously unselected package libglx0:armhf. Preparing to unpack .../163-libglx0_1.0.0-2ubuntu2_armhf.deb ... Unpacking libglx0:armhf (1.0.0-2ubuntu2) ... Selecting previously unselected package libgl1:armhf. Preparing to unpack .../164-libgl1_1.0.0-2ubuntu2_armhf.deb ... Unpacking libgl1:armhf (1.0.0-2ubuntu2) ... Selecting previously unselected package libgl1-mesa-glx:armhf. Preparing to unpack .../165-libgl1-mesa-glx_18.0.0~rc5-1ubuntu1_armhf.deb ... Unpacking libgl1-mesa-glx:armhf (18.0.0~rc5-1ubuntu1) ... Selecting previously unselected package libfontenc1:armhf. Preparing to unpack .../166-libfontenc1_1%3a1.1.3-1_armhf.deb ... Unpacking libfontenc1:armhf (1:1.1.3-1) ... Selecting previously unselected package libxt6:armhf. Preparing to unpack .../167-libxt6_1%3a1.1.5-1_armhf.deb ... Unpacking libxt6:armhf (1:1.1.5-1) ... Selecting previously unselected package libxmu6:armhf. Preparing to unpack .../168-libxmu6_2%3a1.1.2-2_armhf.deb ... Unpacking libxmu6:armhf (2:1.1.2-2) ... Selecting previously unselected package libxpm4:armhf. Preparing to unpack .../169-libxpm4_1%3a3.5.12-1_armhf.deb ... Unpacking libxpm4:armhf (1:3.5.12-1) ... Selecting previously unselected package libxaw7:armhf. Preparing to unpack .../170-libxaw7_2%3a1.0.13-1_armhf.deb ... Unpacking libxaw7:armhf (2:1.0.13-1) ... Selecting previously unselected package libxcb-shape0:armhf. Preparing to unpack .../171-libxcb-shape0_1.13-1_armhf.deb ... Unpacking libxcb-shape0:armhf (1.13-1) ... Selecting previously unselected package libxv1:armhf. Preparing to unpack .../172-libxv1_2%3a1.0.11-1_armhf.deb ... Unpacking libxv1:armhf (2:1.0.11-1) ... Selecting previously unselected package x11-utils. Preparing to unpack .../173-x11-utils_7.7+3build1_armhf.deb ... Unpacking x11-utils (7.7+3build1) ... Selecting previously unselected package libatk-wrapper-java. Preparing to unpack .../174-libatk-wrapper-java_0.33.3-20ubuntu0.1_all.deb ... Unpacking libatk-wrapper-java (0.33.3-20ubuntu0.1) ... Selecting previously unselected package libatk-wrapper-java-jni:armhf. Preparing to unpack .../175-libatk-wrapper-java-jni_0.33.3-20ubuntu0.1_armhf.deb ... Unpacking libatk-wrapper-java-jni:armhf (0.33.3-20ubuntu0.1) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../176-libasound2-data_1.1.3-5_all.deb ... Unpacking libasound2-data (1.1.3-5) ... Selecting previously unselected package libasound2:armhf. Preparing to unpack .../177-libasound2_1.1.3-5_armhf.deb ... Unpacking libasound2:armhf (1.1.3-5) ... Selecting previously unselected package libgif7:armhf. Preparing to unpack .../178-libgif7_5.1.4-2_armhf.deb ... Unpacking libgif7:armhf (5.1.4-2) ... Selecting previously unselected package openjdk-11-jre:armhf. Preparing to unpack .../179-openjdk-11-jre_10.0.1+10-3ubuntu1_armhf.deb ... Unpacking openjdk-11-jre:armhf (10.0.1+10-3ubuntu1) ... Selecting previously unselected package default-jre. Preparing to unpack .../180-default-jre_2%3a1.10-63ubuntu1~02_armhf.deb ... Unpacking default-jre (2:1.10-63ubuntu1~02) ... Selecting previously unselected package openjdk-11-jdk-headless:armhf. Preparing to unpack .../181-openjdk-11-jdk-headless_10.0.1+10-3ubuntu1_armhf.deb ... Unpacking openjdk-11-jdk-headless:armhf (10.0.1+10-3ubuntu1) ... Selecting previously unselected package default-jdk-headless. Preparing to unpack .../182-default-jdk-headless_2%3a1.10-63ubuntu1~02_armhf.deb ... Unpacking default-jdk-headless (2:1.10-63ubuntu1~02) ... Selecting previously unselected package openjdk-11-jdk:armhf. Preparing to unpack .../183-openjdk-11-jdk_10.0.1+10-3ubuntu1_armhf.deb ... Unpacking openjdk-11-jdk:armhf (10.0.1+10-3ubuntu1) ... Selecting previously unselected package default-jdk. Preparing to unpack .../184-default-jdk_2%3a1.10-63ubuntu1~02_armhf.deb ... Unpacking default-jdk (2:1.10-63ubuntu1~02) ... Selecting previously unselected package libgmpxx4ldbl:armhf. Preparing to unpack .../185-libgmpxx4ldbl_2%3a6.1.2+dfsg-2_armhf.deb ... Unpacking libgmpxx4ldbl:armhf (2:6.1.2+dfsg-2) ... Selecting previously unselected package libgmp-dev:armhf. Preparing to unpack .../186-libgmp-dev_2%3a6.1.2+dfsg-2_armhf.deb ... Unpacking libgmp-dev:armhf (2:6.1.2+dfsg-2) ... Selecting previously unselected package patchutils. Preparing to unpack .../187-patchutils_0.3.4-2_armhf.deb ... Unpacking patchutils (0.3.4-2) ... Selecting previously unselected package sbuild-build-depends-cvc3-dummy. Preparing to unpack .../188-sbuild-build-depends-cvc3-dummy_0.invalid.0_armhf.deb ... Unpacking sbuild-build-depends-cvc3-dummy (0.invalid.0) ... Setting up libhtml-tagset-perl (3.20-3) ... Setting up libedit2:armhf (3.1-20170329-1) ... Setting up libglvnd0:armhf (1.0.0-2ubuntu2) ... Setting up libtry-tiny-perl (0.30-1) ... Setting up libicu60:armhf (60.2-3ubuntu3) ... Setting up libjson-glib-1.0-common (1.4.2-3) ... Setting up glib-networking-common (2.56.0-1) ... Setting up libarchive-zip-perl (1.60-1) ... Setting up mime-support (3.60ubuntu1) ... Setting up libfile-which-perl (1.21-1) ... Setting up libencode-locale-perl (1.05-1) ... Setting up libllvm6.0:armhf (1:6.0-1ubuntu2) ... Setting up libtimedate-perl (2.3000-2) ... Setting up liblcms2-2:armhf (2.9-1) ... Setting up libjbig0:armhf (2.1-3.1build1) ... Setting up libpcsclite1:armhf (1.8.23-1) ... Setting up libsigsegv2:armhf (2.12-1) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up perl-openssl-defaults:armhf (3build1) ... Setting up libelf1:armhf (0.170-0.4) ... Setting up groff-base (1.22.3-10) ... Setting up libglib2.0-0:armhf (2.56.1-2ubuntu1) ... Setting up libasound2-data (1.1.3-5) ... Setting up libxshmfence1:armhf (1.3-1) ... Setting up libio-html-perl (1.001-1) ... Setting up libwayland-client0:armhf (1.14.0-2) ... Setting up libonig4:armhf (6.7.0-1) ... Setting up xkb-data (2.23.1-1ubuntu1) ... Setting up libproxy1v5:armhf (0.4.15-1) ... Setting up java-common (0.63ubuntu1~02) ... Setting up libgdk-pixbuf2.0-common (2.36.11-2) ... Setting up glib-networking-services (2.56.0-1) ... Setting up libdatrie1:armhf (0.2.10-7) ... Setting up gettext-base (0.19.8.1-6) ... Setting up libgif7:armhf (5.1.4-2) ... Setting up libjpeg-turbo8:armhf (1.5.2-0ubuntu5) ... Setting up libpipeline1:armhf (1.5.0-1) ... Setting up libglapi-mesa:armhf (18.0.0~rc5-1ubuntu1) ... Setting up m4 (1.4.18-1) ... Setting up libbsd0:armhf (0.8.7-1) ... Setting up libkrb5support0:armhf (1.16-2build1) ... Setting up libnspr4:armhf (2:4.18-1ubuntu1) ... Setting up ucf (3.0038) ... Setting up libxml2:armhf (2.9.4+dfsg1-6.1ubuntu1) ... Setting up libfreetype6:armhf (2.8.1-2ubuntu2) ... Setting up libmagic-mgc (1:5.32-2) ... Setting up libasound2:armhf (1.1.3-5) ... Setting up libmagic1:armhf (1:5.32-2) ... Setting up libdrm-common (2.4.91-2) ... Setting up libjson-glib-1.0-0:armhf (1.4.2-3) ... Setting up libgraphite2-3:armhf (1.3.11-2) ... Setting up libcroco3:armhf (0.6.12-2) ... Setting up libjq1:armhf (1.5+dfsg-2) ... Setting up libatk1.0-data (2.28.1-1) ... Setting up libx11-xcb1:armhf (2:1.6.4-3) ... Setting up libpixman-1-0:armhf (0.34.0-2) ... Setting up liblwp-mediatypes-perl (6.02-1) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... Setting up patchutils (0.3.4-2) ... Setting up libepoxy0:armhf (1.4.3-1) ... Setting up autotools-dev (20180224.1) ... Setting up liburi-perl (1.73-1) ... Setting up libatk1.0-0:armhf (2.28.1-1) ... Processing triggers for systemd (237-3ubuntu10) ... Setting up libhtml-parser-perl (3.72-3build1) ... Setting up libbison-dev:armhf (2:3.0.4.dfsg-1build1) ... Setting up libfontenc1:armhf (1:1.1.3-1) ... Setting up libdconf1:armhf (0.26.0-2ubuntu3) ... Setting up libsensors4:armhf (1:3.4.0-4) ... Setting up shared-mime-info (1.9-2) ... Setting up libxkbcommon0:armhf (0.8.0-1) ... Setting up libnet-http-perl (6.17-1) ... Setting up libcolord2:armhf (1.3.3-2build1) ... Setting up libthai-data (0.1.27-2) ... Setting up bison (2:3.0.4.dfsg-1build1) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode Setting up libxdmcp6:armhf (1:1.1.2-3) ... Setting up libkeyutils1:armhf (1.5.9-9.2ubuntu2) ... Setting up bsdmainutils (11.1.2ubuntu1) ... 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:armhf (2:6.1.2+dfsg-2) ... Setting up x11-common (1:7.7+19ubuntu7) ... 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.01-1) ... Setting up libwayland-cursor0:armhf (1.14.0-2) ... Setting up libx11-data (2:1.6.4-3) ... Setting up libpython2.7-stdlib:armhf (2.7.15~rc1-1) ... Setting up libxau6:armhf (1:1.0.8-1) ... Setting up autopoint (0.19.8.1-6) ... Setting up libmpdec2:armhf (2.4.2-1ubuntu1) ... Setting up libdbus-1-3:armhf (1.12.2-1ubuntu1) ... Setting up libavahi-common-data:armhf (0.7-3.1ubuntu1) ... Setting up libwayland-server0:armhf (1.14.0-2) ... Setting up netbase (5.4) ... Setting up libfile-stripnondeterminism-perl (0.040-1.1~build1) ... Setting up libjpeg8:armhf (8c-2ubuntu8) ... Setting up libgmp-dev:armhf (2:6.1.2+dfsg-2) ... Setting up libpython3.6-stdlib:armhf (3.6.5-3) ... Setting up libk5crypto3:armhf (1.16-2build1) ... Setting up jq (1.5+dfsg-2) ... Setting up fontconfig-config (2.12.6-0ubuntu2) ... Setting up libhttp-date-perl (6.02-1) ... Setting up python3.6 (3.6.5-3) ... Setting up dconf-service (0.26.0-2ubuntu3) ... Setting up gettext (0.19.8.1-6) ... Setting up flex (2.6.4-6) ... Setting up libnet-ssleay-perl (1.84-1build1) ... Setting up python2.7 (2.7.15~rc1-1) ... Setting up libnss3:armhf (2:3.35-2ubuntu2) ... Setting up libharfbuzz0b:armhf (1.7.2-1ubuntu1) ... Setting up libtiff5:armhf (4.0.9-5) ... Setting up autoconf (2.69-11) ... Setting up libthai0:armhf (0.1.27-2) ... Setting up file (1:5.32-2) ... Setting up libio-socket-ssl-perl (2.056-1) ... Setting up libhtml-tree-perl (5.07-1) ... Setting up libdrm2:armhf (2.4.91-2) ... Setting up libpython-stdlib:armhf (2.7.15~rc1-1) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up libdrm-etnaviv1:armhf (2.4.91-2) ... Setting up automake (1:1.15.1-3ubuntu2) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up libice6:armhf (2:1.0.9-2) ... Setting up libfile-listing-perl (6.04-1) ... Setting up man-db (2.8.3-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libhttp-message-perl (6.14-1) ... Setting up libkrb5-3:armhf (1.16-2build1) ... Setting up libavahi-common3:armhf (0.7-3.1ubuntu1) ... Setting up libdrm-radeon1:armhf (2.4.91-2) ... Setting up libdrm-nouveau2:armhf (2.4.91-2) ... Setting up dconf-gsettings-backend:armhf (0.26.0-2ubuntu3) ... Setting up libxcb1:armhf (1.13-1) ... Setting up python (2.7.15~rc1-1) ... Setting up libhttp-negotiate-perl (6.00-2) ... Setting up libtool (2.4.6-2) ... Setting up libpython3-stdlib:armhf (3.6.5-3) ... Setting up libxcb-present0:armhf (1.13-1) ... Setting up libfontconfig1:armhf (2.12.6-0ubuntu2) ... Setting up libxcb-dri2-0:armhf (1.13-1) ... Setting up libsm6:armhf (2:1.2.2-1) ... Setting up libxcb-dri3-0:armhf (1.13-1) ... Setting up libxcb-glx0:armhf (1.13-1) ... Setting up libxcb-xfixes0:armhf (1.13-1) ... Setting up libxcb-render0:armhf (1.13-1) ... Setting up po-debconf (1.0.20) ... Setting up gsettings-desktop-schemas (3.28.0-1ubuntu1) ... Setting up python3 (3.6.5-3) ... Setting up libdrm-amdgpu1:armhf (2.4.91-2) ... Setting up libhttp-cookies-perl (6.04-1) ... Setting up libdrm-freedreno1:armhf (2.4.91-2) ... Setting up libgtk-3-common (3.22.30-1ubuntu1) ... Setting up libgbm1:armhf (18.0.0~rc5-1ubuntu1) ... Setting up python3-six (1.11.0-2) ... Setting up libx11-6:armhf (2:1.6.4-3) ... Setting up libgl1-mesa-dri:armhf (18.0.0~rc5-1ubuntu1) ... Setting up python3-pkg-resources (39.0.1-2) ... Setting up libxmuu1:armhf (2:1.1.2-2) ... Setting up libxcb-sync1:armhf (1.13-1) ... Setting up libgssapi-krb5-2:armhf (1.16-2build1) ... Setting up glib-networking:armhf (2.56.0-1) ... Setting up libxcomposite1:armhf (1:0.4.4-2) ... Setting up libxcb-shm0:armhf (1.13-1) ... Setting up libxpm4:armhf (1:3.5.12-1) ... Setting up libxt6:armhf (1:1.1.5-1) ... Setting up libxcb-shape0:armhf (1.13-1) ... Setting up libxrender1:armhf (1:0.9.10-1) ... Setting up libavahi-client3:armhf (0.7-3.1ubuntu1) ... Setting up libegl-mesa0:armhf (18.0.0~rc5-1ubuntu1) ... Setting up libxft2:armhf (2.3.2-1) ... Setting up fontconfig (2.12.6-0ubuntu2) ... Regenerating fonts cache... done. Setting up libcups2:armhf (2.2.7-1ubuntu2) ... Setting up libxdamage1:armhf (1:1.1.4-3) ... Setting up libxext6:armhf (2:1.3.3-1) ... Setting up libxfixes3:armhf (1:5.0.3-1) ... Setting up libatspi2.0-0:armhf (2.28.0-1) ... Setting up libgdk-pixbuf2.0-0:armhf (2.36.11-2) ... Setting up libsoup2.4-1:armhf (2.62.1-1) ... Setting up python3-scour (0.36-2) ... Setting up scour (0.36-2) ... Setting up libsoup-gnome2.4-1:armhf (2.62.1-1) ... Setting up libxtst6:armhf (2:1.2.3-1) ... Setting up libxmu6:armhf (2:1.1.2-2) ... Setting up libegl1:armhf (1.0.0-2ubuntu2) ... Setting up gtk-update-icon-cache (3.22.30-1ubuntu1) ... Setting up libxcursor1:armhf (1:1.1.15-1) ... Setting up libxxf86dga1:armhf (2:1.1.4-1) ... Setting up libpango-1.0-0:armhf (1.40.14-1) ... Setting up libwayland-egl1-mesa:armhf (18.0.0~rc5-1ubuntu1) ... Setting up libatk-bridge2.0-0:armhf (2.26.2-1) ... Setting up libxv1:armhf (2:1.0.11-1) ... Setting up librest-0.7-0:armhf (0.8.0-2) ... Setting up libxxf86vm1:armhf (1:1.1.4-1) ... Setting up libxrandr2:armhf (2:1.5.1-1) ... Setting up libglx-mesa0:armhf (18.0.0~rc5-1ubuntu1) ... Setting up libxi6:armhf (2:1.7.9-1) ... Setting up libxaw7:armhf (2:1.0.13-1) ... Setting up libcairo2:armhf (1.15.10-2) ... Setting up libxinerama1:armhf (2:1.1.3-1) ... Setting up libcairo-gobject2:armhf (1.15.10-2) ... Setting up libpangoft2-1.0-0:armhf (1.40.14-1) ... Setting up libglx0:armhf (1.0.0-2ubuntu2) ... Setting up libpangocairo-1.0-0:armhf (1.40.14-1) ... Setting up libgl1:armhf (1.0.0-2ubuntu2) ... Setting up librsvg2-2:armhf (2.40.20-2) ... Setting up x11-utils (7.7+3build1) ... Setting up librsvg2-common:armhf (2.40.20-2) ... Setting up libgl1-mesa-glx:armhf (18.0.0~rc5-1ubuntu1) ... Setting up libatk-wrapper-java (0.33.3-20ubuntu0.1) ... Setting up libatk-wrapper-java-jni:armhf (0.33.3-20ubuntu0.1) ... Setting up adwaita-icon-theme (3.28.0-1ubuntu1) ... 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 (17) ... Setting up liblwp-protocol-https-perl (6.07-2) ... Setting up openjdk-11-jre-headless:armhf (10.0.1+10-3ubuntu1) ... update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/rmid to provide /usr/bin/rmid (rmid) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/java to provide /usr/bin/java (java) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/keytool to provide /usr/bin/keytool (keytool) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jjs to provide /usr/bin/jjs (jjs) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/pack200 to provide /usr/bin/pack200 (pack200) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/rmiregistry to provide /usr/bin/rmiregistry (rmiregistry) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/unpack200 to provide /usr/bin/unpack200 (unpack200) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/orbd to provide /usr/bin/orbd (orbd) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/servertool to provide /usr/bin/servertool (servertool) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/tnameserv to provide /usr/bin/tnameserv (tnameserv) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/lib/jexec to provide /usr/bin/jexec (jexec) in auto mode Setting up openjdk-11-jdk-headless:armhf (10.0.1+10-3ubuntu1) ... update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jlink to provide /usr/bin/jlink (jlink) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/idlj to provide /usr/bin/idlj (idlj) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jdeps to provide /usr/bin/jdeps (jdeps) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/wsimport to provide /usr/bin/wsimport (wsimport) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/rmic to provide /usr/bin/rmic (rmic) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jinfo to provide /usr/bin/jinfo (jinfo) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jstat to provide /usr/bin/jstat (jstat) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/javadoc to provide /usr/bin/javadoc (javadoc) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jmod to provide /usr/bin/jmod (jmod) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jhsdb to provide /usr/bin/jhsdb (jhsdb) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jps to provide /usr/bin/jps (jps) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jstack to provide /usr/bin/jstack (jstack) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jrunscript to provide /usr/bin/jrunscript (jrunscript) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/javac to provide /usr/bin/javac (javac) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/javap to provide /usr/bin/javap (javap) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jar to provide /usr/bin/jar (jar) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/schemagen to provide /usr/bin/schemagen (schemagen) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jshell to provide /usr/bin/jshell (jshell) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/xjc to provide /usr/bin/xjc (xjc) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jarsigner to provide /usr/bin/jarsigner (jarsigner) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jmap to provide /usr/bin/jmap (jmap) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jdeprscan to provide /usr/bin/jdeprscan (jdeprscan) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jimage to provide /usr/bin/jimage (jimage) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jstatd to provide /usr/bin/jstatd (jstatd) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jdb to provide /usr/bin/jdb (jdb) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/serialver to provide /usr/bin/serialver (serialver) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/wsgen to provide /usr/bin/wsgen (wsgen) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jcmd to provide /usr/bin/jcmd (jcmd) in auto mode Setting up humanity-icon-theme (0.6.15) ... Setting up libgtk-3-0:armhf (3.22.30-1ubuntu1) ... Setting up dh-strip-nondeterminism (0.040-1.1~build1) ... Setting up default-jre-headless (2:1.10-63ubuntu1~02) ... Setting up default-jdk-headless (2:1.10-63ubuntu1~02) ... Setting up libwww-perl (6.31-1) ... Setting up openjdk-11-jre:armhf (10.0.1+10-3ubuntu1) ... Setting up debhelper (11.1.6ubuntu1) ... Setting up ca-certificates-java (20170930ubuntu1) ... Adding debian:Certum_Trusted_Network_CA.pem Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2011.pem Adding debian:DigiCert_High_Assurance_EV_Root_CA.pem Adding debian:QuoVadis_Root_CA_3_G3.pem Adding debian:ePKI_Root_Certification_Authority.pem Adding debian:DigiCert_Assured_ID_Root_G3.pem Adding debian:SSL.com_Root_Certification_Authority_RSA.pem Adding debian:TrustCor_RootCert_CA-2.pem Adding debian:QuoVadis_Root_CA.pem Adding debian:USERTrust_ECC_Certification_Authority.pem Adding debian:QuoVadis_Root_CA_2.pem Adding debian:GlobalSign_Root_CA_-_R2.pem Adding debian:Deutsche_Telekom_Root_CA_2.pem Adding debian:OpenTrust_Root_CA_G2.pem Adding debian:thawte_Primary_Root_CA_-_G3.pem Adding debian:OpenTrust_Root_CA_G3.pem Adding debian:Hongkong_Post_Root_CA_1.pem Adding debian:Certplus_Root_CA_G1.pem Adding debian:IdenTrust_Public_Sector_Root_CA_1.pem Adding debian:Amazon_Root_CA_4.pem Adding debian:Starfield_Services_Root_Certificate_Authority_-_G2.pem Adding debian:Izenpe.com.pem Adding debian:OISTE_WISeKey_Global_Root_GA_CA.pem Adding debian:Trustis_FPS_Root_CA.pem Adding debian:XRamp_Global_CA_Root.pem Adding debian:DigiCert_Assured_ID_Root_G2.pem Adding debian:DST_Root_CA_X3.pem Adding debian:Entrust.net_Premium_2048_Secure_Server_CA.pem Adding debian:Certplus_Class_2_Primary_CA.pem Adding debian:Buypass_Class_2_Root_CA.pem Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G4.pem Adding debian:GlobalSign_Root_CA_-_R3.pem Adding debian:GeoTrust_Primary_Certification_Authority_-_G3.pem Adding debian:ACCVRAIZ1.pem Adding debian:EC-ACC.pem Adding debian:Security_Communication_RootCA2.pem Adding debian:Amazon_Root_CA_2.pem Adding debian:Hellenic_Academic_and_Research_Institutions_ECC_RootCA_2015.pem Adding debian:Amazon_Root_CA_3.pem Adding debian:Sonera_Class_2_Root_CA.pem Adding debian:Starfield_Class_2_CA.pem Adding debian:Global_Chambersign_Root_-_2008.pem Adding debian:SSL.com_EV_Root_Certification_Authority_RSA_R2.pem Adding debian:Certplus_Root_CA_G2.pem Adding debian:Starfield_Root_Certificate_Authority_-_G2.pem Adding debian:Autoridad_de_Certificacion_Firmaprofesional_CIF_A62634068.pem Adding debian:GlobalSign_ECC_Root_CA_-_R5.pem Adding debian:Buypass_Class_3_Root_CA.pem Adding debian:Go_Daddy_Class_2_CA.pem Adding debian:Secure_Global_CA.pem Adding debian:IdenTrust_Commercial_Root_CA_1.pem Adding debian:Staat_der_Nederlanden_EV_Root_CA.pem Adding debian:Entrust_Root_Certification_Authority_-_EC1.pem Adding debian:Network_Solutions_Certificate_Authority.pem Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2015.pem Adding debian:QuoVadis_Root_CA_2_G3.pem Adding debian:Certigna.pem Adding debian:Actalis_Authentication_Root_CA.pem Adding debian:Visa_eCommerce_Root.pem Adding debian:Staat_der_Nederlanden_Root_CA_-_G2.pem Adding debian:OpenTrust_Root_CA_G1.pem Adding debian:COMODO_Certification_Authority.pem Adding debian:ISRG_Root_X1.pem Adding debian:TWCA_Global_Root_CA.pem Adding debian:T-TeleSec_GlobalRoot_Class_2.pem Adding debian:AddTrust_External_Root.pem Adding debian:D-TRUST_Root_Class_3_CA_2_2009.pem Adding debian:certSIGN_ROOT_CA.pem Adding debian:Security_Communication_Root_CA.pem Adding debian:OISTE_WISeKey_Global_Root_GB_CA.pem Adding debian:QuoVadis_Root_CA_1_G3.pem Adding debian:AffirmTrust_Premium.pem Adding debian:TWCA_Root_Certification_Authority.pem Adding debian:TUBITAK_Kamu_SM_SSL_Kok_Sertifikasi_-_Surum_1.pem Adding debian:GlobalSign_Root_CA.pem Adding debian:NetLock_Arany_=Class_Gold=_Főtanúsítvány.pem Adding debian:Staat_der_Nederlanden_Root_CA_-_G3.pem Adding debian:QuoVadis_Root_CA_3.pem Adding debian:DigiCert_Assured_ID_Root_CA.pem Adding debian:TeliaSonera_Root_CA_v1.pem Adding debian:DigiCert_Global_Root_G2.pem Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G5.pem Adding debian:SZAFIR_ROOT_CA2.pem Adding debian:Microsec_e-Szigno_Root_CA_2009.pem Adding debian:DigiCert_Global_Root_G3.pem Adding debian:TÜRKTRUST_Elektronik_Sertifika_Hizmet_Sağlayıcısı_H5.pem Adding debian:Baltimore_CyberTrust_Root.pem Adding debian:GeoTrust_Global_CA.pem Adding debian:AffirmTrust_Networking.pem Adding debian:USERTrust_RSA_Certification_Authority.pem Adding debian:SecureTrust_CA.pem Adding debian:VeriSign_Universal_Root_Certification_Authority.pem Adding debian:EE_Certification_Centre_Root_CA.pem Adding debian:GeoTrust_Primary_Certification_Authority_-_G2.pem Adding debian:Certum_Trusted_Network_CA_2.pem Adding debian:Comodo_AAA_Services_root.pem Adding debian:SwissSign_Silver_CA_-_G2.pem Adding debian:SSL.com_EV_Root_Certification_Authority_ECC.pem Adding debian:LuxTrust_Global_Root_2.pem Adding debian:T-TeleSec_GlobalRoot_Class_3.pem Adding debian:GeoTrust_Universal_CA.pem Adding debian:SecureSign_RootCA11.pem Adding debian:thawte_Primary_Root_CA_-_G2.pem Adding debian:Chambers_of_Commerce_Root_-_2008.pem Adding debian:GeoTrust_Universal_CA_2.pem Adding debian:Cybertrust_Global_Root.pem Adding debian:Entrust_Root_Certification_Authority_-_G2.pem Adding debian:COMODO_RSA_Certification_Authority.pem Adding debian:Atos_TrustedRoot_2011.pem Adding debian:Go_Daddy_Root_Certificate_Authority_-_G2.pem Adding debian:GlobalSign_ECC_Root_CA_-_R4.pem Adding debian:CFCA_EV_ROOT.pem Adding debian:SwissSign_Gold_CA_-_G2.pem Adding debian:thawte_Primary_Root_CA.pem Adding debian:E-Tugra_Certification_Authority.pem Adding debian:DigiCert_Global_Root_CA.pem Adding debian:COMODO_ECC_Certification_Authority.pem Adding debian:Amazon_Root_CA_1.pem Adding debian:AC_RAIZ_FNMT-RCM.pem Adding debian:Certinomis_-_Root_CA.pem Adding debian:Verisign_Class_3_Public_Primary_Certification_Authority_-_G3.pem Adding debian:DigiCert_Trusted_Root_G4.pem Adding debian:GeoTrust_Primary_Certification_Authority.pem Adding debian:AffirmTrust_Premium_ECC.pem Adding debian:AffirmTrust_Commercial.pem Adding debian:TrustCor_RootCert_CA-1.pem Adding debian:GDCA_TrustAUTH_R5_ROOT.pem Adding debian:CA_Disig_Root_R2.pem Adding debian:SSL.com_Root_Certification_Authority_ECC.pem Adding debian:Entrust_Root_Certification_Authority.pem Adding debian:D-TRUST_Root_Class_3_CA_2_EV_2009.pem Adding debian:TrustCor_ECA-1.pem Adding debian:Taiwan_GRCA.pem done. Setting up ubuntu-mono (16.10+18.04.20180421.1-0ubuntu1) ... Setting up default-jre (2:1.10-63ubuntu1~02) ... Setting up libxml-parser-perl (2.44-2build3) ... Setting up openjdk-11-jdk:armhf (10.0.1+10-3ubuntu1) ... update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/appletviewer to provide /usr/bin/appletviewer (appletviewer) in auto mode update-alternatives: using /usr/lib/jvm/java-11-openjdk-armhf/bin/jconsole to provide /usr/bin/jconsole (jconsole) in auto mode Setting up default-jdk (2:1.10-63ubuntu1~02) ... Setting up intltool (0.51.0-5ubuntu1) ... Setting up dh-translations (138) ... Setting up cdbs (0.4.156ubuntu4) ... Setting up sbuild-build-depends-cvc3-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... Processing triggers for systemd (237-3ubuntu10) ... Processing triggers for libgdk-pixbuf2.0-0:armhf (2.36.11-2) ... 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-121-generic arm64 (armv7l) Toolchain package versions: binutils_2.30-15ubuntu1 dpkg-dev_1.19.0.5ubuntu2 g++-7_7.3.0-16ubuntu3 g++-8_8-20180425-1ubuntu1 gcc-7_7.3.0-16ubuntu3 gcc-8_8-20180425-1ubuntu1 libc6-dev_2.27-3ubuntu1 libstdc++-7-dev_7.3.0-16ubuntu3 libstdc++-8-dev_8-20180425-1ubuntu1 libstdc++6_8-20180425-1ubuntu1 linux-libc-dev_4.15.0-20.21 Package versions: adduser_3.116ubuntu1 advancecomp_2.1-1 adwaita-icon-theme_3.28.0-1ubuntu1 apt_1.6.1 autoconf_2.69-11 automake_1:1.15.1-3ubuntu2 autopoint_0.19.8.1-6 autotools-dev_20180224.1 base-files_10.1ubuntu2 base-passwd_3.5.44 bash_4.4.18-2ubuntu1 binutils_2.30-15ubuntu1 binutils-arm-linux-gnueabihf_2.30-15ubuntu1 binutils-common_2.30-15ubuntu1 bison_2:3.0.4.dfsg-1build1 bsdmainutils_11.1.2ubuntu1 bsdutils_1:2.31.1-0.4ubuntu3 build-essential_12.4ubuntu1 bzip2_1.0.6-8.1 ca-certificates_20180409 ca-certificates-java_20170930ubuntu1 cdbs_0.4.156ubuntu4 coreutils_8.28-1ubuntu1 cpp_4:8-20180321-2ubuntu0.1 cpp-7_7.3.0-16ubuntu3 cpp-8_8-20180425-1ubuntu1 dash_0.5.8-2.10 dconf-gsettings-backend_0.26.0-2ubuntu3 dconf-service_0.26.0-2ubuntu3 debconf_1.5.66 debhelper_11.1.6ubuntu1 debianutils_4.8.4 default-jdk_2:1.10-63ubuntu1~02 default-jdk-headless_2:1.10-63ubuntu1~02 default-jre_2:1.10-63ubuntu1~02 default-jre-headless_2:1.10-63ubuntu1~02 dh-autoreconf_17 dh-strip-nondeterminism_0.040-1.1~build1 dh-translations_138 diffutils_1:3.6-1 dmsetup_2:1.02.145-4.1ubuntu3 dpkg_1.19.0.5ubuntu2 dpkg-dev_1.19.0.5ubuntu2 e2fslibs_1.44.1-1 e2fsprogs_1.44.1-1 fakeroot_1.22-2ubuntu1 fdisk_2.31.1-0.4ubuntu3 file_1:5.32-2 findutils_4.6.0+git+20170828-2 flex_2.6.4-6 fontconfig_2.12.6-0ubuntu2 fontconfig-config_2.12.6-0ubuntu2 fonts-dejavu-core_2.37-1 g++_4:8-20180321-2ubuntu0.1 g++-7_7.3.0-16ubuntu3 g++-8_8-20180425-1ubuntu1 gcc_4:8-20180321-2ubuntu0.1 gcc-7_7.3.0-16ubuntu3 gcc-7-base_7.3.0-16ubuntu3 gcc-8_8-20180425-1ubuntu1 gcc-8-base_8-20180425-1ubuntu1 gettext_0.19.8.1-6 gettext-base_0.19.8.1-6 glib-networking_2.56.0-1 glib-networking-common_2.56.0-1 glib-networking-services_2.56.0-1 gpg_2.2.4-1ubuntu1 gpg-agent_2.2.4-1ubuntu1 gpgconf_2.2.4-1ubuntu1 gpgv_2.2.4-1ubuntu1 grep_3.1-2 groff-base_1.22.3-10 gsettings-desktop-schemas_3.28.0-1ubuntu1 gtk-update-icon-cache_3.22.30-1ubuntu1 gzip_1.6-5ubuntu1 hicolor-icon-theme_0.17-2 hostname_3.20 humanity-icon-theme_0.6.15 init_1.51 init-system-helpers_1.51 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.63ubuntu1~02 jq_1.5+dfsg-2 libacl1_2.2.52-3build1 libapparmor1_2.12-4ubuntu5 libapt-pkg5.0_1.6.1 libarchive-zip-perl_1.60-1 libargon2-0_0~20161029-1.1 libasan4_7.3.0-16ubuntu3 libasan5_8-20180425-1ubuntu1 libasound2_1.1.3-5 libasound2-data_1.1.3-5 libassuan0_2.5.1-2 libatk-bridge2.0-0_2.26.2-1 libatk-wrapper-java_0.33.3-20ubuntu0.1 libatk-wrapper-java-jni_0.33.3-20ubuntu0.1 libatk1.0-0_2.28.1-1 libatk1.0-data_2.28.1-1 libatomic1_8-20180425-1ubuntu1 libatspi2.0-0_2.28.0-1 libattr1_1:2.4.47-2build1 libaudit-common_1:2.8.2-1ubuntu1 libaudit1_1:2.8.2-1ubuntu1 libavahi-client3_0.7-3.1ubuntu1 libavahi-common-data_0.7-3.1ubuntu1 libavahi-common3_0.7-3.1ubuntu1 libbinutils_2.30-15ubuntu1 libbison-dev_2:3.0.4.dfsg-1build1 libblkid1_2.31.1-0.4ubuntu3 libbsd0_0.8.7-1 libbz2-1.0_1.0.6-8.1 libc-bin_2.27-3ubuntu1 libc-dev-bin_2.27-3ubuntu1 libc6_2.27-3ubuntu1 libc6-dev_2.27-3ubuntu1 libcairo-gobject2_1.15.10-2 libcairo2_1.15.10-2 libcap-ng0_0.7.7-3.1 libcap2_1:2.25-1.2 libcc1-0_8-20180425-1ubuntu1 libcilkrts5_7.3.0-16ubuntu3 libcolord2_1.3.3-2build1 libcom-err2_1.44.1-1 libcomerr2_1.44.1-1 libcroco3_0.6.12-2 libcryptsetup12_2:2.0.2-1ubuntu1 libcups2_2.2.7-1ubuntu2 libdatrie1_0.2.10-7 libdb5.3_5.3.28-13.1ubuntu1 libdbus-1-3_1.12.2-1ubuntu1 libdconf1_0.26.0-2ubuntu3 libdebconfclient0_0.213ubuntu1 libdevmapper1.02.1_2:1.02.145-4.1ubuntu3 libdpkg-perl_1.19.0.5ubuntu2 libdrm-amdgpu1_2.4.91-2 libdrm-common_2.4.91-2 libdrm-etnaviv1_2.4.91-2 libdrm-freedreno1_2.4.91-2 libdrm-nouveau2_2.4.91-2 libdrm-radeon1_2.4.91-2 libdrm2_2.4.91-2 libedit2_3.1-20170329-1 libegl-mesa0_18.0.0~rc5-1ubuntu1 libegl1_1.0.0-2ubuntu2 libelf1_0.170-0.4 libencode-locale-perl_1.05-1 libepoxy0_1.4.3-1 libexpat1_2.2.5-3 libext2fs2_1.44.1-1 libfakeroot_1.22-2ubuntu1 libfdisk1_2.31.1-0.4ubuntu3 libffi6_3.2.1-8 libfile-listing-perl_6.04-1 libfile-stripnondeterminism-perl_0.040-1.1~build1 libfile-which-perl_1.21-1 libfontconfig1_2.12.6-0ubuntu2 libfontenc1_1:1.1.3-1 libfreetype6_2.8.1-2ubuntu2 libgbm1_18.0.0~rc5-1ubuntu1 libgcc-7-dev_7.3.0-16ubuntu3 libgcc-8-dev_8-20180425-1ubuntu1 libgcc1_1:8-20180425-1ubuntu1 libgcrypt20_1.8.1-4ubuntu1 libgdbm-compat4_1.14.1-6 libgdbm5_1.14.1-6 libgdk-pixbuf2.0-0_2.36.11-2 libgdk-pixbuf2.0-common_2.36.11-2 libgif7_5.1.4-2 libgl1_1.0.0-2ubuntu2 libgl1-mesa-dri_18.0.0~rc5-1ubuntu1 libgl1-mesa-glx_18.0.0~rc5-1ubuntu1 libglapi-mesa_18.0.0~rc5-1ubuntu1 libglib2.0-0_2.56.1-2ubuntu1 libglvnd0_1.0.0-2ubuntu2 libglx-mesa0_18.0.0~rc5-1ubuntu1 libglx0_1.0.0-2ubuntu2 libgmp-dev_2:6.1.2+dfsg-2 libgmp10_2:6.1.2+dfsg-2 libgmpxx4ldbl_2:6.1.2+dfsg-2 libgnutls30_3.5.18-1ubuntu1 libgomp1_8-20180425-1ubuntu1 libgpg-error0_1.27-6 libgraphite2-3_1.3.11-2 libgssapi-krb5-2_1.16-2build1 libgtk-3-0_3.22.30-1ubuntu1 libgtk-3-common_3.22.30-1ubuntu1 libharfbuzz0b_1.7.2-1ubuntu1 libhogweed4_3.4-1 libhtml-parser-perl_3.72-3build1 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.14-1 libhttp-negotiate-perl_6.00-2 libice6_2:1.0.9-2 libicu60_60.2-3ubuntu3 libidn11_1.33-2.1ubuntu1 libidn2-0_2.0.4-1.1build2 libio-html-perl_1.001-1 libio-socket-ssl-perl_2.056-1 libip4tc0_1.6.1-2ubuntu2 libisl19_0.19-1 libjbig0_2.1-3.1build1 libjpeg-turbo8_1.5.2-0ubuntu5 libjpeg8_8c-2ubuntu8 libjq1_1.5+dfsg-2 libjson-c3_0.12.1-1.3 libjson-glib-1.0-0_1.4.2-3 libjson-glib-1.0-common_1.4.2-3 libk5crypto3_1.16-2build1 libkeyutils1_1.5.9-9.2ubuntu2 libkmod2_24-1ubuntu3 libkrb5-3_1.16-2build1 libkrb5support0_1.16-2build1 liblcms2-2_2.9-1 libllvm6.0_1:6.0-1ubuntu2 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_0.0~r131-2ubuntu3 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.32-2 libmagic1_1:5.32-2 libmount1_2.31.1-0.4ubuntu3 libmpc3_1.1.0-1 libmpdec2_2.4.2-1ubuntu1 libmpfr6_4.0.1-1 libncurses5_6.1-1ubuntu1 libncursesw5_6.1-1ubuntu1 libnet-http-perl_6.17-1 libnet-ssleay-perl_1.84-1build1 libnettle6_3.4-1 libnpth0_1.5-3 libnspr4_2:4.18-1ubuntu1 libnss3_2:3.35-2ubuntu2 libonig4_6.7.0-1 libp11-kit0_0.23.9-2 libpam-modules_1.1.8-3.6ubuntu2 libpam-modules-bin_1.1.8-3.6ubuntu2 libpam-runtime_1.1.8-3.6ubuntu2 libpam0g_1.1.8-3.6ubuntu2 libpango-1.0-0_1.40.14-1 libpangocairo-1.0-0_1.40.14-1 libpangoft2-1.0-0_1.40.14-1 libpcre3_2:8.39-9 libpcsclite1_1.8.23-1 libperl5.26_5.26.1-6 libpipeline1_1.5.0-1 libpixman-1-0_0.34.0-2 libpng16-16_1.6.34-1 libprocps6_2:3.3.12-3ubuntu1 libproxy1v5_0.4.15-1 libpython-stdlib_2.7.15~rc1-1 libpython2.7-minimal_2.7.15~rc1-1 libpython2.7-stdlib_2.7.15~rc1-1 libpython3-stdlib_3.6.5-3 libpython3.6-minimal_3.6.5-3 libpython3.6-stdlib_3.6.5-3 libreadline7_7.0-3 librest-0.7-0_0.8.0-2 librsvg2-2_2.40.20-2 librsvg2-common_2.40.20-2 libseccomp2_2.3.1-2.1ubuntu4 libselinux1_2.7-2build2 libsemanage-common_2.7-2build2 libsemanage1_2.7-2build2 libsensors4_1:3.4.0-4 libsepol1_2.7-1 libsigsegv2_2.12-1 libslang2_2.3.1a-3ubuntu1 libsm6_2:1.2.2-1 libsmartcols1_2.31.1-0.4ubuntu3 libsoup-gnome2.4-1_2.62.1-1 libsoup2.4-1_2.62.1-1 libsqlite3-0_3.22.0-1 libss2_1.44.1-1 libssl1.1_1.1.0g-2ubuntu4 libstdc++-7-dev_7.3.0-16ubuntu3 libstdc++-8-dev_8-20180425-1ubuntu1 libstdc++6_8-20180425-1ubuntu1 libsystemd0_237-3ubuntu10 libtasn1-6_4.13-2 libthai-data_0.1.27-2 libthai0_0.1.27-2 libtiff5_4.0.9-5 libtimedate-perl_2.3000-2 libtinfo5_6.1-1ubuntu1 libtool_2.4.6-2 libtry-tiny-perl_0.30-1 libubsan0_7.3.0-16ubuntu3 libubsan1_8-20180425-1ubuntu1 libudev1_237-3ubuntu10 libunistring2_0.9.9-0ubuntu1 liburi-perl_1.73-1 libusb-0.1-4_2:0.1.12-31 libuuid1_2.31.1-0.4ubuntu3 libwayland-client0_1.14.0-2 libwayland-cursor0_1.14.0-2 libwayland-egl1-mesa_18.0.0~rc5-1ubuntu1 libwayland-server0_1.14.0-2 libwww-perl_6.31-1 libwww-robotrules-perl_6.01-1 libx11-6_2:1.6.4-3 libx11-data_2:1.6.4-3 libx11-xcb1_2:1.6.4-3 libxau6_1:1.0.8-1 libxaw7_2:1.0.13-1 libxcb-dri2-0_1.13-1 libxcb-dri3-0_1.13-1 libxcb-glx0_1.13-1 libxcb-present0_1.13-1 libxcb-render0_1.13-1 libxcb-shape0_1.13-1 libxcb-shm0_1.13-1 libxcb-sync1_1.13-1 libxcb-xfixes0_1.13-1 libxcb1_1.13-1 libxcomposite1_1:0.4.4-2 libxcursor1_1:1.1.15-1 libxdamage1_1:1.1.4-3 libxdmcp6_1:1.1.2-3 libxext6_2:1.3.3-1 libxfixes3_1:5.0.3-1 libxft2_2.3.2-1 libxi6_2:1.7.9-1 libxinerama1_2:1.1.3-1 libxkbcommon0_0.8.0-1 libxml-parser-perl_2.44-2build3 libxml2_2.9.4+dfsg1-6.1ubuntu1 libxmu6_2:1.1.2-2 libxmuu1_2:1.1.2-2 libxpm4_1:3.5.12-1 libxrandr2_2:1.5.1-1 libxrender1_1:0.9.10-1 libxshmfence1_1.3-1 libxt6_1:1.1.5-1 libxtst6_2:1.2.3-1 libxv1_2:1.0.11-1 libxxf86dga1_2:1.1.4-1 libxxf86vm1_1:1.1.4-1 libzstd1_1.3.3+dfsg-2ubuntu1 linux-libc-dev_4.15.0-20.21 lockfile-progs_0.1.17build1 login_1:4.5-1ubuntu1 lsb-base_9.20170808ubuntu1 m4_1.4.18-1 make_4.1-9.1ubuntu1 man-db_2.8.3-2 mawk_1.3.3-17ubuntu3 mime-support_3.60ubuntu1 mount_2.31.1-0.4ubuntu3 multiarch-support_2.27-3ubuntu1 ncurses-base_6.1-1ubuntu1 ncurses-bin_6.1-1ubuntu1 netbase_5.4 openjdk-11-jdk_10.0.1+10-3ubuntu1 openjdk-11-jdk-headless_10.0.1+10-3ubuntu1 openjdk-11-jre_10.0.1+10-3ubuntu1 openjdk-11-jre-headless_10.0.1+10-3ubuntu1 openssl_1.1.0g-2ubuntu4 optipng_0.7.6-1.1 passwd_1:4.5-1ubuntu1 patch_2.7.6-2ubuntu1 patchutils_0.3.4-2 perl_5.26.1-6 perl-base_5.26.1-6 perl-modules-5.26_5.26.1-6 perl-openssl-defaults_3build1 pinentry-curses_1.1.0-1 pkgbinarymangler_138 po-debconf_1.0.20 policyrcd-script-zg2_0.1-3 procps_2:3.3.12-3ubuntu1 python_2.7.15~rc1-1 python-minimal_2.7.15~rc1-1 python2.7_2.7.15~rc1-1 python2.7-minimal_2.7.15~rc1-1 python3_3.6.5-3 python3-minimal_3.6.5-3 python3-pkg-resources_39.0.1-2 python3-scour_0.36-2 python3-six_1.11.0-2 python3.6_3.6.5-3 python3.6-minimal_3.6.5-3 readline-common_7.0-3 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-cvc3-dummy_0.invalid.0 scour_0.36-2 sed_4.4-2 sensible-utils_0.0.12 shared-mime-info_1.9-2 systemd_237-3ubuntu10 systemd-sysv_237-3ubuntu10 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.10ubuntu1 tar_1.29b-2 tzdata_2018d-1 ubuntu-keyring_2018.02.28 ubuntu-mono_16.10+18.04.20180421.1-0ubuntu1 ucf_3.0038 util-linux_2.31.1-0.4ubuntu3 x11-common_1:7.7+19ubuntu7 x11-utils_7.7+3build1 xkb-data_2.23.1-1ubuntu1 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: 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-14651601 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-14651601 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-14651601 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 cvc3-2.4.1 dpkg-buildpackage: info: host architecture armhf 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... armv7l-unknown-linux-gnueabihf checking host system type... armv7l-unknown-linux-gnueabihf 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 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: armv7l-linux-gnueabihf 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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/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/armv7l-linux-gnueabihf/Makefile.tmp rm -f /<>/testc/obj/armv7l-linux-gnueabihf/main.o make[2]: Leaving directory '/<>/testc' rm -rf /<>/testc/bin /<>/testc/obj mv: cannot stat '/<>/bin/CVS': No such file or directory Makefile:153: recipe for target 'distclean' failed make[1]: [distclean] Error 1 (ignored) mv: cannot stat '/<>/bin/.cvsignore': No such file or directory Makefile:153: recipe for target 'distclean' failed make[1]: [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 /usr/share/cdbs/1/class/autotools.mk:64: recipe for target 'makefile-clean' failed make: [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=arm-linux-gnueabihf --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... arm-unknown-linux-gnueabihf checking host system type... arm-unknown-linux-gnueabihf 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 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: arm-linux-gnueabihf 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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/rational-gmp.o' ar ruvs '/<>/lib/arm-linux-gnueabihf/libcvc_util.a' /<>/obj/util/arm-linux-gnueabihf/debug.o /<>/obj/util/arm-linux-gnueabihf/statistics.o /<>/obj/util/arm-linux-gnueabihf/rational.o /<>/obj/util/arm-linux-gnueabihf/rational-native.o /<>/obj/util/arm-linux-gnueabihf/rational-gmp.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libcvc_util.a a - /<>/obj/util/arm-linux-gnueabihf/debug.o a - /<>/obj/util/arm-linux-gnueabihf/statistics.o a - /<>/obj/util/arm-linux-gnueabihf/rational.o a - /<>/obj/util/arm-linux-gnueabihf/rational-native.o a - /<>/obj/util/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/cdflags.o' ar ruvs '/<>/lib/arm-linux-gnueabihf/libcontext.a' /<>/obj/context/arm-linux-gnueabihf/context.o /<>/obj/context/arm-linux-gnueabihf/cdflags.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libcontext.a a - /<>/obj/context/arm-linux-gnueabihf/context.o a - /<>/obj/context/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/expr_op.o' ar ruvs '/<>/lib/arm-linux-gnueabihf/libexpr.a' /<>/obj/expr/arm-linux-gnueabihf/expr.o /<>/obj/expr/arm-linux-gnueabihf/expr_manager.o /<>/obj/expr/arm-linux-gnueabihf/expr_stream.o /<>/obj/expr/arm-linux-gnueabihf/expr_value.o /<>/obj/expr/arm-linux-gnueabihf/expr_op.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libexpr.a a - /<>/obj/expr/arm-linux-gnueabihf/expr.o a - /<>/obj/expr/arm-linux-gnueabihf/expr_manager.o a - /<>/obj/expr/arm-linux-gnueabihf/expr_stream.o a - /<>/obj/expr/arm-linux-gnueabihf/expr_value.o a - /<>/obj/expr/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/libtheorem.a' /<>/obj/theorem/arm-linux-gnueabihf/assumptions.o /<>/obj/theorem/arm-linux-gnueabihf/theorem.o /<>/obj/theorem/arm-linux-gnueabihf/theorem_manager.o /<>/obj/theorem/arm-linux-gnueabihf/theorem_producer.o /<>/obj/theorem/arm-linux-gnueabihf/common_theorem_producer.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libtheorem.a a - /<>/obj/theorem/arm-linux-gnueabihf/assumptions.o a - /<>/obj/theorem/arm-linux-gnueabihf/theorem.o a - /<>/obj/theorem/arm-linux-gnueabihf/theorem_manager.o a - /<>/obj/theorem/arm-linux-gnueabihf/theorem_producer.o a - /<>/obj/theorem/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/minisat_solver.o' In file included from /usr/include/c++/8/vector:69, from /<>/src/include/debug.h:28, from minisat_global.h:47, from minisat_types.h:46, from minisat_solver.h:43, from minisat_solver.cpp:40: /usr/include/c++/8/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_fill_insert(std::vector<_Tp, _Alloc>::iterator, std::vector<_Tp, _Alloc>::size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator]’: /usr/include/c++/8/bits/vector.tcc:478:5: note: parameter passing for argument of type ‘std::vector::iterator’ {aka ‘__gnu_cxx::__normal_iterator >’} changed in GCC 7.1 vector<_Tp, _Alloc>:: ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/8/vector:64, from /<>/src/include/debug.h:28, from minisat_global.h:47, from minisat_types.h:46, from minisat_solver.h:43, from minisat_solver.cpp:40: /usr/include/c++/8/bits/stl_vector.h: In member function ‘void MiniSat::Solver::registerVar(MiniSat::Var)’: /usr/include/c++/8/bits/stl_vector.h:867:4: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 _M_fill_insert(end(), __new_size - size(), __x); ^~~~~~~~~~~~~~ ar ruvs '/<>/lib/arm-linux-gnueabihf/libsat.a' /<>/obj/sat/arm-linux-gnueabihf/cnf.o /<>/obj/sat/arm-linux-gnueabihf/cnf_manager.o /<>/obj/sat/arm-linux-gnueabihf/cnf_theorem_producer.o /<>/obj/sat/arm-linux-gnueabihf/dpllt_basic.o /<>/obj/sat/arm-linux-gnueabihf/sat_api.o /<>/obj/sat/arm-linux-gnueabihf/dpllt_minisat.o /<>/obj/sat/arm-linux-gnueabihf/minisat_types.o /<>/obj/sat/arm-linux-gnueabihf/minisat_derivation.o /<>/obj/sat/arm-linux-gnueabihf/minisat_solver.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libsat.a a - /<>/obj/sat/arm-linux-gnueabihf/cnf.o a - /<>/obj/sat/arm-linux-gnueabihf/cnf_manager.o a - /<>/obj/sat/arm-linux-gnueabihf/cnf_theorem_producer.o a - /<>/obj/sat/arm-linux-gnueabihf/dpllt_basic.o a - /<>/obj/sat/arm-linux-gnueabihf/sat_api.o a - /<>/obj/sat/arm-linux-gnueabihf/dpllt_minisat.o a - /<>/obj/sat/arm-linux-gnueabihf/minisat_types.o a - /<>/obj/sat/arm-linux-gnueabihf/minisat_derivation.o a - /<>/obj/sat/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/libtheory_core.a' /<>/obj/theory_core/arm-linux-gnueabihf/theory.o /<>/obj/theory_core/arm-linux-gnueabihf/theory_core.o /<>/obj/theory_core/arm-linux-gnueabihf/core_theorem_producer.o /<>/obj/theory_core/arm-linux-gnueabihf/expr_transform.o /<>/obj/theory_core/arm-linux-gnueabihf/bryant.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libtheory_core.a a - /<>/obj/theory_core/arm-linux-gnueabihf/theory.o a - /<>/obj/theory_core/arm-linux-gnueabihf/theory_core.o a - /<>/obj/theory_core/arm-linux-gnueabihf/core_theorem_producer.o a - /<>/obj/theory_core/arm-linux-gnueabihf/expr_transform.o a - /<>/obj/theory_core/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/libtheory_arith.a' /<>/obj/theory_arith/arm-linux-gnueabihf/arith_theorem_producer_old.o /<>/obj/theory_arith/arm-linux-gnueabihf/arith_theorem_producer.o /<>/obj/theory_arith/arm-linux-gnueabihf/arith_theorem_producer3.o /<>/obj/theory_arith/arm-linux-gnueabihf/theory_arith.o /<>/obj/theory_arith/arm-linux-gnueabihf/theory_arith_old.o /<>/obj/theory_arith/arm-linux-gnueabihf/theory_arith_new.o /<>/obj/theory_arith/arm-linux-gnueabihf/theory_arith3.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libtheory_arith.a a - /<>/obj/theory_arith/arm-linux-gnueabihf/arith_theorem_producer_old.o a - /<>/obj/theory_arith/arm-linux-gnueabihf/arith_theorem_producer.o a - /<>/obj/theory_arith/arm-linux-gnueabihf/arith_theorem_producer3.o a - /<>/obj/theory_arith/arm-linux-gnueabihf/theory_arith.o a - /<>/obj/theory_arith/arm-linux-gnueabihf/theory_arith_old.o a - /<>/obj/theory_arith/arm-linux-gnueabihf/theory_arith_new.o a - /<>/obj/theory_arith/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/theory_array.o' ar ruvs '/<>/lib/arm-linux-gnueabihf/libtheory_array.a' /<>/obj/theory_array/arm-linux-gnueabihf/array_theorem_producer.o /<>/obj/theory_array/arm-linux-gnueabihf/theory_array.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libtheory_array.a a - /<>/obj/theory_array/arm-linux-gnueabihf/array_theorem_producer.o a - /<>/obj/theory_array/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/libtheory_bitvector.a' /<>/obj/theory_bitvector/arm-linux-gnueabihf/bitvector_theorem_producer.o /<>/obj/theory_bitvector/arm-linux-gnueabihf/theory_bitvector.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libtheory_bitvector.a a - /<>/obj/theory_bitvector/arm-linux-gnueabihf/bitvector_theorem_producer.o a - /<>/obj/theory_bitvector/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/theory_datatype_lazy.o' ar ruvs '/<>/lib/arm-linux-gnueabihf/libtheory_datatype.a' /<>/obj/theory_datatype/arm-linux-gnueabihf/datatype_theorem_producer.o /<>/obj/theory_datatype/arm-linux-gnueabihf/theory_datatype.o /<>/obj/theory_datatype/arm-linux-gnueabihf/theory_datatype_lazy.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libtheory_datatype.a a - /<>/obj/theory_datatype/arm-linux-gnueabihf/datatype_theorem_producer.o a - /<>/obj/theory_datatype/arm-linux-gnueabihf/theory_datatype.o a - /<>/obj/theory_datatype/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/quant_theorem_producer.o' ar ruvs '/<>/lib/arm-linux-gnueabihf/libtheory_quant.a' /<>/obj/theory_quant/arm-linux-gnueabihf/theory_quant.o /<>/obj/theory_quant/arm-linux-gnueabihf/quant_theorem_producer.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libtheory_quant.a a - /<>/obj/theory_quant/arm-linux-gnueabihf/theory_quant.o a - /<>/obj/theory_quant/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/records_theorem_producer.o' ar ruvs '/<>/lib/arm-linux-gnueabihf/libtheory_records.a' /<>/obj/theory_records/arm-linux-gnueabihf/theory_records.o /<>/obj/theory_records/arm-linux-gnueabihf/records_theorem_producer.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libtheory_records.a a - /<>/obj/theory_records/arm-linux-gnueabihf/theory_records.o a - /<>/obj/theory_records/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/simulate_theorem_producer.o' ar ruvs '/<>/lib/arm-linux-gnueabihf/libtheory_simulate.a' /<>/obj/theory_simulate/arm-linux-gnueabihf/theory_simulate.o /<>/obj/theory_simulate/arm-linux-gnueabihf/simulate_theorem_producer.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libtheory_simulate.a a - /<>/obj/theory_simulate/arm-linux-gnueabihf/theory_simulate.o a - /<>/obj/theory_simulate/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/theory_uf.o' ar ruvs '/<>/lib/arm-linux-gnueabihf/libtheory_uf.a' /<>/obj/theory_uf/arm-linux-gnueabihf/uf_theorem_producer.o /<>/obj/theory_uf/arm-linux-gnueabihf/theory_uf.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libtheory_uf.a a - /<>/obj/theory_uf/arm-linux-gnueabihf/uf_theorem_producer.o a - /<>/obj/theory_uf/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/Util.o' ar ruvs '/<>/lib/arm-linux-gnueabihf/libsearch.a' /<>/obj/search/arm-linux-gnueabihf/clause.o /<>/obj/search/arm-linux-gnueabihf/search_impl_base.o /<>/obj/search/arm-linux-gnueabihf/search.o /<>/obj/search/arm-linux-gnueabihf/search_fast.o /<>/obj/search/arm-linux-gnueabihf/search_theorem_producer.o /<>/obj/search/arm-linux-gnueabihf/search_sat.o /<>/obj/search/arm-linux-gnueabihf/search_simple.o /<>/obj/search/arm-linux-gnueabihf/variable.o /<>/obj/search/arm-linux-gnueabihf/circuit.o /<>/obj/search/arm-linux-gnueabihf/decision_engine.o /<>/obj/search/arm-linux-gnueabihf/decision_engine_dfs.o /<>/obj/search/arm-linux-gnueabihf/LFSCObject.o /<>/obj/search/arm-linux-gnueabihf/LFSCUtilProof.o /<>/obj/search/arm-linux-gnueabihf/LFSCBoolProof.o /<>/obj/search/arm-linux-gnueabihf/LFSCConvert.o /<>/obj/search/arm-linux-gnueabihf/LFSCLraProof.o /<>/obj/search/arm-linux-gnueabihf/LFSCPrinter.o /<>/obj/search/arm-linux-gnueabihf/LFSCProof.o /<>/obj/search/arm-linux-gnueabihf/TReturn.o /<>/obj/search/arm-linux-gnueabihf/Util.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libsearch.a a - /<>/obj/search/arm-linux-gnueabihf/clause.o a - /<>/obj/search/arm-linux-gnueabihf/search_impl_base.o a - /<>/obj/search/arm-linux-gnueabihf/search.o a - /<>/obj/search/arm-linux-gnueabihf/search_fast.o a - /<>/obj/search/arm-linux-gnueabihf/search_theorem_producer.o a - /<>/obj/search/arm-linux-gnueabihf/search_sat.o a - /<>/obj/search/arm-linux-gnueabihf/search_simple.o a - /<>/obj/search/arm-linux-gnueabihf/variable.o a - /<>/obj/search/arm-linux-gnueabihf/circuit.o a - /<>/obj/search/arm-linux-gnueabihf/decision_engine.o a - /<>/obj/search/arm-linux-gnueabihf/decision_engine_dfs.o a - /<>/obj/search/arm-linux-gnueabihf/LFSCObject.o a - /<>/obj/search/arm-linux-gnueabihf/LFSCUtilProof.o a - /<>/obj/search/arm-linux-gnueabihf/LFSCBoolProof.o a - /<>/obj/search/arm-linux-gnueabihf/LFSCConvert.o a - /<>/obj/search/arm-linux-gnueabihf/LFSCLraProof.o a - /<>/obj/search/arm-linux-gnueabihf/LFSCPrinter.o a - /<>/obj/search/arm-linux-gnueabihf/LFSCProof.o a - /<>/obj/search/arm-linux-gnueabihf/TReturn.o a - /<>/obj/search/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/parser.o' ar ruvs '/<>/lib/arm-linux-gnueabihf/libparser.a' /<>/obj/parser/arm-linux-gnueabihf/parsePL.o /<>/obj/parser/arm-linux-gnueabihf/lexPL.o /<>/obj/parser/arm-linux-gnueabihf/parseLisp.o /<>/obj/parser/arm-linux-gnueabihf/lexLisp.o /<>/obj/parser/arm-linux-gnueabihf/parsesmtlib.o /<>/obj/parser/arm-linux-gnueabihf/lexsmtlib.o /<>/obj/parser/arm-linux-gnueabihf/parsesmtlib2.o /<>/obj/parser/arm-linux-gnueabihf/lexsmtlib2.o /<>/obj/parser/arm-linux-gnueabihf/parser.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libparser.a a - /<>/obj/parser/arm-linux-gnueabihf/parsePL.o a - /<>/obj/parser/arm-linux-gnueabihf/lexPL.o a - /<>/obj/parser/arm-linux-gnueabihf/parseLisp.o a - /<>/obj/parser/arm-linux-gnueabihf/lexLisp.o a - /<>/obj/parser/arm-linux-gnueabihf/parsesmtlib.o a - /<>/obj/parser/arm-linux-gnueabihf/lexsmtlib.o a - /<>/obj/parser/arm-linux-gnueabihf/parsesmtlib2.o a - /<>/obj/parser/arm-linux-gnueabihf/lexsmtlib2.o a - /<>/obj/parser/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/translator.o' ar ruvs '/<>/lib/arm-linux-gnueabihf/libtranslator.a' /<>/obj/translator/arm-linux-gnueabihf/translator.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libtranslator.a a - /<>/obj/translator/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/libvcl.a' /<>/obj/vcl/arm-linux-gnueabihf/vcl.o /<>/obj/vcl/arm-linux-gnueabihf/vc_cmd.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libvcl.a a - /<>/obj/vcl/arm-linux-gnueabihf/vcl.o a - /<>/obj/vcl/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/libc_interface.a' /<>/obj/c_interface/arm-linux-gnueabihf/c_interface.o ar: `u' modifier ignored since `D' is the default (see `U') ar: creating /<>/lib/arm-linux-gnueabihf/libc_interface.a a - /<>/obj/c_interface/arm-linux-gnueabihf/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/arm-linux-gnueabihf/libcvc3.so.5.0.0 rm -rf /<>/unpack_tmp /<>/bin/unpack /<>/unpack_tmp /<>/lib/arm-linux-gnueabihf/libcvc_util.a /<>/lib/arm-linux-gnueabihf/libcontext.a /<>/lib/arm-linux-gnueabihf/libexpr.a /<>/lib/arm-linux-gnueabihf/libtheorem.a /<>/lib/arm-linux-gnueabihf/libsat.a /<>/lib/arm-linux-gnueabihf/libtheory_core.a /<>/lib/arm-linux-gnueabihf/libtheory_arith.a /<>/lib/arm-linux-gnueabihf/libtheory_array.a /<>/lib/arm-linux-gnueabihf/libtheory_bitvector.a /<>/lib/arm-linux-gnueabihf/libtheory_datatype.a /<>/lib/arm-linux-gnueabihf/libtheory_quant.a /<>/lib/arm-linux-gnueabihf/libtheory_records.a /<>/lib/arm-linux-gnueabihf/libtheory_simulate.a /<>/lib/arm-linux-gnueabihf/libtheory_uf.a /<>/lib/arm-linux-gnueabihf/libsearch.a /<>/lib/arm-linux-gnueabihf/libparser.a /<>/lib/arm-linux-gnueabihf/libtranslator.a /<>/lib/arm-linux-gnueabihf/libvcl.a /<>/lib/arm-linux-gnueabihf/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/arm-linux-gnueabihf/libcvc3.so.5.0.0' `` -lgmp /sbin/ldconfig -nv /<>/lib/arm-linux-gnueabihf /<>/lib/arm-linux-gnueabihf: libcvc3.so.5 -> libcvc3.so.5.0.0 (changed) ln -sf libcvc3.so.5.0.0 /<>/lib/arm-linux-gnueabihf/libcvc3.so.5.0 ln -sf libcvc3.so.5.0.0 /<>/lib/arm-linux-gnueabihf/libcvc3.so.5 ln -sf libcvc3.so.5.0.0 /<>/lib/arm-linux-gnueabihf/libcvc3.so ln -sf /<>/lib/arm-linux-gnueabihf/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/arm-linux-gnueabihf/Makefile.tmp /usr/bin/make /<>/bin/arm-linux-gnueabihf/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/arm-linux-gnueabihf/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/arm-linux-gnueabihf/cvc3' /<>/obj/cvc3/arm-linux-gnueabihf/main.o \ -L/<>/lib/arm-linux-gnueabihf -lcvc3 -lgmp make[4]: Leaving directory '/<>/src/cvc3' ln -sf /<>/bin/arm-linux-gnueabihf/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. Makefile:166: recipe for target 'JniUtils.class' failed make[2]: *** [JniUtils.class] Error 2 make[2]: Leaving directory '/<>/java' Makefile:44: recipe for target 'build' failed make[1]: *** [build] Error 2 make[1]: Leaving directory '/<>' /usr/share/cdbs/1/class/makefile.mk:77: recipe for target 'debian/stamp-makefile-build' failed make: *** [debian/stamp-makefile-build] Error 2 dpkg-buildpackage: error: debian/rules build-arch subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 20180428-0308 Finished -------- E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: armhf Build-Space: 461232 Build-Time: 1131 Distribution: bionic Fail-Stage: build Host Architecture: armhf Install-Time: 91 Job: cvc3_2.4.1-5.1ubuntu1.dsc Machine Architecture: arm64 Package: cvc3 Package-Time: 1224 Source-Version: 2.4.1-5.1ubuntu1 Space: 461232 Status: attempted Version: 2.4.1-5.1ubuntu1 -------------------------------------------------------------------------------- Finished at 20180428-0308 Build needed 00:20:24, 461232k disc space RUN: /usr/share/launchpad-buildd/slavebin/in-target scan-for-processes --backend=chroot --series=bionic --arch=armhf PACKAGEBUILD-14651601 Scanning for processes to kill in build PACKAGEBUILD-14651601 RUN: /usr/share/launchpad-buildd/slavebin/in-target umount-chroot --backend=chroot --series=bionic --arch=armhf PACKAGEBUILD-14651601 Stopping target for build PACKAGEBUILD-14651601 RUN: /usr/share/launchpad-buildd/slavebin/in-target remove-build --backend=chroot --series=bionic --arch=armhf PACKAGEBUILD-14651601 Removing build PACKAGEBUILD-14651601