Diff of the two buildlogs: -- --- b1/build.log 2021-07-29 07:34:05.909138418 +0000 +++ b2/build.log 2021-07-29 07:42:59.856930112 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Wed Jul 28 19:19:10 -12 2021 -I: pbuilder-time-stamp: 1627543150 +I: Current time: Thu Jul 29 21:34:25 +14 2021 +I: pbuilder-time-stamp: 1627544065 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bullseye-reproducible-base.tgz] I: copying local configuration @@ -16,8 +16,8 @@ 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.xi9ab24p/trustedkeys.kbx': General error -gpgv: Signature made Sat Jul 11 02:07:24 2020 -12 +gpgv: keyblock resource '/tmp/dpkg-verify-sig.DzMNs4KP/trustedkeys.kbx': General error +gpgv: Signature made Sun Jul 12 04:07:24 2020 +14 gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 gpgv: issuer "jpuydt@debian.org" gpgv: Can't check signature: No public key @@ -31,135 +31,169 @@ dpkg-source: info: applying reproducible-build.patch I: using fakeroot in build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/4529/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/25760/tmp/hooks/D01_modify_environment starting +debug: Running on virt64b. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +Removing 'diversion of /bin/sh to /bin/sh.distrib by dash' +Adding 'diversion of /bin/sh to /bin/sh.distrib by bash' +Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash' +Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by bash' +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/25760/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/25760/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='armhf' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=3' - DISTRIBUTION='' - HOME='/root' - HOST_ARCH='armhf' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="1" [2]="4" [3]="1" [4]="release" [5]="arm-unknown-linux-gnueabihf") + BASH_VERSION='5.1.4(1)-release' + BUILDDIR=/build + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=armhf + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=4' + DIRSTACK=() + DISTRIBUTION= + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=arm + HOST_ARCH=armhf IFS=' ' - INVOCATION_ID='0ed29870370147c889d0bf31bff8299a' - 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='4529' - PS1='# ' - PS2='> ' + INVOCATION_ID=a83a048b668d4559ab86a44d48f4133c + LANG=C + LANGUAGE=it_CH:it + LC_ALL=C + MACHTYPE=arm-unknown-linux-gnueabihf + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnueabihf + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=25760 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.zSzbpRxjIl/pbuilderrc_Fkln --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.zSzbpRxjIl/b1 --logfile b1/build.log cryptominisat_5.8.0+dfsg1-1.dsc' - SUDO_GID='113' - SUDO_UID='107' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://10.0.0.15:8000/' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.zSzbpRxjIl/pbuilderrc_K8YO --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.zSzbpRxjIl/b2 --logfile b2/build.log --extrapackages usrmerge cryptominisat_5.8.0+dfsg1-1.dsc' + SUDO_GID=113 + SUDO_UID=107 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://10.0.0.15:8000/ I: uname -a - Linux wbq0 5.10.0-8-armmp #1 SMP Debian 5.10.46-2 (2021-07-20) armv7l GNU/Linux + Linux i-capture-the-hostname 5.10.0-8-arm64 #1 SMP Debian 5.10.46-2 (2021-07-20) aarch64 GNU/Linux I: ls -l /bin total 3580 - -rwxr-xr-x 1 root root 816764 Jun 21 14:26 bash - -rwxr-xr-x 3 root root 26052 Jul 20 2020 bunzip2 - -rwxr-xr-x 3 root root 26052 Jul 20 2020 bzcat - lrwxrwxrwx 1 root root 6 Jul 20 2020 bzcmp -> bzdiff - -rwxr-xr-x 1 root root 2225 Jul 20 2020 bzdiff - lrwxrwxrwx 1 root root 6 Jul 20 2020 bzegrep -> bzgrep - -rwxr-xr-x 1 root root 4877 Sep 4 2019 bzexe - lrwxrwxrwx 1 root root 6 Jul 20 2020 bzfgrep -> bzgrep - -rwxr-xr-x 1 root root 3775 Jul 20 2020 bzgrep - -rwxr-xr-x 3 root root 26052 Jul 20 2020 bzip2 - -rwxr-xr-x 1 root root 9636 Jul 20 2020 bzip2recover - lrwxrwxrwx 1 root root 6 Jul 20 2020 bzless -> bzmore - -rwxr-xr-x 1 root root 1297 Jul 20 2020 bzmore - -rwxr-xr-x 1 root root 26668 Sep 22 2020 cat - -rwxr-xr-x 1 root root 43104 Sep 22 2020 chgrp - -rwxr-xr-x 1 root root 38984 Sep 22 2020 chmod - -rwxr-xr-x 1 root root 43112 Sep 22 2020 chown - -rwxr-xr-x 1 root root 92616 Sep 22 2020 cp - -rwxr-xr-x 1 root root 75524 Dec 10 2020 dash - -rwxr-xr-x 1 root root 75880 Sep 22 2020 date - -rwxr-xr-x 1 root root 55436 Sep 22 2020 dd - -rwxr-xr-x 1 root root 59912 Sep 22 2020 df - -rwxr-xr-x 1 root root 96764 Sep 22 2020 dir - -rwxr-xr-x 1 root root 55012 Feb 7 02:38 dmesg - lrwxrwxrwx 1 root root 8 Nov 6 2019 dnsdomainname -> hostname - lrwxrwxrwx 1 root root 8 Nov 6 2019 domainname -> hostname - -rwxr-xr-x 1 root root 22508 Sep 22 2020 echo - -rwxr-xr-x 1 root root 28 Nov 9 2020 egrep - -rwxr-xr-x 1 root root 22496 Sep 22 2020 false - -rwxr-xr-x 1 root root 28 Nov 9 2020 fgrep - -rwxr-xr-x 1 root root 47492 Feb 7 02:38 findmnt - -rwsr-xr-x 1 root root 26076 Feb 26 04:12 fusermount - -rwxr-xr-x 1 root root 124508 Nov 9 2020 grep - -rwxr-xr-x 2 root root 2346 Mar 2 11:30 gunzip - -rwxr-xr-x 1 root root 6376 Mar 2 11:30 gzexe - -rwxr-xr-x 1 root root 64212 Mar 2 11:30 gzip - -rwxr-xr-x 1 root root 13784 Nov 6 2019 hostname - -rwxr-xr-x 1 root root 43180 Sep 22 2020 ln - -rwxr-xr-x 1 root root 35068 Feb 7 2020 login - -rwxr-xr-x 1 root root 96764 Sep 22 2020 ls - -rwxr-xr-x 1 root root 99940 Feb 7 02:38 lsblk - -rwxr-xr-x 1 root root 51408 Sep 22 2020 mkdir - -rwxr-xr-x 1 root root 43184 Sep 22 2020 mknod - -rwxr-xr-x 1 root root 30780 Sep 22 2020 mktemp - -rwxr-xr-x 1 root root 34408 Feb 7 02:38 more - -rwsr-xr-x 1 root root 34400 Feb 7 02:38 mount - -rwxr-xr-x 1 root root 9824 Feb 7 02:38 mountpoint - -rwxr-xr-x 1 root root 88524 Sep 22 2020 mv - lrwxrwxrwx 1 root root 8 Nov 6 2019 nisdomainname -> hostname - lrwxrwxrwx 1 root root 14 Apr 18 03:38 pidof -> /sbin/killall5 - -rwxr-xr-x 1 root root 26652 Sep 22 2020 pwd - lrwxrwxrwx 1 root root 4 Jun 21 14:26 rbash -> bash - -rwxr-xr-x 1 root root 30740 Sep 22 2020 readlink - -rwxr-xr-x 1 root root 43104 Sep 22 2020 rm - -rwxr-xr-x 1 root root 30732 Sep 22 2020 rmdir - -rwxr-xr-x 1 root root 14144 Sep 27 2020 run-parts - -rwxr-xr-x 1 root root 76012 Dec 22 2018 sed - lrwxrwxrwx 1 root root 4 Jul 24 21:27 sh -> dash - -rwxr-xr-x 1 root root 22532 Sep 22 2020 sleep - -rwxr-xr-x 1 root root 55360 Sep 22 2020 stty - -rwsr-xr-x 1 root root 46704 Feb 7 02:38 su - -rwxr-xr-x 1 root root 22532 Sep 22 2020 sync - -rwxr-xr-x 1 root root 340872 Feb 16 21:55 tar - -rwxr-xr-x 1 root root 9808 Sep 27 2020 tempfile - -rwxr-xr-x 1 root root 67696 Sep 22 2020 touch - -rwxr-xr-x 1 root root 22496 Sep 22 2020 true - -rwxr-xr-x 1 root root 9636 Feb 26 04:12 ulockmgr_server - -rwsr-xr-x 1 root root 22108 Feb 7 02:38 umount - -rwxr-xr-x 1 root root 22520 Sep 22 2020 uname - -rwxr-xr-x 2 root root 2346 Mar 2 11:30 uncompress - -rwxr-xr-x 1 root root 96764 Sep 22 2020 vdir - -rwxr-xr-x 1 root root 38512 Feb 7 02:38 wdctl - lrwxrwxrwx 1 root root 8 Nov 6 2019 ypdomainname -> hostname - -rwxr-xr-x 1 root root 1984 Mar 2 11:30 zcat - -rwxr-xr-x 1 root root 1678 Mar 2 11:30 zcmp - -rwxr-xr-x 1 root root 5880 Mar 2 11:30 zdiff - -rwxr-xr-x 1 root root 29 Mar 2 11:30 zegrep - -rwxr-xr-x 1 root root 29 Mar 2 11:30 zfgrep - -rwxr-xr-x 1 root root 2081 Mar 2 11:30 zforce - -rwxr-xr-x 1 root root 7585 Mar 2 11:30 zgrep - -rwxr-xr-x 1 root root 2206 Mar 2 11:30 zless - -rwxr-xr-x 1 root root 1842 Mar 2 11:30 zmore - -rwxr-xr-x 1 root root 4553 Mar 2 11:30 znew -I: user script /srv/workspace/pbuilder/4529/tmp/hooks/D02_print_environment finished + -rwxr-xr-x 1 root root 816764 Jun 22 16:26 bash + -rwxr-xr-x 3 root root 26052 Jul 21 2020 bunzip2 + -rwxr-xr-x 3 root root 26052 Jul 21 2020 bzcat + lrwxrwxrwx 1 root root 6 Jul 21 2020 bzcmp -> bzdiff + -rwxr-xr-x 1 root root 2225 Jul 21 2020 bzdiff + lrwxrwxrwx 1 root root 6 Jul 21 2020 bzegrep -> bzgrep + -rwxr-xr-x 1 root root 4877 Sep 5 2019 bzexe + lrwxrwxrwx 1 root root 6 Jul 21 2020 bzfgrep -> bzgrep + -rwxr-xr-x 1 root root 3775 Jul 21 2020 bzgrep + -rwxr-xr-x 3 root root 26052 Jul 21 2020 bzip2 + -rwxr-xr-x 1 root root 9636 Jul 21 2020 bzip2recover + lrwxrwxrwx 1 root root 6 Jul 21 2020 bzless -> bzmore + -rwxr-xr-x 1 root root 1297 Jul 21 2020 bzmore + -rwxr-xr-x 1 root root 26668 Sep 23 2020 cat + -rwxr-xr-x 1 root root 43104 Sep 23 2020 chgrp + -rwxr-xr-x 1 root root 38984 Sep 23 2020 chmod + -rwxr-xr-x 1 root root 43112 Sep 23 2020 chown + -rwxr-xr-x 1 root root 92616 Sep 23 2020 cp + -rwxr-xr-x 1 root root 75524 Dec 11 2020 dash + -rwxr-xr-x 1 root root 75880 Sep 23 2020 date + -rwxr-xr-x 1 root root 55436 Sep 23 2020 dd + -rwxr-xr-x 1 root root 59912 Sep 23 2020 df + -rwxr-xr-x 1 root root 96764 Sep 23 2020 dir + -rwxr-xr-x 1 root root 55012 Feb 8 04:38 dmesg + lrwxrwxrwx 1 root root 8 Nov 8 2019 dnsdomainname -> hostname + lrwxrwxrwx 1 root root 8 Nov 8 2019 domainname -> hostname + -rwxr-xr-x 1 root root 22508 Sep 23 2020 echo + -rwxr-xr-x 1 root root 28 Nov 10 2020 egrep + -rwxr-xr-x 1 root root 22496 Sep 23 2020 false + -rwxr-xr-x 1 root root 28 Nov 10 2020 fgrep + -rwxr-xr-x 1 root root 47492 Feb 8 04:38 findmnt + -rwsr-xr-x 1 root root 26076 Feb 27 06:12 fusermount + -rwxr-xr-x 1 root root 124508 Nov 10 2020 grep + -rwxr-xr-x 2 root root 2346 Mar 3 13:30 gunzip + -rwxr-xr-x 1 root root 6376 Mar 3 13:30 gzexe + -rwxr-xr-x 1 root root 64212 Mar 3 13:30 gzip + -rwxr-xr-x 1 root root 13784 Nov 8 2019 hostname + -rwxr-xr-x 1 root root 43180 Sep 23 2020 ln + -rwxr-xr-x 1 root root 35068 Feb 8 2020 login + -rwxr-xr-x 1 root root 96764 Sep 23 2020 ls + -rwxr-xr-x 1 root root 99940 Feb 8 04:38 lsblk + -rwxr-xr-x 1 root root 51408 Sep 23 2020 mkdir + -rwxr-xr-x 1 root root 43184 Sep 23 2020 mknod + -rwxr-xr-x 1 root root 30780 Sep 23 2020 mktemp + -rwxr-xr-x 1 root root 34408 Feb 8 04:38 more + -rwsr-xr-x 1 root root 34400 Feb 8 04:38 mount + -rwxr-xr-x 1 root root 9824 Feb 8 04:38 mountpoint + -rwxr-xr-x 1 root root 88524 Sep 23 2020 mv + lrwxrwxrwx 1 root root 8 Nov 8 2019 nisdomainname -> hostname + lrwxrwxrwx 1 root root 14 Apr 19 05:38 pidof -> /sbin/killall5 + -rwxr-xr-x 1 root root 26652 Sep 23 2020 pwd + lrwxrwxrwx 1 root root 4 Jun 22 16:26 rbash -> bash + -rwxr-xr-x 1 root root 30740 Sep 23 2020 readlink + -rwxr-xr-x 1 root root 43104 Sep 23 2020 rm + -rwxr-xr-x 1 root root 30732 Sep 23 2020 rmdir + -rwxr-xr-x 1 root root 14144 Sep 28 2020 run-parts + -rwxr-xr-x 1 root root 76012 Dec 23 2018 sed + lrwxrwxrwx 1 root root 4 Jul 29 21:34 sh -> bash + lrwxrwxrwx 1 root root 4 Jul 25 23:25 sh.distrib -> dash + -rwxr-xr-x 1 root root 22532 Sep 23 2020 sleep + -rwxr-xr-x 1 root root 55360 Sep 23 2020 stty + -rwsr-xr-x 1 root root 46704 Feb 8 04:38 su + -rwxr-xr-x 1 root root 22532 Sep 23 2020 sync + -rwxr-xr-x 1 root root 340872 Feb 17 23:55 tar + -rwxr-xr-x 1 root root 9808 Sep 28 2020 tempfile + -rwxr-xr-x 1 root root 67696 Sep 23 2020 touch + -rwxr-xr-x 1 root root 22496 Sep 23 2020 true + -rwxr-xr-x 1 root root 9636 Feb 27 06:12 ulockmgr_server + -rwsr-xr-x 1 root root 22108 Feb 8 04:38 umount + -rwxr-xr-x 1 root root 22520 Sep 23 2020 uname + -rwxr-xr-x 2 root root 2346 Mar 3 13:30 uncompress + -rwxr-xr-x 1 root root 96764 Sep 23 2020 vdir + -rwxr-xr-x 1 root root 38512 Feb 8 04:38 wdctl + lrwxrwxrwx 1 root root 8 Nov 8 2019 ypdomainname -> hostname + -rwxr-xr-x 1 root root 1984 Mar 3 13:30 zcat + -rwxr-xr-x 1 root root 1678 Mar 3 13:30 zcmp + -rwxr-xr-x 1 root root 5880 Mar 3 13:30 zdiff + -rwxr-xr-x 1 root root 29 Mar 3 13:30 zegrep + -rwxr-xr-x 1 root root 29 Mar 3 13:30 zfgrep + -rwxr-xr-x 1 root root 2081 Mar 3 13:30 zforce + -rwxr-xr-x 1 root root 7585 Mar 3 13:30 zgrep + -rwxr-xr-x 1 root root 2206 Mar 3 13:30 zless + -rwxr-xr-x 1 root root 1842 Mar 3 13:30 zmore + -rwxr-xr-x 1 root root 4553 Mar 3 13:30 znew +I: user script /srv/workspace/pbuilder/25760/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -292,7 +326,7 @@ Get: 81 http://deb.debian.org/debian bullseye/main armhf zlib1g-dev armhf 1:1.2.11.dfsg-2 [185 kB] Get: 82 http://deb.debian.org/debian bullseye/main armhf python3.9-dev armhf 3.9.2-1 [515 kB] Get: 83 http://deb.debian.org/debian bullseye/main armhf python3-dev armhf 3.9.2-3 [24.8 kB] -Fetched 47.8 MB in 8s (6246 kB/s) +Fetched 47.8 MB in 6s (8355 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package bsdextrautils. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19398 files and directories currently installed.) @@ -645,9 +679,42 @@ 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. +The following additional packages will be installed: + libfile-find-rule-perl libnumber-compare-perl libtext-glob-perl +The following NEW packages will be installed: + libfile-find-rule-perl libnumber-compare-perl libtext-glob-perl usrmerge +0 upgraded, 4 newly installed, 0 to remove and 0 not upgraded. +Need to get 59.5 kB of archives. +After this operation, 157 kB of additional disk space will be used. +Get:1 http://deb.debian.org/debian bullseye/main armhf libnumber-compare-perl all 0.03-1.1 [6956 B] +Get:2 http://deb.debian.org/debian bullseye/main armhf libtext-glob-perl all 0.11-1 [8888 B] +Get:3 http://deb.debian.org/debian bullseye/main armhf libfile-find-rule-perl all 0.34-1 [30.6 kB] +Get:4 http://deb.debian.org/debian bullseye/main armhf usrmerge all 25 [13.0 kB] +debconf: delaying package configuration, since apt-utils is not installed +Fetched 59.5 kB in 2s (26.4 kB/s) +Selecting previously unselected package libnumber-compare-perl. +(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 ... 41307 files and directories currently installed.) +Preparing to unpack .../libnumber-compare-perl_0.03-1.1_all.deb ... +Unpacking libnumber-compare-perl (0.03-1.1) ... +Selecting previously unselected package libtext-glob-perl. +Preparing to unpack .../libtext-glob-perl_0.11-1_all.deb ... +Unpacking libtext-glob-perl (0.11-1) ... +Selecting previously unselected package libfile-find-rule-perl. +Preparing to unpack .../libfile-find-rule-perl_0.34-1_all.deb ... +Unpacking libfile-find-rule-perl (0.34-1) ... +Selecting previously unselected package usrmerge. +Preparing to unpack .../archives/usrmerge_25_all.deb ... +Unpacking usrmerge (25) ... +Setting up libtext-glob-perl (0.11-1) ... +Setting up libnumber-compare-perl (0.03-1.1) ... +Setting up libfile-find-rule-perl (0.34-1) ... +Setting up usrmerge (25) ... +The system has been successfully converted. +Processing triggers for man-db (2.9.4-2) ... +Not building database; man-db/auto-update is not 'true'. 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 +hostname: Name or service not known +I: Running cd /build/cryptominisat-5.8.0+dfsg1/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-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 @@ -830,23 +897,23 @@ -- Build files have been written to: /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf make[1]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1' dh_auto_build - cd obj-arm-linux-gnueabihf && make -j3 "INSTALL=install --strip-program=true" VERBOSE=1 + cd obj-arm-linux-gnueabihf && make -j4 "INSTALL=install --strip-program=true" VERBOSE=1 make[1]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' /usr/bin/cmake -S/build/cryptominisat-5.8.0+dfsg1 -B/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/CMakeFiles /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf//CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[2]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend +make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf && /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-arm-linux-gnueabihf /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake --color= make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf && /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-arm-linux-gnueabihf /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake --color= -make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf && /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-arm-linux-gnueabihf /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake --color= +Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5.dir/depend.internal". +Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5.dir/depend.internal". Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend.internal". Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend.internal". Scanning dependencies of target CopyPublicHeaders -Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5.dir/depend.internal". -Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5.dir/depend.internal". make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' 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-arm-linux-gnueabihf' @@ -855,18 +922,20 @@ Copying cryptominisat_c.h to /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E copy_if_different /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/cryptominisat5/cryptominisat_c.h /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E make_directory /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5 -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5 Scanning dependencies of target cryptominisat5 make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5 +make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' Copying cryptominisat.h to /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E copy_if_different /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/cryptominisat5/cryptominisat.h /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5 -make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E make_directory /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5 -[ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o -[ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/drat.cpp.o +[ 1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 +[ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/drat.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E make_directory /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5 +[ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5 Copying solvertypesmini.h to /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E copy_if_different /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/cryptominisat5/solvertypesmini.h /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5 @@ -879,11 +948,11 @@ Copying streambuffer.h to /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/include/cryptominisat5 make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' -[ 3%] Built target CopyPublicHeaders -[ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 +[ 5%] Built target CopyPublicHeaders [ 7%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 +[ 8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 /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 @@ -919,8 +988,10 @@ /usr/include/c++/10/bits/stl_vector.h:1338:16: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1338 | _M_fill_insert(begin() + __offset, __n, __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -[ 8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 +[ 10%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 +[ 12%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 In file included from /usr/include/c++/10/vector:72, from /build/cryptominisat-5.8.0+dfsg1/src/solvertypes.h:32, from /build/cryptominisat-5.8.0+dfsg1/src/propby.h:27, @@ -941,10 +1012,6 @@ /usr/include/c++/10/bits/stl_vector.h:1338:16: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1338 | _M_fill_insert(begin() + __offset, __n, __x); | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -[ 10%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 -[ 12%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 [ 14%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 @@ -955,6 +1022,14 @@ cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 +[ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 +/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 + | ~~~~~^~~ +[ 24%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 In file included from /usr/include/c++/10/vector:72, from /build/cryptominisat-5.8.0+dfsg1/src/occsimplifier.h:28, from /build/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:39: @@ -980,10 +1055,8 @@ /build/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:3120:1: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 3120 | } | ^ -/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 - | ~~~~~^~~ +[ 26%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 /usr/include/c++/10/vector:72, from /build/cryptominisat-5.8.0+dfsg1/src/occsimplifier.h:28, from /build/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:39: @@ -995,18 +1068,10 @@ /usr/include/c++/10/bits/vector.tcc:121:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 121 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -[ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 [ 28%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 /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 @@ -1022,6 +1087,8 @@ /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) | ~~~~~^~~~~ +[ 31%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/compfinder.cpp.o +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 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, @@ -1037,6 +1104,8 @@ | ^ [ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/comphandler.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 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, @@ -1057,14 +1126,20 @@ /build/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:3791:18: note: 'offs' was declared here 3791 | ClOffset offs; | ^~~~ -[ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 [ 38%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 [ 40%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 +[ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 In file included from /usr/include/c++/10/vector:72, from /build/cryptominisat-5.8.0+dfsg1/src/solver.h:27, from /build/cryptominisat-5.8.0+dfsg1/src/solver.cpp:23: @@ -1079,14 +1154,6 @@ /usr/include/c++/10/bits/stl_vector.h:1198:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1198 | _M_realloc_insert(end(), __x); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ -[ 42%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 -[ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 @@ -1119,14 +1186,10 @@ /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) { | ^~~~~~~~~~~~~~~~~ -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 - | ^~~ [ 63%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/walksat.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 +[ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 /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__); \ @@ -1140,8 +1203,12 @@ /build/cryptominisat-5.8.0+dfsg1/src/yals.c:1167:12: note: 'w' was declared here 1167 | unsigned w; | ^ -[ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 +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 + | ^~~ [ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 @@ -1151,6 +1218,17 @@ [ 71%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/cmsat5-src/GitSHA1.cpp +/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 In file included from /usr/include/c++/10/bits/stl_algo.h:61, from /usr/include/c++/10/algorithm:62, from /build/cryptominisat-5.8.0+dfsg1/src/solvertypes.h:30, @@ -1160,13 +1238,6 @@ /usr/include/c++/10/bits/stl_heap.h:223:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 223 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, | ^~~~~~~~~~~~~ -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/cmsat5-src/GitSHA1.cpp -/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/cmsat5-src/GitSHA1.cpp:64:45: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time] - 64 | "compilation date time = " __DATE__ " " __TIME__ - | ^~~~~~~~ In file included from /usr/include/c++/10/algorithm:62, from /build/cryptominisat-5.8.0+dfsg1/src/solvertypes.h:30, from /build/cryptominisat-5.8.0+dfsg1/src/ccnr_cms.h:29, @@ -1184,8 +1255,6 @@ /usr/include/c++/10/bits/stl_algo.h:1819:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1819 | __unguarded_linear_insert(_RandomAccessIterator __last, | ^~~~~~~~~~~~~~~~~~~~~~~~~ -[ 75%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 /usr/include/c++/10/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter]': /usr/include/c++/10/bits/stl_algo.h:1839:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1839 | __insertion_sort(_RandomAccessIterator __first, @@ -1200,6 +1269,12 @@ /usr/include/c++/10/bits/stl_heap.h:223:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 223 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, | ^~~~~~~~~~~~~ +/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, + | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~ +[ 78%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 In file included from /usr/include/c++/10/algorithm:62, from /build/cryptominisat-5.8.0+dfsg1/src/solvertypes.h:30, from /build/cryptominisat-5.8.0+dfsg1/src/ccnr_cms.h:29, @@ -1212,6 +1287,12 @@ /usr/include/c++/10/bits/stl_algo.h:1959:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1959 | std::__introsort_loop(__cut, __last, __depth_limit, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +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 /usr/include/c++/10/vector:72, from /build/cryptominisat-5.8.0+dfsg1/src/solvertypes.h:32, from /build/cryptominisat-5.8.0+dfsg1/src/ccnr_cms.h:29, @@ -1250,6 +1331,8 @@ /usr/include/c++/10/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 426 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ +[ 80%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 In file included from /usr/include/c++/10/algorithm:62, from /build/cryptominisat-5.8.0+dfsg1/src/solvertypes.h:30, from /build/cryptominisat-5.8.0+dfsg1/src/ccnr_cms.h:29, @@ -1296,22 +1379,8 @@ /usr/include/c++/10/bits/stl_algo.h:1891:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1891 | std::__insertion_sort(__first, __last, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ -[ 77%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 -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); - | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~ -[ 78%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 /usr/include/c++/10/bits/stl_algo.h:61, from /usr/include/c++/10/algorithm:62, from /build/cryptominisat-5.8.0+dfsg1/src/solvertypes.h:30, @@ -1393,8 +1462,6 @@ | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1976 | __comp); | ~~~~~~~ -[ 82%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 /usr/include/c++/10/vector:72, from /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/cryptominisat5/cryptominisat.h:31, from /build/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp:24: @@ -1422,43 +1489,45 @@ make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf && /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-arm-linux-gnueabihf /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake --color= make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf && /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-arm-linux-gnueabihf /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/DependInfo.cmake --color= -make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf && /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-arm-linux-gnueabihf /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake --color= -Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/CMakeFiles/python_interface.dir/depend.internal". -Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/CMakeFiles/python_interface.dir/depend.internal". +make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf && /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-arm-linux-gnueabihf /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/DependInfo.cmake --color= Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend.internal". Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend.internal". Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/DependInfo.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend.internal". Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend.internal". -Scanning dependencies of target python_interface -make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' -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-arm-linux-gnueabihf' make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' -Scanning dependencies of target cryptominisat5-bin 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-arm-linux-gnueabihf' +Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/CMakeFiles/python_interface.dir/depend.internal". +Dependee "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/CMakeFiles/python_interface.dir/depend.internal". make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' +Scanning dependencies of target python_interface +Scanning dependencies of target cryptominisat5-bin +make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' +make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build +make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/build make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' -[ 85%] Generating build/timestamp -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat && /usr/bin/python3 setup.py build_ext --inplace --rpath ../lib -[ 87%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o +make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' +[ 85%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 -[ 89%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o +[ 87%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 +[ 89%] Generating build/timestamp +[ 91%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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-arm-linux-gnueabihf/pycryptosat && /usr/bin/python3 setup.py build_ext --inplace --rpath ../lib running build_ext building 'pycryptosat' extension creating build -creating build/temp.linux-armv7l-3.9 -creating build/temp.linux-armv7l-3.9/build -creating build/temp.linux-armv7l-3.9/build/cryptominisat-5.8.0+dfsg1 -creating build/temp.linux-armv7l-3.9/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf -creating build/temp.linux-armv7l-3.9/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat -creating build/temp.linux-armv7l-3.9/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp -o build/temp.linux-armv7l-3.9/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.o -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/build/python3.9-jS0VHk/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-arm-linux-gnueabihf/cmsat5-src +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-arm-linux-gnueabihf +creating build/temp.linux-aarch64-3.9/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat +creating build/temp.linux-aarch64-3.9/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp -o build/temp.linux-aarch64-3.9/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.o -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/build/python3.9-jS0VHk/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-arm-linux-gnueabihf/cmsat5-src /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'void setup_solver(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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}; @@ -1578,20 +1647,20 @@ /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_finalize' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-armv7l-3.9/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.o -L. -L/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/lib -L/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/lib/None -Wl,--enable-new-dtags,-R../lib -lcryptominisat5 -o /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/pycryptosat.cpython-39-arm-linux-gnueabihf.so -make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' -[ 89%] Built target python_interface -[ 91%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o +[ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 -[ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o +/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-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.o -L. -L/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/lib -L/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/lib/None -Wl,--enable-new-dtags,-R../lib -lcryptominisat5 -o /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/pycryptosat.cpython-39-arm-linux-gnueabihf.so +make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' +[ 92%] Built target python_interface +[ 94%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 -[ 94%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 -[ 96%] Linking CXX executable ../cryptominisat5_simple +[ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o +cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 +[ 98%] Linking CXX executable ../cryptominisat5_simple cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/lib: ../lib/libcryptominisat5.so.5.8 /usr/lib/arm-linux-gnueabihf/libz.so /usr/lib/arm-linux-gnueabihf/libm4ri.so -pthread make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' -[ 96%] Built target cryptominisat5_simple-bin +[ 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-arm-linux-gnueabihf' cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf && /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-arm-linux-gnueabihf /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/CMakeFiles/man_cms5_simple.dir/DependInfo.cmake --color= @@ -1603,9 +1672,7 @@ make[3]: Entering directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' 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-arm-linux-gnueabihf/cryptominisat5_simple" -o /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/cryptominisat5_simple.1 --name="SAT\ solver" make[3]: Leaving directory '/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf' -[ 96%] Built target man_cms5_simple -[ 98%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/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 +[ 98%] Built target man_cms5_simple [100%] Linking CXX executable ../cryptominisat5 cd /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/lib: /usr/lib/arm-linux-gnueabihf/libboost_program_options.so.1.74.0 ../lib/libcryptominisat5.so.5.8 /usr/lib/arm-linux-gnueabihf/libz.so /usr/lib/arm-linux-gnueabihf/libm4ri.so -pthread @@ -1633,7 +1700,7 @@ dh_testroot dh_prep dh_auto_install - cd obj-arm-linux-gnueabihf && make -j3 install DESTDIR=/build/cryptominisat-5.8.0\+dfsg1/debian/tmp AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true" + cd obj-arm-linux-gnueabihf && make -j4 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-arm-linux-gnueabihf' /usr/bin/cmake -S/build/cryptominisat-5.8.0+dfsg1 -B/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf --check-build-system CMakeFiles/Makefile.cmake 0 make -f CMakeFiles/Makefile2 preinstall @@ -1663,7 +1730,7 @@ 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-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp -o build/temp.linux-armv7l-3.9/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.o -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/build/python3.9-jS0VHk/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-arm-linux-gnueabihf/cmsat5-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-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp -o build/temp.linux-aarch64-3.9/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.o -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/build/python3.9-jS0VHk/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-arm-linux-gnueabihf/cmsat5-src /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'void setup_solver(Solver*, PyObject*, PyObject*)': /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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}; @@ -1783,12 +1850,12 @@ /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/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-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_finalize' [-Wmissing-field-initializers] /build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_vectorcall' [-Wmissing-field-initializers] -creating build/lib.linux-armv7l-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-armv7l-3.9/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.o -L. -L/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/lib -L/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/lib/None -lcryptominisat5 -o build/lib.linux-armv7l-3.9/pycryptosat.cpython-39-arm-linux-gnueabihf.so +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-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.o -L. -L/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/lib -L/build/cryptominisat-5.8.0+dfsg1/obj-arm-linux-gnueabihf/lib/None -lcryptominisat5 -o build/lib.linux-aarch64-3.9/pycryptosat.cpython-39-arm-linux-gnueabihf.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-armv7l-3.9/pycryptosat.cpython-39-arm-linux-gnueabihf.so -> /build/cryptominisat-5.8.0+dfsg1/debian/tmp/usr/lib/python3.9/site-packages +copying build/lib.linux-aarch64-3.9/pycryptosat.cpython-39-arm-linux-gnueabihf.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' @@ -1814,8 +1881,8 @@ dh_strip -a dh_makeshlibs -a dh_shlibdeps -a -dpkg-shlibdeps: warning: symbol __aeabi_atexit@CXXABI_ARM_1.3.3 used by debian/libcryptominisat5-5.8/usr/lib/arm-linux-gnueabihf/libcryptominisat5.so.5.8 found in none of the libraries dpkg-shlibdeps: warning: debian/cryptominisat/usr/bin/cryptominisat5_simple contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin +dpkg-shlibdeps: warning: symbol __aeabi_atexit@CXXABI_ARM_1.3.3 used by debian/libcryptominisat5-5.8/usr/lib/arm-linux-gnueabihf/libcryptominisat5.so.5.8 found in none of the libraries dpkg-shlibdeps: warning: debian/cryptominisat/usr/bin/cryptominisat5 contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin dh_installdeb dh_gencontrol @@ -1825,13 +1892,13 @@ dpkg-gencontrol: warning: package python3-cryptominisat: substitution variable ${python3:Versions} unused, but is defined dh_md5sums dh_builddeb -dpkg-deb: building package 'cryptominisat-dbgsym' in '../cryptominisat-dbgsym_5.8.0+dfsg1-1_armhf.deb'. dpkg-deb: building package 'libcryptominisat5-5.8' in '../libcryptominisat5-5.8_5.8.0+dfsg1-1_armhf.deb'. -dpkg-deb: building package 'libcryptominisat5-dev' in '../libcryptominisat5-dev_5.8.0+dfsg1-1_armhf.deb'. -dpkg-deb: building package 'libcryptominisat5-5.8-dbgsym' in '../libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1_armhf.deb'. dpkg-deb: building package 'python3-cryptominisat' in '../python3-cryptominisat_5.8.0+dfsg1-1_armhf.deb'. -dpkg-deb: building package 'python3-cryptominisat-dbgsym' in '../python3-cryptominisat-dbgsym_5.8.0+dfsg1-1_armhf.deb'. +dpkg-deb: building package 'libcryptominisat5-dev' in '../libcryptominisat5-dev_5.8.0+dfsg1-1_armhf.deb'. dpkg-deb: building package 'cryptominisat' in '../cryptominisat_5.8.0+dfsg1-1_armhf.deb'. +dpkg-deb: building package 'python3-cryptominisat-dbgsym' in '../python3-cryptominisat-dbgsym_5.8.0+dfsg1-1_armhf.deb'. +dpkg-deb: building package 'cryptominisat-dbgsym' in '../cryptominisat-dbgsym_5.8.0+dfsg1-1_armhf.deb'. +dpkg-deb: building package 'libcryptominisat5-5.8-dbgsym' in '../libcryptominisat5-5.8-dbgsym_5.8.0+dfsg1-1_armhf.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../cryptominisat_5.8.0+dfsg1-1_armhf.changes dpkg-genchanges: info: binary-only upload (no source code included) @@ -1839,12 +1906,14 @@ dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: including full source code in upload I: copying local configuration +I: user script /srv/workspace/pbuilder/25760/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/25760/tmp/hooks/B01_cleanup finished 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/4529 and its subdirectories -I: Current time: Wed Jul 28 19:34:01 -12 2021 -I: pbuilder-time-stamp: 1627544041 +I: removing directory /srv/workspace/pbuilder/25760 and its subdirectories +I: Current time: Thu Jul 29 21:42:56 +14 2021 +I: pbuilder-time-stamp: 1627544576