Raspbian Package Auto-Building

Build log for clasp (3.3.5-4.1) on armhf

clasp3.3.5-4.1armhf → 2022-10-03 00:12:06

sbuild (Debian sbuild) 0.72.0 (25 Oct 2016) on mb-lxc-02

+==============================================================================+
| clasp 3.3.5-4.1 (armhf)                      Sun, 02 Oct 2022 23:56:15 +0000 |
+==============================================================================+

Package: clasp
Version: 3.3.5-4.1
Source Version: 3.3.5-4.1
Distribution: bookworm-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/bookworm-staging-armhf-sbuild-cd47a2ea-c225-4140-84cf-ee972da6ae85' with '<<CHROOT>>'

+------------------------------------------------------------------------------+
| Update chroot                                                                |
+------------------------------------------------------------------------------+

Get:1 http://172.17.4.1/private bookworm-staging InRelease [11.3 kB]
Get:2 http://172.17.4.1/private bookworm-staging/main Sources [13.3 MB]
Get:3 http://172.17.4.1/private bookworm-staging/main armhf Packages [14.2 MB]
Fetched 27.5 MB in 12s (2273 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
W: http://172.17.4.1/private/dists/bookworm-staging/InRelease: Key is stored in legacy trusted.gpg keyring (/etc/apt/trusted.gpg), see the DEPRECATION section in apt-key(8) for details.

+------------------------------------------------------------------------------+
| Fetch source files                                                           |
+------------------------------------------------------------------------------+


Check APT
---------

Checking available source versions...

Download source files with APT
------------------------------

Reading package lists...
NOTICE: 'clasp' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/science-team/clasp.git
Please use:
git clone https://salsa.debian.org/science-team/clasp.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 843 kB of source archives.
Get:1 http://172.17.4.1/private bookworm-staging/main clasp 3.3.5-4.1 (dsc) [2035 B]
Get:2 http://172.17.4.1/private bookworm-staging/main clasp 3.3.5-4.1 (tar) [831 kB]
Get:3 http://172.17.4.1/private bookworm-staging/main clasp 3.3.5-4.1 (diff) [10.3 kB]
Fetched 843 kB in 0s (4539 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/clasp-ydF5Uq/clasp-3.3.5' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/clasp-ydF5Uq' with '<<BUILDDIR>>'

+------------------------------------------------------------------------------+
| Install build-essential                                                      |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-kPMI6T/apt_archive/sbuild-build-depends-core-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 1 entries to output Packages file.
gpg: keybox '/<<BUILDDIR>>/resolver-kPMI6T/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-kPMI6T/gpg/trustdb.gpg: trustdb created
gpg: key 37145E60F90AF620: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg:               imported: 1
gpg: key 37145E60F90AF620: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 37145E60F90AF620: secret key imported
gpg: Total number processed: 1
gpg:              unchanged: 1
gpg:       secret keys read: 1
gpg:   secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-kPMI6T/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-kPMI6T/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-kPMI6T/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-kPMI6T/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-kPMI6T/apt_archive ./ Packages [433 B]
Fetched 2109 B in 1s (3257 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...

Install core build dependencies (apt-based resolver)
----------------------------------------------------

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
  krb5-locales libpam-cap netbase sensible-utils
Use 'apt autoremove' to remove them.
The following NEW packages will be installed:
  sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 5 not upgraded.
Need to get 852 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-kPMI6T/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [852 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 852 B in 0s (52.8 kB/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 12808 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Check architectures                                                          |
+------------------------------------------------------------------------------+

Arch check ok (armhf included in any)

+------------------------------------------------------------------------------+
| Install package build dependencies                                           |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: debhelper-compat (= 13), dpkg-dev (>= 1.16.1~), g++-10 (>= 10.2.1), catch, cmake (>= 3.1.0)
Filtered Build-Depends: debhelper-compat (= 13), dpkg-dev (>= 1.16.1~), g++-10 (>= 10.2.1), catch, cmake (>= 3.1.0)
dpkg-deb: building package 'sbuild-build-depends-clasp-dummy' in '/<<BUILDDIR>>/resolver-kPMI6T/apt_archive/sbuild-build-depends-clasp-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-clasp-dummy sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-kPMI6T/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-kPMI6T/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-kPMI6T/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-kPMI6T/apt_archive ./ Sources [532 B]
Get:5 copy:/<<BUILDDIR>>/resolver-kPMI6T/apt_archive ./ Packages [615 B]
Fetched 2480 B in 1s (3542 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...

Install clasp build dependencies (apt-based resolver)
-----------------------------------------------------

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
  krb5-locales libpam-cap netbase
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
  autoconf automake autopoint autotools-dev bsdextrautils catch cmake
  cmake-data cpp-10 debhelper dh-autoreconf dh-elpa-helper
  dh-strip-nondeterminism dwz emacsen-common file g++-10 gcc-10 gcc-10-base
  gcc-11-base gettext gettext-base groff-base intltool-debian
  libarchive-zip-perl libarchive13 libasan6 libbrotli1 libcurl4
  libdebhelper-perl libelf1 libexpat1 libfile-stripnondeterminism-perl
  libgcc-10-dev libicu71 libjsoncpp25 libmagic-mgc libmagic1 libncurses6
  libnghttp2-14 libpipeline1 libprocps8 libpsl5 librhash0 librtmp1 libssh2-1
  libstdc++-10-dev libsub-override-perl libtool libuchardet0 libuv1 libxml2 m4
  man-db po-debconf procps
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc cmake-doc ninja-build
  cmake-format gcc-10-locales dh-make gcc-10-doc gettext-doc libasprintf-dev
  libgettextpo-dev groff lrzip libstdc++-10-doc libtool-doc gfortran
  | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser
  libmail-box-perl
Recommended packages:
  curl | wget | lynx ca-certificates libarchive-cpio-perl libgpm2 publicsuffix
  libltdl-dev libmail-sendmail-perl psmisc
The following NEW packages will be installed:
  autoconf automake autopoint autotools-dev bsdextrautils catch cmake
  cmake-data cpp-10 debhelper dh-autoreconf dh-elpa-helper
  dh-strip-nondeterminism dwz emacsen-common file g++-10 gcc-10 gcc-10-base
  gcc-11-base gettext gettext-base groff-base intltool-debian
  libarchive-zip-perl libarchive13 libasan6 libbrotli1 libcurl4
  libdebhelper-perl libelf1 libexpat1 libfile-stripnondeterminism-perl
  libgcc-10-dev libicu71 libjsoncpp25 libmagic-mgc libmagic1 libncurses6
  libnghttp2-14 libpipeline1 libprocps8 libpsl5 librhash0 librtmp1 libssh2-1
  libstdc++-10-dev libsub-override-perl libtool libuchardet0 libuv1 libxml2 m4
  man-db po-debconf procps sbuild-build-depends-clasp-dummy
0 upgraded, 57 newly installed, 0 to remove and 5 not upgraded.
Need to get 58.6 MB of archives.
After this operation, 226 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-kPMI6T/apt_archive ./ sbuild-build-depends-clasp-dummy 0.invalid.0 [900 B]
Get:2 http://172.17.4.1/private bookworm-staging/main armhf gcc-10-base armhf 10.4.0-5+rpi1 [207 kB]
Get:3 http://172.17.4.1/private bookworm-staging/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB]
Get:4 http://172.17.4.1/private bookworm-staging/main armhf groff-base armhf 1.22.4-8 [793 kB]
Get:5 http://172.17.4.1/private bookworm-staging/main armhf bsdextrautils armhf 2.38.1-1 [137 kB]
Get:6 http://172.17.4.1/private bookworm-staging/main armhf libpipeline1 armhf 1.5.6-3 [34.3 kB]
Get:7 http://172.17.4.1/private bookworm-staging/main armhf man-db armhf 2.10.2-3 [1364 kB]
Get:8 http://172.17.4.1/private bookworm-staging/main armhf libncurses6 armhf 6.3+20220423-2 [79.6 kB]
Get:9 http://172.17.4.1/private bookworm-staging/main armhf libprocps8 armhf 2:3.3.17-7 [60.7 kB]
Get:10 http://172.17.4.1/private bookworm-staging/main armhf procps armhf 2:3.3.17-7 [475 kB]
Get:11 http://172.17.4.1/private bookworm-staging/main armhf libmagic-mgc armhf 1:5.41-4 [295 kB]
Get:12 http://172.17.4.1/private bookworm-staging/main armhf libmagic1 armhf 1:5.41-4 [120 kB]
Get:13 http://172.17.4.1/private bookworm-staging/main armhf file armhf 1:5.41-4 [65.8 kB]
Get:14 http://172.17.4.1/private bookworm-staging/main armhf gettext-base armhf 0.21-9 [171 kB]
Get:15 http://172.17.4.1/private bookworm-staging/main armhf m4 armhf 1.4.19-1 [260 kB]
Get:16 http://172.17.4.1/private bookworm-staging/main armhf autoconf all 2.71-2 [343 kB]
Get:17 http://172.17.4.1/private bookworm-staging/main armhf autotools-dev all 20220109.1 [51.6 kB]
Get:18 http://172.17.4.1/private bookworm-staging/main armhf automake all 1:1.16.5-1.3 [823 kB]
Get:19 http://172.17.4.1/private bookworm-staging/main armhf autopoint all 0.21-9 [510 kB]
Get:20 http://172.17.4.1/private bookworm-staging/main armhf catch all 1.12.2-0.1 [114 kB]
Get:21 http://172.17.4.1/private bookworm-staging/main armhf libicu71 armhf 71.1-3 [8855 kB]
Get:22 http://172.17.4.1/private bookworm-staging/main armhf libxml2 armhf 2.9.14+dfsg-1 [591 kB]
Get:23 http://172.17.4.1/private bookworm-staging/main armhf libarchive13 armhf 3.6.0-1 [306 kB]
Get:24 http://172.17.4.1/private bookworm-staging/main armhf libbrotli1 armhf 1.0.9-2+b2 [260 kB]
Get:25 http://172.17.4.1/private bookworm-staging/main armhf libnghttp2-14 armhf 1.50.0-1 [65.0 kB]
Get:26 http://172.17.4.1/private bookworm-staging/main armhf libpsl5 armhf 0.21.0-1.2 [56.2 kB]
Get:27 http://172.17.4.1/private bookworm-staging/main armhf librtmp1 armhf 2.4+20151223.gitfa8646d.1-2+b2 [54.2 kB]
Get:28 http://172.17.4.1/private bookworm-staging/main armhf libssh2-1 armhf 1.10.0-3+b1 [161 kB]
Get:29 http://172.17.4.1/private bookworm-staging/main armhf libcurl4 armhf 7.85.0-1 [325 kB]
Get:30 http://172.17.4.1/private bookworm-staging/main armhf libexpat1 armhf 2.4.9-1 [83.3 kB]
Get:31 http://172.17.4.1/private bookworm-staging/main armhf libjsoncpp25 armhf 1.9.5-4 [66.7 kB]
Get:32 http://172.17.4.1/private bookworm-staging/main armhf librhash0 armhf 1.4.3-3 [142 kB]
Get:33 http://172.17.4.1/private bookworm-staging/main armhf libuv1 armhf 1.44.2-1+rpi1 [125 kB]
Get:34 http://172.17.4.1/private bookworm-staging/main armhf dh-elpa-helper all 2.0.11 [11.4 kB]
Get:35 http://172.17.4.1/private bookworm-staging/main armhf emacsen-common all 3.0.4 [19.3 kB]
Get:36 http://172.17.4.1/private bookworm-staging/main armhf cmake-data all 3.24.2-1 [2019 kB]
Get:37 http://172.17.4.1/private bookworm-staging/main armhf cmake armhf 3.24.2-1 [3661 kB]
Get:38 http://172.17.4.1/private bookworm-staging/main armhf cpp-10 armhf 10.4.0-5+rpi1 [6693 kB]
Get:39 http://172.17.4.1/private bookworm-staging/main armhf libdebhelper-perl all 13.9.1 [196 kB]
Get:40 http://172.17.4.1/private bookworm-staging/main armhf gcc-11-base armhf 11.3.0-5+rpi1 [209 kB]
Get:41 http://172.17.4.1/private bookworm-staging/main armhf libasan6 armhf 11.3.0-5+rpi1 [1946 kB]
Get:42 http://172.17.4.1/private bookworm-staging/main armhf libgcc-10-dev armhf 10.4.0-5+rpi1 [680 kB]
Get:43 http://172.17.4.1/private bookworm-staging/main armhf gcc-10 armhf 10.4.0-5+rpi1 [13.4 MB]
Get:44 http://172.17.4.1/private bookworm-staging/main armhf libtool all 2.4.7-4 [526 kB]
Get:45 http://172.17.4.1/private bookworm-staging/main armhf dh-autoreconf all 20 [17.1 kB]
Get:46 http://172.17.4.1/private bookworm-staging/main armhf libarchive-zip-perl all 1.68-1 [104 kB]
Get:47 http://172.17.4.1/private bookworm-staging/main armhf libsub-override-perl all 0.09-3 [10.4 kB]
Get:48 http://172.17.4.1/private bookworm-staging/main armhf libfile-stripnondeterminism-perl all 1.13.0-1 [26.6 kB]
Get:49 http://172.17.4.1/private bookworm-staging/main armhf dh-strip-nondeterminism all 1.13.0-1 [15.8 kB]
Get:50 http://172.17.4.1/private bookworm-staging/main armhf libelf1 armhf 0.187-2+rpi2 [177 kB]
Get:51 http://172.17.4.1/private bookworm-staging/main armhf dwz armhf 0.14-1 [83.0 kB]
Get:52 http://172.17.4.1/private bookworm-staging/main armhf gettext armhf 0.21-9 [1220 kB]
Get:53 http://172.17.4.1/private bookworm-staging/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get:54 http://172.17.4.1/private bookworm-staging/main armhf po-debconf all 1.0.21+nmu1 [248 kB]
Get:55 http://172.17.4.1/private bookworm-staging/main armhf debhelper all 13.9.1 [1071 kB]
Get:56 http://172.17.4.1/private bookworm-staging/main armhf libstdc++-10-dev armhf 10.4.0-5+rpi1 [1764 kB]
Get:57 http://172.17.4.1/private bookworm-staging/main armhf g++-10 armhf 10.4.0-5+rpi1 [7360 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 58.6 MB in 8s (7106 kB/s)
Selecting previously unselected package gcc-10-base:armhf.
(Reading database ... 12808 files and directories currently installed.)
Preparing to unpack .../00-gcc-10-base_10.4.0-5+rpi1_armhf.deb ...
Unpacking gcc-10-base:armhf (10.4.0-5+rpi1) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../01-libuchardet0_0.0.7-1_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../02-groff-base_1.22.4-8_armhf.deb ...
Unpacking groff-base (1.22.4-8) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../03-bsdextrautils_2.38.1-1_armhf.deb ...
Unpacking bsdextrautils (2.38.1-1) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../04-libpipeline1_1.5.6-3_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.6-3) ...
Selecting previously unselected package man-db.
Preparing to unpack .../05-man-db_2.10.2-3_armhf.deb ...
Unpacking man-db (2.10.2-3) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../06-libncurses6_6.3+20220423-2_armhf.deb ...
Unpacking libncurses6:armhf (6.3+20220423-2) ...
Selecting previously unselected package libprocps8:armhf.
Preparing to unpack .../07-libprocps8_2%3a3.3.17-7_armhf.deb ...
Unpacking libprocps8:armhf (2:3.3.17-7) ...
Selecting previously unselected package procps.
Preparing to unpack .../08-procps_2%3a3.3.17-7_armhf.deb ...
Unpacking procps (2:3.3.17-7) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../09-libmagic-mgc_1%3a5.41-4_armhf.deb ...
Unpacking libmagic-mgc (1:5.41-4) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../10-libmagic1_1%3a5.41-4_armhf.deb ...
Unpacking libmagic1:armhf (1:5.41-4) ...
Selecting previously unselected package file.
Preparing to unpack .../11-file_1%3a5.41-4_armhf.deb ...
Unpacking file (1:5.41-4) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../12-gettext-base_0.21-9_armhf.deb ...
Unpacking gettext-base (0.21-9) ...
Selecting previously unselected package m4.
Preparing to unpack .../13-m4_1.4.19-1_armhf.deb ...
Unpacking m4 (1.4.19-1) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../14-autoconf_2.71-2_all.deb ...
Unpacking autoconf (2.71-2) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../15-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../16-automake_1%3a1.16.5-1.3_all.deb ...
Unpacking automake (1:1.16.5-1.3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../17-autopoint_0.21-9_all.deb ...
Unpacking autopoint (0.21-9) ...
Selecting previously unselected package catch.
Preparing to unpack .../18-catch_1.12.2-0.1_all.deb ...
Unpacking catch (1.12.2-0.1) ...
Selecting previously unselected package libicu71:armhf.
Preparing to unpack .../19-libicu71_71.1-3_armhf.deb ...
Unpacking libicu71:armhf (71.1-3) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../20-libxml2_2.9.14+dfsg-1_armhf.deb ...
Unpacking libxml2:armhf (2.9.14+dfsg-1) ...
Selecting previously unselected package libarchive13:armhf.
Preparing to unpack .../21-libarchive13_3.6.0-1_armhf.deb ...
Unpacking libarchive13:armhf (3.6.0-1) ...
Selecting previously unselected package libbrotli1:armhf.
Preparing to unpack .../22-libbrotli1_1.0.9-2+b2_armhf.deb ...
Unpacking libbrotli1:armhf (1.0.9-2+b2) ...
Selecting previously unselected package libnghttp2-14:armhf.
Preparing to unpack .../23-libnghttp2-14_1.50.0-1_armhf.deb ...
Unpacking libnghttp2-14:armhf (1.50.0-1) ...
Selecting previously unselected package libpsl5:armhf.
Preparing to unpack .../24-libpsl5_0.21.0-1.2_armhf.deb ...
Unpacking libpsl5:armhf (0.21.0-1.2) ...
Selecting previously unselected package librtmp1:armhf.
Preparing to unpack .../25-librtmp1_2.4+20151223.gitfa8646d.1-2+b2_armhf.deb ...
Unpacking librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b2) ...
Selecting previously unselected package libssh2-1:armhf.
Preparing to unpack .../26-libssh2-1_1.10.0-3+b1_armhf.deb ...
Unpacking libssh2-1:armhf (1.10.0-3+b1) ...
Selecting previously unselected package libcurl4:armhf.
Preparing to unpack .../27-libcurl4_7.85.0-1_armhf.deb ...
Unpacking libcurl4:armhf (7.85.0-1) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../28-libexpat1_2.4.9-1_armhf.deb ...
Unpacking libexpat1:armhf (2.4.9-1) ...
Selecting previously unselected package libjsoncpp25:armhf.
Preparing to unpack .../29-libjsoncpp25_1.9.5-4_armhf.deb ...
Unpacking libjsoncpp25:armhf (1.9.5-4) ...
Selecting previously unselected package librhash0:armhf.
Preparing to unpack .../30-librhash0_1.4.3-3_armhf.deb ...
Unpacking librhash0:armhf (1.4.3-3) ...
Selecting previously unselected package libuv1:armhf.
Preparing to unpack .../31-libuv1_1.44.2-1+rpi1_armhf.deb ...
Unpacking libuv1:armhf (1.44.2-1+rpi1) ...
Selecting previously unselected package dh-elpa-helper.
Preparing to unpack .../32-dh-elpa-helper_2.0.11_all.deb ...
Unpacking dh-elpa-helper (2.0.11) ...
Selecting previously unselected package emacsen-common.
Preparing to unpack .../33-emacsen-common_3.0.4_all.deb ...
Unpacking emacsen-common (3.0.4) ...
Selecting previously unselected package cmake-data.
Preparing to unpack .../34-cmake-data_3.24.2-1_all.deb ...
Unpacking cmake-data (3.24.2-1) ...
Selecting previously unselected package cmake.
Preparing to unpack .../35-cmake_3.24.2-1_armhf.deb ...
Unpacking cmake (3.24.2-1) ...
Selecting previously unselected package cpp-10.
Preparing to unpack .../36-cpp-10_10.4.0-5+rpi1_armhf.deb ...
Unpacking cpp-10 (10.4.0-5+rpi1) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../37-libdebhelper-perl_13.9.1_all.deb ...
Unpacking libdebhelper-perl (13.9.1) ...
Selecting previously unselected package gcc-11-base:armhf.
Preparing to unpack .../38-gcc-11-base_11.3.0-5+rpi1_armhf.deb ...
Unpacking gcc-11-base:armhf (11.3.0-5+rpi1) ...
Selecting previously unselected package libasan6:armhf.
Preparing to unpack .../39-libasan6_11.3.0-5+rpi1_armhf.deb ...
Unpacking libasan6:armhf (11.3.0-5+rpi1) ...
Selecting previously unselected package libgcc-10-dev:armhf.
Preparing to unpack .../40-libgcc-10-dev_10.4.0-5+rpi1_armhf.deb ...
Unpacking libgcc-10-dev:armhf (10.4.0-5+rpi1) ...
Selecting previously unselected package gcc-10.
Preparing to unpack .../41-gcc-10_10.4.0-5+rpi1_armhf.deb ...
Unpacking gcc-10 (10.4.0-5+rpi1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../42-libtool_2.4.7-4_all.deb ...
Unpacking libtool (2.4.7-4) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../43-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../44-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 .../45-libsub-override-perl_0.09-3_all.deb ...
Unpacking libsub-override-perl (0.09-3) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../46-libfile-stripnondeterminism-perl_1.13.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.13.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../47-dh-strip-nondeterminism_1.13.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.13.0-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../48-libelf1_0.187-2+rpi2_armhf.deb ...
Unpacking libelf1:armhf (0.187-2+rpi2) ...
Selecting previously unselected package dwz.
Preparing to unpack .../49-dwz_0.14-1_armhf.deb ...
Unpacking dwz (0.14-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../50-gettext_0.21-9_armhf.deb ...
Unpacking gettext (0.21-9) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../51-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 .../52-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../53-debhelper_13.9.1_all.deb ...
Unpacking debhelper (13.9.1) ...
Selecting previously unselected package libstdc++-10-dev:armhf.
Preparing to unpack .../54-libstdc++-10-dev_10.4.0-5+rpi1_armhf.deb ...
Unpacking libstdc++-10-dev:armhf (10.4.0-5+rpi1) ...
Selecting previously unselected package g++-10.
Preparing to unpack .../55-g++-10_10.4.0-5+rpi1_armhf.deb ...
Unpacking g++-10 (10.4.0-5+rpi1) ...
Selecting previously unselected package sbuild-build-depends-clasp-dummy.
Preparing to unpack .../56-sbuild-build-depends-clasp-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-clasp-dummy (0.invalid.0) ...
Setting up libexpat1:armhf (2.4.9-1) ...
Setting up libpipeline1:armhf (1.5.6-3) ...
Setting up libicu71:armhf (71.1-3) ...
Setting up gcc-11-base:armhf (11.3.0-5+rpi1) ...
Setting up libpsl5:armhf (0.21.0-1.2) ...
Setting up bsdextrautils (2.38.1-1) ...
Setting up libmagic-mgc (1:5.41-4) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.9.1) ...
Setting up libbrotli1:armhf (1.0.9-2+b2) ...
Setting up libnghttp2-14:armhf (1.50.0-1) ...
Setting up libmagic1:armhf (1:5.41-4) ...
Setting up gettext-base (0.21-9) ...
Setting up m4 (1.4.19-1) ...
Setting up file (1:5.41-4) ...
Setting up libasan6:armhf (11.3.0-5+rpi1) ...
Setting up gcc-10-base:armhf (10.4.0-5+rpi1) ...
Setting up autotools-dev (20220109.1) ...
Setting up libuv1:armhf (1.44.2-1+rpi1) ...
Setting up emacsen-common (3.0.4) ...
Setting up librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b2) ...
Setting up dh-elpa-helper (2.0.11) ...
Setting up libncurses6:armhf (6.3+20220423-2) ...
Setting up autopoint (0.21-9) ...
Setting up libjsoncpp25:armhf (1.9.5-4) ...
Setting up autoconf (2.71-2) ...
Setting up librhash0:armhf (1.4.3-3) ...
Setting up libuchardet0:armhf (0.0.7-1) ...
Setting up catch (1.12.2-0.1) ...
Setting up libsub-override-perl (0.09-3) ...
Setting up libssh2-1:armhf (1.10.0-3+b1) ...
Setting up cmake-data (3.24.2-1) ...
Setting up libelf1:armhf (0.187-2+rpi2) ...
Setting up libxml2:armhf (2.9.14+dfsg-1) ...
Setting up libprocps8:armhf (2:3.3.17-7) ...
Setting up cpp-10 (10.4.0-5+rpi1) ...
Setting up automake (1:1.16.5-1.3) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.13.0-1) ...
Setting up gettext (0.21-9) ...
Setting up libtool (2.4.7-4) ...
Setting up libarchive13:armhf (3.6.0-1) ...
Setting up libgcc-10-dev:armhf (10.4.0-5+rpi1) ...
Setting up intltool-debian (0.35.0+20060710.5) ...
Setting up dh-autoreconf (20) ...
Setting up gcc-10 (10.4.0-5+rpi1) ...
Setting up dh-strip-nondeterminism (1.13.0-1) ...
Setting up dwz (0.14-1) ...
Setting up groff-base (1.22.4-8) ...
Setting up procps (2:3.3.17-7) ...
Setting up libcurl4:armhf (7.85.0-1) ...
Setting up libstdc++-10-dev:armhf (10.4.0-5+rpi1) ...
Setting up g++-10 (10.4.0-5+rpi1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up man-db (2.10.2-3) ...
Not building database; man-db/auto-update is not 'true'.
Setting up cmake (3.24.2-1) ...
Setting up debhelper (13.9.1) ...
Setting up sbuild-build-depends-clasp-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.35-1+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Build environment                                                            |
+------------------------------------------------------------------------------+

Kernel: Linux 4.15.0-187-generic armhf (armv8l)
Toolchain package versions: binutils_2.39-3+rpi1 dpkg-dev_1.21.9+rpi1 g++-10_10.4.0-5+rpi1 g++-12_12.2.0-3+rpi1 gcc-10_10.4.0-5+rpi1 gcc-12_12.2.0-3+rpi1 libc6-dev_2.35-1+rpi1 libstdc++-10-dev_10.4.0-5+rpi1 libstdc++-12-dev_12.2.0-3+rpi1 libstdc++6_12.2.0-3+rpi1 linux-libc-dev_5.19.6-1+rpi1
Package versions: adduser_3.129 apt_2.5.2 autoconf_2.71-2 automake_1:1.16.5-1.3 autopoint_0.21-9 autotools-dev_20220109.1 base-files_12.2+rpi1 base-passwd_3.6.1 bash_5.2~rc2-2 binutils_2.39-3+rpi1 binutils-arm-linux-gnueabihf_2.39-3+rpi1 binutils-common_2.39-3+rpi1 bsdextrautils_2.38.1-1 bsdutils_1:2.38.1-1 build-essential_12.9 bzip2_1.0.8-5+b2 catch_1.12.2-0.1 cmake_3.24.2-1 cmake-data_3.24.2-1 coreutils_9.1-1 cpp_4:12.2.0-1+rpi1 cpp-10_10.4.0-5+rpi1 cpp-12_12.2.0-3+rpi1 dash_0.5.11+git20210903+057cd650a4ed-9 debconf_1.5.79 debhelper_13.9.1 debianutils_5.7-0.3 dh-autoreconf_20 dh-elpa-helper_2.0.11 dh-strip-nondeterminism_1.13.0-1 diffutils_1:3.8-1 dirmngr_2.2.39-1 dpkg_1.21.9+rpi1 dpkg-dev_1.21.9+rpi1 dwz_0.14-1 e2fsprogs_1.46.6~rc1-1 emacsen-common_3.0.4 fakeroot_1.29-1 file_1:5.41-4 findutils_4.9.0-3 g++_4:12.2.0-1+rpi1 g++-10_10.4.0-5+rpi1 g++-12_12.2.0-3+rpi1 gcc_4:12.2.0-1+rpi1 gcc-10_10.4.0-5+rpi1 gcc-10-base_10.4.0-5+rpi1 gcc-11-base_11.3.0-5+rpi1 gcc-12_12.2.0-3+rpi1 gcc-12-base_12.2.0-3+rpi1 gcc-7-base_7.5.0-6+rpi1+b2 gcc-8-base_8.4.0-7+rpi1 gcc-9-base_9.4.0-2+rpi1 gettext_0.21-9 gettext-base_0.21-9 gnupg_2.2.39-1 gnupg-l10n_2.2.39-1 gnupg-utils_2.2.39-1 gpg_2.2.39-1 gpg-agent_2.2.39-1 gpg-wks-client_2.2.39-1 gpg-wks-server_2.2.39-1 gpgconf_2.2.39-1 gpgsm_2.2.39-1 gpgv_2.2.39-1 grep_3.7-1 groff-base_1.22.4-8 gzip_1.12-1 hostname_3.23 init-system-helpers_1.64 intltool-debian_0.35.0+20060710.5 iputils-ping_3:20211215-1 krb5-locales_1.20-1 libacl1_2.3.1-1 libapt-pkg6.0_2.5.2 libarchive-zip-perl_1.68-1 libarchive13_3.6.0-1 libasan6_11.3.0-5+rpi1 libasan8_12.2.0-3+rpi1 libassuan0_2.5.5-4 libatomic1_12.2.0-3+rpi1 libattr1_1:2.5.1-1 libaudit-common_1:3.0.7-1.1 libaudit1_1:3.0.7-1.1 libbinutils_2.39-3+rpi1 libblkid1_2.38.1-1 libbrotli1_1.0.9-2+b2 libbz2-1.0_1.0.8-5+b2 libc-bin_2.35-1+rpi1 libc-dev-bin_2.35-1+rpi1 libc6_2.35-1+rpi1 libc6-dev_2.35-1+rpi1 libcap-ng0_0.8.3-1 libcap2_1:2.44-1 libcap2-bin_1:2.44-1 libcc1-0_12.2.0-3+rpi1 libcom-err2_1.46.6~rc1-1 libcrypt-dev_1:4.4.28-2 libcrypt1_1:4.4.28-2 libctf-nobfd0_2.39-3+rpi1 libctf0_2.39-3+rpi1 libcurl4_7.85.0-1 libdb5.3_5.3.28+dfsg1-0.10 libdebconfclient0_0.264 libdebhelper-perl_13.9.1 libdpkg-perl_1.21.9+rpi1 libelf1_0.187-2+rpi2 libexpat1_2.4.9-1 libext2fs2_1.46.6~rc1-1 libfakeroot_1.29-1 libffi8_3.4.2-4 libfile-stripnondeterminism-perl_1.13.0-1 libgcc-10-dev_10.4.0-5+rpi1 libgcc-12-dev_12.2.0-3+rpi1 libgcc-s1_12.2.0-3+rpi1 libgcrypt20_1.10.1-2+b2 libgdbm-compat4_1.23-2 libgdbm6_1.23-2 libgmp10_2:6.2.1+dfsg1-1 libgnutls30_3.7.7-2 libgomp1_12.2.0-3+rpi1 libgpg-error0_1.45-2 libgssapi-krb5-2_1.20-1 libhogweed6_3.8.1-2 libicu71_71.1-3 libidn2-0_2.3.3-1 libisl23_0.25-1 libjsoncpp25_1.9.5-4 libk5crypto3_1.20-1 libkeyutils1_1.6.3-1 libkrb5-3_1.20-1 libkrb5support0_1.20-1 libksba8_1.6.0-3 libldap-2.5-0_2.5.13+dfsg-1 liblz4-1_1.9.4-1+rpi1 liblzma5_5.2.5-2.1 libmagic-mgc_1:5.41-4 libmagic1_1:5.41-4 libmount1_2.38.1-1 libmpc3_1.2.1-2 libmpfr6_4.1.0-3 libncurses6_6.3+20220423-2 libncursesw6_6.3+20220423-2 libnettle8_3.8.1-2 libnghttp2-14_1.50.0-1 libnpth0_1.6-3 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libp11-kit0_0.24.1-1 libpam-cap_1:2.44-1 libpam-modules_1.5.2-2 libpam-modules-bin_1.5.2-2 libpam-runtime_1.5.2-2 libpam0g_1.5.2-2 libpcre2-8-0_10.40-1+b2 libpcre3_2:8.39-14 libperl5.34_5.34.0-5 libpipeline1_1.5.6-3 libprocps8_2:3.3.17-7 libpsl5_0.21.0-1.2 libreadline8_8.2~rc2-2 librhash0_1.4.3-3 librtmp1_2.4+20151223.gitfa8646d.1-2+b2 libsasl2-2_2.1.28+dfsg-8 libsasl2-modules-db_2.1.28+dfsg-8 libseccomp2_2.5.4-1+rpi1 libselinux1_3.4-1 libsemanage-common_3.4-1 libsemanage2_3.4-1 libsepol1_3.1-1 libsepol2_3.4-2 libsmartcols1_2.38.1-1 libsqlite3-0_3.39.3-1 libss2_1.46.6~rc1-1 libssh2-1_1.10.0-3+b1 libssl1.1_1.1.1o-1 libssl3_3.0.5-2 libstdc++-10-dev_10.4.0-5+rpi1 libstdc++-12-dev_12.2.0-3+rpi1 libstdc++6_12.2.0-3+rpi1 libsub-override-perl_0.09-3 libsystemd0_251.4-3+rpi1 libtasn1-6_4.19.0-2 libtinfo6_6.3+20220423-2 libtirpc-common_1.3.3+ds-1 libtirpc-dev_1.3.3+ds-1 libtirpc3_1.3.3+ds-1 libtool_2.4.7-4 libubsan1_12.2.0-3+rpi1 libuchardet0_0.0.7-1 libudev1_251.4-3+rpi1 libunistring2_1.0-1 libuuid1_2.38.1-1 libuv1_1.44.2-1+rpi1 libxml2_2.9.14+dfsg-1 libxxhash0_0.8.1-1 libzstd1_1.5.2+dfsg-1 linux-libc-dev_5.19.6-1+rpi1 login_1:4.11.1+dfsg1-2 logsave_1.46.6~rc1-1 lsb-base_11.4+rpi1 m4_1.4.19-1 make_4.3-4.1 man-db_2.10.2-3 mawk_1.3.4.20200120-3.1 mount_2.38.1-1 nano_6.4-1 ncurses-base_6.3+20220423-2 ncurses-bin_6.3+20220423-2 netbase_6.3 passwd_1:4.11.1+dfsg1-2 patch_2.7.6-7 perl_5.34.0-5 perl-base_5.34.0-5 perl-modules-5.34_5.34.0-5 pinentry-curses_1.2.0-2 po-debconf_1.0.21+nmu1 procps_2:3.3.17-7 raspbian-archive-keyring_20120528.2 readline-common_8.2~rc2-2 rpcsvc-proto_1.4.2-4 sbuild-build-depends-clasp-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.8-1 sensible-utils_0.0.17 sgml-base_1.30 sysvinit-utils_3.05-6 tar_1.34+dfsg-1 tzdata_2022d-1 util-linux_2.38.1-1 util-linux-extra_2.38.1-1 xz-utils_5.2.5-2.1 zlib1g_1:1.2.11.dfsg-4.1

+------------------------------------------------------------------------------+
| Build                                                                        |
+------------------------------------------------------------------------------+


Unpack source
-------------

gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/tmp/dpkg-verify-sig.xt5_eLqz/trustedkeys.kbx': General error
gpgv: Signature made Wed Sep 28 21:25:49 2022 UTC
gpgv:                using RSA key F78CBA07817BB149A11D339069F2FC516EA71993
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify signature ./clasp_3.3.5-4.1.dsc
dpkg-source: info: extracting clasp in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking clasp_3.3.5.orig.tar.gz
dpkg-source: info: unpacking clasp_3.3.5-4.1.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
dpkg-source: info: applying use-system-catch-for-glibc-2.34-compat.patch

Check disk space
----------------

Sufficient free space for build

User Environment
----------------

APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=bookworm-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bookworm-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=112
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bookworm-staging-armhf-sbuild-cd47a2ea-c225-4140-84cf-ee972da6ae85
SCHROOT_UID=107
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd

dpkg-buildpackage
-----------------

dpkg-buildpackage: info: source package clasp
dpkg-buildpackage: info: source version 3.3.5-4.1
dpkg-buildpackage: info: source distribution unstable
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
 debian/rules clean
dh clean
   debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_auto_clean --builddirectory=build.dir/hardening_mt
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_clean
 debian/rules binary-arch
dh binary-arch
   dh_update_autotools_config -a
   dh_autoreconf -a
   debian/rules override_dh_auto_configure
make[1]: Entering directory '/<<PKGBUILDDIR>>'
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_USE_PACKAGE_REGISTRY=OFF -DCMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY=ON -DFETCHCONTENT_FULLY_DISCONNECTED=ON -DCMAKE_INSTALL_RUNSTATEDIR=/run -DCMAKE_SKIP_INSTALL_ALL_DEPENDENCY=ON "-GUnix Makefiles" -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_C_COMPILER=gcc-10 -DCMAKE_CXX_COMPILER=g\+\+-10 -DCMAKE_INSTALL_LIBDIR=lib/arm-linux-gnueabihf -DLIB_POTASSCO_BUILD_APP=OFF -DCLASP_BUILD_TESTS=ON -DLIB_POTASSCO_BUILD_TESTS=ON -DCLASP_BUILD_EXAMPLES=ON ../..
-- The CXX compiler identification is GNU 10.4.0
-- 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.4.0
-- 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
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
-- Found Threads: TRUE  
-- Performing Test CLASP_HAS_WORKING_LIBATOMIC
-- Performing Test CLASP_HAS_WORKING_LIBATOMIC - Failed
-- Looking for __atomic_fetch_add_4 in atomic
-- Looking for __atomic_fetch_add_4 in atomic - found
-- 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
    CMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY
    FETCHCONTENT_FULLY_DISCONNECTED


-- Build files have been written to: /<<PKGBUILDDIR>>/build.dir/hardening_mt
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_auto_build --builddirectory=build.dir/hardening_mt
	cd build.dir/hardening_mt && make -j4 "INSTALL=install --strip-program=true" VERBOSE=1
make[2]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
/usr/bin/cmake -S/<<PKGBUILDDIR>> -B/<<PKGBUILDDIR>>/build.dir/hardening_mt --check-build-system CMakeFiles/Makefile.cmake 0
/usr/bin/cmake -E cmake_progress_start /<<PKGBUILDDIR>>/build.dir/hardening_mt/CMakeFiles /<<PKGBUILDDIR>>/build.dir/hardening_mt//CMakeFiles/progress.marks
make  -f CMakeFiles/Makefile2 all
make[3]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make  -f libpotassco/src/CMakeFiles/libpotassco.dir/build.make libpotassco/src/CMakeFiles/libpotassco.dir/depend
make[4]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<PKGBUILDDIR>> /<<PKGBUILDDIR>>/libpotassco/src /<<PKGBUILDDIR>>/build.dir/hardening_mt /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/src /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake --color=
make[4]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make  -f libpotassco/src/CMakeFiles/libpotassco.dir/build.make libpotassco/src/CMakeFiles/libpotassco.dir/build
make[4]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
[  1%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o
[  2%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o
[  3%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o -MF CMakeFiles/libpotassco.dir/application.cpp.o.d -o CMakeFiles/libpotassco.dir/application.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/src/application.cpp
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o -MF CMakeFiles/libpotassco.dir/aspif_text.cpp.o.d -o CMakeFiles/libpotassco.dir/aspif_text.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/src/aspif_text.cpp
[  4%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o -MF CMakeFiles/libpotassco.dir/aspif.cpp.o.d -o CMakeFiles/libpotassco.dir/aspif.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/src/aspif.cpp
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o -MF CMakeFiles/libpotassco.dir/clingo.cpp.o.d -o CMakeFiles/libpotassco.dir/clingo.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/src/clingo.cpp
[  6%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o -MF CMakeFiles/libpotassco.dir/convert.cpp.o.d -o CMakeFiles/libpotassco.dir/convert.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/src/convert.cpp
[  7%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o -MF CMakeFiles/libpotassco.dir/match_basic_types.cpp.o.d -o CMakeFiles/libpotassco.dir/match_basic_types.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/src/match_basic_types.cpp
[  8%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o -MF CMakeFiles/libpotassco.dir/program_options.cpp.o.d -o CMakeFiles/libpotassco.dir/program_options.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/src/program_options.cpp
[  9%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o -MF CMakeFiles/libpotassco.dir/rule_utils.cpp.o.d -o CMakeFiles/libpotassco.dir/rule_utils.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/src/rule_utils.cpp
[ 10%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o -MF CMakeFiles/libpotassco.dir/smodels.cpp.o.d -o CMakeFiles/libpotassco.dir/smodels.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/src/smodels.cpp
[ 12%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o -MF CMakeFiles/libpotassco.dir/string_convert.cpp.o.d -o CMakeFiles/libpotassco.dir/string_convert.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/src/string_convert.cpp
[ 13%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o -MF CMakeFiles/libpotassco.dir/theory_data.cpp.o.d -o CMakeFiles/libpotassco.dir/theory_data.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/src/theory_data.cpp
[ 14%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o -MF CMakeFiles/libpotassco.dir/value_store.cpp.o.d -o CMakeFiles/libpotassco.dir/value_store.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/src/value_store.cpp
[ 15%] Linking CXX static library ../../lib/libpotassco.a
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/src && /usr/bin/cmake -P CMakeFiles/libpotassco.dir/cmake_clean_target.cmake
cd /<<PKGBUILDDIR>>/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 '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
[ 15%] Built target libpotassco
make  -f libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_lp.dir/depend
make  -f libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_opts.dir/depend
make  -f src/CMakeFiles/libclasp.dir/build.make src/CMakeFiles/libclasp.dir/depend
make[4]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make[4]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<PKGBUILDDIR>> /<<PKGBUILDDIR>>/libpotassco/tests /<<PKGBUILDDIR>>/build.dir/hardening_mt /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_lp.dir/DependInfo.cmake --color=
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<PKGBUILDDIR>> /<<PKGBUILDDIR>>/libpotassco/tests /<<PKGBUILDDIR>>/build.dir/hardening_mt /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests/CMakeFiles/test_potassco_opts.dir/DependInfo.cmake --color=
make[4]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<PKGBUILDDIR>> /<<PKGBUILDDIR>>/src /<<PKGBUILDDIR>>/build.dir/hardening_mt /<<PKGBUILDDIR>>/build.dir/hardening_mt/src /<<PKGBUILDDIR>>/build.dir/hardening_mt/src/CMakeFiles/libclasp.dir/DependInfo.cmake --color=
make[4]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make[4]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make  -f libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build
make[4]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make  -f libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build
make[4]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make[4]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make  -f src/CMakeFiles/libclasp.dir/build.make src/CMakeFiles/libclasp.dir/build
make[4]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
[ 18%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_options.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco/tests -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_options.cpp.o -MF CMakeFiles/test_potassco_opts.dir/test_options.cpp.o.d -o CMakeFiles/test_potassco_opts.dir/test_options.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/tests/test_options.cpp
[ 18%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco/tests -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o -MF CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o.d -o CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/tests/test_aspif.cpp
[ 19%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_application.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco/tests -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_application.cpp.o -MF CMakeFiles/test_potassco_opts.dir/test_application.cpp.o.d -o CMakeFiles/test_potassco_opts.dir/test_application.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/tests/test_application.cpp
[ 20%] Building CXX object src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o -MF CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o.d -o CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o -c /<<PKGBUILDDIR>>/src/asp_preprocessor.cpp
In file included from /<<PKGBUILDDIR>>/libpotassco/tests/test_options.cpp:21:
/<<PKGBUILDDIR>>/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____6()':
/<<PKGBUILDDIR>>/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);
      |                                                                      ^~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                         ^~~~~~~~~~
/<<PKGBUILDDIR>>/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____19()':
/<<PKGBUILDDIR>>/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);
      |                                              ^~~~~~~~~~~~
/<<PKGBUILDDIR>>/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____27()':
/<<PKGBUILDDIR>>/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);
      |                                                ^~~~~
/<<PKGBUILDDIR>>/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);
      |                                                 ^~~~~
/<<PKGBUILDDIR>>/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);
      |                                                       ^~~~~
/<<PKGBUILDDIR>>/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);
      |                                                         ^~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                                ^~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                                         ^~~~~~~~~~~~~~~
/<<PKGBUILDDIR>>/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____36()':
/<<PKGBUILDDIR>>/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);
      |                                                                        ^~~~~~~~~~~
[ 21%] Building CXX object src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o -MF CMakeFiles/libclasp.dir/cb_enumerator.cpp.o.d -o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o -c /<<PKGBUILDDIR>>/src/cb_enumerator.cpp
[ 23%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_value.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco/tests -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_value.cpp.o -MF CMakeFiles/test_potassco_opts.dir/test_value.cpp.o.d -o CMakeFiles/test_potassco_opts.dir/test_value.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/tests/test_value.cpp
[ 24%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o -MF CMakeFiles/libclasp.dir/clasp_facade.cpp.o.d -o CMakeFiles/libclasp.dir/clasp_facade.cpp.o -c /<<PKGBUILDDIR>>/src/clasp_facade.cpp
[ 25%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/main.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco/tests -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_opts.dir/main.cpp.o -MF CMakeFiles/test_potassco_opts.dir/main.cpp.o.d -o CMakeFiles/test_potassco_opts.dir/main.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/tests/main.cpp
[ 26%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_options.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/clasp_options.cpp.o -MF CMakeFiles/libclasp.dir/clasp_options.cpp.o.d -o CMakeFiles/libclasp.dir/clasp_options.cpp.o -c /<<PKGBUILDDIR>>/src/clasp_options.cpp
[ 28%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_output.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/clasp_output.cpp.o -MF CMakeFiles/libclasp.dir/clasp_output.cpp.o.d -o CMakeFiles/libclasp.dir/clasp_output.cpp.o -c /<<PKGBUILDDIR>>/src/clasp_output.cpp
[ 29%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco/tests -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o -MF CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o.d -o CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/tests/test_smodels.cpp
[ 30%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_text.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco/tests -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_text.cpp.o -MF CMakeFiles/test_potassco_lp.dir/test_text.cpp.o.d -o CMakeFiles/test_potassco_lp.dir/test_text.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/tests/test_text.cpp
[ 31%] Building CXX object src/CMakeFiles/libclasp.dir/clause.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/clause.cpp.o -MF CMakeFiles/libclasp.dir/clause.cpp.o.d -o CMakeFiles/libclasp.dir/clause.cpp.o -c /<<PKGBUILDDIR>>/src/clause.cpp
/<<PKGBUILDDIR>>/src/clause.cpp: In constructor 'Clasp::Clause::Clause(Clasp::Solver&, const Clasp::ClauseRep&, Clasp::uint32, bool)':
/<<PKGBUILDDIR>>/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 /<<PKGBUILDDIR>>/clasp/clause.h:31,
                 from /<<PKGBUILDDIR>>/src/clause.cpp:24:
/<<PKGBUILDDIR>>/clasp/solver_types.h:454:11: note: while referencing 'Clasp::ClauseHead::head_'
  454 |  Literal  head_[HEAD_LITS]; // two watched literals and one cache literal
      |           ^~~~~
In file included from /usr/include/c++/10/vector:72,
                 from /usr/include/catch/catch.hpp:677,
                 from /<<PKGBUILDDIR>>/libpotassco/tests/main.cpp:19:
/usr/include/c++/10/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const Catch::SectionEndInfo&}; _Tp = Catch::SectionEndInfo; _Alloc = std::allocator<Catch::SectionEndInfo>]':
/usr/include/c++/10/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector<Catch::SectionEndInfo>::iterator' changed in GCC 7.1
  426 |       vector<_Tp, _Alloc>::
      |       ^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/10/vector:67,
                 from /usr/include/catch/catch.hpp:677,
                 from /<<PKGBUILDDIR>>/libpotassco/tests/main.cpp:19:
/usr/include/c++/10/bits/stl_vector.h: In member function 'virtual void Catch::RunContext::sectionEndedEarly(const Catch::SectionEndInfo&)':
/usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Catch::SectionEndInfo*, std::vector<Catch::SectionEndInfo> >' changed in GCC 7.1
 1198 |    _M_realloc_insert(end(), __x);
      |    ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~
/usr/include/c++/10/bits/stl_vector.h: In destructor 'Catch::Section::~Section()':
/usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Catch::SectionEndInfo*, std::vector<Catch::SectionEndInfo> >' changed in GCC 7.1
 1198 |    _M_realloc_insert(end(), __x);
      |    ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~
[ 32%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco/tests -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o -MF CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o.d -o CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/tests/test_string_convert.cpp
In file included from /<<PKGBUILDDIR>>/libpotassco/tests/test_string_convert.cpp:21:
/<<PKGBUILDDIR>>/libpotassco/tests/test_string_convert.cpp: In function 'void Potassco::Test::____C_A_T_C_H____T_E_S_T____0()':
/<<PKGBUILDDIR>>/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<unsigned long long>("-2"), Potassco::bad_string_cast);
      |                                                                                ^~~~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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<int>("umax"), Potassco::bad_string_cast);
      |                                                                   ^~~~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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<long>("umax"), Potassco::bad_string_cast);
      |                                                                    ^~~~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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<long long>("umax"), Potassco::bad_string_cast);
      |                                                                         ^~~~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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<int64_t>("umax"), Potassco::bad_string_cast);
      |                                                                       ^~~~~~~~~~~~~~~
/<<PKGBUILDDIR>>/libpotassco/tests/test_string_convert.cpp: In function 'void Potassco::Test::____C_A_T_C_H____T_E_S_T____36()':
/<<PKGBUILDDIR>>/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);
      |                                                                                                                            ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                                          ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                                           ^~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                               ^~~~~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                         ^~~~~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                                         ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                                        ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                                          ^~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                         ^~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                   ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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 src/CMakeFiles/libclasp.dir/clingo.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/clingo.cpp.o -MF CMakeFiles/libclasp.dir/clingo.cpp.o.d -o CMakeFiles/libclasp.dir/clingo.cpp.o -c /<<PKGBUILDDIR>>/src/clingo.cpp
In file included from /usr/include/c++/10/unordered_map:46,
                 from /<<PKGBUILDDIR>>/clasp/program_builder.h:36,
                 from /<<PKGBUILDDIR>>/clasp/clasp_facade.h:31,
                 from /<<PKGBUILDDIR>>/clasp/clingo.h:31,
                 from /<<PKGBUILDDIR>>/src/clingo.cpp:24:
/usr/include/c++/10/bits/hashtable.h: In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::erase(std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::const_iterator) [with _Key = int; _Value = std::pair<const int, long long unsigned int>; _Alloc = std::allocator<std::pair<const int, long long unsigned int> >; _ExtractKey = std::__detail::_Select1st; _Equal = std::equal_to<int>; _H1 = std::hash<int>; _H2 = std::__detail::_Mod_range_hashing; _Hash = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits<false, false, true>]':
/usr/include/c++/10/bits/hashtable.h:1906:5: note: parameter passing for argument of type 'std::_Hashtable<int, std::pair<const int, long long unsigned int>, std::allocator<std::pair<const int, long long unsigned int> >, std::__detail::_Select1st, std::equal_to<int>, std::hash<int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, false, true> >::const_iterator' {aka 'std::__detail::_Hashtable_base<int, std::pair<const int, long long unsigned int>, std::__detail::_Select1st, std::equal_to<int>, std::hash<int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Hashtable_traits<false, false, true> >::const_iterator'} changed in GCC 7.1
 1906 |     _Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal,
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 1907 |         _H1, _H2, _Hash, _RehashPolicy, _Traits>::
      |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/10/bits/hashtable.h: In member function 'virtual void Clasp::ClingoPropagatorInit::unfreeze(Clasp::SharedContext&)':
/usr/include/c++/10/bits/hashtable.h:855:21: note: parameter passing for argument of type 'std::_Hashtable<int, std::pair<const int, long long unsigned int>, std::allocator<std::pair<const int, long long unsigned int> >, std::__detail::_Select1st, std::equal_to<int>, std::hash<int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, false, true> >::const_iterator' {aka 'std::__detail::_Hashtable_base<int, std::pair<const int, long long unsigned int>, std::__detail::_Select1st, std::equal_to<int>, std::hash<int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Hashtable_traits<false, false, true> >::const_iterator'} changed in GCC 7.1
  855 |       { return erase(const_iterator(__it)); }
      |                ~~~~~^~~~~~~~~~~~~~~~~~~~~~
[ 35%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/main.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>>/libpotassco/tests -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_lp.dir/main.cpp.o -MF CMakeFiles/test_potassco_lp.dir/main.cpp.o.d -o CMakeFiles/test_potassco_lp.dir/main.cpp.o -c /<<PKGBUILDDIR>>/libpotassco/tests/main.cpp
[ 36%] Building CXX object src/CMakeFiles/libclasp.dir/constraint.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/constraint.cpp.o -MF CMakeFiles/libclasp.dir/constraint.cpp.o.d -o CMakeFiles/libclasp.dir/constraint.cpp.o -c /<<PKGBUILDDIR>>/src/constraint.cpp
[ 37%] Building CXX object src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o -MF CMakeFiles/libclasp.dir/dependency_graph.cpp.o.d -o CMakeFiles/libclasp.dir/dependency_graph.cpp.o -c /<<PKGBUILDDIR>>/src/dependency_graph.cpp
[ 39%] Building CXX object src/CMakeFiles/libclasp.dir/enumerator.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/enumerator.cpp.o -MF CMakeFiles/libclasp.dir/enumerator.cpp.o.d -o CMakeFiles/libclasp.dir/enumerator.cpp.o -c /<<PKGBUILDDIR>>/src/enumerator.cpp
[ 40%] Linking CXX executable ../../bin/test_potassco_opts
cd /<<PKGBUILDDIR>>/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 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 
[ 41%] Building CXX object src/CMakeFiles/libclasp.dir/heuristics.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/heuristics.cpp.o -MF CMakeFiles/libclasp.dir/heuristics.cpp.o.d -o CMakeFiles/libclasp.dir/heuristics.cpp.o -c /<<PKGBUILDDIR>>/src/heuristics.cpp
make[4]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
[ 41%] Built target test_potassco_opts
[ 42%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/logic_program.cpp.o -MF CMakeFiles/libclasp.dir/logic_program.cpp.o.d -o CMakeFiles/libclasp.dir/logic_program.cpp.o -c /<<PKGBUILDDIR>>/src/logic_program.cpp
[ 43%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o -MF CMakeFiles/libclasp.dir/logic_program_types.cpp.o.d -o CMakeFiles/libclasp.dir/logic_program_types.cpp.o -c /<<PKGBUILDDIR>>/src/logic_program_types.cpp
[ 45%] Building CXX object src/CMakeFiles/libclasp.dir/lookahead.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/lookahead.cpp.o -MF CMakeFiles/libclasp.dir/lookahead.cpp.o.d -o CMakeFiles/libclasp.dir/lookahead.cpp.o -c /<<PKGBUILDDIR>>/src/lookahead.cpp
[ 46%] Building CXX object src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o -MF CMakeFiles/libclasp.dir/minimize_constraint.cpp.o.d -o CMakeFiles/libclasp.dir/minimize_constraint.cpp.o -c /<<PKGBUILDDIR>>/src/minimize_constraint.cpp
In file included from /usr/include/c++/10/vector:72,
                 from /usr/include/catch/catch.hpp:677,
                 from /<<PKGBUILDDIR>>/libpotassco/tests/main.cpp:19:
/usr/include/c++/10/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const Catch::SectionEndInfo&}; _Tp = Catch::SectionEndInfo; _Alloc = std::allocator<Catch::SectionEndInfo>]':
/usr/include/c++/10/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector<Catch::SectionEndInfo>::iterator' changed in GCC 7.1
  426 |       vector<_Tp, _Alloc>::
      |       ^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/10/vector:67,
                 from /usr/include/catch/catch.hpp:677,
                 from /<<PKGBUILDDIR>>/libpotassco/tests/main.cpp:19:
/usr/include/c++/10/bits/stl_vector.h: In member function 'virtual void Catch::RunContext::sectionEndedEarly(const Catch::SectionEndInfo&)':
/usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Catch::SectionEndInfo*, std::vector<Catch::SectionEndInfo> >' changed in GCC 7.1
 1198 |    _M_realloc_insert(end(), __x);
      |    ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~
/usr/include/c++/10/bits/stl_vector.h: In destructor 'Catch::Section::~Section()':
/usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Catch::SectionEndInfo*, std::vector<Catch::SectionEndInfo> >' changed in GCC 7.1
 1198 |    _M_realloc_insert(end(), __x);
      |    ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~
[ 47%] Building CXX object src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o -MF CMakeFiles/libclasp.dir/model_enumerators.cpp.o.d -o CMakeFiles/libclasp.dir/model_enumerators.cpp.o -c /<<PKGBUILDDIR>>/src/model_enumerators.cpp
[ 48%] Building CXX object src/CMakeFiles/libclasp.dir/parser.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/parser.cpp.o -MF CMakeFiles/libclasp.dir/parser.cpp.o.d -o CMakeFiles/libclasp.dir/parser.cpp.o -c /<<PKGBUILDDIR>>/src/parser.cpp
[ 50%] Building CXX object src/CMakeFiles/libclasp.dir/program_builder.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/program_builder.cpp.o -MF CMakeFiles/libclasp.dir/program_builder.cpp.o.d -o CMakeFiles/libclasp.dir/program_builder.cpp.o -c /<<PKGBUILDDIR>>/src/program_builder.cpp
[ 51%] Building CXX object src/CMakeFiles/libclasp.dir/satelite.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/satelite.cpp.o -MF CMakeFiles/libclasp.dir/satelite.cpp.o.d -o CMakeFiles/libclasp.dir/satelite.cpp.o -c /<<PKGBUILDDIR>>/src/satelite.cpp
[ 52%] Building CXX object src/CMakeFiles/libclasp.dir/shared_context.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/shared_context.cpp.o -MF CMakeFiles/libclasp.dir/shared_context.cpp.o.d -o CMakeFiles/libclasp.dir/shared_context.cpp.o -c /<<PKGBUILDDIR>>/src/shared_context.cpp
[ 53%] Building CXX object src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -MF CMakeFiles/libclasp.dir/solve_algorithms.cpp.o.d -o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -c /<<PKGBUILDDIR>>/src/solve_algorithms.cpp
[ 54%] Building CXX object src/CMakeFiles/libclasp.dir/solver.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/solver.cpp.o -MF CMakeFiles/libclasp.dir/solver.cpp.o.d -o CMakeFiles/libclasp.dir/solver.cpp.o -c /<<PKGBUILDDIR>>/src/solver.cpp
[ 56%] Building CXX object src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o -MF CMakeFiles/libclasp.dir/solver_strategies.cpp.o.d -o CMakeFiles/libclasp.dir/solver_strategies.cpp.o -c /<<PKGBUILDDIR>>/src/solver_strategies.cpp
[ 57%] Building CXX object src/CMakeFiles/libclasp.dir/solver_types.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/solver_types.cpp.o -MF CMakeFiles/libclasp.dir/solver_types.cpp.o.d -o CMakeFiles/libclasp.dir/solver_types.cpp.o -c /<<PKGBUILDDIR>>/src/solver_types.cpp
[ 58%] Building CXX object src/CMakeFiles/libclasp.dir/statistics.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/statistics.cpp.o -MF CMakeFiles/libclasp.dir/statistics.cpp.o.d -o CMakeFiles/libclasp.dir/statistics.cpp.o -c /<<PKGBUILDDIR>>/src/statistics.cpp
In file included from /usr/include/c++/10/unordered_map:46,
                 from /<<PKGBUILDDIR>>/src/statistics.cpp:29:
/usr/include/c++/10/bits/hashtable.h: In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::erase(std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash, _RehashPolicy, _Traits>::const_iterator) [with _Key = long long unsigned int; _Value = long long unsigned int; _Alloc = std::allocator<long long unsigned int>; _ExtractKey = std::__detail::_Identity; _Equal = std::equal_to<long long unsigned int>; _H1 = std::hash<long long unsigned int>; _H2 = std::__detail::_Mod_range_hashing; _Hash = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits<false, true, true>]':
/usr/include/c++/10/bits/hashtable.h:1906:5: note: parameter passing for argument of type 'std::_Hashtable<long long unsigned int, long long unsigned int, std::allocator<long long unsigned int>, std::__detail::_Identity, std::equal_to<long long unsigned int>, std::hash<long long unsigned int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, true, true> >::const_iterator' {aka 'std::__detail::_Hashtable_base<long long unsigned int, long long unsigned int, std::__detail::_Identity, std::equal_to<long long unsigned int>, std::hash<long long unsigned int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Hashtable_traits<false, true, true> >::const_iterator'} changed in GCC 7.1
 1906 |     _Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal,
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 1907 |         _H1, _H2, _Hash, _RehashPolicy, _Traits>::
      |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/10/bits/hashtable.h: In member function 'bool Clasp::ClaspStatistics::removeStat(const Clasp::StatisticObject&, bool)':
/usr/include/c++/10/bits/hashtable.h:855:21: note: parameter passing for argument of type 'std::_Hashtable<long long unsigned int, long long unsigned int, std::allocator<long long unsigned int>, std::__detail::_Identity, std::equal_to<long long unsigned int>, std::hash<long long unsigned int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, true, true> >::const_iterator' {aka 'std::__detail::_Hashtable_base<long long unsigned int, long long unsigned int, std::__detail::_Identity, std::equal_to<long long unsigned int>, std::hash<long long unsigned int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Hashtable_traits<false, true, true> >::const_iterator'} changed in GCC 7.1
  855 |       { return erase(const_iterator(__it)); }
      |                ~~~~~^~~~~~~~~~~~~~~~~~~~~~
[ 59%] Building CXX object src/CMakeFiles/libclasp.dir/timer.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/timer.cpp.o -MF CMakeFiles/libclasp.dir/timer.cpp.o.d -o CMakeFiles/libclasp.dir/timer.cpp.o -c /<<PKGBUILDDIR>>/src/timer.cpp
[ 60%] Building CXX object src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o -MF CMakeFiles/libclasp.dir/unfounded_check.cpp.o.d -o CMakeFiles/libclasp.dir/unfounded_check.cpp.o -c /<<PKGBUILDDIR>>/src/unfounded_check.cpp
[ 62%] Linking CXX executable ../../bin/test_potassco_lp
cd /<<PKGBUILDDIR>>/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 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
[ 62%] Built target test_potassco_lp
[ 63%] Building CXX object src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o -MF CMakeFiles/libclasp.dir/weight_constraint.cpp.o.d -o CMakeFiles/libclasp.dir/weight_constraint.cpp.o -c /<<PKGBUILDDIR>>/src/weight_constraint.cpp
[ 64%] Building CXX object src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o -MF CMakeFiles/libclasp.dir/parallel_solve.cpp.o.d -o CMakeFiles/libclasp.dir/parallel_solve.cpp.o -c /<<PKGBUILDDIR>>/src/parallel_solve.cpp
[ 65%] Linking CXX static library ../lib/libclasp.a
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/src && /usr/bin/cmake -P CMakeFiles/libclasp.dir/cmake_clean_target.cmake
cd /<<PKGBUILDDIR>>/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 '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
[ 65%] Built target libclasp
make  -f tests/CMakeFiles/test_clasp.dir/build.make tests/CMakeFiles/test_clasp.dir/depend
make  -f app/CMakeFiles/clasp.dir/build.make app/CMakeFiles/clasp.dir/depend
make[4]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make  -f examples/CMakeFiles/clasp_examples.dir/build.make examples/CMakeFiles/clasp_examples.dir/depend
make[4]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<PKGBUILDDIR>> /<<PKGBUILDDIR>>/app /<<PKGBUILDDIR>>/build.dir/hardening_mt /<<PKGBUILDDIR>>/build.dir/hardening_mt/app /<<PKGBUILDDIR>>/build.dir/hardening_mt/app/CMakeFiles/clasp.dir/DependInfo.cmake --color=
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<PKGBUILDDIR>> /<<PKGBUILDDIR>>/tests /<<PKGBUILDDIR>>/build.dir/hardening_mt /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests/CMakeFiles/test_clasp.dir/DependInfo.cmake --color=
make[4]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<PKGBUILDDIR>> /<<PKGBUILDDIR>>/examples /<<PKGBUILDDIR>>/build.dir/hardening_mt /<<PKGBUILDDIR>>/build.dir/hardening_mt/examples /<<PKGBUILDDIR>>/build.dir/hardening_mt/examples/CMakeFiles/clasp_examples.dir/DependInfo.cmake --color=
make[4]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make[4]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make  -f tests/CMakeFiles/test_clasp.dir/build.make tests/CMakeFiles/test_clasp.dir/build
make  -f app/CMakeFiles/clasp.dir/build.make app/CMakeFiles/clasp.dir/build
make[4]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make[4]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make[4]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make  -f examples/CMakeFiles/clasp_examples.dir/build.make examples/CMakeFiles/clasp_examples.dir/build
make[4]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
[ 67%] Building CXX object app/CMakeFiles/clasp.dir/clasp_app.cpp.o
[ 68%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example1.cpp.o
[ 69%] Building CXX object tests/CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/app && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT app/CMakeFiles/clasp.dir/clasp_app.cpp.o -MF CMakeFiles/clasp.dir/clasp_app.cpp.o.d -o CMakeFiles/clasp.dir/clasp_app.cpp.o -c /<<PKGBUILDDIR>>/app/clasp_app.cpp
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/examples && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT examples/CMakeFiles/clasp_examples.dir/example1.cpp.o -MF CMakeFiles/clasp_examples.dir/example1.cpp.o.d -o CMakeFiles/clasp_examples.dir/example1.cpp.o -c /<<PKGBUILDDIR>>/examples/example1.cpp
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o -MF CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o.d -o CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o -c /<<PKGBUILDDIR>>/tests/clause_creator_test.cpp
[ 70%] Building CXX object app/CMakeFiles/clasp.dir/main.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/app && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT app/CMakeFiles/clasp.dir/main.cpp.o -MF CMakeFiles/clasp.dir/main.cpp.o.d -o CMakeFiles/clasp.dir/main.cpp.o -c /<<PKGBUILDDIR>>/app/main.cpp
[ 71%] Building CXX object tests/CMakeFiles/test_clasp.dir/clause_test.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/clause_test.cpp.o -MF CMakeFiles/test_clasp.dir/clause_test.cpp.o.d -o CMakeFiles/test_clasp.dir/clause_test.cpp.o -c /<<PKGBUILDDIR>>/tests/clause_test.cpp
[ 73%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example2.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/examples && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT examples/CMakeFiles/clasp_examples.dir/example2.cpp.o -MF CMakeFiles/clasp_examples.dir/example2.cpp.o.d -o CMakeFiles/clasp_examples.dir/example2.cpp.o -c /<<PKGBUILDDIR>>/examples/example2.cpp
[ 74%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example3.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/examples && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT examples/CMakeFiles/clasp_examples.dir/example3.cpp.o -MF CMakeFiles/clasp_examples.dir/example3.cpp.o.d -o CMakeFiles/clasp_examples.dir/example3.cpp.o -c /<<PKGBUILDDIR>>/examples/example3.cpp
[ 75%] Linking CXX executable ../bin/clasp
cd /<<PKGBUILDDIR>>/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 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -latomic ../lib/libpotassco.a 
[ 76%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example4.cpp.o
make[4]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/examples && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT examples/CMakeFiles/clasp_examples.dir/example4.cpp.o -MF CMakeFiles/clasp_examples.dir/example4.cpp.o.d -o CMakeFiles/clasp_examples.dir/example4.cpp.o -c /<<PKGBUILDDIR>>/examples/example4.cpp
[ 76%] Built target clasp
[ 78%] Building CXX object examples/CMakeFiles/clasp_examples.dir/main.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/examples && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT examples/CMakeFiles/clasp_examples.dir/main.cpp.o -MF CMakeFiles/clasp_examples.dir/main.cpp.o.d -o CMakeFiles/clasp_examples.dir/main.cpp.o -c /<<PKGBUILDDIR>>/examples/main.cpp
[ 79%] Building CXX object tests/CMakeFiles/test_clasp.dir/cli_test.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/cli_test.cpp.o -MF CMakeFiles/test_clasp.dir/cli_test.cpp.o.d -o CMakeFiles/test_clasp.dir/cli_test.cpp.o -c /<<PKGBUILDDIR>>/tests/cli_test.cpp
[ 80%] Linking CXX executable ../bin/clasp_examples
cd /<<PKGBUILDDIR>>/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 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -latomic ../lib/libpotassco.a 
make[4]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
[ 80%] Built target clasp_examples
[ 81%] Building CXX object tests/CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o -MF CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o.d -o CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o -c /<<PKGBUILDDIR>>/tests/decision_heuristic_test.cpp
In file included from /<<PKGBUILDDIR>>/tests/cli_test.cpp:29:
/<<PKGBUILDDIR>>/tests/cli_test.cpp: In function 'void Clasp::Cli::Test::____C_A_T_C_H____T_E_S_T____0()':
/<<PKGBUILDDIR>>/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);
      |                                                                      ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                             ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                             ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                            ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                      ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                        ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                       ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                                          ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                                              ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                   ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                                    ^~~~~~~~~~~
[ 82%] Building CXX object tests/CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o -MF CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o.d -o CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o -c /<<PKGBUILDDIR>>/tests/dependency_graph_test.cpp
[ 84%] Building CXX object tests/CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o -MF CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o.d -o CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o -c /<<PKGBUILDDIR>>/tests/dlp_builder_test.cpp
[ 85%] Building CXX object tests/CMakeFiles/test_clasp.dir/enumerator_test.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/enumerator_test.cpp.o -MF CMakeFiles/test_clasp.dir/enumerator_test.cpp.o.d -o CMakeFiles/test_clasp.dir/enumerator_test.cpp.o -c /<<PKGBUILDDIR>>/tests/enumerator_test.cpp
[ 86%] Building CXX object tests/CMakeFiles/test_clasp.dir/facade_test.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/facade_test.cpp.o -MF CMakeFiles/test_clasp.dir/facade_test.cpp.o.d -o CMakeFiles/test_clasp.dir/facade_test.cpp.o -c /<<PKGBUILDDIR>>/tests/facade_test.cpp
In file included from /<<PKGBUILDDIR>>/tests/enumerator_test.cpp:31:
/<<PKGBUILDDIR>>/tests/enumerator_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____0()':
/<<PKGBUILDDIR>>/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);
      |                                      ^~~~~~~~~~~
In file included from /<<PKGBUILDDIR>>/tests/facade_test.cpp:38:
/<<PKGBUILDDIR>>/tests/facade_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____0()':
/<<PKGBUILDDIR>>/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);
      |                                      ^~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                    ^~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                         ^~~~~
/<<PKGBUILDDIR>>/tests/facade_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____62()':
/<<PKGBUILDDIR>>/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);
      |                                        ^~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                        ^~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                                               ^~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                              ^~~~~~~~~~~
/<<PKGBUILDDIR>>/tests/facade_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____90()':
/<<PKGBUILDDIR>>/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);
      |                                                            ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                            ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                            ^~~~~~~~~~~~
/<<PKGBUILDDIR>>/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 /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/literal_test.cpp.o -MF CMakeFiles/test_clasp.dir/literal_test.cpp.o.d -o CMakeFiles/test_clasp.dir/literal_test.cpp.o -c /<<PKGBUILDDIR>>/tests/literal_test.cpp
[ 89%] Building CXX object tests/CMakeFiles/test_clasp.dir/minimize_test.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/minimize_test.cpp.o -MF CMakeFiles/test_clasp.dir/minimize_test.cpp.o.d -o CMakeFiles/test_clasp.dir/minimize_test.cpp.o -c /<<PKGBUILDDIR>>/tests/minimize_test.cpp
[ 90%] Building CXX object tests/CMakeFiles/test_clasp.dir/parser_test.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/parser_test.cpp.o -MF CMakeFiles/test_clasp.dir/parser_test.cpp.o.d -o CMakeFiles/test_clasp.dir/parser_test.cpp.o -c /<<PKGBUILDDIR>>/tests/parser_test.cpp
In file included from /<<PKGBUILDDIR>>/tests/parser_test.cpp:32:
/<<PKGBUILDDIR>>/tests/parser_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____16()':
/<<PKGBUILDDIR>>/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);
      |                                          ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                          ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                          ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                          ^~~~~~~~~~~
/<<PKGBUILDDIR>>/tests/parser_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____48()':
/<<PKGBUILDDIR>>/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);
      |                                           ^~~~~~~~~~~
/<<PKGBUILDDIR>>/tests/parser_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____63()':
/<<PKGBUILDDIR>>/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);
      |                                           ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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 /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/program_builder_test.cpp.o -MF CMakeFiles/test_clasp.dir/program_builder_test.cpp.o.d -o CMakeFiles/test_clasp.dir/program_builder_test.cpp.o -c /<<PKGBUILDDIR>>/tests/program_builder_test.cpp
In file included from /<<PKGBUILDDIR>>/tests/program_builder_test.cpp:30:
/<<PKGBUILDDIR>>/tests/program_builder_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____0()':
/<<PKGBUILDDIR>>/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);
      |                                                        ^~~~~~~~~~~~~~
/<<PKGBUILDDIR>>/tests/program_builder_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____4()':
/<<PKGBUILDDIR>>/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);
      |                                                 ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                                         ^~~~~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                                        ^~~~~~~~~~~
/<<PKGBUILDDIR>>/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);
      |                                             ^~~~~~~~~~~
/<<PKGBUILDDIR>>/tests/program_builder_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____101()':
/<<PKGBUILDDIR>>/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);
      |                                        ^~~~~~~~~~~~~~~~~
[ 92%] Building CXX object tests/CMakeFiles/test_clasp.dir/rule_test.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/rule_test.cpp.o -MF CMakeFiles/test_clasp.dir/rule_test.cpp.o.d -o CMakeFiles/test_clasp.dir/rule_test.cpp.o -c /<<PKGBUILDDIR>>/tests/rule_test.cpp
[ 93%] Building CXX object tests/CMakeFiles/test_clasp.dir/satelite_test.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/satelite_test.cpp.o -MF CMakeFiles/test_clasp.dir/satelite_test.cpp.o.d -o CMakeFiles/test_clasp.dir/satelite_test.cpp.o -c /<<PKGBUILDDIR>>/tests/satelite_test.cpp
[ 95%] Building CXX object tests/CMakeFiles/test_clasp.dir/solver_test.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/solver_test.cpp.o -MF CMakeFiles/test_clasp.dir/solver_test.cpp.o.d -o CMakeFiles/test_clasp.dir/solver_test.cpp.o -c /<<PKGBUILDDIR>>/tests/solver_test.cpp
[ 96%] Building CXX object tests/CMakeFiles/test_clasp.dir/test_main.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/test_main.cpp.o -MF CMakeFiles/test_clasp.dir/test_main.cpp.o.d -o CMakeFiles/test_clasp.dir/test_main.cpp.o -c /<<PKGBUILDDIR>>/tests/test_main.cpp
[ 97%] Building CXX object tests/CMakeFiles/test_clasp.dir/unfounded_check_test.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/unfounded_check_test.cpp.o -MF CMakeFiles/test_clasp.dir/unfounded_check_test.cpp.o.d -o CMakeFiles/test_clasp.dir/unfounded_check_test.cpp.o -c /<<PKGBUILDDIR>>/tests/unfounded_check_test.cpp
[ 98%] Building CXX object tests/CMakeFiles/test_clasp.dir/weight_constraint_test.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests && /usr/bin/g++-10  -I/<<PKGBUILDDIR>> -I/<<PKGBUILDDIR>>/build.dir/hardening_mt -I/<<PKGBUILDDIR>>/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -MD -MT tests/CMakeFiles/test_clasp.dir/weight_constraint_test.cpp.o -MF CMakeFiles/test_clasp.dir/weight_constraint_test.cpp.o.d -o CMakeFiles/test_clasp.dir/weight_constraint_test.cpp.o -c /<<PKGBUILDDIR>>/tests/weight_constraint_test.cpp
In file included from /usr/include/c++/10/vector:72,
                 from /usr/include/catch/catch.hpp:677,
                 from /<<PKGBUILDDIR>>/tests/test_main.cpp:25:
/usr/include/c++/10/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const Catch::SectionEndInfo&}; _Tp = Catch::SectionEndInfo; _Alloc = std::allocator<Catch::SectionEndInfo>]':
/usr/include/c++/10/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector<Catch::SectionEndInfo>::iterator' changed in GCC 7.1
  426 |       vector<_Tp, _Alloc>::
      |       ^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/10/vector:67,
                 from /usr/include/catch/catch.hpp:677,
                 from /<<PKGBUILDDIR>>/tests/test_main.cpp:25:
/usr/include/c++/10/bits/stl_vector.h: In member function 'virtual void Catch::RunContext::sectionEndedEarly(const Catch::SectionEndInfo&)':
/usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Catch::SectionEndInfo*, std::vector<Catch::SectionEndInfo> >' changed in GCC 7.1
 1198 |    _M_realloc_insert(end(), __x);
      |    ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~
/usr/include/c++/10/bits/stl_vector.h: In destructor 'Catch::Section::~Section()':
/usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<Catch::SectionEndInfo*, std::vector<Catch::SectionEndInfo> >' changed in GCC 7.1
 1198 |    _M_realloc_insert(end(), __x);
      |    ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~
[100%] Linking CXX executable ../bin/test_clasp
cd /<<PKGBUILDDIR>>/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 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -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 -latomic ../lib/libpotassco.a 
make[4]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
[100%] Built target test_clasp
make[3]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
/usr/bin/cmake -E cmake_progress_start /<<PKGBUILDDIR>>/build.dir/hardening_mt/CMakeFiles 0
make[2]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   debian/rules override_dh_auto_test
make[1]: Entering directory '/<<PKGBUILDDIR>>'
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 -j4 test ARGS\+=--verbose ARGS\+=-j4
make[2]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
Running tests...
/usr/bin/ctest --force-new-ctest-process --verbose -j4
UpdateCTestConfiguration  from :/<<PKGBUILDDIR>>/build.dir/hardening_mt/DartConfiguration.tcl
UpdateCTestConfiguration  from :/<<PKGBUILDDIR>>/build.dir/hardening_mt/DartConfiguration.tcl
Test project /<<PKGBUILDDIR>>/build.dir/hardening_mt
Constructing a list of tests
Done constructing a list of tests
Updating test list for fixtures
Added 0 tests to meet fixture requirements
Checking test dependency graph...
Checking test dependency graph end
test 1
    Start 1: test_lp

1: Test command: /<<PKGBUILDDIR>>/build.dir/hardening_mt/bin/test_potassco_lp
1: Working Directory: /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests
1: Test timeout computed to be: 10000000
test 2
    Start 2: test_opts

2: Test command: /<<PKGBUILDDIR>>/build.dir/hardening_mt/bin/test_potassco_opts
2: Working Directory: /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests
2: Test timeout computed to be: 10000000
test 3
    Start 3: test_clasp

3: Test command: /<<PKGBUILDDIR>>/build.dir/hardening_mt/bin/test_clasp
3: Working Directory: /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests
3: Test timeout computed to be: 10000000
1: 
1: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1: test_potassco_lp is a Catch v1.12.2 host application.
1: Run with -? for options
1: 
1: -------------------------------------------------------------------------------
1: String conversion
1:   double parsing is locale-independent
1: -------------------------------------------------------------------------------
1: ./libpotassco/tests/test_string_convert.cpp:142
1: ...............................................................................
1: 
1: ./libpotassco/tests/test_string_convert.cpp:159: 
1: warning:
1:   could not set locale - test ignored
1: 
1: ===============================================================================
1: All tests passed (2844 assertions in 21 test cases)
1: 
1/3 Test #1: test_lp ..........................   Passed    0.04 sec
3: ===============================================================================
3: All tests passed (6713 assertions in 44 test cases)
3: 
2/3 Test #3: test_clasp .......................   Passed    0.89 sec
2: ===============================================================================
2: All tests passed (129 assertions in 16 test cases)
2: 
3/3 Test #2: test_opts ........................   Passed    1.02 sec

100% tests passed, 0 tests failed out of 3

Total Test time (real) =   1.03 sec
make[2]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
Exit 0
==> build.dir/hardening_mt/Testing/Temporary/CTestCostData.txt <==
test_lp 1 0.0364289
test_opts 1 1.01518
test_clasp 1 0.894724
---

==> build.dir/hardening_mt/Testing/Temporary/LastTest.log <==
Start testing: Oct 03 00:11 UTC
----------------------------------------------------------
1/3 Testing: test_lp
1/3 Test: test_lp
Command: "/<<PKGBUILDDIR>>/build.dir/hardening_mt/bin/test_potassco_lp"
Directory: /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests
"test_lp" start time: Oct 03 00:11 UTC
Output:
----------------------------------------------------------

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
test_potassco_lp is a Catch v1.12.2 host application.
Run with -? for options

-------------------------------------------------------------------------------
String conversion
  double parsing is locale-independent
-------------------------------------------------------------------------------
./libpotassco/tests/test_string_convert.cpp:142
...............................................................................

./libpotassco/tests/test_string_convert.cpp:159: 
warning:
  could not set locale - test ignored

===============================================================================
All tests passed (2844 assertions in 21 test cases)

<end of output>
Test time =   0.04 sec
----------------------------------------------------------
Test Passed.
"test_lp" end time: Oct 03 00:11 UTC
"test_lp" time elapsed: 00:00:00
----------------------------------------------------------

3/3 Testing: test_clasp
3/3 Test: test_clasp
Command: "/<<PKGBUILDDIR>>/build.dir/hardening_mt/bin/test_clasp"
Directory: /<<PKGBUILDDIR>>/build.dir/hardening_mt/tests
"test_clasp" start time: Oct 03 00:11 UTC
Output:
----------------------------------------------------------
===============================================================================
All tests passed (6713 assertions in 44 test cases)

<end of output>
Test time =   0.89 sec
----------------------------------------------------------
Test Passed.
"test_clasp" end time: Oct 03 00:11 UTC
"test_clasp" time elapsed: 00:00:00
----------------------------------------------------------

2/3 Testing: test_opts
2/3 Test: test_opts
Command: "/<<PKGBUILDDIR>>/build.dir/hardening_mt/bin/test_potassco_opts"
Directory: /<<PKGBUILDDIR>>/build.dir/hardening_mt/libpotassco/tests
"test_opts" start time: Oct 03 00:11 UTC
Output:
----------------------------------------------------------
===============================================================================
All tests passed (129 assertions in 16 test cases)

<end of output>
Test time =   1.02 sec
----------------------------------------------------------
Test Passed.
"test_opts" end time: Oct 03 00:11 UTC
"test_opts" time elapsed: 00:00:01
----------------------------------------------------------

End testing: Oct 03 00:11 UTC
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   create-stamp debian/debhelper-build-stamp
   dh_prep -a
   dh_installdirs -a
   debian/rules override_dh_auto_install
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_auto_install --builddirectory=build.dir/hardening_mt
	cd build.dir/hardening_mt && make -j4 install DESTDIR=/<<PKGBUILDDIR>>/debian/clasp AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true"
make[2]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
/usr/bin/cmake -S/<<PKGBUILDDIR>> -B/<<PKGBUILDDIR>>/build.dir/hardening_mt --check-build-system CMakeFiles/Makefile.cmake 0
make  -f CMakeFiles/Makefile2 preinstall
make[3]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make[3]: Nothing to be done for 'preinstall'.
make[3]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
Install the project...
/usr/bin/cmake -P cmake_install.cmake
-- Install configuration: "None"
-- Installing: /<<PKGBUILDDIR>>/debian/clasp/usr/bin/clasp
make[2]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_installdocs -a
   debian/rules override_dh_installchangelogs
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_installchangelogs CHANGES
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_installman -a
   dh_perl -a
   dh_link -a
   dh_strip_nondeterminism -a
   dh_compress -a
   dh_fixperms -a
   dh_missing -a
   dh_dwz -a
   dh_strip -a
   dh_makeshlibs -a
   dh_shlibdeps -a
dpkg-shlibdeps: warning: debian/clasp/usr/bin/clasp contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/clasp/usr/bin/clasp was not linked against ld-linux-armhf.so.3 (it uses none of the library's symbols)
   dh_installdeb -a
   dh_gencontrol -a
   dh_md5sums -a
   dh_builddeb -a
dpkg-deb: building package 'clasp' in '../clasp_3.3.5-4.1_armhf.deb'.
dpkg-deb: building package 'clasp-dbgsym' in '../clasp-dbgsym_3.3.5-4.1_armhf.deb'.
 dpkg-genbuildinfo --build=any -O../clasp_3.3.5-4.1_armhf.buildinfo
 dpkg-genchanges --build=any -mRaspbian mythic lxc autobuilder 1 <root@raspbian.org> -O../clasp_3.3.5-4.1_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2022-10-03T00:12:02Z

Finished
--------

I: Built successfully

+------------------------------------------------------------------------------+
| Post Build Chroot                                                            |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Changes                                                                      |
+------------------------------------------------------------------------------+


clasp_3.3.5-4.1_armhf.changes:
------------------------------

Format: 1.8
Date: Wed, 28 Sep 2022 23:21:38 +0200
Source: clasp
Binary: clasp clasp-dbgsym
Architecture: armhf
Version: 3.3.5-4.1
Distribution: bookworm-staging
Urgency: medium
Maintainer: Raspbian mythic lxc autobuilder 1 <root@raspbian.org>
Changed-By: Sebastian Ramacher <sramacher@debian.org>
Description:
 clasp      - conflict-driven nogood learning answer set solver
Closes: 1004022
Changes:
 clasp (3.3.5-4.1) unstable; urgency=medium
 .
   * Non-maintainer upload
 .
   [ Lukas Märdian ]
   * Use system-provided catch (Closes: #1004022)
Checksums-Sha1:
 5fc155312bc37c7bf71afe3229cdf389f01a58be 6198620 clasp-dbgsym_3.3.5-4.1_armhf.deb
 f64ac2a076205a22156288bbb487e10fb33dd80e 5969 clasp_3.3.5-4.1_armhf.buildinfo
 73ea86b982f92a6d65f6589da14cdc216183cebf 500800 clasp_3.3.5-4.1_armhf.deb
Checksums-Sha256:
 d1435c7a614c673bbf114f910c327f095a2773d2cf647b42afd936520ebd61ee 6198620 clasp-dbgsym_3.3.5-4.1_armhf.deb
 d927cba6d34ed251baaa238bb6caa6d503dbda629ca02f43d31e9adc20cb3a97 5969 clasp_3.3.5-4.1_armhf.buildinfo
 8c03350ebdf7633ff6250438204d46d8a4d22ac6d3bc13794bf2550822db0435 500800 clasp_3.3.5-4.1_armhf.deb
Files:
 10761d3f1fd458603e93d9327102848a 6198620 debug optional clasp-dbgsym_3.3.5-4.1_armhf.deb
 15362c4b21d7efc23415711012d58b17 5969 interpreters optional clasp_3.3.5-4.1_armhf.buildinfo
 f9b8ae6e1692c5f57b12f5dc3028fb2d 500800 interpreters optional clasp_3.3.5-4.1_armhf.deb

+------------------------------------------------------------------------------+
| Package contents                                                             |
+------------------------------------------------------------------------------+


clasp-dbgsym_3.3.5-4.1_armhf.deb
--------------------------------

 new Debian package, version 2.0.
 size 6198620 bytes: control archive=532 bytes.
     374 bytes,    12 lines      control              
     106 bytes,     1 lines      md5sums              
 Package: clasp-dbgsym
 Source: clasp
 Version: 3.3.5-4.1
 Auto-Built-Package: debug-symbols
 Architecture: armhf
 Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
 Installed-Size: 6378
 Depends: clasp (= 3.3.5-4.1)
 Section: debug
 Priority: optional
 Description: debug symbols for clasp
 Build-Ids: 9641af3b5eae6dc20f3507ab547986e6dba1d6b9

drwxr-xr-x root/root         0 2022-09-28 21:21 ./
drwxr-xr-x root/root         0 2022-09-28 21:21 ./usr/
drwxr-xr-x root/root         0 2022-09-28 21:21 ./usr/lib/
drwxr-xr-x root/root         0 2022-09-28 21:21 ./usr/lib/debug/
drwxr-xr-x root/root         0 2022-09-28 21:21 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2022-09-28 21:21 ./usr/lib/debug/.build-id/96/
-rw-r--r-- root/root   6520200 2022-09-28 21:21 ./usr/lib/debug/.build-id/96/41af3b5eae6dc20f3507ab547986e6dba1d6b9.debug
drwxr-xr-x root/root         0 2022-09-28 21:21 ./usr/share/
drwxr-xr-x root/root         0 2022-09-28 21:21 ./usr/share/doc/
lrwxrwxrwx root/root         0 2022-09-28 21:21 ./usr/share/doc/clasp-dbgsym -> clasp


clasp_3.3.5-4.1_armhf.deb
-------------------------

 new Debian package, version 2.0.
 size 500800 bytes: control archive=1132 bytes.
    1190 bytes,    23 lines      control              
     384 bytes,     6 lines      md5sums              
 Package: clasp
 Version: 3.3.5-4.1
 Architecture: armhf
 Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
 Installed-Size: 1446
 Depends: libatomic1 (>= 4.8), libc6 (>= 2.34), libgcc-s1 (>= 3.5), libstdc++6 (>= 12)
 Recommends: gringo
 Section: interpreters
 Priority: optional
 Homepage: https://www.potassco.org/clasp/
 Description: conflict-driven nogood learning answer set solver
  clasp is an answer set solver for (extended) normal logic
  programs. It combines the high-level modeling capacities of answer
  set programming (ASP) with state-of-the-art techniques from the area
  of Boolean constraint solving. The primary clasp algorithm relies on
  conflict-driven nogood learning, a technique that proved very
  successful for satisfiability checking (SAT). Unlike other learning
  ASP solvers, clasp does not rely on legacy software, such as a SAT
  solver or any other existing ASP solver. Rather, clasp has been
  genuinely developed for answer set solving based on conflict-driven
  nogood learning. clasp can be applied as an ASP solver (on LPARSE
  output format), as a SAT solver (on simplified DIMACS/CNF format), or
  as a PB solver (on OPB format).

drwxr-xr-x root/root         0 2022-09-28 21:21 ./
drwxr-xr-x root/root         0 2022-09-28 21:21 ./usr/
drwxr-xr-x root/root         0 2022-09-28 21:21 ./usr/bin/
-rwxr-xr-x root/root   1443920 2022-09-28 21:21 ./usr/bin/clasp
drwxr-xr-x root/root         0 2022-09-28 21:21 ./usr/share/
drwxr-xr-x root/root         0 2022-09-28 21:21 ./usr/share/doc/
drwxr-xr-x root/root         0 2022-09-28 21:21 ./usr/share/doc/clasp/
-rw-r--r-- root/root      2231 2019-08-23 17:46 ./usr/share/doc/clasp/README.md.gz
-rw-r--r-- root/root      4819 2022-09-28 21:21 ./usr/share/doc/clasp/changelog.Debian.gz
-rw-r--r-- root/root     14111 2019-08-23 17:46 ./usr/share/doc/clasp/changelog.gz
-rw-r--r-- root/root      1407 2022-09-28 21:19 ./usr/share/doc/clasp/copyright
drwxr-xr-x root/root         0 2022-09-28 21:21 ./usr/share/man/
drwxr-xr-x root/root         0 2022-09-28 21:21 ./usr/share/man/man1/
-rw-r--r-- root/root      1256 2022-09-28 21:21 ./usr/share/man/man1/clasp.1.gz


+------------------------------------------------------------------------------+
| Post Build                                                                   |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Cleanup                                                                      |
+------------------------------------------------------------------------------+

Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use

+------------------------------------------------------------------------------+
| Summary                                                                      |
+------------------------------------------------------------------------------+

Build Architecture: armhf
Build-Space: 347476
Build-Time: 545
Distribution: bookworm-staging
Host Architecture: armhf
Install-Time: 376
Job: clasp_3.3.5-4.1
Machine Architecture: armhf
Package: clasp
Package-Time: 947
Source-Version: 3.3.5-4.1
Space: 347476
Status: successful
Version: 3.3.5-4.1
--------------------------------------------------------------------------------
Finished at 2022-10-03T00:12:02Z
Build needed 00:15:47, 347476k disk space