Mon Jul 12 19:12:38 UTC 2021 I: starting to build clasp/bullseye/armhf on jenkins on '2021-07-12 19:12' Mon Jul 12 19:12:38 UTC 2021 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/armhf_44/772/console.log Mon Jul 12 19:12:38 UTC 2021 I: Downloading source for bullseye/clasp=3.3.5-4 --2021-07-12 19:12:38-- http://cdn-fastly.deb.debian.org/debian/pool/main/c/clasp/clasp_3.3.5-4.dsc Connecting to 78.137.99.97:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2017 (2.0K) Saving to: ‘clasp_3.3.5-4.dsc’ 0K . 100% 127M=0s 2021-07-12 19:12:38 (127 MB/s) - ‘clasp_3.3.5-4.dsc’ saved [2017/2017] Mon Jul 12 19:12:38 UTC 2021 I: clasp_3.3.5-4.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: clasp Binary: clasp Architecture: any Version: 3.3.5-4 Maintainer: Debian Science Maintainers Uploaders: Thomas Krennwallner Homepage: https://www.potassco.org/clasp/ Standards-Version: 4.5.1 Vcs-Browser: https://salsa.debian.org/science-team/clasp Vcs-Git: https://salsa.debian.org/science-team/clasp.git Testsuite: autopkgtest Testsuite-Triggers: gringo Build-Depends: debhelper-compat (= 13), dpkg-dev (>= 1.16.1~), g++-10 (>= 10.2.1), cmake (>= 3.1.0) Package-List: clasp deb interpreters optional arch=any Checksums-Sha1: f6eb209a033a67dd2803f9230f0b3f9399163ced 831051 clasp_3.3.5.orig.tar.gz 1c2bed1e81628c9578813978fcef1ebda3d10124 8792 clasp_3.3.5-4.debian.tar.xz Checksums-Sha256: c0204b85ea3453af9372d8c7ffcb11306d5279b68c4d4af056f3fad65fe50724 831051 clasp_3.3.5.orig.tar.gz eaa9d73515aa8d4766744bf47b74e70da2b01709919449e610459d765817f893 8792 clasp_3.3.5-4.debian.tar.xz Files: 65be9d4c720053e89c31fb2f9d718b69 831051 clasp_3.3.5.orig.tar.gz 164d38020218ca2ac11aedc851f2a4cb 8792 clasp_3.3.5-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAl/p0hgACgkQJ5ffdKZm mqmm3w/8DNZ6vojBSLnUlJCsGOTFngQWr8y0HYIE5g9IC60efkPfWPpA3W1FeLpM umN15nsiexK7B88HJOWBrzHJmBjoS5X0l+Ye4zWltxw+5RY2GUn4CjlBV/AG7Jzu RBvVZgvThp1qKTKtZLSlocMajY/ArdXol5cP0A9UFg9mPkJbAQEmJ3qypQiBGzAa kqIXQJsP6ubygFtngehLIInE9LmpRzBv+kiiVbmdgvZec343msAmv3oq4DviEk5f tNLLbafQtI+v5zDnOGNxdcAVkfdXKK+lCUdkK4Vfue4RW2Hin3WsLGZ6hEDI7FZ4 HlCbb+CyU5bpxPBaMVn460oJ6Q5CoQGvV7W09ybxM7Y8IC36QLOhzJWBjxoZhHba 1KQy5ax7l0eX1lxinypRUpnGyp7oobYBZeHzBI5AIpRRwAf++cA1jIs7SQGIT/Gc 9L1Rtw9NtxJIaEp6ZY0hfDXEsEEgMImLoQA/jyueA6VCHMukarl8EUq7/jTqG+zh jSCG8h+TCjmVejuE7Sl4wAREUrdrX0kHLS5Bd4bNBxScfcXlp919CFLMMF72ZXKY SrKwKUV3JAtbU5kCrxo4yl2P0IyVQkEeY0qecq9pkqf6s5CWKB6I9l6mkKZxGsgr 5ZtlNolp0/+dZ7/NZ/BCK9OkUB4eWG5YIv5FJwKzGAKKiL71Uc4= =7bYc -----END PGP SIGNATURE----- Mon Jul 12 19:12:38 UTC 2021 I: Checking whether the package is not for us Mon Jul 12 19:12:38 UTC 2021 I: Starting 1st build on remote node cbxi4pro0-armhf-rb.debian.net. Mon Jul 12 19:12:38 UTC 2021 I: Preparing to do remote build '1' on cbxi4pro0-armhf-rb.debian.net. Mon Jul 12 20:15:27 UTC 2021 I: Deleting $TMPDIR on cbxi4pro0-armhf-rb.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Mon Jul 12 07:12:48 -12 2021 I: pbuilder-time-stamp: 1626117168 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bullseye-reproducible-base.tgz] I: copying local configuration I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [clasp_3.3.5-4.dsc] I: copying [./clasp_3.3.5.orig.tar.gz] I: copying [./clasp_3.3.5-4.debian.tar.xz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/tmp/dpkg-verify-sig.yq2p9CEx/trustedkeys.kbx': General error gpgv: Signature made Mon Dec 28 00:39:52 2020 -12 gpgv: using RSA key CC7EEF2C408664551D7B44CA2797DF74A6669AA9 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./clasp_3.3.5-4.dsc dpkg-source: info: extracting clasp in clasp-3.3.5 dpkg-source: info: unpacking clasp_3.3.5.orig.tar.gz dpkg-source: info: unpacking clasp_3.3.5-4.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying clasp-manpage.patch dpkg-source: info: applying link-libatomic-check-gcc.patch I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/30326/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='armhf' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=3' DISTRIBUTION='' HOME='/root' HOST_ARCH='armhf' IFS=' ' INVOCATION_ID='e7a0640cfcb6435ca2fd73862e481cc1' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='30326' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.m7iwQWVYtX/pbuilderrc_FN1J --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.m7iwQWVYtX/b1 --logfile b1/build.log clasp_3.3.5-4.dsc' SUDO_GID='115' SUDO_UID='111' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://10.0.0.15:8000/' I: uname -a Linux cbxi4pro0 5.10.0-7-armmp #1 SMP Debian 5.10.40-1 (2021-05-28) armv7l GNU/Linux I: ls -l /bin total 3580 -rwxr-xr-x 1 root root 816764 Jun 21 14:26 bash -rwxr-xr-x 3 root root 26052 Jul 20 2020 bunzip2 -rwxr-xr-x 3 root root 26052 Jul 20 2020 bzcat lrwxrwxrwx 1 root root 6 Jul 20 2020 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2225 Jul 20 2020 bzdiff lrwxrwxrwx 1 root root 6 Jul 20 2020 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4877 Sep 4 2019 bzexe lrwxrwxrwx 1 root root 6 Jul 20 2020 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3775 Jul 20 2020 bzgrep -rwxr-xr-x 3 root root 26052 Jul 20 2020 bzip2 -rwxr-xr-x 1 root root 9636 Jul 20 2020 bzip2recover lrwxrwxrwx 1 root root 6 Jul 20 2020 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Jul 20 2020 bzmore -rwxr-xr-x 1 root root 26668 Sep 22 2020 cat -rwxr-xr-x 1 root root 43104 Sep 22 2020 chgrp -rwxr-xr-x 1 root root 38984 Sep 22 2020 chmod -rwxr-xr-x 1 root root 43112 Sep 22 2020 chown -rwxr-xr-x 1 root root 92616 Sep 22 2020 cp -rwxr-xr-x 1 root root 75524 Dec 10 2020 dash -rwxr-xr-x 1 root root 75880 Sep 22 2020 date -rwxr-xr-x 1 root root 55436 Sep 22 2020 dd -rwxr-xr-x 1 root root 59912 Sep 22 2020 df -rwxr-xr-x 1 root root 96764 Sep 22 2020 dir -rwxr-xr-x 1 root root 55012 Feb 7 02:38 dmesg lrwxrwxrwx 1 root root 8 Nov 6 2019 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Nov 6 2019 domainname -> hostname -rwxr-xr-x 1 root root 22508 Sep 22 2020 echo -rwxr-xr-x 1 root root 28 Nov 9 2020 egrep -rwxr-xr-x 1 root root 22496 Sep 22 2020 false -rwxr-xr-x 1 root root 28 Nov 9 2020 fgrep -rwxr-xr-x 1 root root 47492 Feb 7 02:38 findmnt -rwsr-xr-x 1 root root 26076 Feb 26 04:12 fusermount -rwxr-xr-x 1 root root 124508 Nov 9 2020 grep -rwxr-xr-x 2 root root 2346 Mar 2 11:30 gunzip -rwxr-xr-x 1 root root 6376 Mar 2 11:30 gzexe -rwxr-xr-x 1 root root 64212 Mar 2 11:30 gzip -rwxr-xr-x 1 root root 13784 Nov 6 2019 hostname -rwxr-xr-x 1 root root 43180 Sep 22 2020 ln -rwxr-xr-x 1 root root 35068 Feb 7 2020 login -rwxr-xr-x 1 root root 96764 Sep 22 2020 ls -rwxr-xr-x 1 root root 99940 Feb 7 02:38 lsblk -rwxr-xr-x 1 root root 51408 Sep 22 2020 mkdir -rwxr-xr-x 1 root root 43184 Sep 22 2020 mknod -rwxr-xr-x 1 root root 30780 Sep 22 2020 mktemp -rwxr-xr-x 1 root root 34408 Feb 7 02:38 more -rwsr-xr-x 1 root root 34400 Feb 7 02:38 mount -rwxr-xr-x 1 root root 9824 Feb 7 02:38 mountpoint -rwxr-xr-x 1 root root 88524 Sep 22 2020 mv lrwxrwxrwx 1 root root 8 Nov 6 2019 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Apr 18 03:38 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 26652 Sep 22 2020 pwd lrwxrwxrwx 1 root root 4 Jun 21 14:26 rbash -> bash -rwxr-xr-x 1 root root 30740 Sep 22 2020 readlink -rwxr-xr-x 1 root root 43104 Sep 22 2020 rm -rwxr-xr-x 1 root root 30732 Sep 22 2020 rmdir -rwxr-xr-x 1 root root 14144 Sep 27 2020 run-parts -rwxr-xr-x 1 root root 76012 Dec 22 2018 sed lrwxrwxrwx 1 root root 4 Jul 11 21:28 sh -> dash -rwxr-xr-x 1 root root 22532 Sep 22 2020 sleep -rwxr-xr-x 1 root root 55360 Sep 22 2020 stty -rwsr-xr-x 1 root root 46704 Feb 7 02:38 su -rwxr-xr-x 1 root root 22532 Sep 22 2020 sync -rwxr-xr-x 1 root root 340872 Feb 16 21:55 tar -rwxr-xr-x 1 root root 9808 Sep 27 2020 tempfile -rwxr-xr-x 1 root root 67696 Sep 22 2020 touch -rwxr-xr-x 1 root root 22496 Sep 22 2020 true -rwxr-xr-x 1 root root 9636 Feb 26 04:12 ulockmgr_server -rwsr-xr-x 1 root root 22108 Feb 7 02:38 umount -rwxr-xr-x 1 root root 22520 Sep 22 2020 uname -rwxr-xr-x 2 root root 2346 Mar 2 11:30 uncompress -rwxr-xr-x 1 root root 96764 Sep 22 2020 vdir -rwxr-xr-x 1 root root 38512 Feb 7 02:38 wdctl lrwxrwxrwx 1 root root 8 Nov 6 2019 ypdomainname -> hostname -rwxr-xr-x 1 root root 1984 Mar 2 11:30 zcat -rwxr-xr-x 1 root root 1678 Mar 2 11:30 zcmp -rwxr-xr-x 1 root root 5880 Mar 2 11:30 zdiff -rwxr-xr-x 1 root root 29 Mar 2 11:30 zegrep -rwxr-xr-x 1 root root 29 Mar 2 11:30 zfgrep -rwxr-xr-x 1 root root 2081 Mar 2 11:30 zforce -rwxr-xr-x 1 root root 7585 Mar 2 11:30 zgrep -rwxr-xr-x 1 root root 2206 Mar 2 11:30 zless -rwxr-xr-x 1 root root 1842 Mar 2 11:30 zmore -rwxr-xr-x 1 root root 4553 Mar 2 11:30 znew I: user script /srv/workspace/pbuilder/30326/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: armhf Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper-compat (= 13), dpkg-dev (>= 1.16.1~), g++-10 (>= 10.2.1), cmake (>= 3.1.0) dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19398 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on cmake (>= 3.1.0); however: Package cmake is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} cmake{a} cmake-data{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libarchive13{a} libbrotli1{a} libcurl4{a} libdebhelper-perl{a} libelf1{a} libexpat1{a} libfile-stripnondeterminism-perl{a} libicu67{a} libjsoncpp24{a} libldap-2.4-2{a} libmagic-mgc{a} libmagic1{a} libncurses6{a} libnghttp2-14{a} libpipeline1{a} libprocps8{a} libpsl5{a} librhash0{a} librtmp1{a} libsasl2-2{a} libsasl2-modules-db{a} libsigsegv2{a} libssh2-1{a} libsub-override-perl{a} libtool{a} libuchardet0{a} libuv1{a} libxml2{a} m4{a} man-db{a} po-debconf{a} procps{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: ca-certificates curl libarchive-cpio-perl libgpm2 libldap-common libltdl-dev libmail-sendmail-perl libsasl2-modules lynx psmisc publicsuffix wget 0 packages upgraded, 50 newly installed, 0 to remove and 0 not upgraded. Need to get 25.6 MB of archives. After unpacking 91.5 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian bullseye/main armhf bsdextrautils armhf 2.36.1-7 [138 kB] Get: 2 http://deb.debian.org/debian bullseye/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB] Get: 3 http://deb.debian.org/debian bullseye/main armhf groff-base armhf 1.22.4-6 [847 kB] Get: 4 http://deb.debian.org/debian bullseye/main armhf libpipeline1 armhf 1.5.3-1 [30.1 kB] Get: 5 http://deb.debian.org/debian bullseye/main armhf man-db armhf 2.9.4-2 [1319 kB] Get: 6 http://deb.debian.org/debian bullseye/main armhf libncurses6 armhf 6.2+20201114-2 [80.5 kB] Get: 7 http://deb.debian.org/debian bullseye/main armhf libprocps8 armhf 2:3.3.17-5 [60.7 kB] Get: 8 http://deb.debian.org/debian bullseye/main armhf procps armhf 2:3.3.17-5 [492 kB] Get: 9 http://deb.debian.org/debian bullseye/main armhf sensible-utils all 0.0.14 [14.8 kB] Get: 10 http://deb.debian.org/debian bullseye/main armhf libmagic-mgc armhf 1:5.39-3 [273 kB] Get: 11 http://deb.debian.org/debian bullseye/main armhf libmagic1 armhf 1:5.39-3 [117 kB] Get: 12 http://deb.debian.org/debian bullseye/main armhf file armhf 1:5.39-3 [68.1 kB] Get: 13 http://deb.debian.org/debian bullseye/main armhf gettext-base armhf 0.21-4 [171 kB] Get: 14 http://deb.debian.org/debian bullseye/main armhf libsigsegv2 armhf 2.13-1 [34.0 kB] Get: 15 http://deb.debian.org/debian bullseye/main armhf m4 armhf 1.4.18-5 [192 kB] Get: 16 http://deb.debian.org/debian bullseye/main armhf autoconf all 2.69-14 [313 kB] Get: 17 http://deb.debian.org/debian bullseye/main armhf autotools-dev all 20180224.1+nmu1 [77.1 kB] Get: 18 http://deb.debian.org/debian bullseye/main armhf automake all 1:1.16.3-2 [814 kB] Get: 19 http://deb.debian.org/debian bullseye/main armhf autopoint all 0.21-4 [510 kB] Get: 20 http://deb.debian.org/debian bullseye/main armhf cmake-data all 3.18.4-2 [1725 kB] Get: 21 http://deb.debian.org/debian bullseye/main armhf libicu67 armhf 67.1-7 [8319 kB] Get: 22 http://deb.debian.org/debian bullseye/main armhf libxml2 armhf 2.9.10+dfsg-6.7 [602 kB] Get: 23 http://deb.debian.org/debian bullseye/main armhf libarchive13 armhf 3.4.3-2+b1 [304 kB] Get: 24 http://deb.debian.org/debian bullseye/main armhf libbrotli1 armhf 1.0.9-2+b2 [262 kB] Get: 25 http://deb.debian.org/debian bullseye/main armhf libsasl2-modules-db armhf 2.1.27+dfsg-2.1 [67.6 kB] Get: 26 http://deb.debian.org/debian bullseye/main armhf libsasl2-2 armhf 2.1.27+dfsg-2.1 [99.1 kB] Get: 27 http://deb.debian.org/debian bullseye/main armhf libldap-2.4-2 armhf 2.4.57+dfsg-3 [210 kB] Get: 28 http://deb.debian.org/debian bullseye/main armhf libnghttp2-14 armhf 1.43.0-1 [65.6 kB] Get: 29 http://deb.debian.org/debian bullseye/main armhf libpsl5 armhf 0.21.0-1.2 [56.1 kB] Get: 30 http://deb.debian.org/debian bullseye/main armhf librtmp1 armhf 2.4+20151223.gitfa8646d.1-2+b2 [55.2 kB] Get: 31 http://deb.debian.org/debian bullseye/main armhf libssh2-1 armhf 1.9.0-2 [143 kB] Get: 32 http://deb.debian.org/debian bullseye/main armhf libcurl4 armhf 7.74.0-1.3+b1 [310 kB] Get: 33 http://deb.debian.org/debian bullseye/main armhf libexpat1 armhf 2.2.10-2 [76.3 kB] Get: 34 http://deb.debian.org/debian bullseye/main armhf libjsoncpp24 armhf 1.9.4-4 [68.5 kB] Get: 35 http://deb.debian.org/debian bullseye/main armhf librhash0 armhf 1.4.1-2 [144 kB] Get: 36 http://deb.debian.org/debian bullseye/main armhf libuv1 armhf 1.40.0-2 [120 kB] Get: 37 http://deb.debian.org/debian bullseye/main armhf cmake armhf 3.18.4-2 [3534 kB] Get: 38 http://deb.debian.org/debian bullseye/main armhf libdebhelper-perl all 13.3.4 [189 kB] Get: 39 http://deb.debian.org/debian bullseye/main armhf libtool all 2.4.6-15 [513 kB] Get: 40 http://deb.debian.org/debian bullseye/main armhf dh-autoreconf all 20 [17.1 kB] Get: 41 http://deb.debian.org/debian bullseye/main armhf libarchive-zip-perl all 1.68-1 [104 kB] Get: 42 http://deb.debian.org/debian bullseye/main armhf libsub-override-perl all 0.09-2 [10.2 kB] Get: 43 http://deb.debian.org/debian bullseye/main armhf libfile-stripnondeterminism-perl all 1.11.0-1 [25.6 kB] Get: 44 http://deb.debian.org/debian bullseye/main armhf dh-strip-nondeterminism all 1.11.0-1 [15.3 kB] Get: 45 http://deb.debian.org/debian bullseye/main armhf libelf1 armhf 0.183-1 [161 kB] Get: 46 http://deb.debian.org/debian bullseye/main armhf dwz armhf 0.13+20210201-1 [179 kB] Get: 47 http://deb.debian.org/debian bullseye/main armhf gettext armhf 0.21-4 [1243 kB] Get: 48 http://deb.debian.org/debian bullseye/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 49 http://deb.debian.org/debian bullseye/main armhf po-debconf all 1.0.21+nmu1 [248 kB] Get: 50 http://deb.debian.org/debian bullseye/main armhf debhelper all 13.3.4 [1049 kB] Fetched 25.6 MB in 5s (4921 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package bsdextrautils. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19398 files and directories currently installed.) Preparing to unpack .../00-bsdextrautils_2.36.1-7_armhf.deb ... Unpacking bsdextrautils (2.36.1-7) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../01-libuchardet0_0.0.7-1_armhf.deb ... Unpacking libuchardet0:armhf (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../02-groff-base_1.22.4-6_armhf.deb ... Unpacking groff-base (1.22.4-6) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../03-libpipeline1_1.5.3-1_armhf.deb ... Unpacking libpipeline1:armhf (1.5.3-1) ... Selecting previously unselected package man-db. Preparing to unpack .../04-man-db_2.9.4-2_armhf.deb ... Unpacking man-db (2.9.4-2) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../05-libncurses6_6.2+20201114-2_armhf.deb ... Unpacking libncurses6:armhf (6.2+20201114-2) ... Selecting previously unselected package libprocps8:armhf. Preparing to unpack .../06-libprocps8_2%3a3.3.17-5_armhf.deb ... Unpacking libprocps8:armhf (2:3.3.17-5) ... Selecting previously unselected package procps. Preparing to unpack .../07-procps_2%3a3.3.17-5_armhf.deb ... Unpacking procps (2:3.3.17-5) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../08-sensible-utils_0.0.14_all.deb ... Unpacking sensible-utils (0.0.14) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../09-libmagic-mgc_1%3a5.39-3_armhf.deb ... Unpacking libmagic-mgc (1:5.39-3) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../10-libmagic1_1%3a5.39-3_armhf.deb ... Unpacking libmagic1:armhf (1:5.39-3) ... Selecting previously unselected package file. Preparing to unpack .../11-file_1%3a5.39-3_armhf.deb ... Unpacking file (1:5.39-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../12-gettext-base_0.21-4_armhf.deb ... Unpacking gettext-base (0.21-4) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../13-libsigsegv2_2.13-1_armhf.deb ... Unpacking libsigsegv2:armhf (2.13-1) ... Selecting previously unselected package m4. Preparing to unpack .../14-m4_1.4.18-5_armhf.deb ... Unpacking m4 (1.4.18-5) ... Selecting previously unselected package autoconf. Preparing to unpack .../15-autoconf_2.69-14_all.deb ... Unpacking autoconf (2.69-14) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../16-autotools-dev_20180224.1+nmu1_all.deb ... Unpacking autotools-dev (20180224.1+nmu1) ... Selecting previously unselected package automake. Preparing to unpack .../17-automake_1%3a1.16.3-2_all.deb ... Unpacking automake (1:1.16.3-2) ... Selecting previously unselected package autopoint. Preparing to unpack .../18-autopoint_0.21-4_all.deb ... Unpacking autopoint (0.21-4) ... Selecting previously unselected package cmake-data. Preparing to unpack .../19-cmake-data_3.18.4-2_all.deb ... Unpacking cmake-data (3.18.4-2) ... Selecting previously unselected package libicu67:armhf. Preparing to unpack .../20-libicu67_67.1-7_armhf.deb ... Unpacking libicu67:armhf (67.1-7) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../21-libxml2_2.9.10+dfsg-6.7_armhf.deb ... Unpacking libxml2:armhf (2.9.10+dfsg-6.7) ... Selecting previously unselected package libarchive13:armhf. Preparing to unpack .../22-libarchive13_3.4.3-2+b1_armhf.deb ... Unpacking libarchive13:armhf (3.4.3-2+b1) ... Selecting previously unselected package libbrotli1:armhf. Preparing to unpack .../23-libbrotli1_1.0.9-2+b2_armhf.deb ... Unpacking libbrotli1:armhf (1.0.9-2+b2) ... Selecting previously unselected package libsasl2-modules-db:armhf. Preparing to unpack .../24-libsasl2-modules-db_2.1.27+dfsg-2.1_armhf.deb ... Unpacking libsasl2-modules-db:armhf (2.1.27+dfsg-2.1) ... Selecting previously unselected package libsasl2-2:armhf. Preparing to unpack .../25-libsasl2-2_2.1.27+dfsg-2.1_armhf.deb ... Unpacking libsasl2-2:armhf (2.1.27+dfsg-2.1) ... Selecting previously unselected package libldap-2.4-2:armhf. Preparing to unpack .../26-libldap-2.4-2_2.4.57+dfsg-3_armhf.deb ... Unpacking libldap-2.4-2:armhf (2.4.57+dfsg-3) ... Selecting previously unselected package libnghttp2-14:armhf. Preparing to unpack .../27-libnghttp2-14_1.43.0-1_armhf.deb ... Unpacking libnghttp2-14:armhf (1.43.0-1) ... Selecting previously unselected package libpsl5:armhf. Preparing to unpack .../28-libpsl5_0.21.0-1.2_armhf.deb ... Unpacking libpsl5:armhf (0.21.0-1.2) ... Selecting previously unselected package librtmp1:armhf. Preparing to unpack .../29-librtmp1_2.4+20151223.gitfa8646d.1-2+b2_armhf.deb ... Unpacking librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b2) ... Selecting previously unselected package libssh2-1:armhf. Preparing to unpack .../30-libssh2-1_1.9.0-2_armhf.deb ... Unpacking libssh2-1:armhf (1.9.0-2) ... Selecting previously unselected package libcurl4:armhf. Preparing to unpack .../31-libcurl4_7.74.0-1.3+b1_armhf.deb ... Unpacking libcurl4:armhf (7.74.0-1.3+b1) ... Selecting previously unselected package libexpat1:armhf. Preparing to unpack .../32-libexpat1_2.2.10-2_armhf.deb ... Unpacking libexpat1:armhf (2.2.10-2) ... Selecting previously unselected package libjsoncpp24:armhf. Preparing to unpack .../33-libjsoncpp24_1.9.4-4_armhf.deb ... Unpacking libjsoncpp24:armhf (1.9.4-4) ... Selecting previously unselected package librhash0:armhf. Preparing to unpack .../34-librhash0_1.4.1-2_armhf.deb ... Unpacking librhash0:armhf (1.4.1-2) ... Selecting previously unselected package libuv1:armhf. Preparing to unpack .../35-libuv1_1.40.0-2_armhf.deb ... Unpacking libuv1:armhf (1.40.0-2) ... Selecting previously unselected package cmake. Preparing to unpack .../36-cmake_3.18.4-2_armhf.deb ... Unpacking cmake (3.18.4-2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../37-libdebhelper-perl_13.3.4_all.deb ... Unpacking libdebhelper-perl (13.3.4) ... Selecting previously unselected package libtool. Preparing to unpack .../38-libtool_2.4.6-15_all.deb ... Unpacking libtool (2.4.6-15) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../39-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../40-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../41-libsub-override-perl_0.09-2_all.deb ... Unpacking libsub-override-perl (0.09-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../42-libfile-stripnondeterminism-perl_1.11.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.11.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../43-dh-strip-nondeterminism_1.11.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.11.0-1) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../44-libelf1_0.183-1_armhf.deb ... Unpacking libelf1:armhf (0.183-1) ... Selecting previously unselected package dwz. Preparing to unpack .../45-dwz_0.13+20210201-1_armhf.deb ... Unpacking dwz (0.13+20210201-1) ... Selecting previously unselected package gettext. Preparing to unpack .../46-gettext_0.21-4_armhf.deb ... Unpacking gettext (0.21-4) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../47-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../48-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../49-debhelper_13.3.4_all.deb ... Unpacking debhelper (13.3.4) ... Setting up libexpat1:armhf (2.2.10-2) ... Setting up libpipeline1:armhf (1.5.3-1) ... Setting up libpsl5:armhf (0.21.0-1.2) ... Setting up bsdextrautils (2.36.1-7) ... update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode Setting up libicu67:armhf (67.1-7) ... Setting up libmagic-mgc (1:5.39-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.3.4) ... Setting up libbrotli1:armhf (1.0.9-2+b2) ... Setting up libnghttp2-14:armhf (1.43.0-1) ... Setting up libmagic1:armhf (1:5.39-3) ... Setting up gettext-base (0.21-4) ... Setting up file (1:5.39-3) ... Setting up libsasl2-modules-db:armhf (2.1.27+dfsg-2.1) ... Setting up autotools-dev (20180224.1+nmu1) ... Setting up libuv1:armhf (1.40.0-2) ... Setting up librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b2) ... Setting up libncurses6:armhf (6.2+20201114-2) ... Setting up libsigsegv2:armhf (2.13-1) ... Setting up autopoint (0.21-4) ... Setting up libsasl2-2:armhf (2.1.27+dfsg-2.1) ... Setting up libjsoncpp24:armhf (1.9.4-4) ... Setting up sensible-utils (0.0.14) ... Setting up librhash0:armhf (1.4.1-2) ... Setting up libuchardet0:armhf (0.0.7-1) ... Setting up libsub-override-perl (0.09-2) ... Setting up libssh2-1:armhf (1.9.0-2) ... Setting up cmake-data (3.18.4-2) ... Setting up libelf1:armhf (0.183-1) ... Setting up libxml2:armhf (2.9.10+dfsg-6.7) ... Setting up libprocps8:armhf (2:3.3.17-5) ... Setting up libfile-stripnondeterminism-perl (1.11.0-1) ... Setting up gettext (0.21-4) ... Setting up libtool (2.4.6-15) ... Setting up libarchive13:armhf (3.4.3-2+b1) ... Setting up libldap-2.4-2:armhf (2.4.57+dfsg-3) ... Setting up m4 (1.4.18-5) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up autoconf (2.69-14) ... Setting up dh-strip-nondeterminism (1.11.0-1) ... Setting up dwz (0.13+20210201-1) ... Setting up groff-base (1.22.4-6) ... Setting up procps (2:3.3.17-5) ... Setting up libcurl4:armhf (7.74.0-1.3+b1) ... Setting up automake (1:1.16.3-2) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up po-debconf (1.0.21+nmu1) ... Setting up man-db (2.9.4-2) ... Not building database; man-db/auto-update is not 'true'. Setting up dh-autoreconf (20) ... Setting up cmake (3.18.4-2) ... Setting up debhelper (13.3.4) ... Processing triggers for libc-bin (2.31-12) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps I: Building the package I: Running cd /build/clasp-3.3.5/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../clasp_3.3.5-4_source.changes dpkg-buildpackage: info: source package clasp dpkg-buildpackage: info: source version 3.3.5-4 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Thomas Krennwallner dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf debian/rules clean dh clean debian/rules override_dh_auto_clean make[1]: Entering directory '/build/clasp-3.3.5' dh_auto_clean --builddirectory=build.dir/hardening_mt make[1]: Leaving directory '/build/clasp-3.3.5' dh_clean debian/rules binary dh binary dh_update_autotools_config dh_autoreconf debian/rules override_dh_auto_configure make[1]: Entering directory '/build/clasp-3.3.5' dh_auto_configure --builddirectory=build.dir/hardening_mt -- -DLIB_POTASSCO_BUILD_APP=OFF -DCLASP_BUILD_TESTS=ON -DLIB_POTASSCO_BUILD_TESTS=ON -DCLASP_BUILD_EXAMPLES=ON cd build.dir/hardening_mt && cmake -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=None -DCMAKE_INSTALL_SYSCONFDIR=/etc -DCMAKE_INSTALL_LOCALSTATEDIR=/var -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY=ON -DCMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY=ON -DCMAKE_INSTALL_RUNSTATEDIR=/run -DCMAKE_SKIP_INSTALL_ALL_DEPENDENCY=ON "-GUnix Makefiles" -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_C_COMPILER=gcc-10 -DCMAKE_CXX_COMPILER=g\+\+-10 -DCMAKE_INSTALL_LIBDIR=lib/arm-linux-gnueabihf -DLIB_POTASSCO_BUILD_APP=OFF -DCLASP_BUILD_TESTS=ON -DLIB_POTASSCO_BUILD_TESTS=ON -DCLASP_BUILD_EXAMPLES=ON ../.. -- The CXX compiler identification is GNU 10.2.1 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++-10 - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- The C compiler identification is GNU 10.2.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/gcc-10 - skipped -- Detecting C compile features -- Detecting C compile features - done -- Looking for pthread.h -- Looking for pthread.h - found -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Looking for pthread_create in pthreads -- Looking for pthread_create in pthreads - not found -- Looking for pthread_create in pthread -- Looking for pthread_create in pthread - found -- Found Threads: TRUE -- Performing Test CLASP_HAS_WORKING_LIBATOMIC -- Performing Test CLASP_HAS_WORKING_LIBATOMIC - Success -- Potassco is not installed - using local copy -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_EXPORT_NO_PACKAGE_REGISTRY -- Build files have been written to: /build/clasp-3.3.5/build.dir/hardening_mt make[1]: Leaving directory '/build/clasp-3.3.5' debian/rules override_dh_auto_build make[1]: Entering directory '/build/clasp-3.3.5' dh_auto_build --builddirectory=build.dir/hardening_mt cd build.dir/hardening_mt && make -j3 "INSTALL=install --strip-program=true" VERBOSE=1 make[2]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' /usr/bin/cmake -S/build/clasp-3.3.5 -B/build/clasp-3.3.5/build.dir/hardening_mt --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /build/clasp-3.3.5/build.dir/hardening_mt/CMakeFiles /build/clasp-3.3.5/build.dir/hardening_mt//CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[3]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f libpotassco/src/CMakeFiles/libpotassco.dir/build.make libpotassco/src/CMakeFiles/libpotassco.dir/depend make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-3.3.5 /build/clasp-3.3.5/libpotassco/src /build/clasp-3.3.5/build.dir/hardening_mt /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake --color= Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src/CMakeFiles/libpotassco.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src/CMakeFiles/libpotassco.dir/depend.internal". Scanning dependencies of target libpotassco make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f libpotassco/src/CMakeFiles/libpotassco.dir/build.make libpotassco/src/CMakeFiles/libpotassco.dir/build make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 1%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/aspif.cpp.o -c /build/clasp-3.3.5/libpotassco/src/aspif.cpp [ 2%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/application.cpp.o -c /build/clasp-3.3.5/libpotassco/src/application.cpp [ 3%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/aspif_text.cpp.o -c /build/clasp-3.3.5/libpotassco/src/aspif_text.cpp [ 4%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/clingo.cpp.o -c /build/clasp-3.3.5/libpotassco/src/clingo.cpp [ 6%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/convert.cpp.o -c /build/clasp-3.3.5/libpotassco/src/convert.cpp [ 7%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/match_basic_types.cpp.o -c /build/clasp-3.3.5/libpotassco/src/match_basic_types.cpp [ 8%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/program_options.cpp.o -c /build/clasp-3.3.5/libpotassco/src/program_options.cpp [ 9%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/rule_utils.cpp.o -c /build/clasp-3.3.5/libpotassco/src/rule_utils.cpp [ 10%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/smodels.cpp.o -c /build/clasp-3.3.5/libpotassco/src/smodels.cpp [ 12%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/string_convert.cpp.o -c /build/clasp-3.3.5/libpotassco/src/string_convert.cpp [ 13%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/theory_data.cpp.o -c /build/clasp-3.3.5/libpotassco/src/theory_data.cpp [ 14%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libpotassco.dir/value_store.cpp.o -c /build/clasp-3.3.5/libpotassco/src/value_store.cpp [ 15%] Linking CXX static library ../../lib/libpotassco.a cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/cmake -P CMakeFiles/libpotassco.dir/cmake_clean_target.cmake cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/libpotassco.dir/link.txt --verbose=1 /usr/bin/ar qc ../../lib/libpotassco.a CMakeFiles/libpotassco.dir/application.cpp.o CMakeFiles/libpotassco.dir/aspif.cpp.o CMakeFiles/libpotassco.dir/aspif_text.cpp.o CMakeFiles/libpotassco.dir/clingo.cpp.o CMakeFiles/libpotassco.dir/convert.cpp.o CMakeFiles/libpotassco.dir/match_basic_types.cpp.o CMakeFiles/libpotassco.dir/program_options.cpp.o CMakeFiles/libpotassco.dir/rule_utils.cpp.o CMakeFiles/libpotassco.dir/smodels.cpp.o CMakeFiles/libpotassco.dir/string_convert.cpp.o CMakeFiles/libpotassco.dir/theory_data.cpp.o CMakeFiles/libpotassco.dir/value_store.cpp.o /usr/bin/ranlib ../../lib/libpotassco.a make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 15%] Built target libpotassco make -f libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_opts.dir/depend make -f libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_lp.dir/depend make -f src/CMakeFiles/libclasp.dir/build.make src/CMakeFiles/libclasp.dir/depend make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-3.3.5 /build/clasp-3.3.5/libpotassco/tests /build/clasp-3.3.5/build.dir/hardening_mt /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_opts.dir/DependInfo.cmake --color= make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-3.3.5 /build/clasp-3.3.5/libpotassco/tests /build/clasp-3.3.5/build.dir/hardening_mt /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_lp.dir/DependInfo.cmake --color= make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-3.3.5 /build/clasp-3.3.5/src /build/clasp-3.3.5/build.dir/hardening_mt /build/clasp-3.3.5/build.dir/hardening_mt/src /build/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/libclasp.dir/DependInfo.cmake --color= Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_lp.dir/DependInfo.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_lp.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_lp.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/libclasp.dir/DependInfo.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/libclasp.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/libclasp.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_opts.dir/DependInfo.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_opts.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_opts.dir/depend.internal". Scanning dependencies of target test_potassco_lp make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build Scanning dependencies of target test_potassco_opts make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 17%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -o CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_aspif.cpp [ 18%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_application.cpp.o Scanning dependencies of target libclasp cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_potassco_opts.dir/test_application.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_application.cpp make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f src/CMakeFiles/libclasp.dir/build.make src/CMakeFiles/libclasp.dir/build make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 19%] Building CXX object src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o -c /build/clasp-3.3.5/src/asp_preprocessor.cpp [ 20%] Building CXX object src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o -c /build/clasp-3.3.5/src/cb_enumerator.cpp [ 21%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_options.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_potassco_opts.dir/test_options.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_options.cpp In file included from /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:21: /build/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____67()': /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:113:70: warning: catching polymorphic type 'class Potassco::ProgramOptions::UnknownOption' by value [-Wcatch-value=] 113 | REQUIRE_THROWS_AS(Po::parseCommandString("--no-value=2", ctx), Po::UnknownOption); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:115:57: warning: catching polymorphic type 'class Potassco::ProgramOptions::ValueError' by value [-Wcatch-value=] 115 | REQUIRE_THROWS_AS(Po::ParsedOptions().assign(pv), Po::ValueError); | ^~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____179()': /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:186:46: warning: catching polymorphic type 'class Potassco::ProgramOptions::ContextError' by value [-Wcatch-value=] 186 | REQUIRE_THROWS_AS(ctx.findGroup("Foo"), Po::ContextError); | ^~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____243()': /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:249:48: warning: catching polymorphic type 'class Potassco::ProgramOptions::Error' by value [-Wcatch-value=] 249 | REQUIRE_THROWS_AS(x(0, Po::flag(b), ""), Po::Error); | ^~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:250:49: warning: catching polymorphic type 'class Potassco::ProgramOptions::Error' by value [-Wcatch-value=] 250 | REQUIRE_THROWS_AS(x("", Po::flag(b), ""), Po::Error); | ^~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:253:55: warning: catching polymorphic type 'class Potassco::ProgramOptions::Error' by value [-Wcatch-value=] 253 | REQUIRE_THROWS_AS(x("foo,fo", Po::flag(b), ""), Po::Error); | ^~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:264:57: warning: catching polymorphic type 'class Potassco::ProgramOptions::ValueError' by value [-Wcatch-value=] 264 | REQUIRE_THROWS_AS(Po::ParsedOptions().assign(pv), Po::ValueError); | ^~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:267:64: warning: catching polymorphic type 'class Potassco::ProgramOptions::UnknownOption' by value [-Wcatch-value=] 267 | REQUIRE_THROWS_AS(Po::parseCommandString("--help", ctx), Po::UnknownOption); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:277:73: warning: catching polymorphic type 'class Potassco::ProgramOptions::AmbiguousOption' by value [-Wcatch-value=] 277 | REQUIRE_THROWS_AS(ctx.find("he", Po::OptionContext::find_prefix), Po::AmbiguousOption); | ^~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____300()': /build/clasp-3.3.5/libpotassco/tests/test_options.cpp:334:72: warning: catching polymorphic type 'class Potassco::ProgramOptions::SyntaxError' by value [-Wcatch-value=] 334 | REQUIRE_THROWS_AS(Po::parseCommandString(cmd, ctx, false, 0, 0), Po::SyntaxError); | ^~~~~~~~~~~ [ 23%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_facade.cpp.o -c /build/clasp-3.3.5/src/clasp_facade.cpp [ 24%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_options.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_options.cpp.o -c /build/clasp-3.3.5/src/clasp_options.cpp [ 25%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_value.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_potassco_opts.dir/test_value.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_value.cpp [ 26%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -o CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_smodels.cpp [ 28%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/main.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_potassco_opts.dir/main.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/main.cpp [ 29%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_output.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_output.cpp.o -c /build/clasp-3.3.5/src/clasp_output.cpp [ 30%] Building CXX object src/CMakeFiles/libclasp.dir/clause.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/clause.cpp.o -c /build/clasp-3.3.5/src/clause.cpp /build/clasp-3.3.5/src/clause.cpp: In constructor 'Clasp::Clause::Clause(Clasp::Solver&, const Clasp::ClauseRep&, Clasp::uint32, bool)': /build/clasp-3.3.5/src/clause.cpp:408:26: warning: array subscript 3 is above array bounds of 'Clasp::Literal [3]' [-Warray-bounds] 408 | Literal t = head_[tail]; | ~~~~~~~~~~^ In file included from /build/clasp-3.3.5/clasp/clause.h:31, from /build/clasp-3.3.5/src/clause.cpp:24: /build/clasp-3.3.5/clasp/solver_types.h:454:11: note: while referencing 'Clasp::ClauseHead::head_' 454 | Literal head_[HEAD_LITS]; // two watched literals and one cache literal | ^~~~~ [ 31%] Building CXX object src/CMakeFiles/libclasp.dir/clingo.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/clingo.cpp.o -c /build/clasp-3.3.5/src/clingo.cpp [ 32%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_text.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -o CMakeFiles/test_potassco_lp.dir/test_text.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_text.cpp In file included from /usr/include/c++/10/vector:72, from /build/clasp-3.3.5/libpotassco/tests/catch.hpp:665, from /build/clasp-3.3.5/libpotassco/tests/main.cpp:19: /usr/include/c++/10/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const Catch::SectionEndInfo&}; _Tp = Catch::SectionEndInfo; _Alloc = std::allocator]': /usr/include/c++/10/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 426 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/10/vector:67, from /build/clasp-3.3.5/libpotassco/tests/catch.hpp:665, from /build/clasp-3.3.5/libpotassco/tests/main.cpp:19: /usr/include/c++/10/bits/stl_vector.h: In member function 'virtual void Catch::RunContext::sectionEndedEarly(const Catch::SectionEndInfo&)': /usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1198 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/c++/10/bits/stl_vector.h: In destructor 'Catch::Section::~Section()': /usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1198 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ In file included from /usr/include/c++/10/unordered_map:46, from /build/clasp-3.3.5/clasp/program_builder.h:36, from /build/clasp-3.3.5/clasp/clasp_facade.h:31, from /build/clasp-3.3.5/clasp/clingo.h:31, from /build/clasp-3.3.5/src/clingo.cpp:24: /usr/include/c++/10/bits/hashtable.h: In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::erase(std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::const_iterator) [with _Key = int; _Value = std::pair; _Alloc = std::allocator >; _ExtractKey = std::__detail::_Select1st; _Equal = std::equal_to; _H1 = std::hash; _H2 = std::__detail::_Mod_range_hashing; _Hash = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]': /usr/include/c++/10/bits/hashtable.h:1851:5: note: parameter passing for argument of type 'std::_Hashtable, std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Hashtable_base, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 1851 | _Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1852 | _H1, _H2, _Hash, _RehashPolicy, _Traits>:: | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/10/bits/hashtable.h: In member function 'virtual void Clasp::ClingoPropagatorInit::unfreeze(Clasp::SharedContext&)': /usr/include/c++/10/bits/hashtable.h:807:21: note: parameter passing for argument of type 'std::_Hashtable, std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Hashtable_base, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 807 | { return erase(const_iterator(__it)); } | ~~~~~^~~~~~~~~~~~~~~~~~~~~~ [ 34%] Building CXX object src/CMakeFiles/libclasp.dir/constraint.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/constraint.cpp.o -c /build/clasp-3.3.5/src/constraint.cpp [ 35%] Building CXX object src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/dependency_graph.cpp.o -c /build/clasp-3.3.5/src/dependency_graph.cpp [ 36%] Building CXX object src/CMakeFiles/libclasp.dir/enumerator.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/enumerator.cpp.o -c /build/clasp-3.3.5/src/enumerator.cpp [ 37%] Building CXX object src/CMakeFiles/libclasp.dir/heuristics.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/heuristics.cpp.o -c /build/clasp-3.3.5/src/heuristics.cpp [ 39%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -o CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp In file included from /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:21: /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp: In function 'void Potassco::Test::____C_A_T_C_H____T_E_S_T____28()': /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:66:80: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=] 66 | REQUIRE_THROWS_AS(Potassco::string_cast("-2"), Potassco::bad_string_cast); | ^~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:69:67: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=] 69 | REQUIRE_THROWS_AS(Potassco::string_cast("umax"), Potassco::bad_string_cast); | ^~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:70:68: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=] 70 | REQUIRE_THROWS_AS(Potassco::string_cast("umax"), Potassco::bad_string_cast); | ^~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:71:73: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=] 71 | REQUIRE_THROWS_AS(Potassco::string_cast("umax"), Potassco::bad_string_cast); | ^~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:72:71: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=] 72 | REQUIRE_THROWS_AS(Potassco::string_cast("umax"), Potassco::bad_string_cast); | ^~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp: In function 'void Potassco::Test::____C_A_T_C_H____T_E_S_T____369()': /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:371:124: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 371 | REQUIRE_THROWS_AS(fail(Potassco::error_logic, 0, 0, 0, "Message with %d parameters {'%s', '%s'}", 2, "Foo", "Bar"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:375:74: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 375 | REQUIRE_THROWS_AS(fail(Potassco::error_assert, 0, 0, "false", 0), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:376:75: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=] 376 | REQUIRE_THROWS_AS(fail(Potassco::error_runtime, 0, 0, "false", 0), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:379:47: warning: catching polymorphic type 'class std::invalid_argument' by value [-Wcatch-value=] 379 | REQUIRE_THROWS_AS(fail(0, 0, 0, 0, 0), std::invalid_argument); | ^~~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:383:57: warning: catching polymorphic type 'class std::invalid_argument' by value [-Wcatch-value=] 383 | REQUIRE_THROWS_AS(POTASSCO_CHECK(false, EINVAL), std::invalid_argument); | ^~~~~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:384:73: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 384 | REQUIRE_THROWS_AS(POTASSCO_CHECK(false, Potassco::error_assert), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:385:72: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 385 | REQUIRE_THROWS_AS(POTASSCO_CHECK(false, Potassco::error_logic), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:386:74: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=] 386 | REQUIRE_THROWS_AS(POTASSCO_CHECK(false, Potassco::error_runtime), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:387:57: warning: catching polymorphic type 'class std::bad_alloc' by value [-Wcatch-value=] 387 | REQUIRE_THROWS_AS(POTASSCO_CHECK(false, ENOMEM), std::bad_alloc); | ^~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:395:51: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 395 | REQUIRE_THROWS_AS(POTASSCO_REQUIRE(false), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:404:50: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 404 | REQUIRE_THROWS_AS(POTASSCO_ASSERT(false), std::logic_error); | ^~~~~~~~~~~ [ 40%] Linking CXX executable ../../bin/test_potassco_opts cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/cmake -E cmake_link_script CMakeFiles/test_potassco_opts.dir/link.txt --verbose=1 /usr/bin/g++-10 -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/test_potassco_opts.dir/test_application.cpp.o CMakeFiles/test_potassco_opts.dir/test_options.cpp.o CMakeFiles/test_potassco_opts.dir/test_value.cpp.o CMakeFiles/test_potassco_opts.dir/main.cpp.o -o ../../bin/test_potassco_opts ../../lib/libpotassco.a make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 40%] Built target test_potassco_opts [ 41%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/main.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5/libpotassco/tests -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -o CMakeFiles/test_potassco_lp.dir/main.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/main.cpp [ 42%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/logic_program.cpp.o -c /build/clasp-3.3.5/src/logic_program.cpp [ 43%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/logic_program_types.cpp.o -c /build/clasp-3.3.5/src/logic_program_types.cpp [ 45%] Building CXX object src/CMakeFiles/libclasp.dir/lookahead.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/lookahead.cpp.o -c /build/clasp-3.3.5/src/lookahead.cpp [ 46%] Building CXX object src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/minimize_constraint.cpp.o -c /build/clasp-3.3.5/src/minimize_constraint.cpp In file included from /usr/include/c++/10/vector:72, from /build/clasp-3.3.5/libpotassco/tests/catch.hpp:665, from /build/clasp-3.3.5/libpotassco/tests/main.cpp:19: /usr/include/c++/10/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const Catch::SectionEndInfo&}; _Tp = Catch::SectionEndInfo; _Alloc = std::allocator]': /usr/include/c++/10/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 426 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/10/vector:67, from /build/clasp-3.3.5/libpotassco/tests/catch.hpp:665, from /build/clasp-3.3.5/libpotassco/tests/main.cpp:19: /usr/include/c++/10/bits/stl_vector.h: In member function 'virtual void Catch::RunContext::sectionEndedEarly(const Catch::SectionEndInfo&)': /usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1198 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/c++/10/bits/stl_vector.h: In destructor 'Catch::Section::~Section()': /usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1198 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ [ 47%] Building CXX object src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/model_enumerators.cpp.o -c /build/clasp-3.3.5/src/model_enumerators.cpp [ 48%] Building CXX object src/CMakeFiles/libclasp.dir/parser.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/parser.cpp.o -c /build/clasp-3.3.5/src/parser.cpp [ 50%] Building CXX object src/CMakeFiles/libclasp.dir/program_builder.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/program_builder.cpp.o -c /build/clasp-3.3.5/src/program_builder.cpp [ 51%] Building CXX object src/CMakeFiles/libclasp.dir/satelite.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/satelite.cpp.o -c /build/clasp-3.3.5/src/satelite.cpp [ 52%] Building CXX object src/CMakeFiles/libclasp.dir/shared_context.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/shared_context.cpp.o -c /build/clasp-3.3.5/src/shared_context.cpp [ 53%] Building CXX object src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -c /build/clasp-3.3.5/src/solve_algorithms.cpp [ 54%] Building CXX object src/CMakeFiles/libclasp.dir/solver.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/solver.cpp.o -c /build/clasp-3.3.5/src/solver.cpp [ 56%] Building CXX object src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/solver_strategies.cpp.o -c /build/clasp-3.3.5/src/solver_strategies.cpp [ 57%] Linking CXX executable ../../bin/test_potassco_lp cd /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/cmake -E cmake_link_script CMakeFiles/test_potassco_lp.dir/link.txt --verbose=1 /usr/bin/g++-10 -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o CMakeFiles/test_potassco_lp.dir/test_text.cpp.o CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o CMakeFiles/test_potassco_lp.dir/main.cpp.o -o ../../bin/test_potassco_lp ../../lib/libpotassco.a [ 58%] Building CXX object src/CMakeFiles/libclasp.dir/solver_types.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/solver_types.cpp.o -c /build/clasp-3.3.5/src/solver_types.cpp make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 58%] Built target test_potassco_lp [ 59%] Building CXX object src/CMakeFiles/libclasp.dir/statistics.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/statistics.cpp.o -c /build/clasp-3.3.5/src/statistics.cpp [ 60%] Building CXX object src/CMakeFiles/libclasp.dir/timer.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/timer.cpp.o -c /build/clasp-3.3.5/src/timer.cpp [ 62%] Building CXX object src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/unfounded_check.cpp.o -c /build/clasp-3.3.5/src/unfounded_check.cpp In file included from /usr/include/c++/10/unordered_map:46, from /build/clasp-3.3.5/src/statistics.cpp:29: /usr/include/c++/10/bits/hashtable.h: In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::erase(std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::const_iterator) [with _Key = long long unsigned int; _Value = long long unsigned int; _Alloc = std::allocator; _ExtractKey = std::__detail::_Identity; _Equal = std::equal_to; _H1 = std::hash; _H2 = std::__detail::_Mod_range_hashing; _Hash = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]': /usr/include/c++/10/bits/hashtable.h:1851:5: note: parameter passing for argument of type 'std::_Hashtable, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Hashtable_base, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 1851 | _Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1852 | _H1, _H2, _Hash, _RehashPolicy, _Traits>:: | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/10/bits/hashtable.h: In member function 'bool Clasp::ClaspStatistics::removeStat(const Clasp::StatisticObject&, bool)': /usr/include/c++/10/bits/hashtable.h:807:21: note: parameter passing for argument of type 'std::_Hashtable, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' {aka 'std::__detail::_Hashtable_base, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Hashtable_traits >::const_iterator'} changed in GCC 7.1 807 | { return erase(const_iterator(__it)); } | ~~~~~^~~~~~~~~~~~~~~~~~~~~~ [ 63%] Building CXX object src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/weight_constraint.cpp.o -c /build/clasp-3.3.5/src/weight_constraint.cpp [ 64%] Building CXX object src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/libclasp.dir/parallel_solve.cpp.o -c /build/clasp-3.3.5/src/parallel_solve.cpp [ 65%] Linking CXX static library ../lib/libclasp.a cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/cmake -P CMakeFiles/libclasp.dir/cmake_clean_target.cmake cd /build/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/libclasp.dir/link.txt --verbose=1 /usr/bin/ar qc ../lib/libclasp.a CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o CMakeFiles/libclasp.dir/clasp_facade.cpp.o CMakeFiles/libclasp.dir/clasp_options.cpp.o CMakeFiles/libclasp.dir/clasp_output.cpp.o CMakeFiles/libclasp.dir/clause.cpp.o CMakeFiles/libclasp.dir/clingo.cpp.o CMakeFiles/libclasp.dir/constraint.cpp.o CMakeFiles/libclasp.dir/dependency_graph.cpp.o CMakeFiles/libclasp.dir/enumerator.cpp.o CMakeFiles/libclasp.dir/heuristics.cpp.o CMakeFiles/libclasp.dir/logic_program.cpp.o CMakeFiles/libclasp.dir/logic_program_types.cpp.o CMakeFiles/libclasp.dir/lookahead.cpp.o CMakeFiles/libclasp.dir/minimize_constraint.cpp.o CMakeFiles/libclasp.dir/model_enumerators.cpp.o CMakeFiles/libclasp.dir/parser.cpp.o CMakeFiles/libclasp.dir/program_builder.cpp.o CMakeFiles/libclasp.dir/satelite.cpp.o CMakeFiles/libclasp.dir/shared_context.cpp.o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o CMakeFiles/libclasp.dir/solver.cpp.o CMakeFiles/libclasp.dir/solver_strategies.cpp.o CMakeFiles/libclasp.dir/solver_types.cpp.o CMakeFiles/libclasp.dir/statistics.cpp.o CMakeFiles/libclasp.dir/timer.cpp.o CMakeFiles/libclasp.dir/unfounded_check.cpp.o CMakeFiles/libclasp.dir/weight_constraint.cpp.o CMakeFiles/libclasp.dir/parallel_solve.cpp.o /usr/bin/ranlib ../lib/libclasp.a make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 65%] Built target libclasp make -f tests/CMakeFiles/test_clasp.dir/build.make tests/CMakeFiles/test_clasp.dir/depend make -f app/CMakeFiles/clasp.dir/build.make app/CMakeFiles/clasp.dir/depend make -f examples/CMakeFiles/clasp_examples.dir/build.make examples/CMakeFiles/clasp_examples.dir/depend make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-3.3.5 /build/clasp-3.3.5/app /build/clasp-3.3.5/build.dir/hardening_mt /build/clasp-3.3.5/build.dir/hardening_mt/app /build/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/clasp.dir/DependInfo.cmake --color= make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' cd /build/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-3.3.5 /build/clasp-3.3.5/examples /build/clasp-3.3.5/build.dir/hardening_mt /build/clasp-3.3.5/build.dir/hardening_mt/examples /build/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/clasp_examples.dir/DependInfo.cmake --color= cd /build/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/clasp-3.3.5 /build/clasp-3.3.5/tests /build/clasp-3.3.5/build.dir/hardening_mt /build/clasp-3.3.5/build.dir/hardening_mt/tests /build/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/test_clasp.dir/DependInfo.cmake --color= Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/clasp_examples.dir/DependInfo.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/clasp_examples.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/clasp_examples.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/test_clasp.dir/DependInfo.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/test_clasp.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/test_clasp.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/clasp.dir/DependInfo.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/clasp.dir/depend.internal". Dependee "/build/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/clasp.dir/depend.internal". Scanning dependencies of target clasp_examples make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f examples/CMakeFiles/clasp_examples.dir/build.make examples/CMakeFiles/clasp_examples.dir/build make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' Scanning dependencies of target clasp make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f app/CMakeFiles/clasp.dir/build.make app/CMakeFiles/clasp.dir/build make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 67%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example1.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp_examples.dir/example1.cpp.o -c /build/clasp-3.3.5/examples/example1.cpp [ 68%] Building CXX object app/CMakeFiles/clasp.dir/clasp_app.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/app && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp.dir/clasp_app.cpp.o -c /build/clasp-3.3.5/app/clasp_app.cpp Scanning dependencies of target test_clasp make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make -f tests/CMakeFiles/test_clasp.dir/build.make tests/CMakeFiles/test_clasp.dir/build make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 69%] Building CXX object tests/CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o -c /build/clasp-3.3.5/tests/clause_creator_test.cpp [ 70%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example2.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp_examples.dir/example2.cpp.o -c /build/clasp-3.3.5/examples/example2.cpp [ 71%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example3.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp_examples.dir/example3.cpp.o -c /build/clasp-3.3.5/examples/example3.cpp [ 73%] Building CXX object app/CMakeFiles/clasp.dir/main.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/app && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp.dir/main.cpp.o -c /build/clasp-3.3.5/app/main.cpp [ 74%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example4.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp_examples.dir/example4.cpp.o -c /build/clasp-3.3.5/examples/example4.cpp [ 75%] Building CXX object examples/CMakeFiles/clasp_examples.dir/main.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/clasp_examples.dir/main.cpp.o -c /build/clasp-3.3.5/examples/main.cpp [ 76%] Linking CXX executable ../bin/clasp cd /build/clasp-3.3.5/build.dir/hardening_mt/app && /usr/bin/cmake -E cmake_link_script CMakeFiles/clasp.dir/link.txt --verbose=1 /usr/bin/g++-10 -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/clasp.dir/clasp_app.cpp.o CMakeFiles/clasp.dir/main.cpp.o -o ../bin/clasp ../lib/libclasp.a -lpthread ../lib/libpotassco.a make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 76%] Built target clasp [ 78%] Building CXX object tests/CMakeFiles/test_clasp.dir/clause_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/clause_test.cpp.o -c /build/clasp-3.3.5/tests/clause_test.cpp [ 79%] Linking CXX executable ../bin/clasp_examples cd /build/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/cmake -E cmake_link_script CMakeFiles/clasp_examples.dir/link.txt --verbose=1 /usr/bin/g++-10 -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/clasp_examples.dir/example1.cpp.o CMakeFiles/clasp_examples.dir/example2.cpp.o CMakeFiles/clasp_examples.dir/example3.cpp.o CMakeFiles/clasp_examples.dir/example4.cpp.o CMakeFiles/clasp_examples.dir/main.cpp.o -o ../bin/clasp_examples ../lib/libclasp.a -lpthread ../lib/libpotassco.a make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 79%] Built target clasp_examples [ 80%] Building CXX object tests/CMakeFiles/test_clasp.dir/cli_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/cli_test.cpp.o -c /build/clasp-3.3.5/tests/cli_test.cpp In file included from /build/clasp-3.3.5/tests/cli_test.cpp:29: /build/clasp-3.3.5/tests/cli_test.cpp: In function 'void Clasp::Cli::Test::____C_A_T_C_H____T_E_S_T____0()': /build/clasp-3.3.5/tests/cli_test.cpp:121:70: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 121 | REQUIRE_THROWS_AS(config.setValue("configuration", tempName), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:139:61: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 139 | REQUIRE_THROWS_AS(config.setValue("foo.bar", "123"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:140:61: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 140 | REQUIRE_THROWS_AS(config.setValue("tester.eq", "1"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:141:60: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 141 | REQUIRE_THROWS_AS(config.setValue("solver.2", "1"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:143:54: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 143 | REQUIRE_THROWS_AS(config.getValue("foo.bar"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:144:56: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 144 | REQUIRE_THROWS_AS(config.getValue("tester.eq"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:145:55: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 145 | REQUIRE_THROWS_AS(config.getValue("solver.0"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:366:74: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 366 | REQUIRE_THROWS_AS(config.setValue("tester.asp.trans_ext", "scc"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:378:78: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 378 | REQUIRE_THROWS_AS(config.setValue("tester.solve.enum_mode", "brave"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:510:51: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 510 | REQUIRE_THROWS_AS(config.getValue("enum"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/cli_test.cpp:511:68: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 511 | REQUIRE_THROWS_AS(config.getValue("tester.solve.opt_mode"), std::logic_error); | ^~~~~~~~~~~ [ 81%] Building CXX object tests/CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o -c /build/clasp-3.3.5/tests/decision_heuristic_test.cpp [ 82%] Building CXX object tests/CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o -c /build/clasp-3.3.5/tests/dependency_graph_test.cpp [ 84%] Building CXX object tests/CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o -c /build/clasp-3.3.5/tests/dlp_builder_test.cpp [ 85%] Building CXX object tests/CMakeFiles/test_clasp.dir/enumerator_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/enumerator_test.cpp.o -c /build/clasp-3.3.5/tests/enumerator_test.cpp In file included from /build/clasp-3.3.5/tests/enumerator_test.cpp:31: /build/clasp-3.3.5/tests/enumerator_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____0()': /build/clasp-3.3.5/tests/enumerator_test.cpp:538:38: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 538 | REQUIRE_THROWS_AS(e.start(s), std::logic_error); | ^~~~~~~~~~~ [ 86%] Building CXX object tests/CMakeFiles/test_clasp.dir/facade_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/facade_test.cpp.o -c /build/clasp-3.3.5/tests/facade_test.cpp In file included from /build/clasp-3.3.5/tests/facade_test.cpp:38: /build/clasp-3.3.5/tests/facade_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____0()': /build/clasp-3.3.5/tests/facade_test.cpp:621:38: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=] 621 | REQUIRE_THROWS_AS(g.model(), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:624:36: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=] 624 | REQUIRE_THROWS_AS(g.get(), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:644:41: warning: catching polymorphic type 'struct Clasp::Test::____C_A_T_C_H____T_E_S_T____0()::MyHeu' by value [-Wcatch-value=] 644 | REQUIRE_THROWS_AS(libclasp.prepare(), MyHeu); | ^~~~~ /build/clasp-3.3.5/tests/facade_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____62()': /build/clasp-3.3.5/tests/facade_test.cpp:924:40: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=] 924 | REQUIRE_THROWS_AS(step0.get(), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:931:40: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=] 931 | REQUIRE_THROWS_AS(step0.get(), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:963:79: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=] 963 | REQUIRE_THROWS_AS(libclasp.solve(SolveMode_t::Default, LitVec(), &h), std::runtime_error); | ^~~~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:994:46: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 994 | REQUIRE_THROWS_AS(libclasp.solve(), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____90()': /build/clasp-3.3.5/tests/facade_test.cpp:1109:60: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 1109 | REQUIRE_THROWS_AS(stats->get(stats->root(), "hcc"), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:1142:44: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 1142 | REQUIRE_THROWS_AS(stats->value(m0), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:1163:60: warning: catching polymorphic type 'class std::out_of_range' by value [-Wcatch-value=] 1163 | REQUIRE_THROWS_AS(stats->get(root, "solving.accu"), std::out_of_range); | ^~~~~~~~~~~~ /build/clasp-3.3.5/tests/facade_test.cpp:1188:48: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 1188 | REQUIRE_THROWS_AS(stats->value(minVal), std::logic_error); | ^~~~~~~~~~~ [ 87%] Building CXX object tests/CMakeFiles/test_clasp.dir/literal_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/literal_test.cpp.o -c /build/clasp-3.3.5/tests/literal_test.cpp [ 89%] Building CXX object tests/CMakeFiles/test_clasp.dir/minimize_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/minimize_test.cpp.o -c /build/clasp-3.3.5/tests/minimize_test.cpp [ 90%] Building CXX object tests/CMakeFiles/test_clasp.dir/parser_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/parser_test.cpp.o -c /build/clasp-3.3.5/tests/parser_test.cpp In file included from /build/clasp-3.3.5/tests/parser_test.cpp:32: /build/clasp-3.3.5/tests/parser_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____16()': /build/clasp-3.3.5/tests/parser_test.cpp:313:42: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 313 | REQUIRE_THROWS_AS(parse(api, in), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/parser_test.cpp:317:42: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 317 | REQUIRE_THROWS_AS(parse(api, in), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/parser_test.cpp:371:42: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 371 | REQUIRE_THROWS_AS(parse(api, in), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/parser_test.cpp:378:42: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 378 | REQUIRE_THROWS_AS(parse(api, in), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/parser_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____48()': /build/clasp-3.3.5/tests/parser_test.cpp:721:43: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 721 | REQUIRE_THROWS_AS(parse(api, prg), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/parser_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____63()': /build/clasp-3.3.5/tests/parser_test.cpp:869:43: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 869 | REQUIRE_THROWS_AS(parse(api, prg), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/parser_test.cpp:877:78: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 877 | REQUIRE_THROWS_AS(parse(api, prg, ParserOptions().enableAcycEdges()), std::logic_error); | ^~~~~~~~~~~ [ 91%] Building CXX object tests/CMakeFiles/test_clasp.dir/program_builder_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/program_builder_test.cpp.o -c /build/clasp-3.3.5/tests/program_builder_test.cpp [ 92%] Building CXX object tests/CMakeFiles/test_clasp.dir/rule_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/rule_test.cpp.o -c /build/clasp-3.3.5/tests/rule_test.cpp In file included from /build/clasp-3.3.5/tests/program_builder_test.cpp:30: /build/clasp-3.3.5/tests/program_builder_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____0()': /build/clasp-3.3.5/tests/program_builder_test.cpp:52:56: warning: catching polymorphic type 'class std::overflow_error' by value [-Wcatch-value=] 52 | REQUIRE_THROWS_AS(PrgNode(PrgNode::noNode + 1), std::overflow_error); | ^~~~~~~~~~~~~~ /build/clasp-3.3.5/tests/program_builder_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____4()': /build/clasp-3.3.5/tests/program_builder_test.cpp:1084:49: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 1084 | REQUIRE_THROWS_AS(solverLiteral(lp, c1), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/program_builder_test.cpp:1093:73: warning: catching polymorphic type 'class std::overflow_error' by value [-Wcatch-value=] 1093 | REQUIRE_THROWS_AS(lp.newCondition(Potassco::toSpan(&cAsLit, 1)), std::overflow_error); | ^~~~~~~~~~~~~~ /build/clasp-3.3.5/tests/program_builder_test.cpp:1106:56: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 1106 | REQUIRE_THROWS_AS(lp.extractCondition(c1, ext), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/program_builder_test.cpp:1116:45: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=] 1116 | REQUIRE_THROWS_AS(lp.getLiteral(c1), std::logic_error); | ^~~~~~~~~~~ /build/clasp-3.3.5/tests/program_builder_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____101()': /build/clasp-3.3.5/tests/program_builder_test.cpp:1880:40: warning: catching polymorphic type 'class Clasp::Asp::RedefinitionError' by value [-Wcatch-value=] 1880 | REQUIRE_THROWS_AS(lpAdd(lp, "{a}."), RedefinitionError); | ^~~~~~~~~~~~~~~~~ [ 93%] Building CXX object tests/CMakeFiles/test_clasp.dir/satelite_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/satelite_test.cpp.o -c /build/clasp-3.3.5/tests/satelite_test.cpp [ 95%] Building CXX object tests/CMakeFiles/test_clasp.dir/solver_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/solver_test.cpp.o -c /build/clasp-3.3.5/tests/solver_test.cpp [ 96%] Building CXX object tests/CMakeFiles/test_clasp.dir/test_main.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/test_main.cpp.o -c /build/clasp-3.3.5/tests/test_main.cpp In file included from /usr/include/c++/10/vector:72, from /build/clasp-3.3.5/tests/catch.hpp:671, from /build/clasp-3.3.5/tests/test_main.cpp:25: /usr/include/c++/10/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const Catch::SectionEndInfo&}; _Tp = Catch::SectionEndInfo; _Alloc = std::allocator]': /usr/include/c++/10/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 426 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/10/vector:67, from /build/clasp-3.3.5/tests/catch.hpp:671, from /build/clasp-3.3.5/tests/test_main.cpp:25: /usr/include/c++/10/bits/stl_vector.h: In member function 'virtual void Catch::RunContext::sectionEndedEarly(const Catch::SectionEndInfo&)': /usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1198 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /usr/include/c++/10/bits/stl_vector.h: In destructor 'Catch::Section::~Section()': /usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1198 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ [ 97%] Building CXX object tests/CMakeFiles/test_clasp.dir/unfounded_check_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/unfounded_check_test.cpp.o -c /build/clasp-3.3.5/tests/unfounded_check_test.cpp [ 98%] Building CXX object tests/CMakeFiles/test_clasp.dir/weight_constraint_test.cpp.o cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/g++-10 -I/build/clasp-3.3.5 -I/build/clasp-3.3.5/build.dir/hardening_mt -I/build/clasp-3.3.5/libpotassco -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -o CMakeFiles/test_clasp.dir/weight_constraint_test.cpp.o -c /build/clasp-3.3.5/tests/weight_constraint_test.cpp [100%] Linking CXX executable ../bin/test_clasp cd /build/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/cmake -E cmake_link_script CMakeFiles/test_clasp.dir/link.txt --verbose=1 /usr/bin/g++-10 -g -O2 -fdebug-prefix-map=/build/clasp-3.3.5=. -fstack-protector-strong -Wformat -Werror=format-security -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o CMakeFiles/test_clasp.dir/clause_test.cpp.o CMakeFiles/test_clasp.dir/cli_test.cpp.o CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o CMakeFiles/test_clasp.dir/enumerator_test.cpp.o CMakeFiles/test_clasp.dir/facade_test.cpp.o CMakeFiles/test_clasp.dir/literal_test.cpp.o CMakeFiles/test_clasp.dir/minimize_test.cpp.o CMakeFiles/test_clasp.dir/parser_test.cpp.o CMakeFiles/test_clasp.dir/program_builder_test.cpp.o CMakeFiles/test_clasp.dir/rule_test.cpp.o CMakeFiles/test_clasp.dir/satelite_test.cpp.o CMakeFiles/test_clasp.dir/solver_test.cpp.o CMakeFiles/test_clasp.dir/test_main.cpp.o CMakeFiles/test_clasp.dir/unfounded_check_test.cpp.o CMakeFiles/test_clasp.dir/weight_constraint_test.cpp.o -o ../bin/test_clasp ../lib/libclasp.a -lpthread ../lib/libpotassco.a make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [100%] Built target test_clasp make[3]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' /usr/bin/cmake -E cmake_progress_start /build/clasp-3.3.5/build.dir/hardening_mt/CMakeFiles 0 make[2]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make[1]: Leaving directory '/build/clasp-3.3.5' debian/rules override_dh_auto_test make[1]: Entering directory '/build/clasp-3.3.5' dh_auto_test --builddirectory=build.dir/hardening_mt &&\ { EXIT_CODE=$? ; echo "Exit $EXIT_CODE" ; test -d build.dir/hardening_mt/Testing/Temporary && tail -n +1 -v -- build.dir/hardening_mt/Testing/Temporary/* ; exit $EXIT_CODE ; } ||\ { EXIT_CODE=$? ; echo "Exit $EXIT_CODE" ; test -d build.dir/hardening_mt/Testing/Temporary && tail -n +1 -v -- build.dir/hardening_mt/Testing/Temporary/* ; exit $EXIT_CODE ; } cd build.dir/hardening_mt && make -j3 test ARGS\+=-j3 make[2]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' Running tests... /usr/bin/ctest --force-new-ctest-process -j3 Test project /build/clasp-3.3.5/build.dir/hardening_mt Start 1: test_lp Start 2: test_opts Start 3: test_clasp 1/3 Test #1: test_lp .......................... Passed 0.35 sec 2/3 Test #3: test_clasp ....................... Passed 0.91 sec 3/3 Test #2: test_opts ........................ Passed 1.09 sec 100% tests passed, 0 tests failed out of 3 Total Test time (real) = 1.15 sec make[2]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' Exit 0 ==> build.dir/hardening_mt/Testing/Temporary/CTestCostData.txt <== test_lp 1 0.351612 test_opts 1 1.08754 test_clasp 1 0.909514 --- ==> build.dir/hardening_mt/Testing/Temporary/LastTest.log <== Start testing: Jul 12 08:11 -12 ---------------------------------------------------------- 1/3 Testing: test_lp 1/3 Test: test_lp Command: "/build/clasp-3.3.5/build.dir/hardening_mt/bin/test_potassco_lp" Directory: /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests "test_lp" start time: Jul 12 08:11 -12 Output: ---------------------------------------------------------- =============================================================================== All tests passed (2845 assertions in 21 test cases) Test time = 0.35 sec ---------------------------------------------------------- Test Passed. "test_lp" end time: Jul 12 08:11 -12 "test_lp" time elapsed: 00:00:00 ---------------------------------------------------------- 3/3 Testing: test_clasp 3/3 Test: test_clasp Command: "/build/clasp-3.3.5/build.dir/hardening_mt/bin/test_clasp" Directory: /build/clasp-3.3.5/build.dir/hardening_mt/tests "test_clasp" start time: Jul 12 08:11 -12 Output: ---------------------------------------------------------- =============================================================================== All tests passed (6713 assertions in 44 test cases) Test time = 0.91 sec ---------------------------------------------------------- Test Passed. "test_clasp" end time: Jul 12 08:11 -12 "test_clasp" time elapsed: 00:00:00 ---------------------------------------------------------- 2/3 Testing: test_opts 2/3 Test: test_opts Command: "/build/clasp-3.3.5/build.dir/hardening_mt/bin/test_potassco_opts" Directory: /build/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests "test_opts" start time: Jul 12 08:11 -12 Output: ---------------------------------------------------------- =============================================================================== All tests passed (129 assertions in 16 test cases) Test time = 1.09 sec ---------------------------------------------------------- Test Passed. "test_opts" end time: Jul 12 08:11 -12 "test_opts" time elapsed: 00:00:01 ---------------------------------------------------------- End testing: Jul 12 08:11 -12 make[1]: Leaving directory '/build/clasp-3.3.5' create-stamp debian/debhelper-build-stamp dh_prep dh_installdirs debian/rules override_dh_auto_install make[1]: Entering directory '/build/clasp-3.3.5' dh_auto_install --builddirectory=build.dir/hardening_mt cd build.dir/hardening_mt && make -j3 install DESTDIR=/build/clasp-3.3.5/debian/clasp AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true" make[2]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' /usr/bin/cmake -S/build/clasp-3.3.5 -B/build/clasp-3.3.5/build.dir/hardening_mt --check-build-system CMakeFiles/Makefile.cmake 0 make -f CMakeFiles/Makefile2 preinstall make[3]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' make[3]: Nothing to be done for 'preinstall'. make[3]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' Install the project... /usr/bin/cmake -P cmake_install.cmake -- Install configuration: "None" -- Installing: /build/clasp-3.3.5/debian/clasp/usr/bin/clasp make[2]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make[1]: Leaving directory '/build/clasp-3.3.5' dh_installdocs debian/rules override_dh_installchangelogs make[1]: Entering directory '/build/clasp-3.3.5' dh_installchangelogs CHANGES make[1]: Leaving directory '/build/clasp-3.3.5' dh_installman dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_dwz -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dpkg-shlibdeps: warning: debian/clasp/usr/bin/clasp contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin dh_installdeb dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'clasp-dbgsym' in '../clasp-dbgsym_3.3.5-4_armhf.deb'. dpkg-deb: building package 'clasp' in '../clasp_3.3.5-4_armhf.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../clasp_3.3.5-4_armhf.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/30326 and its subdirectories I: Current time: Mon Jul 12 08:14:55 -12 2021 I: pbuilder-time-stamp: 1626120895 Mon Jul 12 20:15:30 UTC 2021 I: 1st build successful. Starting 2nd build on remote node jtx1c-armhf-rb.debian.net. Mon Jul 12 20:15:30 UTC 2021 I: Preparing to do remote build '2' on jtx1c-armhf-rb.debian.net. Mon Jul 12 20:37:59 UTC 2021 I: Deleting $TMPDIR on jtx1c-armhf-rb.debian.net. Mon Jul 12 20:38:01 UTC 2021 I: clasp_3.3.5-4_armhf.changes: Format: 1.8 Date: Mon, 28 Dec 2020 12:26:04 +0000 Source: clasp Binary: clasp clasp-dbgsym Architecture: armhf Version: 3.3.5-4 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description: clasp - conflict-driven nogood learning answer set solver Closes: 978509 Changes: clasp (3.3.5-4) unstable; urgency=medium . * Bug fix: "non-standard gcc/g++ used for build (gcc-9)", thanks to Matthias Klose (Closes: #978509). Checksums-Sha1: e22d3ecc1a52fa420be4f80dbe14f3ef4f0205cf 6264568 clasp-dbgsym_3.3.5-4_armhf.deb e5367d231eeec702c1daf52569c7581dba80eff8 5485 clasp_3.3.5-4_armhf.buildinfo b882f7bcb49905b27d35e08a0f21986f78408f46 549964 clasp_3.3.5-4_armhf.deb Checksums-Sha256: 7976af4b77479cbcbf3d854d0fafaab2454daf0491c860dc3613c8a3787a8093 6264568 clasp-dbgsym_3.3.5-4_armhf.deb 000d8f981eb75942f05f253abb081dca5549f0d1e662e1ab20a8b27e16deac8b 5485 clasp_3.3.5-4_armhf.buildinfo 6054759462f47617693b8d51ef9b0ed5b7a27bdc1b36379996f4f8eed42d6f4d 549964 clasp_3.3.5-4_armhf.deb Files: 8f540574dd3ce573512312f72ffff3fb 6264568 debug optional clasp-dbgsym_3.3.5-4_armhf.deb 5bf34f1eefea6b5fd70945d0f45dc247 5485 interpreters optional clasp_3.3.5-4_armhf.buildinfo d25ca553389e60788abcbdf266e1ec66 549964 interpreters optional clasp_3.3.5-4_armhf.deb Mon Jul 12 20:38:02 UTC 2021 I: diffoscope 177 will be used to compare the two builds: # Profiling output for: /usr/bin/diffoscope --html /srv/reproducible-results/rbuild-debian/tmp.m7iwQWVYtX/clasp_3.3.5-4.diffoscope.html --text /srv/reproducible-results/rbuild-debian/tmp.m7iwQWVYtX/clasp_3.3.5-4.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/tmp.m7iwQWVYtX/clasp_3.3.5-4.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/tmp.m7iwQWVYtX/b1/clasp_3.3.5-4_armhf.changes /srv/reproducible-results/rbuild-debian/tmp.m7iwQWVYtX/b2/clasp_3.3.5-4_armhf.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call abc.DotChangesFile ## main (total time: 0.309s) 0.309s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.081s) 0.081s 10 calls diffoscope.comparators.binary.FilesystemFile 0.000s 8 calls abc.DotChangesFile Mon Jul 12 20:38:03 UTC 2021 I: diffoscope 177 found no differences in the changes files, and a .buildinfo file also exists. Mon Jul 12 20:38:03 UTC 2021 I: clasp from bullseye built successfully and reproducibly on armhf. Mon Jul 12 20:38:05 UTC 2021 I: Submitting .buildinfo files to external archives: Mon Jul 12 20:38:05 UTC 2021 I: Submitting 8.0K b1/clasp_3.3.5-4_armhf.buildinfo.asc Mon Jul 12 20:38:05 UTC 2021 I: Submitting 8.0K b2/clasp_3.3.5-4_armhf.buildinfo.asc Mon Jul 12 20:38:06 UTC 2021 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Mon Jul 12 20:38:06 UTC 2021 I: Done submitting .buildinfo files. Mon Jul 12 20:38:06 UTC 2021 I: Removing signed clasp_3.3.5-4_armhf.buildinfo.asc files: removed './b1/clasp_3.3.5-4_armhf.buildinfo.asc' removed './b2/clasp_3.3.5-4_armhf.buildinfo.asc'