Fri Aug 13 11:13:32 UTC 2021 I: starting to build cryptominisat/bullseye/arm64 on jenkins on '2021-08-13 11:13' Fri Aug 13 11:13:32 UTC 2021 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/arm64_24/22400/console.log Fri Aug 13 11:13:32 UTC 2021 I: Downloading source for bullseye/cryptominisat=5.8.0+dfsg1-1 --2021-08-13 11:13:32-- http://cdn-fastly.deb.debian.org/debian/pool/main/c/cryptominisat/cryptominisat_5.8.0+dfsg1-1.dsc Connecting to 78.137.99.97:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2408 (2.4K) Saving to: ‘cryptominisat_5.8.0+dfsg1-1.dsc’ 0K .. 100% 138M=0s 2021-08-13 11:13:32 (138 MB/s) - ‘cryptominisat_5.8.0+dfsg1-1.dsc’ saved [2408/2408] Fri Aug 13 11:13:32 UTC 2021 I: cryptominisat_5.8.0+dfsg1-1.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: cryptominisat Binary: libcryptominisat5-5.8, cryptominisat, python3-cryptominisat, libcryptominisat5-dev Architecture: any Version: 5.8.0+dfsg1-1 Maintainer: Debian Science Team Uploaders: Julian Rüth , Julien Puydt Homepage: https://www.msoos.org/ Standards-Version: 4.5.0 Vcs-Browser: https://salsa.debian.org/science-team/cryptominisat Vcs-Git: https://salsa.debian.org/science-team/cryptominisat.git Testsuite: autopkgtest Build-Depends: cmake, debhelper-compat (= 13), dh-python, help2man, python3-dev, libboost-program-options-dev, libm4ri-dev, zlib1g-dev Package-List: cryptominisat deb math optional arch=any libcryptominisat5-5.8 deb libs optional arch=any libcryptominisat5-dev deb libdevel optional arch=any python3-cryptominisat deb python optional arch=any Checksums-Sha1: 4b69f26c3bacbc3a36920176e7f7a54626328fb7 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz 96288bb3d1c8588622e3ec2cd7a54701a86083d2 6188 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz Checksums-Sha256: 1d1658eed6b640cb1886308b516fbc2b91c8a77e0c6f48d609572ade18f42178 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz f0e9f85f6a620a0dabf7e5f47b935684aa6b54d93f065149931733091084635d 6188 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz Files: 5b867b1bdeda288f3604bbeb42a6fa15 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz e1be00a2c948aadf91a45e670cc33215 6188 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAl8Jx5wSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRUQEP/2iMSvclJ+nPaOkdr8OE26HMbMOv2LHy hFmJUQAAuacSrBArbV43IP2Zk70op84hndno8yaU5QJlowpino52K8ZIXSgcBGQ0 154mbAsQ4mrsGnGV7zsS3VuPkharaQjmm+28HM7HJTbEDlV06hRJGPzD7oqZSEgb PKjm4efuXpZVl2btoNzlNAf+EFayi2XPBHPYjex5mxR07+FNtScDo4JcpRX+BGQq YdQYvioIIH0S5kvrR3qK3TVE16gEVeZsAgnSXe/Sz6qZbwP+nc/oGQij10KCuqrU 55MxYQfPliK3yBui3lePG9ZxRUeued6Yy0Lw9PCAQUZWebBZ2GeVq2YtAsuwNByg g3qCDudxhyDOUNUL6Hw3wM9+YJPiJUIhIKFyv8yD5+qam8rzFlRi6sAIciJRahjm f0jZh9t7LT4ggAaN72Ql1MdoCM7raMabU0clC3NsS1ySBy9qMsVezmMQUPVh9jOC nzoNs3iyMfsoMk25qVVatiwkZIJNB1/iUi51KJip1Z4PMG1DWA4F4tKIc7qvN81o XAHh0nHtj+PCXOpNSqd9uohyPBxzPqKPPBJ7l/Et6UmdxB+djHMAhW05zu6uPDNm H9btGf5Q6MG16F/RT6Z5Mv0qhukU7BxOCvAHzkm33xDr/kIs2PdZxhqF8/cD7Pif zsHur9RsDrC2 =7XeF -----END PGP SIGNATURE----- Fri Aug 13 11:13:32 UTC 2021 I: Checking whether the package is not for us Fri Aug 13 11:13:32 UTC 2021 I: Starting 1st build on remote node codethink14-arm64.debian.net. Fri Aug 13 11:13:32 UTC 2021 I: Preparing to do remote build '1' on codethink14-arm64.debian.net. Fri Aug 13 11:16:30 UTC 2021 I: Deleting $TMPDIR on codethink14-arm64.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Thu Aug 12 23:13:38 -12 2021 I: pbuilder-time-stamp: 1628853218 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bullseye-reproducible-base.tgz] I: copying local configuration I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [cryptominisat_5.8.0+dfsg1-1.dsc] I: copying [./cryptominisat_5.8.0+dfsg1.orig.tar.xz] I: copying [./cryptominisat_5.8.0+dfsg1-1.debian.tar.xz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/tmp/dpkg-verify-sig.TMuDUQaK/trustedkeys.kbx': General error gpgv: Signature made Sat Jul 11 02:07:24 2020 -12 gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 gpgv: issuer "jpuydt@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./cryptominisat_5.8.0+dfsg1-1.dsc dpkg-source: info: extracting cryptominisat in cryptominisat-5.8.0+dfsg1 dpkg-source: info: unpacking cryptominisat_5.8.0+dfsg1.orig.tar.xz dpkg-source: info: unpacking cryptominisat_5.8.0+dfsg1-1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying spelling_errors.patch dpkg-source: info: applying fix_manpage.patch dpkg-source: info: applying reproducible-build.patch I: using fakeroot in build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/19164/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='arm64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=8' DISTRIBUTION='' HOME='/var/lib/jenkins' HOST_ARCH='arm64' IFS=' ' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='19164' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.jq7ZDbLKsZ/pbuilderrc_vYE3 --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.jq7ZDbLKsZ/b1 --logfile b1/build.log cryptominisat_5.8.0+dfsg1-1.dsc' SUDO_GID='117' SUDO_UID='110' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' USERNAME='root' _='/usr/bin/systemd-run' http_proxy='http://192.168.101.16:3128' I: uname -a Linux codethink14-arm64 4.15.0-153-generic #160-Ubuntu SMP Thu Jul 29 07:06:07 UTC 2021 aarch64 GNU/Linux I: ls -l /bin total 5252 -rwxr-xr-x 1 root root 1282512 Aug 4 08:25 bash -rwxr-xr-x 3 root root 34808 Jul 20 2020 bunzip2 -rwxr-xr-x 3 root root 34808 Jul 20 2020 bzcat lrwxrwxrwx 1 root root 6 Jul 20 2020 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2225 Jul 20 2020 bzdiff lrwxrwxrwx 1 root root 6 Jul 20 2020 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4877 Sep 4 2019 bzexe lrwxrwxrwx 1 root root 6 Jul 20 2020 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3775 Jul 20 2020 bzgrep -rwxr-xr-x 3 root root 34808 Jul 20 2020 bzip2 -rwxr-xr-x 1 root root 14264 Jul 20 2020 bzip2recover lrwxrwxrwx 1 root root 6 Jul 20 2020 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Jul 20 2020 bzmore -rwxr-xr-x 1 root root 39832 Sep 22 2020 cat -rwxr-xr-x 1 root root 64512 Sep 22 2020 chgrp -rwxr-xr-x 1 root root 60368 Sep 22 2020 chmod -rwxr-xr-x 1 root root 64528 Sep 22 2020 chown -rwxr-xr-x 1 root root 138896 Sep 22 2020 cp -rwxr-xr-x 1 root root 129544 Dec 10 2020 dash -rwxr-xr-x 1 root root 101384 Sep 22 2020 date -rwxr-xr-x 1 root root 80984 Sep 22 2020 dd -rwxr-xr-x 1 root root 89824 Sep 22 2020 df -rwxr-xr-x 1 root root 143088 Sep 22 2020 dir -rwxr-xr-x 1 root root 76152 Jul 28 07:09 dmesg lrwxrwxrwx 1 root root 8 Nov 6 2019 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Nov 6 2019 domainname -> hostname -rwxr-xr-x 1 root root 35632 Sep 22 2020 echo -rwxr-xr-x 1 root root 28 Nov 9 2020 egrep -rwxr-xr-x 1 root root 31512 Sep 22 2020 false -rwxr-xr-x 1 root root 28 Nov 9 2020 fgrep -rwxr-xr-x 1 root root 64856 Jul 28 07:09 findmnt -rwsr-xr-x 1 root root 34824 Feb 26 04:12 fusermount -rwxr-xr-x 1 root root 178400 Nov 9 2020 grep -rwxr-xr-x 2 root root 2346 Mar 2 11:30 gunzip -rwxr-xr-x 1 root root 6376 Mar 2 11:30 gzexe -rwxr-xr-x 1 root root 93744 Mar 2 11:30 gzip -rwxr-xr-x 1 root root 18440 Nov 6 2019 hostname -rwxr-xr-x 1 root root 68720 Sep 22 2020 ln -rwxr-xr-x 1 root root 52720 Feb 7 2020 login -rwxr-xr-x 1 root root 143088 Sep 22 2020 ls -rwxr-xr-x 1 root root 161960 Jul 28 07:09 lsblk -rwxr-xr-x 1 root root 85200 Sep 22 2020 mkdir -rwxr-xr-x 1 root root 68744 Sep 22 2020 mknod -rwxr-xr-x 1 root root 43976 Sep 22 2020 mktemp -rwxr-xr-x 1 root root 51368 Jul 28 07:09 more -rwsr-xr-x 1 root root 51360 Jul 28 07:09 mount -rwxr-xr-x 1 root root 14496 Jul 28 07:09 mountpoint -rwxr-xr-x 1 root root 134808 Sep 22 2020 mv lrwxrwxrwx 1 root root 8 Nov 6 2019 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Apr 18 03:38 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 35720 Sep 22 2020 pwd lrwxrwxrwx 1 root root 4 Aug 4 08:25 rbash -> bash -rwxr-xr-x 1 root root 43872 Sep 22 2020 readlink -rwxr-xr-x 1 root root 68592 Sep 22 2020 rm -rwxr-xr-x 1 root root 43880 Sep 22 2020 rmdir -rwxr-xr-x 1 root root 19208 Sep 27 2020 run-parts -rwxr-xr-x 1 root root 114016 Dec 22 2018 sed lrwxrwxrwx 1 root root 4 Aug 11 21:25 sh -> dash -rwxr-xr-x 1 root root 35656 Sep 22 2020 sleep -rwxr-xr-x 1 root root 72640 Sep 22 2020 stty -rwsr-xr-x 1 root root 67776 Jul 28 07:09 su -rwxr-xr-x 1 root root 35672 Sep 22 2020 sync -rwxr-xr-x 1 root root 535768 Feb 16 21:55 tar -rwxr-xr-x 1 root root 10568 Sep 27 2020 tempfile -rwxr-xr-x 1 root root 89120 Sep 22 2020 touch -rwxr-xr-x 1 root root 31512 Sep 22 2020 true -rwxr-xr-x 1 root root 14264 Feb 26 04:12 ulockmgr_server -rwsr-xr-x 1 root root 30880 Jul 28 07:09 umount -rwxr-xr-x 1 root root 35640 Sep 22 2020 uname -rwxr-xr-x 2 root root 2346 Mar 2 11:30 uncompress -rwxr-xr-x 1 root root 143088 Sep 22 2020 vdir -rwxr-xr-x 1 root root 59584 Jul 28 07:09 wdctl lrwxrwxrwx 1 root root 8 Nov 6 2019 ypdomainname -> hostname -rwxr-xr-x 1 root root 1984 Mar 2 11:30 zcat -rwxr-xr-x 1 root root 1678 Mar 2 11:30 zcmp -rwxr-xr-x 1 root root 5880 Mar 2 11:30 zdiff -rwxr-xr-x 1 root root 29 Mar 2 11:30 zegrep -rwxr-xr-x 1 root root 29 Mar 2 11:30 zfgrep -rwxr-xr-x 1 root root 2081 Mar 2 11:30 zforce -rwxr-xr-x 1 root root 7585 Mar 2 11:30 zgrep -rwxr-xr-x 1 root root 2206 Mar 2 11:30 zless -rwxr-xr-x 1 root root 1842 Mar 2 11:30 zmore -rwxr-xr-x 1 root root 4553 Mar 2 11:30 znew I: user script /srv/workspace/pbuilder/19164/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: arm64 Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: cmake, debhelper-compat (= 13), dh-python, help2man, python3-dev, libboost-program-options-dev, libm4ri-dev, zlib1g-dev dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19646 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on cmake; however: Package cmake is not installed. pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on dh-python; however: Package dh-python is not installed. pbuilder-satisfydepends-dummy depends on help2man; however: Package help2man is not installed. pbuilder-satisfydepends-dummy depends on python3-dev; however: Package python3-dev is not installed. pbuilder-satisfydepends-dummy depends on libboost-program-options-dev; however: Package libboost-program-options-dev is not installed. pbuilder-satisfydepends-dummy depends on libm4ri-dev; however: Package libm4ri-dev is not installed. pbuilder-satisfydepends-dummy depends on zlib1g-dev; however: Package zlib1g-dev is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} cmake{a} cmake-data{a} debhelper{a} dh-autoreconf{a} dh-python{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} help2man{a} intltool-debian{a} libarchive-zip-perl{a} libarchive13{a} libboost-program-options-dev{a} libboost-program-options1.74-dev{a} libboost-program-options1.74.0{a} libboost1.74-dev{a} libbrotli1{a} libcurl4{a} libdebhelper-perl{a} libelf1{a} libexpat1{a} libexpat1-dev{a} libfile-stripnondeterminism-perl{a} libicu67{a} libjs-jquery{a} libjs-sphinxdoc{a} libjs-underscore{a} libjsoncpp24{a} libldap-2.4-2{a} liblocale-gettext-perl{a} libm4ri-0.0.20200125{a} libm4ri-dev{a} libmagic-mgc{a} libmagic1{a} libmpdec3{a} libncurses6{a} libnghttp2-14{a} libpipeline1{a} libpng16-16{a} libprocps8{a} libpsl5{a} libpython3-dev{a} libpython3-stdlib{a} libpython3.9{a} libpython3.9-dev{a} libpython3.9-minimal{a} libpython3.9-stdlib{a} libreadline8{a} librhash0{a} librtmp1{a} libsasl2-2{a} libsasl2-modules-db{a} libsigsegv2{a} libssh2-1{a} libsub-override-perl{a} libtool{a} libuchardet0{a} libuv1{a} libxml2{a} m4{a} man-db{a} media-types{a} po-debconf{a} procps{a} python3{a} python3-dev{a} python3-distutils{a} python3-lib2to3{a} python3-minimal{a} python3.9{a} python3.9-dev{a} python3.9-minimal{a} readline-common{a} sensible-utils{a} zlib1g-dev{a} The following packages are RECOMMENDED but will NOT be installed: ca-certificates curl javascript-common libarchive-cpio-perl libgpm2 libldap-common libltdl-dev libmail-sendmail-perl libsasl2-modules lynx psmisc publicsuffix wget 0 packages upgraded, 83 newly installed, 0 to remove and 0 not upgraded. Need to get 49.4 MB of archives. After unpacking 302 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian bullseye/main arm64 bsdextrautils arm64 2.36.1-8 [142 kB] Get: 2 http://deb.debian.org/debian bullseye/main arm64 libuchardet0 arm64 0.0.7-1 [67.9 kB] Get: 3 http://deb.debian.org/debian bullseye/main arm64 groff-base arm64 1.22.4-6 [883 kB] Get: 4 http://deb.debian.org/debian bullseye/main arm64 libpipeline1 arm64 1.5.3-1 [33.0 kB] Get: 5 http://deb.debian.org/debian bullseye/main arm64 man-db arm64 2.9.4-2 [1336 kB] Get: 6 http://deb.debian.org/debian bullseye/main arm64 liblocale-gettext-perl arm64 1.07-4+b1 [18.9 kB] Get: 7 http://deb.debian.org/debian bullseye/main arm64 libpython3.9-minimal arm64 3.9.2-1 [797 kB] Get: 8 http://deb.debian.org/debian bullseye/main arm64 libexpat1 arm64 2.2.10-2 [83.1 kB] Get: 9 http://deb.debian.org/debian bullseye/main arm64 python3.9-minimal arm64 3.9.2-1 [1884 kB] Get: 10 http://deb.debian.org/debian bullseye/main arm64 python3-minimal arm64 3.9.2-3 [38.2 kB] Get: 11 http://deb.debian.org/debian bullseye/main arm64 media-types all 4.0.0 [30.3 kB] Get: 12 http://deb.debian.org/debian bullseye/main arm64 libmpdec3 arm64 2.5.1-1 [84.4 kB] Get: 13 http://deb.debian.org/debian bullseye/main arm64 readline-common all 8.1-1 [73.7 kB] Get: 14 http://deb.debian.org/debian bullseye/main arm64 libreadline8 arm64 8.1-1 [160 kB] Get: 15 http://deb.debian.org/debian bullseye/main arm64 libpython3.9-stdlib arm64 3.9.2-1 [1658 kB] Get: 16 http://deb.debian.org/debian bullseye/main arm64 python3.9 arm64 3.9.2-1 [466 kB] Get: 17 http://deb.debian.org/debian bullseye/main arm64 libpython3-stdlib arm64 3.9.2-3 [21.4 kB] Get: 18 http://deb.debian.org/debian bullseye/main arm64 python3 arm64 3.9.2-3 [37.9 kB] Get: 19 http://deb.debian.org/debian bullseye/main arm64 libncurses6 arm64 6.2+20201114-2 [93.2 kB] Get: 20 http://deb.debian.org/debian bullseye/main arm64 libprocps8 arm64 2:3.3.17-5 [61.9 kB] Get: 21 http://deb.debian.org/debian bullseye/main arm64 procps arm64 2:3.3.17-5 [497 kB] Get: 22 http://deb.debian.org/debian bullseye/main arm64 sensible-utils all 0.0.14 [14.8 kB] Get: 23 http://deb.debian.org/debian bullseye/main arm64 libmagic-mgc arm64 1:5.39-3 [273 kB] Get: 24 http://deb.debian.org/debian bullseye/main arm64 libmagic1 arm64 1:5.39-3 [121 kB] Get: 25 http://deb.debian.org/debian bullseye/main arm64 file arm64 1:5.39-3 [69.1 kB] Get: 26 http://deb.debian.org/debian bullseye/main arm64 gettext-base arm64 0.21-4 [173 kB] Get: 27 http://deb.debian.org/debian bullseye/main arm64 libsigsegv2 arm64 2.13-1 [34.7 kB] Get: 28 http://deb.debian.org/debian bullseye/main arm64 m4 arm64 1.4.18-5 [199 kB] Get: 29 http://deb.debian.org/debian bullseye/main arm64 autoconf all 2.69-14 [313 kB] Get: 30 http://deb.debian.org/debian bullseye/main arm64 autotools-dev all 20180224.1+nmu1 [77.1 kB] Get: 31 http://deb.debian.org/debian bullseye/main arm64 automake all 1:1.16.3-2 [814 kB] Get: 32 http://deb.debian.org/debian bullseye/main arm64 autopoint all 0.21-4 [510 kB] Get: 33 http://deb.debian.org/debian bullseye/main arm64 cmake-data all 3.18.4-2 [1725 kB] Get: 34 http://deb.debian.org/debian bullseye/main arm64 libicu67 arm64 67.1-7 [8467 kB] Get: 35 http://deb.debian.org/debian bullseye/main arm64 libxml2 arm64 2.9.10+dfsg-6.7 [629 kB] Get: 36 http://deb.debian.org/debian bullseye/main arm64 libarchive13 arm64 3.4.3-2+b1 [320 kB] Get: 37 http://deb.debian.org/debian bullseye/main arm64 libbrotli1 arm64 1.0.9-2+b2 [267 kB] Get: 38 http://deb.debian.org/debian bullseye/main arm64 libsasl2-modules-db arm64 2.1.27+dfsg-2.1 [69.3 kB] Get: 39 http://deb.debian.org/debian bullseye/main arm64 libsasl2-2 arm64 2.1.27+dfsg-2.1 [105 kB] Get: 40 http://deb.debian.org/debian bullseye/main arm64 libldap-2.4-2 arm64 2.4.57+dfsg-3 [222 kB] Get: 41 http://deb.debian.org/debian bullseye/main arm64 libnghttp2-14 arm64 1.43.0-1 [73.8 kB] Get: 42 http://deb.debian.org/debian bullseye/main arm64 libpsl5 arm64 0.21.0-1.2 [57.1 kB] Get: 43 http://deb.debian.org/debian bullseye/main arm64 librtmp1 arm64 2.4+20151223.gitfa8646d.1-2+b2 [59.4 kB] Get: 44 http://deb.debian.org/debian bullseye/main arm64 libssh2-1 arm64 1.9.0-2 [150 kB] Get: 45 http://deb.debian.org/debian bullseye/main arm64 libcurl4 arm64 7.74.0-1.3+b1 [321 kB] Get: 46 http://deb.debian.org/debian bullseye/main arm64 libjsoncpp24 arm64 1.9.4-4 [72.5 kB] Get: 47 http://deb.debian.org/debian bullseye/main arm64 librhash0 arm64 1.4.1-2 [127 kB] Get: 48 http://deb.debian.org/debian bullseye/main arm64 libuv1 arm64 1.40.0-2 [126 kB] Get: 49 http://deb.debian.org/debian bullseye/main arm64 cmake arm64 3.18.4-2 [3673 kB] Get: 50 http://deb.debian.org/debian bullseye/main arm64 libdebhelper-perl all 13.3.4 [189 kB] Get: 51 http://deb.debian.org/debian bullseye/main arm64 libtool all 2.4.6-15 [513 kB] Get: 52 http://deb.debian.org/debian bullseye/main arm64 dh-autoreconf all 20 [17.1 kB] Get: 53 http://deb.debian.org/debian bullseye/main arm64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 54 http://deb.debian.org/debian bullseye/main arm64 libsub-override-perl all 0.09-2 [10.2 kB] Get: 55 http://deb.debian.org/debian bullseye/main arm64 libfile-stripnondeterminism-perl all 1.12.0-1 [26.3 kB] Get: 56 http://deb.debian.org/debian bullseye/main arm64 dh-strip-nondeterminism all 1.12.0-1 [15.4 kB] Get: 57 http://deb.debian.org/debian bullseye/main arm64 libelf1 arm64 0.183-1 [164 kB] Get: 58 http://deb.debian.org/debian bullseye/main arm64 dwz arm64 0.13+20210201-1 [155 kB] Get: 59 http://deb.debian.org/debian bullseye/main arm64 gettext arm64 0.21-4 [1261 kB] Get: 60 http://deb.debian.org/debian bullseye/main arm64 intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 61 http://deb.debian.org/debian bullseye/main arm64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 62 http://deb.debian.org/debian bullseye/main arm64 debhelper all 13.3.4 [1049 kB] Get: 63 http://deb.debian.org/debian bullseye/main arm64 python3-lib2to3 all 3.9.2-1 [77.8 kB] Get: 64 http://deb.debian.org/debian bullseye/main arm64 python3-distutils all 3.9.2-1 [143 kB] Get: 65 http://deb.debian.org/debian bullseye/main arm64 dh-python all 4.20201102+nmu1 [99.4 kB] Get: 66 http://deb.debian.org/debian bullseye/main arm64 help2man arm64 1.48.1 [190 kB] Get: 67 http://deb.debian.org/debian bullseye/main arm64 libboost1.74-dev arm64 1.74.0-9 [9534 kB] Get: 68 http://deb.debian.org/debian bullseye/main arm64 libboost-program-options1.74.0 arm64 1.74.0-9 [344 kB] Get: 69 http://deb.debian.org/debian bullseye/main arm64 libboost-program-options1.74-dev arm64 1.74.0-9 [382 kB] Get: 70 http://deb.debian.org/debian bullseye/main arm64 libboost-program-options-dev arm64 1.74.0.3 [4340 B] Get: 71 http://deb.debian.org/debian bullseye/main arm64 libexpat1-dev arm64 2.2.10-2 [126 kB] Get: 72 http://deb.debian.org/debian bullseye/main arm64 libjs-jquery all 3.5.1+dfsg+~3.5.5-7 [315 kB] Get: 73 http://deb.debian.org/debian bullseye/main arm64 libjs-underscore all 1.9.1~dfsg-3 [100 kB] Get: 74 http://deb.debian.org/debian bullseye/main arm64 libjs-sphinxdoc all 3.4.3-2 [127 kB] Get: 75 http://deb.debian.org/debian bullseye/main arm64 libpng16-16 arm64 1.6.37-3 [289 kB] Get: 76 http://deb.debian.org/debian bullseye/main arm64 libm4ri-0.0.20200125 arm64 20200125-1+b1 [73.4 kB] Get: 77 http://deb.debian.org/debian bullseye/main arm64 libm4ri-dev arm64 20200125-1+b1 [101 kB] Get: 78 http://deb.debian.org/debian bullseye/main arm64 libpython3.9 arm64 3.9.2-1 [1556 kB] Get: 79 http://deb.debian.org/debian bullseye/main arm64 libpython3.9-dev arm64 3.9.2-1 [3835 kB] Get: 80 http://deb.debian.org/debian bullseye/main arm64 libpython3-dev arm64 3.9.2-3 [21.7 kB] Get: 81 http://deb.debian.org/debian bullseye/main arm64 zlib1g-dev arm64 1:1.2.11.dfsg-2 [189 kB] Get: 82 http://deb.debian.org/debian bullseye/main arm64 python3.9-dev arm64 3.9.2-1 [515 kB] Get: 83 http://deb.debian.org/debian bullseye/main arm64 python3-dev arm64 3.9.2-3 [24.8 kB] Fetched 49.4 MB in 1s (55.9 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package bsdextrautils. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19646 files and directories currently installed.) Preparing to unpack .../0-bsdextrautils_2.36.1-8_arm64.deb ... Unpacking bsdextrautils (2.36.1-8) ... Selecting previously unselected package libuchardet0:arm64. Preparing to unpack .../1-libuchardet0_0.0.7-1_arm64.deb ... Unpacking libuchardet0:arm64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../2-groff-base_1.22.4-6_arm64.deb ... Unpacking groff-base (1.22.4-6) ... Selecting previously unselected package libpipeline1:arm64. Preparing to unpack .../3-libpipeline1_1.5.3-1_arm64.deb ... Unpacking libpipeline1:arm64 (1.5.3-1) ... Selecting previously unselected package man-db. Preparing to unpack .../4-man-db_2.9.4-2_arm64.deb ... Unpacking man-db (2.9.4-2) ... Selecting previously unselected package liblocale-gettext-perl. Preparing to unpack .../5-liblocale-gettext-perl_1.07-4+b1_arm64.deb ... Unpacking liblocale-gettext-perl (1.07-4+b1) ... Selecting previously unselected package libpython3.9-minimal:arm64. Preparing to unpack .../6-libpython3.9-minimal_3.9.2-1_arm64.deb ... Unpacking libpython3.9-minimal:arm64 (3.9.2-1) ... Selecting previously unselected package libexpat1:arm64. Preparing to unpack .../7-libexpat1_2.2.10-2_arm64.deb ... Unpacking libexpat1:arm64 (2.2.10-2) ... Selecting previously unselected package python3.9-minimal. Preparing to unpack .../8-python3.9-minimal_3.9.2-1_arm64.deb ... Unpacking python3.9-minimal (3.9.2-1) ... Setting up libpython3.9-minimal:arm64 (3.9.2-1) ... Setting up libexpat1:arm64 (2.2.10-2) ... Setting up python3.9-minimal (3.9.2-1) ... Selecting previously unselected package python3-minimal. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 20528 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.9.2-3_arm64.deb ... Unpacking python3-minimal (3.9.2-3) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_4.0.0_all.deb ... Unpacking media-types (4.0.0) ... Selecting previously unselected package libmpdec3:arm64. Preparing to unpack .../2-libmpdec3_2.5.1-1_arm64.deb ... Unpacking libmpdec3:arm64 (2.5.1-1) ... Selecting previously unselected package readline-common. Preparing to unpack .../3-readline-common_8.1-1_all.deb ... Unpacking readline-common (8.1-1) ... Selecting previously unselected package libreadline8:arm64. Preparing to unpack .../4-libreadline8_8.1-1_arm64.deb ... Unpacking libreadline8:arm64 (8.1-1) ... Selecting previously unselected package libpython3.9-stdlib:arm64. Preparing to unpack .../5-libpython3.9-stdlib_3.9.2-1_arm64.deb ... Unpacking libpython3.9-stdlib:arm64 (3.9.2-1) ... Selecting previously unselected package python3.9. Preparing to unpack .../6-python3.9_3.9.2-1_arm64.deb ... Unpacking python3.9 (3.9.2-1) ... Selecting previously unselected package libpython3-stdlib:arm64. Preparing to unpack .../7-libpython3-stdlib_3.9.2-3_arm64.deb ... Unpacking libpython3-stdlib:arm64 (3.9.2-3) ... Setting up python3-minimal (3.9.2-3) ... Selecting previously unselected package python3. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 20949 files and directories currently installed.) Preparing to unpack .../00-python3_3.9.2-3_arm64.deb ... Unpacking python3 (3.9.2-3) ... Selecting previously unselected package libncurses6:arm64. Preparing to unpack .../01-libncurses6_6.2+20201114-2_arm64.deb ... Unpacking libncurses6:arm64 (6.2+20201114-2) ... Selecting previously unselected package libprocps8:arm64. Preparing to unpack .../02-libprocps8_2%3a3.3.17-5_arm64.deb ... Unpacking libprocps8:arm64 (2:3.3.17-5) ... Selecting previously unselected package procps. Preparing to unpack .../03-procps_2%3a3.3.17-5_arm64.deb ... Unpacking procps (2:3.3.17-5) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../04-sensible-utils_0.0.14_all.deb ... Unpacking sensible-utils (0.0.14) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../05-libmagic-mgc_1%3a5.39-3_arm64.deb ... Unpacking libmagic-mgc (1:5.39-3) ... Selecting previously unselected package libmagic1:arm64. Preparing to unpack .../06-libmagic1_1%3a5.39-3_arm64.deb ... Unpacking libmagic1:arm64 (1:5.39-3) ... Selecting previously unselected package file. Preparing to unpack .../07-file_1%3a5.39-3_arm64.deb ... Unpacking file (1:5.39-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../08-gettext-base_0.21-4_arm64.deb ... Unpacking gettext-base (0.21-4) ... Selecting previously unselected package libsigsegv2:arm64. Preparing to unpack .../09-libsigsegv2_2.13-1_arm64.deb ... Unpacking libsigsegv2:arm64 (2.13-1) ... Selecting previously unselected package m4. Preparing to unpack .../10-m4_1.4.18-5_arm64.deb ... Unpacking m4 (1.4.18-5) ... Selecting previously unselected package autoconf. Preparing to unpack .../11-autoconf_2.69-14_all.deb ... Unpacking autoconf (2.69-14) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../12-autotools-dev_20180224.1+nmu1_all.deb ... Unpacking autotools-dev (20180224.1+nmu1) ... Selecting previously unselected package automake. Preparing to unpack .../13-automake_1%3a1.16.3-2_all.deb ... Unpacking automake (1:1.16.3-2) ... Selecting previously unselected package autopoint. Preparing to unpack .../14-autopoint_0.21-4_all.deb ... Unpacking autopoint (0.21-4) ... Selecting previously unselected package cmake-data. Preparing to unpack .../15-cmake-data_3.18.4-2_all.deb ... Unpacking cmake-data (3.18.4-2) ... Selecting previously unselected package libicu67:arm64. Preparing to unpack .../16-libicu67_67.1-7_arm64.deb ... Unpacking libicu67:arm64 (67.1-7) ... Selecting previously unselected package libxml2:arm64. Preparing to unpack .../17-libxml2_2.9.10+dfsg-6.7_arm64.deb ... Unpacking libxml2:arm64 (2.9.10+dfsg-6.7) ... Selecting previously unselected package libarchive13:arm64. Preparing to unpack .../18-libarchive13_3.4.3-2+b1_arm64.deb ... Unpacking libarchive13:arm64 (3.4.3-2+b1) ... Selecting previously unselected package libbrotli1:arm64. Preparing to unpack .../19-libbrotli1_1.0.9-2+b2_arm64.deb ... Unpacking libbrotli1:arm64 (1.0.9-2+b2) ... Selecting previously unselected package libsasl2-modules-db:arm64. Preparing to unpack .../20-libsasl2-modules-db_2.1.27+dfsg-2.1_arm64.deb ... Unpacking libsasl2-modules-db:arm64 (2.1.27+dfsg-2.1) ... Selecting previously unselected package libsasl2-2:arm64. Preparing to unpack .../21-libsasl2-2_2.1.27+dfsg-2.1_arm64.deb ... Unpacking libsasl2-2:arm64 (2.1.27+dfsg-2.1) ... Selecting previously unselected package libldap-2.4-2:arm64. Preparing to unpack .../22-libldap-2.4-2_2.4.57+dfsg-3_arm64.deb ... Unpacking libldap-2.4-2:arm64 (2.4.57+dfsg-3) ... Selecting previously unselected package libnghttp2-14:arm64. Preparing to unpack .../23-libnghttp2-14_1.43.0-1_arm64.deb ... Unpacking libnghttp2-14:arm64 (1.43.0-1) ... Selecting previously unselected package libpsl5:arm64. Preparing to unpack .../24-libpsl5_0.21.0-1.2_arm64.deb ... Unpacking libpsl5:arm64 (0.21.0-1.2) ... Selecting previously unselected package librtmp1:arm64. Preparing to unpack .../25-librtmp1_2.4+20151223.gitfa8646d.1-2+b2_arm64.deb ... Unpacking librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b2) ... Selecting previously unselected package libssh2-1:arm64. Preparing to unpack .../26-libssh2-1_1.9.0-2_arm64.deb ... Unpacking libssh2-1:arm64 (1.9.0-2) ... Selecting previously unselected package libcurl4:arm64. Preparing to unpack .../27-libcurl4_7.74.0-1.3+b1_arm64.deb ... Unpacking libcurl4:arm64 (7.74.0-1.3+b1) ... Selecting previously unselected package libjsoncpp24:arm64. Preparing to unpack .../28-libjsoncpp24_1.9.4-4_arm64.deb ... Unpacking libjsoncpp24:arm64 (1.9.4-4) ... Selecting previously unselected package librhash0:arm64. Preparing to unpack .../29-librhash0_1.4.1-2_arm64.deb ... Unpacking librhash0:arm64 (1.4.1-2) ... Selecting previously unselected package libuv1:arm64. Preparing to unpack .../30-libuv1_1.40.0-2_arm64.deb ... Unpacking libuv1:arm64 (1.40.0-2) ... Selecting previously unselected package cmake. Preparing to unpack .../31-cmake_3.18.4-2_arm64.deb ... Unpacking cmake (3.18.4-2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../32-libdebhelper-perl_13.3.4_all.deb ... Unpacking libdebhelper-perl (13.3.4) ... Selecting previously unselected package libtool. Preparing to unpack .../33-libtool_2.4.6-15_all.deb ... Unpacking libtool (2.4.6-15) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../34-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../35-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 .../36-libsub-override-perl_0.09-2_all.deb ... Unpacking libsub-override-perl (0.09-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../37-libfile-stripnondeterminism-perl_1.12.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.12.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../38-dh-strip-nondeterminism_1.12.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.12.0-1) ... Selecting previously unselected package libelf1:arm64. Preparing to unpack .../39-libelf1_0.183-1_arm64.deb ... Unpacking libelf1:arm64 (0.183-1) ... Selecting previously unselected package dwz. Preparing to unpack .../40-dwz_0.13+20210201-1_arm64.deb ... Unpacking dwz (0.13+20210201-1) ... Selecting previously unselected package gettext. Preparing to unpack .../41-gettext_0.21-4_arm64.deb ... Unpacking gettext (0.21-4) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../42-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 .../43-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../44-debhelper_13.3.4_all.deb ... Unpacking debhelper (13.3.4) ... Selecting previously unselected package python3-lib2to3. Preparing to unpack .../45-python3-lib2to3_3.9.2-1_all.deb ... Unpacking python3-lib2to3 (3.9.2-1) ... Selecting previously unselected package python3-distutils. Preparing to unpack .../46-python3-distutils_3.9.2-1_all.deb ... Unpacking python3-distutils (3.9.2-1) ... Selecting previously unselected package dh-python. Preparing to unpack .../47-dh-python_4.20201102+nmu1_all.deb ... Unpacking dh-python (4.20201102+nmu1) ... Selecting previously unselected package help2man. Preparing to unpack .../48-help2man_1.48.1_arm64.deb ... Unpacking help2man (1.48.1) ... Selecting previously unselected package libboost1.74-dev:arm64. Preparing to unpack .../49-libboost1.74-dev_1.74.0-9_arm64.deb ... Unpacking libboost1.74-dev:arm64 (1.74.0-9) ... Selecting previously unselected package libboost-program-options1.74.0:arm64. Preparing to unpack .../50-libboost-program-options1.74.0_1.74.0-9_arm64.deb ... Unpacking libboost-program-options1.74.0:arm64 (1.74.0-9) ... Selecting previously unselected package libboost-program-options1.74-dev:arm64. Preparing to unpack .../51-libboost-program-options1.74-dev_1.74.0-9_arm64.deb ... Unpacking libboost-program-options1.74-dev:arm64 (1.74.0-9) ... Selecting previously unselected package libboost-program-options-dev:arm64. Preparing to unpack .../52-libboost-program-options-dev_1.74.0.3_arm64.deb ... Unpacking libboost-program-options-dev:arm64 (1.74.0.3) ... Selecting previously unselected package libexpat1-dev:arm64. Preparing to unpack .../53-libexpat1-dev_2.2.10-2_arm64.deb ... Unpacking libexpat1-dev:arm64 (2.2.10-2) ... Selecting previously unselected package libjs-jquery. Preparing to unpack .../54-libjs-jquery_3.5.1+dfsg+~3.5.5-7_all.deb ... Unpacking libjs-jquery (3.5.1+dfsg+~3.5.5-7) ... Selecting previously unselected package libjs-underscore. Preparing to unpack .../55-libjs-underscore_1.9.1~dfsg-3_all.deb ... Unpacking libjs-underscore (1.9.1~dfsg-3) ... Selecting previously unselected package libjs-sphinxdoc. Preparing to unpack .../56-libjs-sphinxdoc_3.4.3-2_all.deb ... Unpacking libjs-sphinxdoc (3.4.3-2) ... Selecting previously unselected package libpng16-16:arm64. Preparing to unpack .../57-libpng16-16_1.6.37-3_arm64.deb ... Unpacking libpng16-16:arm64 (1.6.37-3) ... Selecting previously unselected package libm4ri-0.0.20200125:arm64. Preparing to unpack .../58-libm4ri-0.0.20200125_20200125-1+b1_arm64.deb ... Unpacking libm4ri-0.0.20200125:arm64 (20200125-1+b1) ... Selecting previously unselected package libm4ri-dev. Preparing to unpack .../59-libm4ri-dev_20200125-1+b1_arm64.deb ... Unpacking libm4ri-dev (20200125-1+b1) ... Selecting previously unselected package libpython3.9:arm64. Preparing to unpack .../60-libpython3.9_3.9.2-1_arm64.deb ... Unpacking libpython3.9:arm64 (3.9.2-1) ... Selecting previously unselected package libpython3.9-dev:arm64. Preparing to unpack .../61-libpython3.9-dev_3.9.2-1_arm64.deb ... Unpacking libpython3.9-dev:arm64 (3.9.2-1) ... Selecting previously unselected package libpython3-dev:arm64. Preparing to unpack .../62-libpython3-dev_3.9.2-3_arm64.deb ... Unpacking libpython3-dev:arm64 (3.9.2-3) ... Selecting previously unselected package zlib1g-dev:arm64. Preparing to unpack .../63-zlib1g-dev_1%3a1.2.11.dfsg-2_arm64.deb ... Unpacking zlib1g-dev:arm64 (1:1.2.11.dfsg-2) ... Selecting previously unselected package python3.9-dev. Preparing to unpack .../64-python3.9-dev_3.9.2-1_arm64.deb ... Unpacking python3.9-dev (3.9.2-1) ... Selecting previously unselected package python3-dev. Preparing to unpack .../65-python3-dev_3.9.2-3_arm64.deb ... Unpacking python3-dev (3.9.2-3) ... Setting up media-types (4.0.0) ... Setting up libpipeline1:arm64 (1.5.3-1) ... Setting up libpsl5:arm64 (0.21.0-1.2) ... Setting up libboost1.74-dev:arm64 (1.74.0-9) ... Setting up bsdextrautils (2.36.1-8) ... update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode Setting up libicu67:arm64 (67.1-7) ... Setting up libmagic-mgc (1:5.39-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libboost-program-options1.74.0:arm64 (1.74.0-9) ... Setting up libdebhelper-perl (13.3.4) ... Setting up libbrotli1:arm64 (1.0.9-2+b2) ... Setting up libnghttp2-14:arm64 (1.43.0-1) ... Setting up libmagic1:arm64 (1:5.39-3) ... Setting up gettext-base (0.21-4) ... Setting up file (1:5.39-3) ... Setting up libboost-program-options1.74-dev:arm64 (1.74.0-9) ... Setting up libsasl2-modules-db:arm64 (2.1.27+dfsg-2.1) ... Setting up autotools-dev (20180224.1+nmu1) ... Setting up libuv1:arm64 (1.40.0-2) ... Setting up libexpat1-dev:arm64 (2.2.10-2) ... Setting up libboost-program-options-dev:arm64 (1.74.0.3) ... Setting up librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b2) ... Setting up libncurses6:arm64 (6.2+20201114-2) ... Setting up libsigsegv2:arm64 (2.13-1) ... Setting up libpng16-16:arm64 (1.6.37-3) ... Setting up autopoint (0.21-4) ... Setting up libsasl2-2:arm64 (2.1.27+dfsg-2.1) ... Setting up libjsoncpp24:arm64 (1.9.4-4) ... Setting up zlib1g-dev:arm64 (1:1.2.11.dfsg-2) ... Setting up sensible-utils (0.0.14) ... Setting up librhash0:arm64 (1.4.1-2) ... Setting up libuchardet0:arm64 (0.0.7-1) ... Setting up libmpdec3:arm64 (2.5.1-1) ... Setting up libsub-override-perl (0.09-2) ... Setting up libssh2-1:arm64 (1.9.0-2) ... Setting up cmake-data (3.18.4-2) ... Setting up libjs-jquery (3.5.1+dfsg+~3.5.5-7) ... Setting up libelf1:arm64 (0.183-1) ... Setting up readline-common (8.1-1) ... Setting up libxml2:arm64 (2.9.10+dfsg-6.7) ... Setting up liblocale-gettext-perl (1.07-4+b1) ... Setting up libprocps8:arm64 (2:3.3.17-5) ... Setting up libjs-underscore (1.9.1~dfsg-3) ... Setting up libfile-stripnondeterminism-perl (1.12.0-1) ... Setting up gettext (0.21-4) ... Setting up libtool (2.4.6-15) ... Setting up libarchive13:arm64 (3.4.3-2+b1) ... Setting up libreadline8:arm64 (8.1-1) ... Setting up libldap-2.4-2:arm64 (2.4.57+dfsg-3) ... Setting up m4 (1.4.18-5) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up help2man (1.48.1) ... Setting up libm4ri-0.0.20200125:arm64 (20200125-1+b1) ... Setting up libjs-sphinxdoc (3.4.3-2) ... Setting up libm4ri-dev (20200125-1+b1) ... Setting up autoconf (2.69-14) ... Setting up dh-strip-nondeterminism (1.12.0-1) ... Setting up dwz (0.13+20210201-1) ... Setting up groff-base (1.22.4-6) ... Setting up procps (2:3.3.17-5) ... Setting up libcurl4:arm64 (7.74.0-1.3+b1) ... Setting up libpython3.9-stdlib:arm64 (3.9.2-1) ... Setting up libpython3-stdlib:arm64 (3.9.2-3) ... Setting up automake (1:1.16.3-2) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up po-debconf (1.0.21+nmu1) ... Setting up man-db (2.9.4-2) ... Not building database; man-db/auto-update is not 'true'. Setting up dh-autoreconf (20) ... Setting up libpython3.9:arm64 (3.9.2-1) ... Setting up cmake (3.18.4-2) ... Setting up python3.9 (3.9.2-1) ... Setting up libpython3.9-dev:arm64 (3.9.2-1) ... Setting up debhelper (13.3.4) ... Setting up python3 (3.9.2-3) ... Setting up python3.9-dev (3.9.2-1) ... Setting up python3-lib2to3 (3.9.2-1) ... Setting up python3-distutils (3.9.2-1) ... Setting up dh-python (4.20201102+nmu1) ... Setting up libpython3-dev:arm64 (3.9.2-3) ... Setting up python3-dev (3.9.2-3) ... Processing triggers for libc-bin (2.31-13) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps Reading package lists... Building dependency tree... Reading state information... fakeroot is already the newest version (1.25.3-1.1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: Running cd /build/cryptominisat-5.8.0+dfsg1/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../cryptominisat_5.8.0+dfsg1-1_source.changes dpkg-buildpackage: info: source package cryptominisat dpkg-buildpackage: info: source version 5.8.0+dfsg1-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Julien Puydt dpkg-source --before-build . dpkg-buildpackage: info: host architecture arm64 fakeroot debian/rules clean dh clean --with python3 dh_clean debian/rules build dh build --with python3 dh_update_autotools_config dh_autoreconf debian/rules override_dh_auto_configure make[1]: Entering directory '/build/cryptominisat-5.8.0+dfsg1' dh_auto_configure -- \ -DCMAKE_LIBRARY_ARCHITECTURE=aarch64-linux-gnu cd obj-aarch64-linux-gnu && cmake -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=None -DCMAKE_INSTALL_SYSCONFDIR=/etc -DCMAKE_INSTALL_LOCALSTATEDIR=/var -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY=ON -DCMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY=ON -DCMAKE_INSTALL_RUNSTATEDIR=/run -DCMAKE_SKIP_INSTALL_ALL_DEPENDENCY=ON "-GUnix Makefiles" -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_INSTALL_LIBDIR=lib/aarch64-linux-gnu -DCMAKE_LIBRARY_ARCHITECTURE=aarch64-linux-gnu .. -- The CXX compiler identification is GNU 10.2.1 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- LIB directory is 'lib/aarch64-linux-gnu' -- BIN directory is '' -- Doing a None build -- The C compiler identification is GNU 10.2.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Looking for pthread.h -- Looking for pthread.h - found -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Check if compiler accepts -pthread -- Check if compiler accepts -pthread - yes -- Found Threads: TRUE -- Building with GAUSS enabled at every level -- build type is None -- Performing Test HAVE_FLAG_-fvisibility=hidden -- Performing Test HAVE_FLAG_-fvisibility=hidden - Success -- Performing Test HAVE_FLAG_-Wall -- Performing Test HAVE_FLAG_-Wall - Success -- Performing Test HAVE_FLAG_-Wextra -- Performing Test HAVE_FLAG_-Wextra - Success -- Performing Test HAVE_FLAG_-Wunused -- Performing Test HAVE_FLAG_-Wunused - Success -- Performing Test HAVE_FLAG_-Wsign-compare -- Performing Test HAVE_FLAG_-Wsign-compare - Success -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success -- Performing Test HAVE_FLAG_-Wtype-limits -- Performing Test HAVE_FLAG_-Wtype-limits - Success -- Performing Test HAVE_FLAG_-Wuninitialized -- Performing Test HAVE_FLAG_-Wuninitialized - Success -- Performing Test HAVE_FLAG_-Wno-deprecated -- Performing Test HAVE_FLAG_-Wno-deprecated - Success -- Performing Test HAVE_FLAG_-Wstrict-aliasing -- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success -- Performing Test HAVE_FLAG_-Wpointer-arith -- Performing Test HAVE_FLAG_-Wpointer-arith - Success -- Performing Test HAVE_FLAG_-Wheader-guard -- Performing Test HAVE_FLAG_-Wheader-guard - Failed -- Performing Test HAVE_FLAG_-Wformat-nonliteral -- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success -- Performing Test HAVE_FLAG_-Winit-self -- Performing Test HAVE_FLAG_-Winit-self - Success -- Performing Test HAVE_FLAG_-Wparentheses -- Performing Test HAVE_FLAG_-Wparentheses - Success -- Performing Test HAVE_FLAG_-Wunreachable-code -- Performing Test HAVE_FLAG_-Wunreachable-code - Success -- Performing Test HAVE_FLAG_-g -- Performing Test HAVE_FLAG_-g - Success -- Performing Test HAVE_FLAG_-Wno-class-memaccess -- Performing Test HAVE_FLAG_-Wno-class-memaccess - Success -- Performing Test HAVE_FLAG_-mpopcnt -- Performing Test HAVE_FLAG_-mpopcnt - Failed -- Performing Test HAVE_FLAG_-msse4.2 -- Performing Test HAVE_FLAG_-msse4.2 - Failed -- Performing Test HAVE_FLAG_-Wextra-semi-stmt -- Performing Test HAVE_FLAG_-Wextra-semi-stmt - Failed -- Performing Test HAVE_FLAG_-Wweak-vtables -- Performing Test HAVE_FLAG_-Wweak-vtables - Failed -- Performing Test HAVE_FLAG_-ggdb3 -- Performing Test HAVE_FLAG_-ggdb3 - Success -- Compiling for dynamic library use -- PROJECT_VERSION: 5.8.0 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 8 -- PROJECT_VERSION_PATCH: 0 -- Found Boost: /usr/lib/aarch64-linux-gnu/cmake/Boost-1.74.0/BoostConfig.cmake (found suitable version "1.74.0", minimum required is "1.46") found components: program_options -- Could NOT find SQLITE3 (missing: SQLITE3_LIBRARY SQLITE3_INCLUDE_DIR) -- WARNING: Did not find SQLITE3, SQLITE3 support will be disabled -- Not compiling detailed statistics. The system is faster without them -- Manpage will be created and installed -- Found ZLIB: /usr/lib/aarch64-linux-gnu/libz.so (found version "1.2.11") -- OK, Found ZLIB! -- Performing Test HAVE__FPU_SETCW -- Performing Test HAVE__FPU_SETCW - Failed -- Could NOT find PkgConfig (missing: PKG_CONFIG_EXECUTABLE) -- Found M4RI: /usr/lib/aarch64-linux-gnu/libm4ri.so -- OK, Found M4RI lib at /usr/lib/aarch64-linux-gnu/libm4ri.so and includes at /usr/include CMake Warning at CMakeLists.txt:647 (find_package): By not providing "Findbreakid.cmake" in CMAKE_MODULE_PATH this project has asked CMake to find a package configuration file provided by "breakid", but CMake did not find one. Could not find a package configuration file provided by "breakid" with any of the following names: breakidConfig.cmake breakid-config.cmake Add the installation prefix of "breakid" to CMAKE_PREFIX_PATH or set "breakid_DIR" to a directory containing one of the above files. If "breakid" provides a separate development package or SDK, be sure it has been installed. CMake Warning at CMakeLists.txt:649 (message): BreakID NOT found -- Could NOT find MPI_C (missing: MPI_C_LIB_NAMES MPI_C_HEADER_DIR MPI_C_WORKS) -- Could NOT find MPI_CXX (missing: MPI_CXX_LIB_NAMES MPI_CXX_HEADER_DIR MPI_CXX_WORKS) -- Could NOT find MPI (missing: MPI_C_FOUND MPI_CXX_FOUND) Reason given by package: MPI component 'Fortran' was requested, but language Fortran is not enabled. -- No suitable C++ MPI implementation found. CryptoMiniSat will not be distributed. -- In case your Python interpreter is not found, or a wrong one is found, please set it with '-DPYTHON_EXECUTABLE:FILEPATH=your path here' -- Found PythonInterp: /usr/bin/python3 (found suitable version "3.9.2", minimum required is "3") -- Found PythonLibs: /usr/lib/aarch64-linux-gnu/libpython3.9.so (found suitable version "3.9.2", minimum required is "3") -- Python 3 -- PYTHON_EXECUTABLE=/usr/bin/python3 -- Python 3 -- PYTHON_LIBRARIES=/usr/lib/aarch64-linux-gnu/libpython3.9.so -- Python 3 -- PYTHON_INCLUDE_DIRS=/usr/include/python3.9 -- Python 3 -- PYTHONLIBS_VERSION_STRING=3.9.2 -- Boost -- found at library: Boost::program_options -- Boost -- adding '/usr/lib/aarch64-linux-gnu' to link directories -- All defines at startup: -DEXTENDED_FEATURES -DUSE_GAUSS -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DUSE_M4RI -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed -- Performing Test HAVE_FLAG_-Wlogical-op -- Performing Test HAVE_FLAG_-Wlogical-op - Success -- Performing Test HAVE_FLAG_-Wrestrict -- Performing Test HAVE_FLAG_-Wrestrict - Success -- Performing Test HAVE_FLAG_-Wnull-dereference -- Performing Test HAVE_FLAG_-Wnull-dereference - Success -- Performing Test HAVE_FLAG_-Wdouble-promotion -- Performing Test HAVE_FLAG_-Wdouble-promotion - Success -- Performing Test HAVE_FLAG_-Wshadow -- Performing Test HAVE_FLAG_-Wshadow - Success -- Performing Test HAVE_FLAG_-Wformat=2 -- Performing Test HAVE_FLAG_-Wformat=2 - Success -- Performing Test HAVE_FLAG_-Wextra-semi -- Performing Test HAVE_FLAG_-Wextra-semi - Success -- Performing Test HAVE_FLAG_-pedantic -- Performing Test HAVE_FLAG_-pedantic - Success -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success -- Performing Test COMPILER_HAS_DEPRECATED_ATTR -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success -- GIT Subprojects not initialized, not building drat-trim CMake Warning at CMakeLists.txt:819 (message): Testing is disabled -- Found python interpreter, libs and header files -- Building python interface -- Python CFLAGS: '-Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/build/python3.9-PN012d/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 ' -- Python LDFLAGS: '-lcrypt -lpthread -ldl -lutil -lm' -- Python LINKFORSHARED flags: '-Xlinker -export-dynamic -Wl,-O1 -Wl,-Bsymbolic-functions' -- Python module installation prefix: --prefix=/usr -- Configuring done -- Generating done -- Build files have been written to: /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu make[1]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1' dh_auto_build cd obj-aarch64-linux-gnu && make -j8 "INSTALL=install --strip-program=true" VERBOSE=1 make[1]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' /usr/bin/cmake -S/build/cryptominisat-5.8.0+dfsg1 -B/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/CMakeFiles /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu//CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[2]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-5.8.0+dfsg1/src /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake --color= make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-5.8.0+dfsg1/src /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake --color= Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend.internal". Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend.internal". Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/cryptominisat5.dir/depend.internal". Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/cryptominisat5.dir/depend.internal". Scanning dependencies of target CopyPublicHeaders make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E make_directory /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 Copying cryptominisat_c.h to /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E copy_if_different /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/cryptominisat5/cryptominisat_c.h /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E make_directory /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 Scanning dependencies of target cryptominisat5 make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build Copying cryptominisat.h to /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E copy_if_different /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/cryptominisat5/cryptominisat.h /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E make_directory /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 [ 1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/propengine.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/propengine.cpp [ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o [ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/drat.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cnf.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/cnf.cpp [ 7%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/drat.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/drat.cpp [ 8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/varreplacer.cpp cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/clausecleaner.cpp cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 [ 10%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/subsumestrengthen.cpp [ 12%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp Copying solvertypesmini.h to /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E copy_if_different /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/cryptominisat5/solvertypesmini.h /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E make_directory /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 Copying dimacsparser.h to /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E copy_if_different /build/cryptominisat-5.8.0+dfsg1/src/dimacsparser.h /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E make_directory /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E echo Copying\ streambuffer.h\ to\ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 Copying streambuffer.h to /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E copy_if_different /build/cryptominisat-5.8.0+dfsg1/src/streambuffer.h /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/include/cryptominisat5 make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' [ 12%] Built target CopyPublicHeaders [ 14%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/clauseallocator.cpp [ 15%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/sccfinder.cpp /build/cryptominisat-5.8.0+dfsg1/src/propengine.cpp: In member function 'void CMSat::PropEngine::updateVars(const std::vector&, const std::vector&)': /build/cryptominisat-5.8.0+dfsg1/src/propengine.cpp:515:29: warning: unused parameter 'outerToInter' [-Wunused-parameter] 515 | const vector& outerToInter | ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/propengine.cpp:516:31: warning: unused parameter 'interToOuter' [-Wunused-parameter] 516 | , const vector& interToOuter | ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ [ 17%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/solverconf.cpp [ 19%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/distillerlong.cpp [ 21%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp In file included from /build/cryptominisat-5.8.0+dfsg1/src/propengine.cpp:23: /build/cryptominisat-5.8.0+dfsg1/src/propengine.h: In member function 'void CMSat::PropEngine::enqueue(CMSat::Lit, uint32_t, CMSat::PropBy) [with bool update_bogoprops = false]': /build/cryptominisat-5.8.0+dfsg1/src/propengine.h:414:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 414 | void PropEngine::enqueue(const Lit p, const uint32_t level, const PropBy from) | ^~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/propengine.h: In member function 'void CMSat::PropEngine::enqueue(CMSat::Lit, uint32_t, CMSat::PropBy) [with bool update_bogoprops = true]': /build/cryptominisat-5.8.0+dfsg1/src/propengine.h:414:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 /build/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp: In member function 'bool CMSat::DistillerLongWithImpl::sub_str_cl_with_watch(CMSat::ClOffset&, bool, bool)': /build/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:191:12: warning: unused parameter 'red' [-Wunused-parameter] 191 | , bool red | ~~~~~^~~ [ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/str_impl_w_impl.cpp [ 24%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/solutionextender.cpp [ 26%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/completedetachreattacher.cpp In file included from /build/cryptominisat-5.8.0+dfsg1/src/solver.h:36, from /build/cryptominisat-5.8.0+dfsg1/src/varreplacer.cpp:25: /build/cryptominisat-5.8.0+dfsg1/src/propengine.h: In member function 'void CMSat::PropEngine::enqueue(CMSat::Lit, uint32_t, CMSat::PropBy) [with bool update_bogoprops = true]': /build/cryptominisat-5.8.0+dfsg1/src/propengine.h:414:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 414 | void PropEngine::enqueue(const Lit p, const uint32_t level, const PropBy from) | ^~~~~~~~~~ [ 28%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/searcher.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp [ 29%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solver.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/solver.cpp [ 31%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/compfinder.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/compfinder.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/compfinder.cpp [ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/comphandler.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/comphandler.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/comphandler.cpp [ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/hyperengine.cpp [ 36%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/subsumeimplicit.cpp /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function 'CMSat::Clause* CMSat::Searcher::handle_last_confl(uint32_t, uint32_t, uint32_t, bool)': /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1668:22: warning: unused parameter 'old_decision_level' [-Wunused-parameter] 1668 | , const uint32_t old_decision_level | ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1669:22: warning: unused parameter 'glue_before_minim' [-Wunused-parameter] 1669 | , const uint32_t glue_before_minim | ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function 'void CMSat::Searcher::check_calc_satzilla_features(bool)': /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1900:50: warning: unused parameter 'force' [-Wunused-parameter] 1900 | void Searcher::check_calc_satzilla_features(bool force) | ~~~~~^~~~~ /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function 'void CMSat::Searcher::check_calc_vardist_features(bool)': /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1918:49: warning: unused parameter 'force' [-Wunused-parameter] 1918 | void Searcher::check_calc_vardist_features(bool force) | ~~~~~^~~~~ [ 38%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/datasync.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/datasync.cpp In file included from /build/cryptominisat-5.8.0+dfsg1/src/solvertypes.h:38, from /build/cryptominisat-5.8.0+dfsg1/src/propby.h:27, from /build/cryptominisat-5.8.0+dfsg1/src/propengine.h:35, from /build/cryptominisat-5.8.0+dfsg1/src/searcher.h:28, from /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:23: /build/cryptominisat-5.8.0+dfsg1/src/solverconf.h: In function 'std::string CMSat::polarity_mode_to_short_string(CMSat::PolarityMode)': /build/cryptominisat-5.8.0+dfsg1/src/solverconf.h:141:1: warning: control reaches end of non-void function [-Wreturn-type] 141 | } | ^ /build/cryptominisat-5.8.0+dfsg1/src/solverconf.h: In function 'std::string CMSat::getNameOfPolarmodeType(CMSat::PolarityMode)': /build/cryptominisat-5.8.0+dfsg1/src/solverconf.h:95:1: warning: control reaches end of non-void function [-Wreturn-type] 95 | } | ^ In file included from /build/cryptominisat-5.8.0+dfsg1/src/solver.h:36, from /build/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:41: /build/cryptominisat-5.8.0+dfsg1/src/propengine.h: In member function 'void CMSat::PropEngine::enqueue(CMSat::Lit, uint32_t, CMSat::PropBy) [with bool update_bogoprops = true]': /build/cryptominisat-5.8.0+dfsg1/src/propengine.h:414:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 414 | void PropEngine::enqueue(const Lit p, const uint32_t level, const PropBy from) | ^~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/hyperengine.cpp: In member function 'CMSat::Lit CMSat::HyperEngine::analyzeFail(CMSat::PropBy)': /build/cryptominisat-5.8.0+dfsg1/src/hyperengine.cpp:414:5: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 414 | Lit HyperEngine::analyzeFail(const PropBy propBy) | ^~~~~~~~~~~ [ 40%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/reducedb.cpp [ 42%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/clausedumper.cpp [ 43%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/bva.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/bva.cpp /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function 'void CMSat::Searcher::debug_print_resolving_clause(CMSat::PropBy) const': /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:297:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 297 | void Searcher::debug_print_resolving_clause(const PropBy confl) const | ^~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function 'void CMSat::Searcher::print_debug_resolution_data(CMSat::PropBy)': /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:733:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 733 | void Searcher::print_debug_resolution_data(const PropBy confl) | ^~~~~~~~ [ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/intree.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/intree.cpp [ 47%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/satzilla_features_calc.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/satzilla_features_calc.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/satzilla_features_calc.cpp [ 49%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/satzilla_features_to_reconf.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/satzilla_features_to_reconf.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/satzilla_features_to_reconf.cpp [ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/satzilla_features.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/satzilla_features.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/satzilla_features.cpp [ 52%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/searchstats.cpp In file included from /build/cryptominisat-5.8.0+dfsg1/src/solverconf.h:31, from /build/cryptominisat-5.8.0+dfsg1/src/solvertypes.h:38, from /build/cryptominisat-5.8.0+dfsg1/src/propby.h:27, from /build/cryptominisat-5.8.0+dfsg1/src/propengine.h:35, from /build/cryptominisat-5.8.0+dfsg1/src/searcher.h:28, from /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:23: /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/cryptominisat5/solvertypesmini.h: In member function 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)': /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/cryptominisat5/solvertypesmini.h:65:16: warning: potential null pointer dereference [-Wnull-dereference] 65 | return x >> 1; | ^ [ 54%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o In file included from /build/cryptominisat-5.8.0+dfsg1/src/heap.h:24, from /build/cryptominisat-5.8.0+dfsg1/src/propengine.h:40, from /build/cryptominisat-5.8.0+dfsg1/src/searcher.h:28, from /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:23: /build/cryptominisat-5.8.0+dfsg1/src/Vec.h:140:9: warning: 'offs' may be used uninitialized in this function [-Wmaybe-uninitialized] 140 | data[sz++] = elem; | ^~~~ /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:3791:18: note: 'offs' was declared here 3791 | ClOffset offs; | ^~~~ cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp In file included from /build/cryptominisat-5.8.0+dfsg1/src/solver.h:36, from /build/cryptominisat-5.8.0+dfsg1/src/intree.cpp:24: /build/cryptominisat-5.8.0+dfsg1/src/propengine.h: In member function 'void CMSat::PropEngine::enqueue(CMSat::Lit, uint32_t, CMSat::PropBy) [with bool update_bogoprops = true]': /build/cryptominisat-5.8.0+dfsg1/src/propengine.h:414:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 414 | void PropEngine::enqueue(const Lit p, const uint32_t level, const PropBy from) | ^~~~~~~~~~ [ 56%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/cardfinder.cpp [ 57%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/cryptominisat_c.cpp /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function 'void CMSat::Searcher::simple_create_learnt_clause(CMSat::PropBy, std::vector&, bool)': /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:657:6: note: parameter passing for argument of type 'CMSat::PropBy' changed in GCC 9.1 657 | void Searcher::simple_create_learnt_clause( | ^~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function 'void CMSat::Searcher::add_literals_from_confl_to_learnt(CMSat::PropBy, CMSat::Lit, uint32_t) [with bool update_bogoprops = true]': /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:361:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 361 | void Searcher::add_literals_from_confl_to_learnt( | ^~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function 'void CMSat::Searcher::create_learnt_clause(CMSat::PropBy) [with bool update_bogoprops = true]': /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:595:6: note: parameter passing for argument of type 'CMSat::PropBy' changed in GCC 9.1 595 | void Searcher::create_learnt_clause(PropBy confl) | ^~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function 'void CMSat::Searcher::analyze_conflict(CMSat::PropBy, uint32_t&, uint32_t&, uint32_t&) [with bool update_bogoprops = true]': /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:768:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 768 | void Searcher::analyze_conflict( | ^~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function 'void CMSat::Searcher::add_literals_from_confl_to_learnt(CMSat::PropBy, CMSat::Lit, uint32_t) [with bool update_bogoprops = false]': /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:361:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 361 | void Searcher::add_literals_from_confl_to_learnt( | ^~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function 'void CMSat::Searcher::create_learnt_clause(CMSat::PropBy) [with bool update_bogoprops = false]': /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:595:6: note: parameter passing for argument of type 'CMSat::PropBy' changed in GCC 9.1 595 | void Searcher::create_learnt_clause(PropBy confl) | ^~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function 'void CMSat::Searcher::analyze_conflict(CMSat::PropBy, uint32_t&, uint32_t&, uint32_t&) [with bool update_bogoprops = false]': /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:768:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 768 | void Searcher::analyze_conflict( | ^~~~~~~~ [ 59%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/yalsat.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/yalsat.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/yalsat.cpp [ 61%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/yals.c.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cc -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -g -pthread -fPIC -std=gnu99 -o CMakeFiles/cryptominisat5.dir/yals.c.o -c /build/cryptominisat-5.8.0+dfsg1/src/yals.c /build/cryptominisat-5.8.0+dfsg1/src/yals.c:371:63: warning: ISO C99 doesn't support unnamed structs/unions [-Wpedantic] 371 | struct { int64_t lim; union { int64_t interval; RDS rds; }; } inner; | ^ /build/cryptominisat-5.8.0+dfsg1/src/yals.c:383:43: warning: ISO C99 doesn't support unnamed structs/unions [-Wpedantic] 383 | struct { int size; union Chunk * next; }; | ^ /build/cryptominisat-5.8.0+dfsg1/src/yals.c:429:71: warning: ISO C99 doesn't support unnamed structs/unions [-Wpedantic] 429 | int satcntbytes; union { U1 * satcnt1; U2 * satcnt2; U4 * satcnt4; }; | ^ /build/cryptominisat-5.8.0+dfsg1/src/yals.c: In function 'yals_default_free': /build/cryptominisat-5.8.0+dfsg1/src/yals.c:2445:10: warning: ISO C forbids 'return' with expression, in function returning void [-Wpedantic] 2445 | return free (ptr); | ^~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/yals.c:2442:13: note: declared here 2442 | static void yals_default_free (void * state, void * ptr, size_t bytes) { | ^~~~~~~~~~~~~~~~~ [ 63%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/walksat.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/walksat.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/walksat.cpp In file included from /build/cryptominisat-5.8.0+dfsg1/src/searcher.h:28, from /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:23: /build/cryptominisat-5.8.0+dfsg1/src/propengine.h: In member function 'void CMSat::PropEngine::enqueue(CMSat::Lit, uint32_t, CMSat::PropBy) [with bool update_bogoprops = false]': /build/cryptominisat-5.8.0+dfsg1/src/propengine.h:414:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 414 | void PropEngine::enqueue(const Lit p, const uint32_t level, const PropBy from) | ^~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/yals.c: In function 'yals_pick_literal': /build/cryptominisat-5.8.0+dfsg1/src/yals.c:186:3: warning: 's' may be used uninitialized in this function [-Wmaybe-uninitialized] 186 | yals_log_start (yals, ##__VA_ARGS__); \ | ^~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/yals.c:1168:10: note: 's' was declared here 1168 | double s; | ^ /build/cryptominisat-5.8.0+dfsg1/src/yals.c:186:3: warning: 'w' may be used uninitialized in this function [-Wmaybe-uninitialized] 186 | yals_log_start (yals, ##__VA_ARGS__); \ | ^~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/yals.c:1167:12: note: 'w' was declared here 1167 | unsigned w; | ^ /build/cryptominisat-5.8.0+dfsg1/src/propengine.h: In member function 'void CMSat::PropEngine::enqueue(CMSat::Lit, uint32_t, CMSat::PropBy) [with bool update_bogoprops = true]': /build/cryptominisat-5.8.0+dfsg1/src/propengine.h:414:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 [ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp: In member function 'bool CMSat::Searcher::handle_conflict(CMSat::PropBy)': /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1785:6: note: parameter passing for argument of type 'CMSat::PropBy' changed in GCC 9.1 1785 | bool Searcher::handle_conflict(PropBy confl) | ^~~~~~~~ cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/sls.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/sls.cpp [ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/vardistgen.cpp [ 68%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/ccnr.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/ccnr.cpp [ 70%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/ccnr_cms.cpp In file included from /build/cryptominisat-5.8.0+dfsg1/src/xorfinder.h:33, from /build/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:23: /build/cryptominisat-5.8.0+dfsg1/src/xor.h: In member function 'std::vector CMSat::XorFinder::remove_xors_without_connecting_vars(const std::vector&)': /build/cryptominisat-5.8.0+dfsg1/src/xor.h:38:7: warning: potential null pointer dereference [-Wnull-dereference] 38 | class Xor | ^~~ [ 71%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/lucky.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/lucky.cpp [ 73%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/GitSHA1.cpp /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/GitSHA1.cpp:64:32: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time] 64 | "compilation date time = " __DATE__ " " __TIME__ | ^~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/GitSHA1.cpp:64:45: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time] 64 | "compilation date time = " __DATE__ " " __TIME__ | ^~~~~~~~ [ 75%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/gaussian.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/gaussian.cpp [ 77%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/packedrow.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/packedrow.cpp [ 78%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/matrixfinder.cpp /build/cryptominisat-5.8.0+dfsg1/src/packedrow.cpp: In member function 'void CMSat::PackedRow::get_reason(std::vector&, const std::vector&, const std::vector&, CMSat::PackedRow&, CMSat::PackedRow&, CMSat::Lit)': /build/cryptominisat-5.8.0+dfsg1/src/packedrow.cpp:87:26: warning: unused parameter 'assigns' [-Wunused-parameter] 87 | const vector& assigns, | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~ [ 80%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/toplevelgauss.cpp [ 82%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -fPIC -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp In file included from /build/cryptominisat-5.8.0+dfsg1/src/solver.h:36, from /build/cryptominisat-5.8.0+dfsg1/src/solver.cpp:23: /build/cryptominisat-5.8.0+dfsg1/src/propengine.h: In member function 'void CMSat::PropEngine::enqueue(CMSat::Lit, uint32_t, CMSat::PropBy) [with bool update_bogoprops = false]': /build/cryptominisat-5.8.0+dfsg1/src/propengine.h:414:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 414 | void PropEngine::enqueue(const Lit p, const uint32_t level, const PropBy from) | ^~~~~~~~~~ In file included from /build/cryptominisat-5.8.0+dfsg1/src/gaussian.h:39, from /build/cryptominisat-5.8.0+dfsg1/src/gaussian.cpp:35: /build/cryptominisat-5.8.0+dfsg1/src/packedmatrix.h: In member function 'void CMSat::PackedMatrix::resize(uint32_t, uint32_t)': /build/cryptominisat-5.8.0+dfsg1/src/packedmatrix.h:70:27: warning: ignoring return value of 'int posix_memalign(void**, size_t, size_t)' declared with attribute 'warn_unused_result' [-Wunused-result] 70 | posix_memalign((void**)&mp, 16, size); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~ In file included from /build/cryptominisat-5.8.0+dfsg1/src/solver.h:36, from /build/cryptominisat-5.8.0+dfsg1/src/lucky.cpp:25: /build/cryptominisat-5.8.0+dfsg1/src/propengine.h: In member function 'void CMSat::PropEngine::enqueue(CMSat::Lit, uint32_t, CMSat::PropBy) [with bool update_bogoprops = true]': /build/cryptominisat-5.8.0+dfsg1/src/propengine.h:414:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 414 | void PropEngine::enqueue(const Lit p, const uint32_t level, const PropBy from) | ^~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/src/propengine.h: In member function 'void CMSat::PropEngine::enqueue(CMSat::Lit, uint32_t, CMSat::PropBy) [with bool update_bogoprops = true]': /build/cryptominisat-5.8.0+dfsg1/src/propengine.h:414:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 /build/cryptominisat-5.8.0+dfsg1/src/matrixfinder.cpp: In member function 'uint32_t CMSat::MatrixFinder::setMatrixes()': /build/cryptominisat-5.8.0+dfsg1/src/matrixfinder.cpp:371:13: warning: 'ratio_sampling' may be used uninitialized in this function [-Wmaybe-uninitialized] 371 | if (ratio_sampling >= 0.6) { //TODO Magic constant | ^~ In file included from /build/cryptominisat-5.8.0+dfsg1/src/solver.h:36, from /build/cryptominisat-5.8.0+dfsg1/src/gaussian.cpp:40: /build/cryptominisat-5.8.0+dfsg1/src/propengine.h: In member function 'void CMSat::PropEngine::enqueue(CMSat::Lit, uint32_t, CMSat::PropBy) [with bool update_bogoprops = true]': /build/cryptominisat-5.8.0+dfsg1/src/propengine.h:414:6: note: parameter passing for argument of type 'const CMSat::PropBy' changed in GCC 9.1 414 | void PropEngine::enqueue(const Lit p, const uint32_t level, const PropBy from) | ^~~~~~~~~~ [ 84%] Linking CXX shared library ../lib/libcryptominisat5.so cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wl,-z,relro -Wl,-z,now -O2 -shared -Wl,-soname,libcryptominisat5.so.5.8 -o ../lib/libcryptominisat5.so.5.8 CMakeFiles/cryptominisat5.dir/cnf.cpp.o CMakeFiles/cryptominisat5.dir/drat.cpp.o CMakeFiles/cryptominisat5.dir/propengine.cpp.o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o CMakeFiles/cryptominisat5.dir/searcher.cpp.o CMakeFiles/cryptominisat5.dir/solver.cpp.o CMakeFiles/cryptominisat5.dir/compfinder.cpp.o CMakeFiles/cryptominisat5.dir/comphandler.cpp.o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o CMakeFiles/cryptominisat5.dir/datasync.cpp.o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o CMakeFiles/cryptominisat5.dir/bva.cpp.o CMakeFiles/cryptominisat5.dir/intree.cpp.o CMakeFiles/cryptominisat5.dir/satzilla_features_calc.cpp.o CMakeFiles/cryptominisat5.dir/satzilla_features_to_reconf.cpp.o CMakeFiles/cryptominisat5.dir/satzilla_features.cpp.o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/cryptominisat5.dir/yalsat.cpp.o CMakeFiles/cryptominisat5.dir/yals.c.o CMakeFiles/cryptominisat5.dir/walksat.cpp.o CMakeFiles/cryptominisat5.dir/sls.cpp.o CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o CMakeFiles/cryptominisat5.dir/ccnr.cpp.o CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o CMakeFiles/cryptominisat5.dir/lucky.cpp.o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/cryptominisat5.dir/gaussian.cpp.o CMakeFiles/cryptominisat5.dir/packedrow.cpp.o CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o /usr/lib/aarch64-linux-gnu/libm4ri.so -pthread cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E cmake_symlink_library ../lib/libcryptominisat5.so.5.8 ../lib/libcryptominisat5.so.5.8 ../lib/libcryptominisat5.so make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' [ 84%] Built target cryptominisat5 make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/depend make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-5.8.0+dfsg1/src /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake --color= make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-5.8.0+dfsg1/src /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/DependInfo.cmake --color= make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-5.8.0+dfsg1/python /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake --color= Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend.internal". Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/DependInfo.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend.internal". Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend.internal". Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend.internal". Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/CMakeFiles/python_interface.dir/depend.internal". Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/CMakeFiles/python_interface.dir/depend.internal". Scanning dependencies of target python_interface make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/build Scanning dependencies of target cryptominisat5_simple-bin make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' Scanning dependencies of target cryptominisat5-bin make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' [ 85%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/main_common.cpp [ 87%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_ALL_NO_LIB -DBOOST_PROGRAM_OPTIONS_DYN_LINK -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/main_common.cpp [ 89%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_ALL_NO_LIB -DBOOST_PROGRAM_OPTIONS_DYN_LINK -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/signalcode.cpp [ 91%] Generating build/timestamp [ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat && /usr/bin/python3 setup.py build_ext --inplace --rpath ../lib [ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o [ 94%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/main_simple.cpp cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_ALL_NO_LIB -DBOOST_PROGRAM_OPTIONS_DYN_LINK -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5-bin.dir/main.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/main.cpp cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/c++ -DBOOST_ALL_NO_LIB -DBOOST_PROGRAM_OPTIONS_DYN_LINK -DBOOST_TEST_DYN_LINK -DEXTENDED_FEATURES -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src -I/build/cryptominisat-5.8.0+dfsg1/src -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o -c /build/cryptominisat-5.8.0+dfsg1/src/main_exe.cpp running build_ext building 'pycryptosat' extension creating build creating build/temp.linux-aarch64-3.9 creating build/temp.linux-aarch64-3.9/build creating build/temp.linux-aarch64-3.9/build/cryptominisat-5.8.0+dfsg1 creating build/temp.linux-aarch64-3.9/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu creating build/temp.linux-aarch64-3.9/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat creating build/temp.linux-aarch64-3.9/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src /usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.8.0" -I/usr/include/python3.9 -c /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp -o build/temp.linux-aarch64-3.9/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.o -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/build/python3.9-PN012d/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function 'void setup_solver(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:41: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:55: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:70: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* start_getting_small_clauses(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:251:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 251 | static char* kwlist[] = {"max_len", "max_glue", NULL}; | ^~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:251:41: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 251 | static char* kwlist[] = {"max_len", "max_glue", NULL}; | ^~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* add_clause(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:337:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 337 | static char* kwlist[] = {"clause", NULL}; | ^~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* add_clauses(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:505:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 505 | static char* kwlist[] = {"clauses", NULL}; | ^~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* add_xor_clause(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:549:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 549 | static char* kwlist[] = {"xor_clause", "rhs", NULL}; | ^~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:549:44: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 549 | static char* kwlist[] = {"xor_clause", "rhs", NULL}; | ^~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* solve(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:45: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:56: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:70: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* msolve_selected(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:895:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:895:53: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:895:69: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: At global scope: /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1032:19: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1032 | {"solve", (PyCFunction) solve, METH_VARARGS | METH_KEYWORDS, solve_doc}, | ^~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1033:19: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1033 | {"add_clause",(PyCFunction) add_clause, METH_VARARGS | METH_KEYWORDS, add_clause_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1034:21: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1034 | {"add_clauses", (PyCFunction) add_clauses, METH_VARARGS | METH_KEYWORDS, add_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1035:23: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1035 | {"add_xor_clause",(PyCFunction) add_xor_clause, METH_VARARGS | METH_KEYWORDS, "adds an XOR clause to the system"}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1036:17: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1036 | {"nb_vars", (PyCFunction) nb_vars, METH_VARARGS | METH_KEYWORDS, nb_vars_doc}, | ^~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1038:25: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1038 | {"msolve_selected", (PyCFunction) msolve_selected, METH_VARARGS | METH_KEYWORDS, msolve_selected_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1039:24: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1039 | {"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1040:22: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1040 | {"get_conflict", (PyCFunction) get_conflict, METH_VARARGS | METH_KEYWORDS, get_conflict_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1042:37: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1042 | {"start_getting_small_clauses", (PyCFunction) start_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, start_getting_small_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1043:31: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1043 | {"get_next_small_clause", (PyCFunction) get_next_small_clause, METH_VARARGS | METH_KEYWORDS, get_next_small_clause_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1044:35: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1044 | {"end_getting_small_clauses", (PyCFunction) end_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, end_getting_small_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member 'PyMethodDef::ml_flags' [-Wmissing-field-initializers] 1046 | }; | ^ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member 'PyMethodDef::ml_doc' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_alloc' [-Wmissing-field-initializers] 1106 | }; | ^ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_new' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_free' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_is_gc' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_bases' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_mro' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_cache' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_subclasses' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_weaklist' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_del' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_version_tag' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_finalize' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_vectorcall' [-Wmissing-field-initializers] /usr/bin/c++ -pthread -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -g -fwrapv -O2 -Wl,-z,relro -Wl,-z,now -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 build/temp.linux-aarch64-3.9/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.o -L. -L/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/lib -L/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/lib/None -Wl,--enable-new-dtags,-R../lib -lcryptominisat5 -o /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/pycryptosat.cpython-39-aarch64-linux-gnu.so make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' [ 96%] Built target python_interface [ 98%] Linking CXX executable ../cryptominisat5_simple cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5_simple-bin.dir/link.txt --verbose=1 /usr/bin/c++ -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wl,-z,relro -Wl,-z,now -O2 -Wl,--discard-all -Wl,--build-id=sha1 -rdynamic CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o -o ../cryptominisat5_simple -Wl,-rpath,/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/lib: ../lib/libcryptominisat5.so.5.8 /usr/lib/aarch64-linux-gnu/libz.so /usr/lib/aarch64-linux-gnu/libm4ri.so -pthread make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' [ 98%] Built target cryptominisat5_simple-bin make -f CMakeFiles/man_cms5_simple.dir/build.make CMakeFiles/man_cms5_simple.dir/depend make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/CMakeFiles/man_cms5_simple.dir/DependInfo.cmake --color= Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/CMakeFiles/man_cms5_simple.dir/DependInfo.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/CMakeFiles/man_cms5_simple.dir/depend.internal". Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/CMakeFiles/man_cms5_simple.dir/depend.internal". Scanning dependencies of target man_cms5_simple make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' make -f CMakeFiles/man_cms5_simple.dir/build.make CMakeFiles/man_cms5_simple.dir/build make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' help2man --version-string=5.8.0 --help-option="-h" --include /build/cryptominisat-5.8.0+dfsg1/manpage-extras "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cryptominisat5_simple" -o /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cryptominisat5_simple.1 --name="SAT\ solver" make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' [ 98%] Built target man_cms5_simple [100%] Linking CXX executable ../cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src && /usr/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5-bin.dir/link.txt --verbose=1 /usr/bin/c++ -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fvisibility=hidden -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -g -Wno-class-memaccess -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wl,-z,relro -Wl,-z,now -O2 -Wl,--discard-all -Wl,--build-id=sha1 -rdynamic CMakeFiles/cryptominisat5-bin.dir/main.cpp.o CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -o ../cryptominisat5 -Wl,-rpath,/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/lib: /usr/lib/aarch64-linux-gnu/libboost_program_options.so.1.74.0 ../lib/libcryptominisat5.so.5.8 /usr/lib/aarch64-linux-gnu/libz.so /usr/lib/aarch64-linux-gnu/libm4ri.so -pthread make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' [100%] Built target cryptominisat5-bin make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/depend make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' cd /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-5.8.0+dfsg1 /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/CMakeFiles/man_cms5.dir/DependInfo.cmake --color= Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/CMakeFiles/man_cms5.dir/DependInfo.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/CMakeFiles/man_cms5.dir/depend.internal". Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/CMakeFiles/man_cms5.dir/depend.internal". Scanning dependencies of target man_cms5 make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/build make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' help2man --version-string=5.8.0 --help-option="--hhelp" --include /build/cryptominisat-5.8.0+dfsg1/manpage-extras "/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cryptominisat5" -o /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cryptominisat5.1 --name="SAT\ solver" make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' [100%] Built target man_cms5 make[2]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' /usr/bin/cmake -E cmake_progress_start /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/CMakeFiles 0 make[1]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' dh_auto_test create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary dh binary --with python3 dh_testroot dh_prep dh_auto_install cd obj-aarch64-linux-gnu && make -j8 install DESTDIR=/build/cryptominisat-5.8.0\+dfsg1/debian/tmp AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' /usr/bin/cmake -S/build/cryptominisat-5.8.0+dfsg1 -B/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu --check-build-system CMakeFiles/Makefile.cmake 0 make -f CMakeFiles/Makefile2 preinstall make[2]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' make[2]: Nothing to be done for 'preinstall'. make[2]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' Install the project... /usr/bin/cmake -P cmake_install.cmake -- Install configuration: "None" -- Installing: /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/share/man/man1/cryptominisat5.1 -- Installing: /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/share/man/man1/cryptominisat5_simple.1 -- Installing: /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake -- Installing: /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake -- Installing: /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Targets-none.cmake -- Installing: /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/aarch64-linux-gnu/libcryptominisat5.so.5.8 -- Installing: /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/aarch64-linux-gnu/libcryptominisat5.so -- Installing: /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/include/cryptominisat5/cryptominisat_c.h -- Installing: /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/include/cryptominisat5/cryptominisat.h -- Installing: /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/include/cryptominisat5/solvertypesmini.h -- Installing: /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/include/cryptominisat5/dimacsparser.h -- Installing: /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/include/cryptominisat5/streambuffer.h -- Installing: /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/bin/cryptominisat5_simple -- Set runtime path of "/build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/bin/cryptominisat5_simple" to "" -- Installing: /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/bin/cryptominisat5 -- Set runtime path of "/build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/bin/cryptominisat5" to "" running install running build running build_ext building 'pycryptosat' extension /usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.8.0" -I/usr/include/python3.9 -c /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp -o build/temp.linux-aarch64-3.9/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.o -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/build/python3.9-PN012d/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -I/build/cryptominisat-5.8.0+dfsg1 -I/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/cmsat5-src /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function 'void setup_solver(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:41: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:55: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:98:70: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 98 | static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL}; | ^~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* start_getting_small_clauses(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:251:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 251 | static char* kwlist[] = {"max_len", "max_glue", NULL}; | ^~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:251:41: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 251 | static char* kwlist[] = {"max_len", "max_glue", NULL}; | ^~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* add_clause(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:337:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 337 | static char* kwlist[] = {"clause", NULL}; | ^~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* add_clauses(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:505:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 505 | static char* kwlist[] = {"clauses", NULL}; | ^~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* add_xor_clause(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:549:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 549 | static char* kwlist[] = {"xor_clause", "rhs", NULL}; | ^~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:549:44: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 549 | static char* kwlist[] = {"xor_clause", "rhs", NULL}; | ^~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* solve(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:45: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:56: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:751:70: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 751 | static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL}; | ^~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* msolve_selected(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:895:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:895:53: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:895:69: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] 895 | static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL}; | ^~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp: At global scope: /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1032:19: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1032 | {"solve", (PyCFunction) solve, METH_VARARGS | METH_KEYWORDS, solve_doc}, | ^~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1033:19: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1033 | {"add_clause",(PyCFunction) add_clause, METH_VARARGS | METH_KEYWORDS, add_clause_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1034:21: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1034 | {"add_clauses", (PyCFunction) add_clauses, METH_VARARGS | METH_KEYWORDS, add_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1035:23: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1035 | {"add_xor_clause",(PyCFunction) add_xor_clause, METH_VARARGS | METH_KEYWORDS, "adds an XOR clause to the system"}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1036:17: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1036 | {"nb_vars", (PyCFunction) nb_vars, METH_VARARGS | METH_KEYWORDS, nb_vars_doc}, | ^~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1038:25: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1038 | {"msolve_selected", (PyCFunction) msolve_selected, METH_VARARGS | METH_KEYWORDS, msolve_selected_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1039:24: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1039 | {"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1040:22: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1040 | {"get_conflict", (PyCFunction) get_conflict, METH_VARARGS | METH_KEYWORDS, get_conflict_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1042:37: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1042 | {"start_getting_small_clauses", (PyCFunction) start_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, start_getting_small_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1043:31: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1043 | {"get_next_small_clause", (PyCFunction) get_next_small_clause, METH_VARARGS | METH_KEYWORDS, get_next_small_clause_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1044:35: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type] 1044 | {"end_getting_small_clauses", (PyCFunction) end_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, end_getting_small_clauses_doc}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member 'PyMethodDef::ml_flags' [-Wmissing-field-initializers] 1046 | }; | ^ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member 'PyMethodDef::ml_doc' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_alloc' [-Wmissing-field-initializers] 1106 | }; | ^ /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_new' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_free' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_is_gc' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_bases' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_mro' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_cache' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_subclasses' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_weaklist' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_del' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_version_tag' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_finalize' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_vectorcall' [-Wmissing-field-initializers] creating build/lib.linux-aarch64-3.9 /usr/bin/c++ -pthread -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -g -fwrapv -O2 -Wl,-z,relro -Wl,-z,now -g -O2 -fdebug-prefix-map=/build/cryptominisat-5.8.0+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 build/temp.linux-aarch64-3.9/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/pycryptosat/src/pycryptosat.o -L. -L/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/lib -L/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu/lib/None -lcryptominisat5 -o build/lib.linux-aarch64-3.9/pycryptosat.cpython-39-aarch64-linux-gnu.so running install_lib creating /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/python3.9 creating /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/python3.9/site-packages copying build/lib.linux-aarch64-3.9/pycryptosat.cpython-39-aarch64-linux-gnu.so -> /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/python3.9/site-packages running install_egg_info Writing /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/python3.9/site-packages/pycryptosat-0.2.0-py3.9.egg-info writing list of installed files to 'files.txt' make[1]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-aarch64-linux-gnu' debian/rules override_dh_install make[1]: Entering directory '/build/cryptominisat-5.8.0+dfsg1' find debian/tmp -name "*.cmake" -delete dh_install make[1]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1' dh_installdocs dh_installchangelogs dh_installman dh_python3 I: dh_python3 fs:420: renaming pycryptosat-0.2.0-py3.9.egg-info to pycryptosat-0.2.0.egg-info dh_installmenu dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_dwz -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb dh_gencontrol dpkg-gencontrol: warning: package python3-cryptominisat: substitution variable ${python3:Provides} unused, but is defined dpkg-gencontrol: warning: package python3-cryptominisat: substitution variable ${python3:Versions} unused, but is defined dpkg-gencontrol: warning: package python3-cryptominisat: substitution variable ${python3:Provides} unused, but is defined dpkg-gencontrol: warning: package python3-cryptominisat: substitution variable ${python3:Versions} unused, but is defined dh_md5sums dh_builddeb dpkg-deb: building package 'libcryptominisat5-5.8-dbgsym' in '../libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1_arm64.deb'. dpkg-deb: building package 'cryptominisat' in '../cryptominisat_5.8.0+dfsg1-1_arm64.deb'. dpkg-deb: building package 'cryptominisat-dbgsym' in '../cryptominisat-dbgsym_5.8.0+dfsg1-1_arm64.deb'. dpkg-deb: building package 'libcryptominisat5-5.8' in '../libcryptominisat5-5.8_5.8.0+dfsg1-1_arm64.deb'. dpkg-deb: building package 'python3-cryptominisat' in '../python3-cryptominisat_5.8.0+dfsg1-1_arm64.deb'. dpkg-deb: building package 'libcryptominisat5-dev' in '../libcryptominisat5-dev_5.8.0+dfsg1-1_arm64.deb'. dpkg-deb: building package 'python3-cryptominisat-dbgsym' in '../python3-cryptominisat-dbgsym_5.8.0+dfsg1-1_arm64.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../cryptominisat_5.8.0+dfsg1-1_arm64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: including full source code in upload I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/19164 and its subdirectories I: Current time: Thu Aug 12 23:16:28 -12 2021 I: pbuilder-time-stamp: 1628853388 Fri Aug 13 11:16:30 UTC 2021 I: 1st build successful. Starting 2nd build on remote node codethink15-arm64.debian.net. Fri Aug 13 11:16:30 UTC 2021 I: Preparing to do remote build '2' on codethink15-arm64.debian.net. Fri Aug 13 11:22:50 UTC 2021 I: Deleting $TMPDIR on codethink15-arm64.debian.net. Fri Aug 13 11:22:51 UTC 2021 I: cryptominisat_5.8.0+dfsg1-1_arm64.changes: Format: 1.8 Date: Sat, 11 Jul 2020 12:11:26 +0200 Source: cryptominisat Binary: cryptominisat cryptominisat-dbgsym libcryptominisat5-5.8 libcryptominisat5-5.8-dbgsym libcryptominisat5-dev python3-cryptominisat python3-cryptominisat-dbgsym Architecture: arm64 Version: 5.8.0+dfsg1-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Team Changed-By: Julien Puydt Description: cryptominisat - SAT solver command line interface libcryptominisat5-5.8 - SAT solver library libcryptominisat5-dev - development files for the CryptoMiniSat SAT solver python3-cryptominisat - Python bindings for the CryptoMiniSat SAT solver (Python 3) Closes: 960388 Changes: cryptominisat (5.8.0+dfsg1-1) unstable; urgency=medium . * Add patch for reproducible builds. (Closes: #960388) * New upstream release. * Bump dh-compat to 13. * Update d/copyright. * Add patch fixing typos. * Add patch fixing manpages. Checksums-Sha1: ec1cfdf646041421385f953e9b855e5279efbcb1 1140152 cryptominisat-dbgsym_5.8.0+dfsg1-1_arm64.deb 4937818e3301c2d56b1a65b3d9ae1ab720a00abc 8448 cryptominisat_5.8.0+dfsg1-1_arm64.buildinfo 9b5c96f59b41898c459084eec4918b735e457111 82164 cryptominisat_5.8.0+dfsg1-1_arm64.deb 49b606290312857d6a89494de8cae85c18491025 5680728 libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1_arm64.deb 6c0d5bfefcbe44a2cde14fa94fc7ff8395dc538c 378680 libcryptominisat5-5.8_5.8.0+dfsg1-1_arm64.deb 04f3c1d571e09f2b6c1bcfdb5f24b7d0a5dd6063 13656 libcryptominisat5-dev_5.8.0+dfsg1-1_arm64.deb 90e00a21b4185113f739b340f1c206d3a50f7eb3 83800 python3-cryptominisat-dbgsym_5.8.0+dfsg1-1_arm64.deb dd656f5bc891a8fc1cce04f226bebfb8643082b4 18484 python3-cryptominisat_5.8.0+dfsg1-1_arm64.deb Checksums-Sha256: af315e2eb684da3d1521dcdb4c5c988c4e26087ca81c9e182595b9e5fdee033b 1140152 cryptominisat-dbgsym_5.8.0+dfsg1-1_arm64.deb 5841fc6ab6fc8bee1e0898ab0076192c396e5e2b9bb4aa080e3af283cad7caac 8448 cryptominisat_5.8.0+dfsg1-1_arm64.buildinfo 65f9e35848cea985abce7ec366da5c9d6d06f706f8924679134eb2eac2cd6eb4 82164 cryptominisat_5.8.0+dfsg1-1_arm64.deb c271b92bd7a881ff1fc9824cd1ef7b5364d82c483f2e90aa5739c1a02a7c2fca 5680728 libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1_arm64.deb 9df04f9f3fb1d8eef18a6518ee61ed192e86976f24dc1123978882c2a81f673e 378680 libcryptominisat5-5.8_5.8.0+dfsg1-1_arm64.deb dc5041082ad668caa3febff9ae0d47d2c6d2f5438e4ebda698b472d9e1df5109 13656 libcryptominisat5-dev_5.8.0+dfsg1-1_arm64.deb e8edbb1e006f94ff30e089a11dfb8336153343532b17625538d82f515e75f0a4 83800 python3-cryptominisat-dbgsym_5.8.0+dfsg1-1_arm64.deb 34376b54e1aa32a7bfb160cb50ed514fcc63ae309e8b0bafc82f932082c48609 18484 python3-cryptominisat_5.8.0+dfsg1-1_arm64.deb Files: da4661029868ba2666b9c2f2d32397e5 1140152 debug optional cryptominisat-dbgsym_5.8.0+dfsg1-1_arm64.deb 6b953af31ae52224a9dd76af2ca27ac8 8448 math optional cryptominisat_5.8.0+dfsg1-1_arm64.buildinfo b598984a9b923242e626a4454c4b7aa1 82164 math optional cryptominisat_5.8.0+dfsg1-1_arm64.deb 7bed829a3f8b9999c1f2da5cf67aedb6 5680728 debug optional libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1_arm64.deb 2aa87fe9a1d7b504f668d5767b560777 378680 libs optional libcryptominisat5-5.8_5.8.0+dfsg1-1_arm64.deb 743bca4c4b93bdb0db88ab7c816fde91 13656 libdevel optional libcryptominisat5-dev_5.8.0+dfsg1-1_arm64.deb 1202ea146cf1ab159650a2ff55a38cd4 83800 debug optional python3-cryptominisat-dbgsym_5.8.0+dfsg1-1_arm64.deb 880949398e1e89f1a5f95ac9c3e67b72 18484 python optional python3-cryptominisat_5.8.0+dfsg1-1_arm64.deb Fri Aug 13 11:22:52 UTC 2021 I: diffoscope 177 will be used to compare the two builds: # Profiling output for: /usr/bin/diffoscope --html /srv/reproducible-results/rbuild-debian/tmp.jq7ZDbLKsZ/cryptominisat_5.8.0+dfsg1-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/tmp.jq7ZDbLKsZ/cryptominisat_5.8.0+dfsg1-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/tmp.jq7ZDbLKsZ/cryptominisat_5.8.0+dfsg1-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/tmp.jq7ZDbLKsZ/b1/cryptominisat_5.8.0+dfsg1-1_arm64.changes /srv/reproducible-results/rbuild-debian/tmp.jq7ZDbLKsZ/b2/cryptominisat_5.8.0+dfsg1-1_arm64.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call abc.DotChangesFile ## main (total time: 0.461s) 0.461s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.119s) 0.119s 10 calls diffoscope.comparators.binary.FilesystemFile 0.000s 8 calls abc.DotChangesFile Fri Aug 13 11:22:54 UTC 2021 I: diffoscope 177 found no differences in the changes files, and a .buildinfo file also exists. Fri Aug 13 11:22:54 UTC 2021 I: cryptominisat from bullseye built successfully and reproducibly on arm64. Fri Aug 13 11:22:55 UTC 2021 I: Submitting .buildinfo files to external archives: Fri Aug 13 11:22:55 UTC 2021 I: Submitting 12K b1/cryptominisat_5.8.0+dfsg1-1_arm64.buildinfo.asc Fri Aug 13 11:22:57 UTC 2021 I: Submitting 12K b2/cryptominisat_5.8.0+dfsg1-1_arm64.buildinfo.asc Fri Aug 13 11:22:58 UTC 2021 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Fri Aug 13 11:22:58 UTC 2021 I: Done submitting .buildinfo files. Fri Aug 13 11:22:58 UTC 2021 I: Removing signed cryptominisat_5.8.0+dfsg1-1_arm64.buildinfo.asc files: removed './b1/cryptominisat_5.8.0+dfsg1-1_arm64.buildinfo.asc' removed './b2/cryptominisat_5.8.0+dfsg1-1_arm64.buildinfo.asc'