Tue Sep 7 04:12:53 UTC 2021 I: starting to build clasp/bullseye/arm64 on jenkins on '2021-09-07 04:12' Tue Sep 7 04:12:53 UTC 2021 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/arm64_16/26517/console.log Tue Sep 7 04:12:53 UTC 2021 I: Downloading source for bullseye/clasp=3.3.5-4 --2021-09-07 04:12:53-- 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% 163M=0s 2021-09-07 04:12:53 (163 MB/s) - ‘clasp_3.3.5-4.dsc’ saved [2017/2017] Tue Sep 7 04:12:53 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----- Tue Sep 7 04:12:53 UTC 2021 I: Checking whether the package is not for us Tue Sep 7 04:12:53 UTC 2021 I: Starting 1st build on remote node codethink12-arm64.debian.net. Tue Sep 7 04:12:53 UTC 2021 I: Preparing to do remote build '1' on codethink12-arm64.debian.net. Tue Sep 7 04:20:03 UTC 2021 I: Deleting $TMPDIR on codethink12-arm64.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Mon Sep 6 16:12:55 -12 2021 I: pbuilder-time-stamp: 1630987975 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.ADxSQOn5/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/15245/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='arm64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=8' DISTRIBUTION='' HOME='/var/lib/jenkins' HOST_ARCH='arm64' IFS=' ' 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='15245' 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.4FGB12NoSU/pbuilderrc_AvoH --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.4FGB12NoSU/b1 --logfile b1/build.log clasp_3.3.5-4.dsc' SUDO_GID='117' SUDO_UID='110' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' USERNAME='root' _='/usr/bin/systemd-run' http_proxy='http://192.168.101.16:3128' I: uname -a Linux codethink12-arm64 4.15.0-154-generic #161-Ubuntu SMP Fri Jul 30 13:01:15 UTC 2021 aarch64 GNU/Linux I: ls -l /bin total 5252 -rwxr-xr-x 1 root root 1282512 Aug 4 08:25 bash -rwxr-xr-x 3 root root 34808 Jul 20 2020 bunzip2 -rwxr-xr-x 3 root root 34808 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 34808 Jul 20 2020 bzip2 -rwxr-xr-x 1 root root 14264 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 39832 Sep 22 2020 cat -rwxr-xr-x 1 root root 64512 Sep 22 2020 chgrp -rwxr-xr-x 1 root root 60368 Sep 22 2020 chmod -rwxr-xr-x 1 root root 64528 Sep 22 2020 chown -rwxr-xr-x 1 root root 138896 Sep 22 2020 cp -rwxr-xr-x 1 root root 129544 Dec 10 2020 dash -rwxr-xr-x 1 root root 101384 Sep 22 2020 date -rwxr-xr-x 1 root root 80984 Sep 22 2020 dd -rwxr-xr-x 1 root root 89824 Sep 22 2020 df -rwxr-xr-x 1 root root 143088 Sep 22 2020 dir -rwxr-xr-x 1 root root 76152 Jul 28 07:09 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 35632 Sep 22 2020 echo -rwxr-xr-x 1 root root 28 Nov 9 2020 egrep -rwxr-xr-x 1 root root 31512 Sep 22 2020 false -rwxr-xr-x 1 root root 28 Nov 9 2020 fgrep -rwxr-xr-x 1 root root 64856 Jul 28 07:09 findmnt -rwsr-xr-x 1 root root 34824 Feb 26 2021 fusermount -rwxr-xr-x 1 root root 178400 Nov 9 2020 grep -rwxr-xr-x 2 root root 2346 Mar 2 2021 gunzip -rwxr-xr-x 1 root root 6376 Mar 2 2021 gzexe -rwxr-xr-x 1 root root 93744 Mar 2 2021 gzip -rwxr-xr-x 1 root root 18440 Nov 6 2019 hostname -rwxr-xr-x 1 root root 68720 Sep 22 2020 ln -rwxr-xr-x 1 root root 52720 Feb 7 2020 login -rwxr-xr-x 1 root root 143088 Sep 22 2020 ls -rwxr-xr-x 1 root root 161960 Jul 28 07:09 lsblk -rwxr-xr-x 1 root root 85200 Sep 22 2020 mkdir -rwxr-xr-x 1 root root 68744 Sep 22 2020 mknod -rwxr-xr-x 1 root root 43976 Sep 22 2020 mktemp -rwxr-xr-x 1 root root 51368 Jul 28 07:09 more -rwsr-xr-x 1 root root 51360 Jul 28 07:09 mount -rwxr-xr-x 1 root root 14496 Jul 28 07:09 mountpoint -rwxr-xr-x 1 root root 134808 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 35720 Sep 22 2020 pwd lrwxrwxrwx 1 root root 4 Aug 4 08:25 rbash -> bash -rwxr-xr-x 1 root root 43872 Sep 22 2020 readlink -rwxr-xr-x 1 root root 68592 Sep 22 2020 rm -rwxr-xr-x 1 root root 43880 Sep 22 2020 rmdir -rwxr-xr-x 1 root root 19208 Sep 27 2020 run-parts -rwxr-xr-x 1 root root 114016 Dec 22 2018 sed lrwxrwxrwx 1 root root 4 Aug 20 21:24 sh -> dash -rwxr-xr-x 1 root root 35656 Sep 22 2020 sleep -rwxr-xr-x 1 root root 72640 Sep 22 2020 stty -rwsr-xr-x 1 root root 67776 Jul 28 07:09 su -rwxr-xr-x 1 root root 35672 Sep 22 2020 sync -rwxr-xr-x 1 root root 535768 Feb 16 2021 tar -rwxr-xr-x 1 root root 10568 Sep 27 2020 tempfile -rwxr-xr-x 1 root root 89120 Sep 22 2020 touch -rwxr-xr-x 1 root root 31512 Sep 22 2020 true -rwxr-xr-x 1 root root 14264 Feb 26 2021 ulockmgr_server -rwsr-xr-x 1 root root 30880 Jul 28 07:09 umount -rwxr-xr-x 1 root root 35640 Sep 22 2020 uname -rwxr-xr-x 2 root root 2346 Mar 2 2021 uncompress -rwxr-xr-x 1 root root 143088 Sep 22 2020 vdir -rwxr-xr-x 1 root root 59584 Jul 28 07:09 wdctl lrwxrwxrwx 1 root root 8 Nov 6 2019 ypdomainname -> hostname -rwxr-xr-x 1 root root 1984 Mar 2 2021 zcat -rwxr-xr-x 1 root root 1678 Mar 2 2021 zcmp -rwxr-xr-x 1 root root 5880 Mar 2 2021 zdiff -rwxr-xr-x 1 root root 29 Mar 2 2021 zegrep -rwxr-xr-x 1 root root 29 Mar 2 2021 zfgrep -rwxr-xr-x 1 root root 2081 Mar 2 2021 zforce -rwxr-xr-x 1 root root 7585 Mar 2 2021 zgrep -rwxr-xr-x 1 root root 2206 Mar 2 2021 zless -rwxr-xr-x 1 root root 1842 Mar 2 2021 zmore -rwxr-xr-x 1 root root 4553 Mar 2 2021 znew I: user script /srv/workspace/pbuilder/15245/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: arm64 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 ... 19646 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 26.0 MB of archives. After unpacking 104 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian bullseye/main arm64 bsdextrautils arm64 2.36.1-8 [142 kB] Get: 2 http://deb.debian.org/debian bullseye/main arm64 libuchardet0 arm64 0.0.7-1 [67.9 kB] Get: 3 http://deb.debian.org/debian bullseye/main arm64 groff-base arm64 1.22.4-6 [883 kB] Get: 4 http://deb.debian.org/debian bullseye/main arm64 libpipeline1 arm64 1.5.3-1 [33.0 kB] Get: 5 http://deb.debian.org/debian bullseye/main arm64 man-db arm64 2.9.4-2 [1336 kB] Get: 6 http://deb.debian.org/debian bullseye/main arm64 libncurses6 arm64 6.2+20201114-2 [93.2 kB] Get: 7 http://deb.debian.org/debian bullseye/main arm64 libprocps8 arm64 2:3.3.17-5 [61.9 kB] Get: 8 http://deb.debian.org/debian bullseye/main arm64 procps arm64 2:3.3.17-5 [497 kB] Get: 9 http://deb.debian.org/debian bullseye/main arm64 sensible-utils all 0.0.14 [14.8 kB] Get: 10 http://deb.debian.org/debian bullseye/main arm64 libmagic-mgc arm64 1:5.39-3 [273 kB] Get: 11 http://deb.debian.org/debian bullseye/main arm64 libmagic1 arm64 1:5.39-3 [121 kB] Get: 12 http://deb.debian.org/debian bullseye/main arm64 file arm64 1:5.39-3 [69.1 kB] Get: 13 http://deb.debian.org/debian bullseye/main arm64 gettext-base arm64 0.21-4 [173 kB] Get: 14 http://deb.debian.org/debian bullseye/main arm64 libsigsegv2 arm64 2.13-1 [34.7 kB] Get: 15 http://deb.debian.org/debian bullseye/main arm64 m4 arm64 1.4.18-5 [199 kB] Get: 16 http://deb.debian.org/debian bullseye/main arm64 autoconf all 2.69-14 [313 kB] Get: 17 http://deb.debian.org/debian bullseye/main arm64 autotools-dev all 20180224.1+nmu1 [77.1 kB] Get: 18 http://deb.debian.org/debian bullseye/main arm64 automake all 1:1.16.3-2 [814 kB] Get: 19 http://deb.debian.org/debian bullseye/main arm64 autopoint all 0.21-4 [510 kB] Get: 20 http://deb.debian.org/debian bullseye/main arm64 cmake-data all 3.18.4-2 [1725 kB] Get: 21 http://deb.debian.org/debian bullseye/main arm64 libicu67 arm64 67.1-7 [8467 kB] Get: 22 http://deb.debian.org/debian bullseye/main arm64 libxml2 arm64 2.9.10+dfsg-6.7 [629 kB] Get: 23 http://deb.debian.org/debian bullseye/main arm64 libarchive13 arm64 3.4.3-2+b1 [320 kB] Get: 24 http://deb.debian.org/debian bullseye/main arm64 libbrotli1 arm64 1.0.9-2+b2 [267 kB] Get: 25 http://deb.debian.org/debian bullseye/main arm64 libsasl2-modules-db arm64 2.1.27+dfsg-2.1 [69.3 kB] Get: 26 http://deb.debian.org/debian bullseye/main arm64 libsasl2-2 arm64 2.1.27+dfsg-2.1 [105 kB] Get: 27 http://deb.debian.org/debian bullseye/main arm64 libldap-2.4-2 arm64 2.4.57+dfsg-3 [222 kB] Get: 28 http://deb.debian.org/debian bullseye/main arm64 libnghttp2-14 arm64 1.43.0-1 [73.8 kB] Get: 29 http://deb.debian.org/debian bullseye/main arm64 libpsl5 arm64 0.21.0-1.2 [57.1 kB] Get: 30 http://deb.debian.org/debian bullseye/main arm64 librtmp1 arm64 2.4+20151223.gitfa8646d.1-2+b2 [59.4 kB] Get: 31 http://deb.debian.org/debian bullseye/main arm64 libssh2-1 arm64 1.9.0-2 [150 kB] Get: 32 http://deb.debian.org/debian bullseye/main arm64 libcurl4 arm64 7.74.0-1.3+b1 [321 kB] Get: 33 http://deb.debian.org/debian bullseye/main arm64 libexpat1 arm64 2.2.10-2 [83.1 kB] Get: 34 http://deb.debian.org/debian bullseye/main arm64 libjsoncpp24 arm64 1.9.4-4 [72.5 kB] Get: 35 http://deb.debian.org/debian bullseye/main arm64 librhash0 arm64 1.4.1-2 [127 kB] Get: 36 http://deb.debian.org/debian bullseye/main arm64 libuv1 arm64 1.40.0-2 [126 kB] Get: 37 http://deb.debian.org/debian bullseye/main arm64 cmake arm64 3.18.4-2 [3673 kB] Get: 38 http://deb.debian.org/debian bullseye/main arm64 libdebhelper-perl all 13.3.4 [189 kB] Get: 39 http://deb.debian.org/debian bullseye/main arm64 libtool all 2.4.6-15 [513 kB] Get: 40 http://deb.debian.org/debian bullseye/main arm64 dh-autoreconf all 20 [17.1 kB] Get: 41 http://deb.debian.org/debian bullseye/main arm64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 42 http://deb.debian.org/debian bullseye/main arm64 libsub-override-perl all 0.09-2 [10.2 kB] Get: 43 http://deb.debian.org/debian bullseye/main arm64 libfile-stripnondeterminism-perl all 1.12.0-1 [26.3 kB] Get: 44 http://deb.debian.org/debian bullseye/main arm64 dh-strip-nondeterminism all 1.12.0-1 [15.4 kB] Get: 45 http://deb.debian.org/debian bullseye/main arm64 libelf1 arm64 0.183-1 [164 kB] Get: 46 http://deb.debian.org/debian bullseye/main arm64 dwz arm64 0.13+20210201-1 [155 kB] Get: 47 http://deb.debian.org/debian bullseye/main arm64 gettext arm64 0.21-4 [1261 kB] Get: 48 http://deb.debian.org/debian bullseye/main arm64 intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 49 http://deb.debian.org/debian bullseye/main arm64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 50 http://deb.debian.org/debian bullseye/main arm64 debhelper all 13.3.4 [1049 kB] Fetched 26.0 MB in 0s (53.9 MB/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 ... 19646 files and directories currently installed.) Preparing to unpack .../00-bsdextrautils_2.36.1-8_arm64.deb ... Unpacking bsdextrautils (2.36.1-8) ... Selecting previously unselected package libuchardet0:arm64. Preparing to unpack .../01-libuchardet0_0.0.7-1_arm64.deb ... Unpacking libuchardet0:arm64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../02-groff-base_1.22.4-6_arm64.deb ... Unpacking groff-base (1.22.4-6) ... Selecting previously unselected package libpipeline1:arm64. Preparing to unpack .../03-libpipeline1_1.5.3-1_arm64.deb ... Unpacking libpipeline1:arm64 (1.5.3-1) ... Selecting previously unselected package man-db. Preparing to unpack .../04-man-db_2.9.4-2_arm64.deb ... Unpacking man-db (2.9.4-2) ... Selecting previously unselected package libncurses6:arm64. Preparing to unpack .../05-libncurses6_6.2+20201114-2_arm64.deb ... Unpacking libncurses6:arm64 (6.2+20201114-2) ... Selecting previously unselected package libprocps8:arm64. Preparing to unpack .../06-libprocps8_2%3a3.3.17-5_arm64.deb ... Unpacking libprocps8:arm64 (2:3.3.17-5) ... Selecting previously unselected package procps. Preparing to unpack .../07-procps_2%3a3.3.17-5_arm64.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_arm64.deb ... Unpacking libmagic-mgc (1:5.39-3) ... Selecting previously unselected package libmagic1:arm64. Preparing to unpack .../10-libmagic1_1%3a5.39-3_arm64.deb ... Unpacking libmagic1:arm64 (1:5.39-3) ... Selecting previously unselected package file. Preparing to unpack .../11-file_1%3a5.39-3_arm64.deb ... Unpacking file (1:5.39-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../12-gettext-base_0.21-4_arm64.deb ... Unpacking gettext-base (0.21-4) ... Selecting previously unselected package libsigsegv2:arm64. Preparing to unpack .../13-libsigsegv2_2.13-1_arm64.deb ... Unpacking libsigsegv2:arm64 (2.13-1) ... Selecting previously unselected package m4. Preparing to unpack .../14-m4_1.4.18-5_arm64.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:arm64. Preparing to unpack .../20-libicu67_67.1-7_arm64.deb ... Unpacking libicu67:arm64 (67.1-7) ... Selecting previously unselected package libxml2:arm64. Preparing to unpack .../21-libxml2_2.9.10+dfsg-6.7_arm64.deb ... Unpacking libxml2:arm64 (2.9.10+dfsg-6.7) ... Selecting previously unselected package libarchive13:arm64. Preparing to unpack .../22-libarchive13_3.4.3-2+b1_arm64.deb ... Unpacking libarchive13:arm64 (3.4.3-2+b1) ... Selecting previously unselected package libbrotli1:arm64. Preparing to unpack .../23-libbrotli1_1.0.9-2+b2_arm64.deb ... Unpacking libbrotli1:arm64 (1.0.9-2+b2) ... Selecting previously unselected package libsasl2-modules-db:arm64. Preparing to unpack .../24-libsasl2-modules-db_2.1.27+dfsg-2.1_arm64.deb ... Unpacking libsasl2-modules-db:arm64 (2.1.27+dfsg-2.1) ... Selecting previously unselected package libsasl2-2:arm64. Preparing to unpack .../25-libsasl2-2_2.1.27+dfsg-2.1_arm64.deb ... Unpacking libsasl2-2:arm64 (2.1.27+dfsg-2.1) ... Selecting previously unselected package libldap-2.4-2:arm64. Preparing to unpack .../26-libldap-2.4-2_2.4.57+dfsg-3_arm64.deb ... Unpacking libldap-2.4-2:arm64 (2.4.57+dfsg-3) ... Selecting previously unselected package libnghttp2-14:arm64. Preparing to unpack .../27-libnghttp2-14_1.43.0-1_arm64.deb ... Unpacking libnghttp2-14:arm64 (1.43.0-1) ... Selecting previously unselected package libpsl5:arm64. Preparing to unpack .../28-libpsl5_0.21.0-1.2_arm64.deb ... Unpacking libpsl5:arm64 (0.21.0-1.2) ... Selecting previously unselected package librtmp1:arm64. Preparing to unpack .../29-librtmp1_2.4+20151223.gitfa8646d.1-2+b2_arm64.deb ... Unpacking librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b2) ... Selecting previously unselected package libssh2-1:arm64. Preparing to unpack .../30-libssh2-1_1.9.0-2_arm64.deb ... Unpacking libssh2-1:arm64 (1.9.0-2) ... Selecting previously unselected package libcurl4:arm64. Preparing to unpack .../31-libcurl4_7.74.0-1.3+b1_arm64.deb ... Unpacking libcurl4:arm64 (7.74.0-1.3+b1) ... Selecting previously unselected package libexpat1:arm64. Preparing to unpack .../32-libexpat1_2.2.10-2_arm64.deb ... Unpacking libexpat1:arm64 (2.2.10-2) ... Selecting previously unselected package libjsoncpp24:arm64. Preparing to unpack .../33-libjsoncpp24_1.9.4-4_arm64.deb ... Unpacking libjsoncpp24:arm64 (1.9.4-4) ... Selecting previously unselected package librhash0:arm64. Preparing to unpack .../34-librhash0_1.4.1-2_arm64.deb ... Unpacking librhash0:arm64 (1.4.1-2) ... Selecting previously unselected package libuv1:arm64. Preparing to unpack .../35-libuv1_1.40.0-2_arm64.deb ... Unpacking libuv1:arm64 (1.40.0-2) ... Selecting previously unselected package cmake. Preparing to unpack .../36-cmake_3.18.4-2_arm64.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.12.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.12.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../43-dh-strip-nondeterminism_1.12.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.12.0-1) ... Selecting previously unselected package libelf1:arm64. Preparing to unpack .../44-libelf1_0.183-1_arm64.deb ... Unpacking libelf1:arm64 (0.183-1) ... Selecting previously unselected package dwz. Preparing to unpack .../45-dwz_0.13+20210201-1_arm64.deb ... Unpacking dwz (0.13+20210201-1) ... Selecting previously unselected package gettext. Preparing to unpack .../46-gettext_0.21-4_arm64.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:arm64 (2.2.10-2) ... Setting up libpipeline1:arm64 (1.5.3-1) ... Setting up libpsl5:arm64 (0.21.0-1.2) ... Setting up bsdextrautils (2.36.1-8) ... update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode Setting up libicu67:arm64 (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:arm64 (1.0.9-2+b2) ... Setting up libnghttp2-14:arm64 (1.43.0-1) ... Setting up libmagic1:arm64 (1:5.39-3) ... Setting up gettext-base (0.21-4) ... Setting up file (1:5.39-3) ... Setting up libsasl2-modules-db:arm64 (2.1.27+dfsg-2.1) ... Setting up autotools-dev (20180224.1+nmu1) ... Setting up libuv1:arm64 (1.40.0-2) ... Setting up librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b2) ... Setting up libncurses6:arm64 (6.2+20201114-2) ... Setting up libsigsegv2:arm64 (2.13-1) ... Setting up autopoint (0.21-4) ... Setting up libsasl2-2:arm64 (2.1.27+dfsg-2.1) ... Setting up libjsoncpp24:arm64 (1.9.4-4) ... Setting up sensible-utils (0.0.14) ... Setting up librhash0:arm64 (1.4.1-2) ... Setting up libuchardet0:arm64 (0.0.7-1) ... Setting up libsub-override-perl (0.09-2) ... Setting up libssh2-1:arm64 (1.9.0-2) ... Setting up cmake-data (3.18.4-2) ... Setting up libelf1:arm64 (0.183-1) ... Setting up libxml2:arm64 (2.9.10+dfsg-6.7) ... Setting up libprocps8:arm64 (2:3.3.17-5) ... Setting up libfile-stripnondeterminism-perl (1.12.0-1) ... Setting up gettext (0.21-4) ... Setting up libtool (2.4.6-15) ... Setting up libarchive13:arm64 (3.4.3-2+b1) ... Setting up libldap-2.4-2:arm64 (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.12.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:arm64 (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-13) ... 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 arm64 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/aarch64-linux-gnu -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 -j8 "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' [ 3%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o [ 3%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o [ 3%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o [ 4%] 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_text.cpp.o -c /build/clasp-3.3.5/libpotassco/src/aspif_text.cpp 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 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 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/program_options.cpp.o [ 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/program_options.cpp.o -c /build/clasp-3.3.5/libpotassco/src/program_options.cpp [ 8%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o [ 9%] 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/match_basic_types.cpp.o -c /build/clasp-3.3.5/libpotassco/src/match_basic_types.cpp 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 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_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/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_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_lp.dir/depend.internal". Scanning dependencies of target test_potassco_opts Scanning dependencies of target test_potassco_lp 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". make[4]: Leaving 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 -f libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build 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' [ 17%] 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 [ 19%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_value.cpp.o [ 19%] 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 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 [ 20%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_application.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_application.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_application.cpp Scanning dependencies of target libclasp 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 [ 21%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_text.cpp.o [ 23%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o [ 24%] 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=c++11 -o CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o -c /build/clasp-3.3.5/libpotassco/tests/test_smodels.cpp 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 make[4]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' 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 [ 25%] 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 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); | ^~~~~~~~~~~ [ 26%] 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 [ 28%] 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 [ 29%] 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 [ 30%] 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 [ 31%] 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 [ 32%] 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/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 | ^~~~~ /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); | ^~~~~~~~~~~ [ 34%] 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 [ 35%] 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 [ 36%] 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 [ 37%] 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 [ 39%] 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 [ 40%] 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 [ 41%] 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 [ 42%] 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 [ 43%] 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 [ 45%] 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 [ 46%] 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 [ 47%] 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 [ 48%] 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 [ 50%] 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 [ 51%] 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 [ 52%] 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 [ 53%] 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 [ 54%] 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 [ 56%] 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 [ 57%] 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 [ 58%] 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 [ 59%] 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 [ 60%] 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 [ 62%] 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 [ 63%] 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' [ 63%] Built target test_potassco_opts [ 64%] 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' [ 64%] Built target libclasp make -f tests/CMakeFiles/test_clasp.dir/build.make tests/CMakeFiles/test_clasp.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/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= make -f app/CMakeFiles/clasp.dir/build.make app/CMakeFiles/clasp.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 -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/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= 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". 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". 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' 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". 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 [ 65%] Building CXX object app/CMakeFiles/clasp.dir/clasp_app.cpp.o Scanning dependencies of target clasp_examples 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 make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' make[4]: Entering 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' [ 67%] 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 [ 69%] Building CXX object tests/CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o [ 68%] 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_creator_test.cpp.o -c /build/clasp-3.3.5/tests/clause_creator_test.cpp [ 70%] 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/clause_test.cpp.o -c /build/clasp-3.3.5/tests/clause_test.cpp 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 [ 71%] Building CXX object tests/CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o [ 73%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example1.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 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 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); | ^~~~~~~~~~~ [ 74%] 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 [ 75%] 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 [ 76%] 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 [ 78%] 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 [ 79%] 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 [ 80%] 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 [ 81%] 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' [ 81%] Built target clasp [ 82%] 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 make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 82%] Built target clasp_examples [ 84%] 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); | ^~~~~~~~~~~ [ 85%] 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 make[4]: Leaving directory '/build/clasp-3.3.5/build.dir/hardening_mt' [ 85%] Built target test_potassco_lp [ 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 [ 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 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); | ^~~~~~~~~~~~~~~~~ [ 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 [ 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 -j8 test ARGS\+=-j8 make[2]: Entering directory '/build/clasp-3.3.5/build.dir/hardening_mt' Running tests... /usr/bin/ctest --force-new-ctest-process -j8 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.02 sec 2/3 Test #3: test_clasp ....................... Passed 0.12 sec 3/3 Test #2: test_opts ........................ Passed 1.01 sec 100% tests passed, 0 tests failed out of 3 Total Test time (real) = 1.01 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.0203706 test_opts 1 1.00694 test_clasp 1 0.123573 --- ==> build.dir/hardening_mt/Testing/Temporary/LastTest.log <== Start testing: Sep 06 16:19 -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: Sep 06 16:19 -12 Output: ---------------------------------------------------------- =============================================================================== All tests passed (2845 assertions in 21 test cases) Test time = 0.02 sec ---------------------------------------------------------- Test Passed. "test_lp" end time: Sep 06 16:19 -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: Sep 06 16:19 -12 Output: ---------------------------------------------------------- =============================================================================== All tests passed (6706 assertions in 44 test cases) Test time = 0.12 sec ---------------------------------------------------------- Test Passed. "test_clasp" end time: Sep 06 16:19 -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: Sep 06 16:19 -12 Output: ---------------------------------------------------------- =============================================================================== All tests passed (129 assertions in 16 test cases) Test time = 1.01 sec ---------------------------------------------------------- Test Passed. "test_opts" end time: Sep 06 16:19 -12 "test_opts" time elapsed: 00:00:01 ---------------------------------------------------------- End testing: Sep 06 16:19 -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 -j8 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 dh_installdeb dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'clasp' in '../clasp_3.3.5-4_arm64.deb'. dpkg-deb: building package 'clasp-dbgsym' in '../clasp-dbgsym_3.3.5-4_arm64.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../clasp_3.3.5-4_arm64.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/15245 and its subdirectories I: Current time: Mon Sep 6 16:20:02 -12 2021 I: pbuilder-time-stamp: 1630988402 Tue Sep 7 04:20:04 UTC 2021 I: 1st build successful. Starting 2nd build on remote node codethink15-arm64.debian.net. Tue Sep 7 04:20:04 UTC 2021 I: Preparing to do remote build '2' on codethink15-arm64.debian.net. Tue Sep 7 04:27:33 UTC 2021 I: Deleting $TMPDIR on codethink15-arm64.debian.net. Tue Sep 7 04:27:34 UTC 2021 I: clasp_3.3.5-4_arm64.changes: Format: 1.8 Date: Mon, 28 Dec 2020 12:26:04 +0000 Source: clasp Binary: clasp clasp-dbgsym Architecture: arm64 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: dc5c6312c19c78633b8c192210c3c961729dbbac 6312104 clasp-dbgsym_3.3.5-4_arm64.deb 1766697672600b36b09ea884be64c047d90dc150 5566 clasp_3.3.5-4_arm64.buildinfo 40f4f5c92c298429a486ebaff1e185df69268018 583028 clasp_3.3.5-4_arm64.deb Checksums-Sha256: 91054f4c990c7ee032f2c27763e32110c0fc96af0c6a31c80e5d54bb859c8645 6312104 clasp-dbgsym_3.3.5-4_arm64.deb 36e3ae0cef7aed622a7dfe7df718df0d919cb98573d507a1813936040c0dae00 5566 clasp_3.3.5-4_arm64.buildinfo f30dcda0eb42a5b52098edbc340047731efda4d4c48421bb1142f2e1a077d50a 583028 clasp_3.3.5-4_arm64.deb Files: b98c843d02ed5117086fd87a99bc2731 6312104 debug optional clasp-dbgsym_3.3.5-4_arm64.deb 317a15e3568c1dc07819c947e6350c62 5566 interpreters optional clasp_3.3.5-4_arm64.buildinfo 78b2f93ce5518adcf46fd8fc77ac61f9 583028 interpreters optional clasp_3.3.5-4_arm64.deb Tue Sep 7 04:27:57 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.4FGB12NoSU/clasp_3.3.5-4.diffoscope.html --text /srv/reproducible-results/rbuild-debian/tmp.4FGB12NoSU/clasp_3.3.5-4.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/tmp.4FGB12NoSU/clasp_3.3.5-4.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/tmp.4FGB12NoSU/b1/clasp_3.3.5-4_arm64.changes /srv/reproducible-results/rbuild-debian/tmp.4FGB12NoSU/b2/clasp_3.3.5-4_arm64.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.456s) 0.456s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.116s) 0.116s 10 calls diffoscope.comparators.binary.FilesystemFile 0.000s 8 calls abc.DotChangesFile Tue Sep 7 04:28:42 UTC 2021 I: diffoscope 177 found no differences in the changes files, and a .buildinfo file also exists. Tue Sep 7 04:28:42 UTC 2021 I: clasp from bullseye built successfully and reproducibly on arm64. Tue Sep 7 04:28:44 UTC 2021 I: Submitting .buildinfo files to external archives: Tue Sep 7 04:28:44 UTC 2021 I: Submitting 8.0K b1/clasp_3.3.5-4_arm64.buildinfo.asc Tue Sep 7 04:28:45 UTC 2021 I: Submitting 8.0K b2/clasp_3.3.5-4_arm64.buildinfo.asc Tue Sep 7 04:28:46 UTC 2021 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Tue Sep 7 04:28:46 UTC 2021 I: Done submitting .buildinfo files. Tue Sep 7 04:28:46 UTC 2021 I: Removing signed clasp_3.3.5-4_arm64.buildinfo.asc files: removed './b1/clasp_3.3.5-4_arm64.buildinfo.asc' removed './b2/clasp_3.3.5-4_arm64.buildinfo.asc'