Raspbian Package Auto-Building

Build log for cryptominisat (5.7.1+dfsg1-1) on armhf

cryptominisat5.7.1+dfsg1-1armhf → 2020-05-14 11:08:34

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

+==============================================================================+
| cryptominisat 5.7.1+dfsg1-1 (armhf)          Thu, 14 May 2020 10:55:19 +0000 |
+==============================================================================+

Package: cryptominisat
Version: 5.7.1+dfsg1-1
Source Version: 5.7.1+dfsg1-1
Distribution: bullseye-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/bullseye-staging-armhf-sbuild-b1bf7d7b-8abb-4c49-ab1c-40b3f967c838' with '<<CHROOT>>'

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

Get:1 http://172.17.0.1/private bullseye-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private bullseye-staging/main Sources [11.7 MB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf Packages [12.8 MB]
Fetched 24.5 MB in 11s (2151 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges

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


Check APT
---------

Checking available source versions...

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

Reading package lists...
NOTICE: 'cryptominisat' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/science-team/cryptominisat.git
Please use:
git clone https://salsa.debian.org/science-team/cryptominisat.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 417 kB of source archives.
Get:1 http://172.17.0.1/private bullseye-staging/main cryptominisat 5.7.1+dfsg1-1 (dsc) [2408 B]
Get:2 http://172.17.0.1/private bullseye-staging/main cryptominisat 5.7.1+dfsg1-1 (tar) [410 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main cryptominisat 5.7.1+dfsg1-1 (diff) [4692 B]
Fetched 417 kB in 0s (1051 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/cryptominisat-EY8iV1/cryptominisat-5.7.1+dfsg1' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/cryptominisat-EY8iV1' with '<<BUILDDIR>>'

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


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

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

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

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

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

Arch check ok (armhf included in any)

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


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

Merged Build-Depends: cmake, debhelper-compat (= 12), dh-python, help2man, python3-dev, libboost-program-options-dev, libm4ri-dev, zlib1g-dev
Filtered Build-Depends: cmake, debhelper-compat (= 12), dh-python, help2man, python3-dev, libboost-program-options-dev, libm4ri-dev, zlib1g-dev
dpkg-deb: building package 'sbuild-build-depends-cryptominisat-dummy' in '/<<BUILDDIR>>/resolver-RweqOW/apt_archive/sbuild-build-depends-cryptominisat-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-core-dummy sbuild-build-depends-cryptominisat-dummy
dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-RweqOW/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-RweqOW/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-RweqOW/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-RweqOW/apt_archive ./ Sources [552 B]
Get:5 copy:/<<BUILDDIR>>/resolver-RweqOW/apt_archive ./ Packages [631 B]
Fetched 2516 B in 0s (9077 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...

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

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
  libpam-cap netbase
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
  autoconf automake autopoint autotools-dev bsdmainutils cmake cmake-data
  debhelper dh-autoreconf dh-python dh-strip-nondeterminism dwz file gettext
  gettext-base groff-base help2man intltool-debian libarchive-zip-perl
  libarchive13 libboost-program-options-dev libboost-program-options1.67-dev
  libboost-program-options1.67.0 libboost1.67-dev libbrotli1 libbsd0 libcroco3
  libcurl4 libdebhelper-perl libelf1 libexpat1 libexpat1-dev
  libfile-stripnondeterminism-perl libglib2.0-0 libgssapi-krb5-2 libicu63
  libjsoncpp1 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0
  liblocale-gettext-perl libm4ri-0.0.20200125 libm4ri-dev libmagic-mgc
  libmagic1 libmpdec2 libncurses6 libnghttp2-14 libpipeline1 libpng16-16
  libprocps8 libpsl5 libpython3-dev libpython3-stdlib libpython3.8
  libpython3.8-dev libpython3.8-minimal libpython3.8-stdlib librhash0 librtmp1
  libsigsegv2 libssh2-1 libssl1.1 libsub-override-perl libtinfo5 libtool
  libuchardet0 libuv1 libxml2 m4 man-db mime-support po-debconf procps python3
  python3-dev python3-distutils python3-lib2to3 python3-minimal python3.8
  python3.8-dev python3.8-minimal sensible-utils zlib1g-dev
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois
  vacation cmake-doc ninja-build dh-make gettext-doc libasprintf-dev
  libgettextpo-dev groff lrzip libboost1.67-doc libboost-atomic1.67-dev
  libboost-chrono1.67-dev libboost-container1.67-dev libboost-context1.67-dev
  libboost-contract1.67-dev libboost-coroutine1.67-dev
  libboost-date-time1.67-dev libboost-exception1.67-dev libboost-fiber1.67-dev
  libboost-filesystem1.67-dev libboost-graph1.67-dev
  libboost-graph-parallel1.67-dev libboost-iostreams1.67-dev
  libboost-locale1.67-dev libboost-log1.67-dev libboost-math1.67-dev
  libboost-mpi1.67-dev libboost-mpi-python1.67-dev libboost-numpy1.67-dev
  libboost-python1.67-dev libboost-random1.67-dev libboost-regex1.67-dev
  libboost-serialization1.67-dev libboost-signals1.67-dev
  libboost-stacktrace1.67-dev libboost-system1.67-dev libboost-test1.67-dev
  libboost-thread1.67-dev libboost-timer1.67-dev libboost-type-erasure1.67-dev
  libboost-wave1.67-dev libboost1.67-tools-dev libmpfrc++-dev libntl-dev
  krb5-doc krb5-user libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc
  apparmor less www-browser libmail-box-perl python3-doc python3-tk
  python3-venv python3.8-venv python3.8-doc binfmt-support
Recommended packages:
  curl | wget | lynx ca-certificates libarchive-cpio-perl libglib2.0-data
  shared-mime-info xdg-user-dirs krb5-locales libgpm2 publicsuffix libltdl-dev
  libmail-sendmail-perl psmisc
The following NEW packages will be installed:
  autoconf automake autopoint autotools-dev bsdmainutils cmake cmake-data
  debhelper dh-autoreconf dh-python dh-strip-nondeterminism dwz file gettext
  gettext-base groff-base help2man intltool-debian libarchive-zip-perl
  libarchive13 libboost-program-options-dev libboost-program-options1.67-dev
  libboost-program-options1.67.0 libboost1.67-dev libbrotli1 libbsd0 libcroco3
  libcurl4 libdebhelper-perl libelf1 libexpat1 libexpat1-dev
  libfile-stripnondeterminism-perl libglib2.0-0 libgssapi-krb5-2 libicu63
  libjsoncpp1 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0
  liblocale-gettext-perl libm4ri-0.0.20200125 libm4ri-dev libmagic-mgc
  libmagic1 libmpdec2 libncurses6 libnghttp2-14 libpipeline1 libpng16-16
  libprocps8 libpsl5 libpython3-dev libpython3-stdlib libpython3.8
  libpython3.8-dev libpython3.8-minimal libpython3.8-stdlib librhash0 librtmp1
  libsigsegv2 libssh2-1 libssl1.1 libsub-override-perl libtinfo5 libtool
  libuchardet0 libuv1 libxml2 m4 man-db mime-support po-debconf procps python3
  python3-dev python3-distutils python3-lib2to3 python3-minimal python3.8
  python3.8-dev python3.8-minimal sbuild-build-depends-cryptominisat-dummy
  sensible-utils zlib1g-dev
0 upgraded, 86 newly installed, 0 to remove and 12 not upgraded.
Need to get 46.8 MB of archives.
After this operation, 280 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-RweqOW/apt_archive ./ sbuild-build-depends-cryptominisat-dummy 0.invalid.0 [916 B]
Get:2 http://172.17.0.1/private bullseye-staging/main armhf liblocale-gettext-perl armhf 1.07-4 [18.1 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf libbsd0 armhf 0.10.0-1 [112 kB]
Get:4 http://172.17.0.1/private bullseye-staging/main armhf libtinfo5 armhf 6.2-1 [318 kB]
Get:5 http://172.17.0.1/private bullseye-staging/main armhf bsdmainutils armhf 11.1.2 [182 kB]
Get:6 http://172.17.0.1/private bullseye-staging/main armhf libuchardet0 armhf 0.0.6-3 [62.2 kB]
Get:7 http://172.17.0.1/private bullseye-staging/main armhf groff-base armhf 1.22.4-5 [783 kB]
Get:8 http://172.17.0.1/private bullseye-staging/main armhf libpipeline1 armhf 1.5.2-2 [29.6 kB]
Get:9 http://172.17.0.1/private bullseye-staging/main armhf man-db armhf 2.9.1-1 [1262 kB]
Get:10 http://172.17.0.1/private bullseye-staging/main armhf libssl1.1 armhf 1.1.1g-1 [1272 kB]
Get:11 http://172.17.0.1/private bullseye-staging/main armhf libpython3.8-minimal armhf 3.8.3~rc1-1 [751 kB]
Get:12 http://172.17.0.1/private bullseye-staging/main armhf libexpat1 armhf 2.2.9-1 [71.5 kB]
Get:13 http://172.17.0.1/private bullseye-staging/main armhf python3.8-minimal armhf 3.8.3~rc1-1 [1627 kB]
Get:14 http://172.17.0.1/private bullseye-staging/main armhf python3-minimal armhf 3.8.2-3 [37.6 kB]
Get:15 http://172.17.0.1/private bullseye-staging/main armhf mime-support all 3.64 [37.8 kB]
Get:16 http://172.17.0.1/private bullseye-staging/main armhf libmpdec2 armhf 2.4.2-3 [68.1 kB]
Get:17 http://172.17.0.1/private bullseye-staging/main armhf libpython3.8-stdlib armhf 3.8.3~rc1-1 [1598 kB]
Get:18 http://172.17.0.1/private bullseye-staging/main armhf python3.8 armhf 3.8.3~rc1-1 [415 kB]
Get:19 http://172.17.0.1/private bullseye-staging/main armhf libpython3-stdlib armhf 3.8.2-3 [20.8 kB]
Get:20 http://172.17.0.1/private bullseye-staging/main armhf python3 armhf 3.8.2-3 [63.7 kB]
Get:21 http://172.17.0.1/private bullseye-staging/main armhf libncurses6 armhf 6.2-1 [79.5 kB]
Get:22 http://172.17.0.1/private bullseye-staging/main armhf libprocps8 armhf 2:3.3.16-4 [59.8 kB]
Get:23 http://172.17.0.1/private bullseye-staging/main armhf procps armhf 2:3.3.16-4 [238 kB]
Get:24 http://172.17.0.1/private bullseye-staging/main armhf sensible-utils all 0.0.12+nmu1 [16.0 kB]
Get:25 http://172.17.0.1/private bullseye-staging/main armhf libmagic-mgc armhf 1:5.38-4 [262 kB]
Get:26 http://172.17.0.1/private bullseye-staging/main armhf libmagic1 armhf 1:5.38-4 [112 kB]
Get:27 http://172.17.0.1/private bullseye-staging/main armhf file armhf 1:5.38-4 [66.9 kB]
Get:28 http://172.17.0.1/private bullseye-staging/main armhf gettext-base armhf 0.19.8.1-10 [117 kB]
Get:29 http://172.17.0.1/private bullseye-staging/main armhf libsigsegv2 armhf 2.12-2 [32.3 kB]
Get:30 http://172.17.0.1/private bullseye-staging/main armhf m4 armhf 1.4.18-4 [185 kB]
Get:31 http://172.17.0.1/private bullseye-staging/main armhf autoconf all 2.69-11.1 [341 kB]
Get:32 http://172.17.0.1/private bullseye-staging/main armhf autotools-dev all 20180224.1 [77.0 kB]
Get:33 http://172.17.0.1/private bullseye-staging/main armhf automake all 1:1.16.2-1 [775 kB]
Get:34 http://172.17.0.1/private bullseye-staging/main armhf autopoint all 0.19.8.1-10 [435 kB]
Get:35 http://172.17.0.1/private bullseye-staging/main armhf cmake-data all 3.16.3-3+rpi1 [1628 kB]
Get:36 http://172.17.0.1/private bullseye-staging/main armhf libicu63 armhf 63.2-3 [7987 kB]
Get:37 http://172.17.0.1/private bullseye-staging/main armhf libxml2 armhf 2.9.10+dfsg-5 [592 kB]
Get:38 http://172.17.0.1/private bullseye-staging/main armhf libarchive13 armhf 3.4.2-1 [294 kB]
Get:39 http://172.17.0.1/private bullseye-staging/main armhf libbrotli1 armhf 1.0.7-6.1 [255 kB]
Get:40 http://172.17.0.1/private bullseye-staging/main armhf libkrb5support0 armhf 1.17-7+rpi1 [61.5 kB]
Get:41 http://172.17.0.1/private bullseye-staging/main armhf libk5crypto3 armhf 1.17-7+rpi1 [112 kB]
Get:42 http://172.17.0.1/private bullseye-staging/main armhf libkeyutils1 armhf 1.6.1-2 [14.5 kB]
Get:43 http://172.17.0.1/private bullseye-staging/main armhf libkrb5-3 armhf 1.17-7+rpi1 [318 kB]
Get:44 http://172.17.0.1/private bullseye-staging/main armhf libgssapi-krb5-2 armhf 1.17-7+rpi1 [135 kB]
Get:45 http://172.17.0.1/private bullseye-staging/main armhf libnghttp2-14 armhf 1.40.0-1+b2 [74.2 kB]
Get:46 http://172.17.0.1/private bullseye-staging/main armhf libpsl5 armhf 0.21.0-1 [53.9 kB]
Get:47 http://172.17.0.1/private bullseye-staging/main armhf librtmp1 armhf 2.4+20151223.gitfa8646d.1-2+b1 [54.3 kB]
Get:48 http://172.17.0.1/private bullseye-staging/main armhf libssh2-1 armhf 1.8.0-2.1 [126 kB]
Get:49 http://172.17.0.1/private bullseye-staging/main armhf libcurl4 armhf 7.68.0-1 [286 kB]
Get:50 http://172.17.0.1/private bullseye-staging/main armhf libjsoncpp1 armhf 1.7.4-3.1 [65.8 kB]
Get:51 http://172.17.0.1/private bullseye-staging/main armhf librhash0 armhf 1.3.9-1 [133 kB]
Get:52 http://172.17.0.1/private bullseye-staging/main armhf libuv1 armhf 1.35.0-2 [115 kB]
Get:53 http://172.17.0.1/private bullseye-staging/main armhf cmake armhf 3.16.3-3+rpi1 [2653 kB]
Get:54 http://172.17.0.1/private bullseye-staging/main armhf libtool all 2.4.6-14 [513 kB]
Get:55 http://172.17.0.1/private bullseye-staging/main armhf dh-autoreconf all 19 [16.9 kB]
Get:56 http://172.17.0.1/private bullseye-staging/main armhf libdebhelper-perl all 13 [184 kB]
Get:57 http://172.17.0.1/private bullseye-staging/main armhf libarchive-zip-perl all 1.68-1 [104 kB]
Get:58 http://172.17.0.1/private bullseye-staging/main armhf libsub-override-perl all 0.09-2 [10.2 kB]
Get:59 http://172.17.0.1/private bullseye-staging/main armhf libfile-stripnondeterminism-perl all 1.8.0-1 [24.2 kB]
Get:60 http://172.17.0.1/private bullseye-staging/main armhf dh-strip-nondeterminism all 1.8.0-1 [14.8 kB]
Get:61 http://172.17.0.1/private bullseye-staging/main armhf libelf1 armhf 0.176-1.1 [158 kB]
Get:62 http://172.17.0.1/private bullseye-staging/main armhf dwz armhf 0.13-5 [142 kB]
Get:63 http://172.17.0.1/private bullseye-staging/main armhf libglib2.0-0 armhf 2.64.2-1 [1158 kB]
Get:64 http://172.17.0.1/private bullseye-staging/main armhf libcroco3 armhf 0.6.13-1 [133 kB]
Get:65 http://172.17.0.1/private bullseye-staging/main armhf gettext armhf 0.19.8.1-10 [1219 kB]
Get:66 http://172.17.0.1/private bullseye-staging/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get:67 http://172.17.0.1/private bullseye-staging/main armhf po-debconf all 1.0.21 [248 kB]
Get:68 http://172.17.0.1/private bullseye-staging/main armhf debhelper all 13 [1002 kB]
Get:69 http://172.17.0.1/private bullseye-staging/main armhf python3-lib2to3 all 3.8.2-2 [78.4 kB]
Get:70 http://172.17.0.1/private bullseye-staging/main armhf python3-distutils all 3.8.2-2 [145 kB]
Get:71 http://172.17.0.1/private bullseye-staging/main armhf dh-python all 4.20200315 [91.6 kB]
Get:72 http://172.17.0.1/private bullseye-staging/main armhf help2man armhf 1.47.15 [181 kB]
Get:73 http://172.17.0.1/private bullseye-staging/main armhf libboost1.67-dev armhf 1.67.0-17 [8389 kB]
Get:74 http://172.17.0.1/private bullseye-staging/main armhf libboost-program-options1.67.0 armhf 1.67.0-17 [333 kB]
Get:75 http://172.17.0.1/private bullseye-staging/main armhf libboost-program-options1.67-dev armhf 1.67.0-17 [378 kB]
Get:76 http://172.17.0.1/private bullseye-staging/main armhf libboost-program-options-dev armhf 1.67.0.2+b11 [4260 B]
Get:77 http://172.17.0.1/private bullseye-staging/main armhf libexpat1-dev armhf 2.2.9-1 [119 kB]
Get:78 http://172.17.0.1/private bullseye-staging/main armhf libpng16-16 armhf 1.6.37-2 [274 kB]
Get:79 http://172.17.0.1/private bullseye-staging/main armhf libm4ri-0.0.20200125 armhf 20200125-1 [93.3 kB]
Get:80 http://172.17.0.1/private bullseye-staging/main armhf libm4ri-dev armhf 20200125-1 [120 kB]
Get:81 http://172.17.0.1/private bullseye-staging/main armhf libpython3.8 armhf 3.8.3~rc1-1 [1366 kB]
Get:82 http://172.17.0.1/private bullseye-staging/main armhf libpython3.8-dev armhf 3.8.3~rc1-1 [3042 kB]
Get:83 http://172.17.0.1/private bullseye-staging/main armhf libpython3-dev armhf 3.8.2-3 [21.0 kB]
Get:84 http://172.17.0.1/private bullseye-staging/main armhf zlib1g-dev armhf 1:1.2.11.dfsg-2 [184 kB]
Get:85 http://172.17.0.1/private bullseye-staging/main armhf python3.8-dev armhf 3.8.3~rc1-1 [516 kB]
Get:86 http://172.17.0.1/private bullseye-staging/main armhf python3-dev armhf 3.8.2-3 [1164 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 46.8 MB in 22s (2091 kB/s)
Selecting previously unselected package liblocale-gettext-perl.
(Reading database ... 12233 files and directories currently installed.)
Preparing to unpack .../00-liblocale-gettext-perl_1.07-4_armhf.deb ...
Unpacking liblocale-gettext-perl (1.07-4) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../01-libbsd0_0.10.0-1_armhf.deb ...
Unpacking libbsd0:armhf (0.10.0-1) ...
Selecting previously unselected package libtinfo5:armhf.
Preparing to unpack .../02-libtinfo5_6.2-1_armhf.deb ...
Unpacking libtinfo5:armhf (6.2-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../03-bsdmainutils_11.1.2_armhf.deb ...
Unpacking bsdmainutils (11.1.2) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../04-libuchardet0_0.0.6-3_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.6-3) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../05-groff-base_1.22.4-5_armhf.deb ...
Unpacking groff-base (1.22.4-5) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../06-libpipeline1_1.5.2-2_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.2-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../07-man-db_2.9.1-1_armhf.deb ...
Unpacking man-db (2.9.1-1) ...
Selecting previously unselected package libssl1.1:armhf.
Preparing to unpack .../08-libssl1.1_1.1.1g-1_armhf.deb ...
Unpacking libssl1.1:armhf (1.1.1g-1) ...
Selecting previously unselected package libpython3.8-minimal:armhf.
Preparing to unpack .../09-libpython3.8-minimal_3.8.3~rc1-1_armhf.deb ...
Unpacking libpython3.8-minimal:armhf (3.8.3~rc1-1) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../10-libexpat1_2.2.9-1_armhf.deb ...
Unpacking libexpat1:armhf (2.2.9-1) ...
Selecting previously unselected package python3.8-minimal.
Preparing to unpack .../11-python3.8-minimal_3.8.3~rc1-1_armhf.deb ...
Unpacking python3.8-minimal (3.8.3~rc1-1) ...
Setting up libssl1.1:armhf (1.1.1g-1) ...
Setting up libpython3.8-minimal:armhf (3.8.3~rc1-1) ...
Setting up libexpat1:armhf (2.2.9-1) ...
Setting up python3.8-minimal (3.8.3~rc1-1) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 13209 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.8.2-3_armhf.deb ...
Unpacking python3-minimal (3.8.2-3) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../1-mime-support_3.64_all.deb ...
Unpacking mime-support (3.64) ...
Selecting previously unselected package libmpdec2:armhf.
Preparing to unpack .../2-libmpdec2_2.4.2-3_armhf.deb ...
Unpacking libmpdec2:armhf (2.4.2-3) ...
Selecting previously unselected package libpython3.8-stdlib:armhf.
Preparing to unpack .../3-libpython3.8-stdlib_3.8.3~rc1-1_armhf.deb ...
Unpacking libpython3.8-stdlib:armhf (3.8.3~rc1-1) ...
Selecting previously unselected package python3.8.
Preparing to unpack .../4-python3.8_3.8.3~rc1-1_armhf.deb ...
Unpacking python3.8 (3.8.3~rc1-1) ...
Selecting previously unselected package libpython3-stdlib:armhf.
Preparing to unpack .../5-libpython3-stdlib_3.8.2-3_armhf.deb ...
Unpacking libpython3-stdlib:armhf (3.8.2-3) ...
Setting up python3-minimal (3.8.2-3) ...
Selecting previously unselected package python3.
(Reading database ... 13611 files and directories currently installed.)
Preparing to unpack .../00-python3_3.8.2-3_armhf.deb ...
Unpacking python3 (3.8.2-3) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../01-libncurses6_6.2-1_armhf.deb ...
Unpacking libncurses6:armhf (6.2-1) ...
Selecting previously unselected package libprocps8:armhf.
Preparing to unpack .../02-libprocps8_2%3a3.3.16-4_armhf.deb ...
Unpacking libprocps8:armhf (2:3.3.16-4) ...
Selecting previously unselected package procps.
Preparing to unpack .../03-procps_2%3a3.3.16-4_armhf.deb ...
Unpacking procps (2:3.3.16-4) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../04-sensible-utils_0.0.12+nmu1_all.deb ...
Unpacking sensible-utils (0.0.12+nmu1) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../05-libmagic-mgc_1%3a5.38-4_armhf.deb ...
Unpacking libmagic-mgc (1:5.38-4) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../06-libmagic1_1%3a5.38-4_armhf.deb ...
Unpacking libmagic1:armhf (1:5.38-4) ...
Selecting previously unselected package file.
Preparing to unpack .../07-file_1%3a5.38-4_armhf.deb ...
Unpacking file (1:5.38-4) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../08-gettext-base_0.19.8.1-10_armhf.deb ...
Unpacking gettext-base (0.19.8.1-10) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../09-libsigsegv2_2.12-2_armhf.deb ...
Unpacking libsigsegv2:armhf (2.12-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../10-m4_1.4.18-4_armhf.deb ...
Unpacking m4 (1.4.18-4) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../11-autoconf_2.69-11.1_all.deb ...
Unpacking autoconf (2.69-11.1) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../12-autotools-dev_20180224.1_all.deb ...
Unpacking autotools-dev (20180224.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../13-automake_1%3a1.16.2-1_all.deb ...
Unpacking automake (1:1.16.2-1) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../14-autopoint_0.19.8.1-10_all.deb ...
Unpacking autopoint (0.19.8.1-10) ...
Selecting previously unselected package cmake-data.
Preparing to unpack .../15-cmake-data_3.16.3-3+rpi1_all.deb ...
Unpacking cmake-data (3.16.3-3+rpi1) ...
Selecting previously unselected package libicu63:armhf.
Preparing to unpack .../16-libicu63_63.2-3_armhf.deb ...
Unpacking libicu63:armhf (63.2-3) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../17-libxml2_2.9.10+dfsg-5_armhf.deb ...
Unpacking libxml2:armhf (2.9.10+dfsg-5) ...
Selecting previously unselected package libarchive13:armhf.
Preparing to unpack .../18-libarchive13_3.4.2-1_armhf.deb ...
Unpacking libarchive13:armhf (3.4.2-1) ...
Selecting previously unselected package libbrotli1:armhf.
Preparing to unpack .../19-libbrotli1_1.0.7-6.1_armhf.deb ...
Unpacking libbrotli1:armhf (1.0.7-6.1) ...
Selecting previously unselected package libkrb5support0:armhf.
Preparing to unpack .../20-libkrb5support0_1.17-7+rpi1_armhf.deb ...
Unpacking libkrb5support0:armhf (1.17-7+rpi1) ...
Selecting previously unselected package libk5crypto3:armhf.
Preparing to unpack .../21-libk5crypto3_1.17-7+rpi1_armhf.deb ...
Unpacking libk5crypto3:armhf (1.17-7+rpi1) ...
Selecting previously unselected package libkeyutils1:armhf.
Preparing to unpack .../22-libkeyutils1_1.6.1-2_armhf.deb ...
Unpacking libkeyutils1:armhf (1.6.1-2) ...
Selecting previously unselected package libkrb5-3:armhf.
Preparing to unpack .../23-libkrb5-3_1.17-7+rpi1_armhf.deb ...
Unpacking libkrb5-3:armhf (1.17-7+rpi1) ...
Selecting previously unselected package libgssapi-krb5-2:armhf.
Preparing to unpack .../24-libgssapi-krb5-2_1.17-7+rpi1_armhf.deb ...
Unpacking libgssapi-krb5-2:armhf (1.17-7+rpi1) ...
Selecting previously unselected package libnghttp2-14:armhf.
Preparing to unpack .../25-libnghttp2-14_1.40.0-1+b2_armhf.deb ...
Unpacking libnghttp2-14:armhf (1.40.0-1+b2) ...
Selecting previously unselected package libpsl5:armhf.
Preparing to unpack .../26-libpsl5_0.21.0-1_armhf.deb ...
Unpacking libpsl5:armhf (0.21.0-1) ...
Selecting previously unselected package librtmp1:armhf.
Preparing to unpack .../27-librtmp1_2.4+20151223.gitfa8646d.1-2+b1_armhf.deb ...
Unpacking librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b1) ...
Selecting previously unselected package libssh2-1:armhf.
Preparing to unpack .../28-libssh2-1_1.8.0-2.1_armhf.deb ...
Unpacking libssh2-1:armhf (1.8.0-2.1) ...
Selecting previously unselected package libcurl4:armhf.
Preparing to unpack .../29-libcurl4_7.68.0-1_armhf.deb ...
Unpacking libcurl4:armhf (7.68.0-1) ...
Selecting previously unselected package libjsoncpp1:armhf.
Preparing to unpack .../30-libjsoncpp1_1.7.4-3.1_armhf.deb ...
Unpacking libjsoncpp1:armhf (1.7.4-3.1) ...
Selecting previously unselected package librhash0:armhf.
Preparing to unpack .../31-librhash0_1.3.9-1_armhf.deb ...
Unpacking librhash0:armhf (1.3.9-1) ...
Selecting previously unselected package libuv1:armhf.
Preparing to unpack .../32-libuv1_1.35.0-2_armhf.deb ...
Unpacking libuv1:armhf (1.35.0-2) ...
Selecting previously unselected package cmake.
Preparing to unpack .../33-cmake_3.16.3-3+rpi1_armhf.deb ...
Unpacking cmake (3.16.3-3+rpi1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../34-libtool_2.4.6-14_all.deb ...
Unpacking libtool (2.4.6-14) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../35-dh-autoreconf_19_all.deb ...
Unpacking dh-autoreconf (19) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../36-libdebhelper-perl_13_all.deb ...
Unpacking libdebhelper-perl (13) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../37-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../38-libsub-override-perl_0.09-2_all.deb ...
Unpacking libsub-override-perl (0.09-2) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../39-libfile-stripnondeterminism-perl_1.8.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.8.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../40-dh-strip-nondeterminism_1.8.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.8.0-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../41-libelf1_0.176-1.1_armhf.deb ...
Unpacking libelf1:armhf (0.176-1.1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../42-dwz_0.13-5_armhf.deb ...
Unpacking dwz (0.13-5) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../43-libglib2.0-0_2.64.2-1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.64.2-1) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../44-libcroco3_0.6.13-1_armhf.deb ...
Unpacking libcroco3:armhf (0.6.13-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../45-gettext_0.19.8.1-10_armhf.deb ...
Unpacking gettext (0.19.8.1-10) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../46-intltool-debian_0.35.0+20060710.5_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.5) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../47-po-debconf_1.0.21_all.deb ...
Unpacking po-debconf (1.0.21) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../48-debhelper_13_all.deb ...
Unpacking debhelper (13) ...
Selecting previously unselected package python3-lib2to3.
Preparing to unpack .../49-python3-lib2to3_3.8.2-2_all.deb ...
Unpacking python3-lib2to3 (3.8.2-2) ...
Selecting previously unselected package python3-distutils.
Preparing to unpack .../50-python3-distutils_3.8.2-2_all.deb ...
Unpacking python3-distutils (3.8.2-2) ...
Selecting previously unselected package dh-python.
Preparing to unpack .../51-dh-python_4.20200315_all.deb ...
Unpacking dh-python (4.20200315) ...
Selecting previously unselected package help2man.
Preparing to unpack .../52-help2man_1.47.15_armhf.deb ...
Unpacking help2man (1.47.15) ...
Selecting previously unselected package libboost1.67-dev:armhf.
Preparing to unpack .../53-libboost1.67-dev_1.67.0-17_armhf.deb ...
Unpacking libboost1.67-dev:armhf (1.67.0-17) ...
Selecting previously unselected package libboost-program-options1.67.0:armhf.
Preparing to unpack .../54-libboost-program-options1.67.0_1.67.0-17_armhf.deb ...
Unpacking libboost-program-options1.67.0:armhf (1.67.0-17) ...
Selecting previously unselected package libboost-program-options1.67-dev:armhf.
Preparing to unpack .../55-libboost-program-options1.67-dev_1.67.0-17_armhf.deb ...
Unpacking libboost-program-options1.67-dev:armhf (1.67.0-17) ...
Selecting previously unselected package libboost-program-options-dev:armhf.
Preparing to unpack .../56-libboost-program-options-dev_1.67.0.2+b11_armhf.deb ...
Unpacking libboost-program-options-dev:armhf (1.67.0.2+b11) ...
Selecting previously unselected package libexpat1-dev:armhf.
Preparing to unpack .../57-libexpat1-dev_2.2.9-1_armhf.deb ...
Unpacking libexpat1-dev:armhf (2.2.9-1) ...
Selecting previously unselected package libpng16-16:armhf.
Preparing to unpack .../58-libpng16-16_1.6.37-2_armhf.deb ...
Unpacking libpng16-16:armhf (1.6.37-2) ...
Selecting previously unselected package libm4ri-0.0.20200125:armhf.
Preparing to unpack .../59-libm4ri-0.0.20200125_20200125-1_armhf.deb ...
Unpacking libm4ri-0.0.20200125:armhf (20200125-1) ...
Selecting previously unselected package libm4ri-dev.
Preparing to unpack .../60-libm4ri-dev_20200125-1_armhf.deb ...
Unpacking libm4ri-dev (20200125-1) ...
Selecting previously unselected package libpython3.8:armhf.
Preparing to unpack .../61-libpython3.8_3.8.3~rc1-1_armhf.deb ...
Unpacking libpython3.8:armhf (3.8.3~rc1-1) ...
Selecting previously unselected package libpython3.8-dev:armhf.
Preparing to unpack .../62-libpython3.8-dev_3.8.3~rc1-1_armhf.deb ...
Unpacking libpython3.8-dev:armhf (3.8.3~rc1-1) ...
Selecting previously unselected package libpython3-dev:armhf.
Preparing to unpack .../63-libpython3-dev_3.8.2-3_armhf.deb ...
Unpacking libpython3-dev:armhf (3.8.2-3) ...
Selecting previously unselected package zlib1g-dev:armhf.
Preparing to unpack .../64-zlib1g-dev_1%3a1.2.11.dfsg-2_armhf.deb ...
Unpacking zlib1g-dev:armhf (1:1.2.11.dfsg-2) ...
Selecting previously unselected package python3.8-dev.
Preparing to unpack .../65-python3.8-dev_3.8.3~rc1-1_armhf.deb ...
Unpacking python3.8-dev (3.8.3~rc1-1) ...
Selecting previously unselected package python3-dev.
Preparing to unpack .../66-python3-dev_3.8.2-3_armhf.deb ...
Unpacking python3-dev (3.8.2-3) ...
Selecting previously unselected package sbuild-build-depends-cryptominisat-dummy.
Preparing to unpack .../67-sbuild-build-depends-cryptominisat-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-cryptominisat-dummy (0.invalid.0) ...
Setting up libboost1.67-dev:armhf (1.67.0-17) ...
Setting up libboost-program-options1.67.0:armhf (1.67.0-17) ...
Setting up libpipeline1:armhf (1.5.2-2) ...
Setting up libkeyutils1:armhf (1.6.1-2) ...
Setting up libpsl5:armhf (0.21.0-1) ...
Setting up mime-support (3.64) ...
Setting up libmagic-mgc (1:5.38-4) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libboost-program-options1.67-dev:armhf (1.67.0-17) ...
Setting up libglib2.0-0:armhf (2.64.2-1) ...
No schema files found: doing nothing.
Setting up libdebhelper-perl (13) ...
Setting up libbrotli1:armhf (1.0.7-6.1) ...
Setting up libnghttp2-14:armhf (1.40.0-1+b2) ...
Setting up libmagic1:armhf (1:5.38-4) ...
Setting up gettext-base (0.19.8.1-10) ...
Setting up file (1:5.38-4) ...
Setting up libicu63:armhf (63.2-3) ...
Setting up libkrb5support0:armhf (1.17-7+rpi1) ...
Setting up autotools-dev (20180224.1) ...
Setting up libuv1:armhf (1.35.0-2) ...
Setting up libexpat1-dev:armhf (2.2.9-1) ...
Setting up libboost-program-options-dev:armhf (1.67.0.2+b11) ...
Setting up librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b1) ...
Setting up libncurses6:armhf (6.2-1) ...
Setting up libsigsegv2:armhf (2.12-2) ...
Setting up libpng16-16:armhf (1.6.37-2) ...
Setting up autopoint (0.19.8.1-10) ...
Setting up libk5crypto3:armhf (1.17-7+rpi1) ...
Setting up zlib1g-dev:armhf (1:1.2.11.dfsg-2) ...
Setting up sensible-utils (0.0.12+nmu1) ...
Setting up librhash0:armhf (1.3.9-1) ...
Setting up libuchardet0:armhf (0.0.6-3) ...
Setting up libsub-override-perl (0.09-2) ...
Setting up libssh2-1:armhf (1.8.0-2.1) ...
Setting up cmake-data (3.16.3-3+rpi1) ...
Setting up libkrb5-3:armhf (1.17-7+rpi1) ...
Setting up libmpdec2:armhf (2.4.2-3) ...
Setting up libpython3.8-stdlib:armhf (3.8.3~rc1-1) ...
Setting up python3.8 (3.8.3~rc1-1) ...
Setting up libbsd0:armhf (0.10.0-1) ...
Setting up libtinfo5:armhf (6.2-1) ...
Setting up libelf1:armhf (0.176-1.1) ...
Setting up libxml2:armhf (2.9.10+dfsg-5) ...
Setting up liblocale-gettext-perl (1.07-4) ...
Setting up libprocps8:armhf (2:3.3.16-4) ...
Setting up libjsoncpp1:armhf (1.7.4-3.1) ...
Setting up libpython3-stdlib:armhf (3.8.2-3) ...
Setting up libfile-stripnondeterminism-perl (1.8.0-1) ...
Setting up libtool (2.4.6-14) ...
Setting up libarchive13:armhf (3.4.2-1) ...
Setting up m4 (1.4.18-4) ...
Setting up python3 (3.8.2-3) ...
Setting up help2man (1.47.15) ...
Setting up libpython3.8:armhf (3.8.3~rc1-1) ...
Setting up libm4ri-0.0.20200125:armhf (20200125-1) ...
Setting up bsdmainutils (11.1.2) ...
update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode
update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode
Setting up libgssapi-krb5-2:armhf (1.17-7+rpi1) ...
Setting up libcroco3:armhf (0.6.13-1) ...
Setting up libm4ri-dev (20200125-1) ...
Setting up autoconf (2.69-11.1) ...
Setting up dh-strip-nondeterminism (1.8.0-1) ...
Setting up dwz (0.13-5) ...
Setting up groff-base (1.22.4-5) ...
Setting up procps (2:3.3.16-4) ...
update-alternatives: using /usr/bin/w.procps to provide /usr/bin/w (w) in auto mode
Setting up libcurl4:armhf (7.68.0-1) ...
Setting up python3-lib2to3 (3.8.2-2) ...
Setting up automake (1:1.16.2-1) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up python3-distutils (3.8.2-2) ...
Setting up dh-python (4.20200315) ...
Setting up gettext (0.19.8.1-10) ...
Setting up man-db (2.9.1-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up intltool-debian (0.35.0+20060710.5) ...
Setting up libpython3.8-dev:armhf (3.8.3~rc1-1) ...
Setting up python3.8-dev (3.8.3~rc1-1) ...
Setting up cmake (3.16.3-3+rpi1) ...
Setting up libpython3-dev:armhf (3.8.2-3) ...
Setting up po-debconf (1.0.21) ...
Setting up python3-dev (3.8.2-3) ...
Setting up debhelper (13) ...
Setting up dh-autoreconf (19) ...
Setting up sbuild-build-depends-cryptominisat-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.30-7+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges

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

Kernel: Linux 4.15.0-76-generic armhf (armv8l)
Toolchain package versions: binutils_2.34-5+rpi1 dpkg-dev_1.19.7 g++-9_9.3.0-11+rpi1 gcc-9_9.3.0-11+rpi1 libc6-dev_2.30-7+rpi1 libstdc++-9-dev_9.3.0-11+rpi1 libstdc++6_10-20200418-1+rpi1 linux-libc-dev_5.2.17-1+rpi1+b2
Package versions: adduser_3.118 apt_2.1.0 autoconf_2.69-11.1 automake_1:1.16.2-1 autopoint_0.19.8.1-10 autotools-dev_20180224.1 base-files_11+rpi1 base-passwd_3.5.47 bash_5.0-6 binutils_2.34-5+rpi1 binutils-arm-linux-gnueabihf_2.34-5+rpi1 binutils-common_2.34-5+rpi1 bsdmainutils_11.1.2 bsdutils_1:2.35.1-2 build-essential_12.8 bzip2_1.0.8-2 cmake_3.16.3-3+rpi1 cmake-data_3.16.3-3+rpi1 coreutils_8.30-3 cpp_4:9.2.1-3.1+rpi1 cpp-9_9.3.0-11+rpi1 dash_0.5.10.2-7 debconf_1.5.74 debhelper_13 debianutils_4.9.1 dh-autoreconf_19 dh-python_4.20200315 dh-strip-nondeterminism_1.8.0-1 diffutils_1:3.7-3 dirmngr_2.2.20-1 dpkg_1.19.7 dpkg-dev_1.19.7 dwz_0.13-5 e2fsprogs_1.45.6-1 fakeroot_1.24-1 fdisk_2.35.1-2 file_1:5.38-4 findutils_4.7.0-1 g++_4:9.2.1-3.1+rpi1 g++-9_9.3.0-11+rpi1 gcc_4:9.2.1-3.1+rpi1 gcc-10-base_10-20200418-1+rpi1 gcc-9_9.3.0-11+rpi1 gcc-9-base_9.3.0-11+rpi1 gettext_0.19.8.1-10 gettext-base_0.19.8.1-10 gnupg_2.2.20-1 gnupg-l10n_2.2.20-1 gnupg-utils_2.2.20-1 gpg_2.2.20-1 gpg-agent_2.2.20-1 gpg-wks-client_2.2.20-1 gpg-wks-server_2.2.20-1 gpgconf_2.2.20-1 gpgsm_2.2.20-1 gpgv_2.2.20-1 grep_3.4-1 groff-base_1.22.4-5 gzip_1.10-2 help2man_1.47.15 hostname_3.23 init-system-helpers_1.57 intltool-debian_0.35.0+20060710.5 iputils-ping_3:20190709-3 libacl1_2.2.53-8 libapt-pkg6.0_2.1.0 libarchive-zip-perl_1.68-1 libarchive13_3.4.2-1 libasan5_9.3.0-11+rpi1 libassuan0_2.5.3-7 libatomic1_10-20200418-1+rpi1 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-3 libaudit1_1:2.8.5-3 libbinutils_2.34-5+rpi1 libblkid1_2.35.1-2 libboost-program-options-dev_1.67.0.2+b11 libboost-program-options1.67-dev_1.67.0-17 libboost-program-options1.67.0_1.67.0-17 libboost1.67-dev_1.67.0-17 libbrotli1_1.0.7-6.1 libbsd0_0.10.0-1 libbz2-1.0_1.0.8-2 libc-bin_2.30-7+rpi1 libc-dev-bin_2.30-7+rpi1 libc6_2.30-7+rpi1 libc6-dev_2.30-7+rpi1 libcap-ng0_0.7.9-2.1+b1 libcap2_1:2.33-1 libcap2-bin_1:2.33-1 libcc1-0_10-20200418-1+rpi1 libcom-err2_1.45.6-1 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.16-1 libcrypt1_1:4.4.16-1 libctf-nobfd0_2.34-5+rpi1 libctf0_2.34-5+rpi1 libcurl4_7.68.0-1 libdb5.3_5.3.28+dfsg1-0.6 libdebconfclient0_0.251 libdebhelper-perl_13 libdpkg-perl_1.19.7 libelf1_0.176-1.1 libexpat1_2.2.9-1 libexpat1-dev_2.2.9-1 libext2fs2_1.45.6-1 libfakeroot_1.24-1 libfdisk1_2.35.1-2 libffi7_3.3-4 libfile-stripnondeterminism-perl_1.8.0-1 libgcc-9-dev_9.3.0-11+rpi1 libgcc-s1_10-20200418-1+rpi1 libgcc1_1:10-20200418-1+rpi1 libgcrypt20_1.8.5-5 libgdbm-compat4_1.18.1-5 libgdbm6_1.18.1-5 libglib2.0-0_2.64.2-1 libgmp10_2:6.2.0+dfsg-4 libgnutls30_3.6.13-2 libgomp1_10-20200418-1+rpi1 libgpg-error0_1.37-1 libgssapi-krb5-2_1.17-7+rpi1 libhogweed5_3.5.1+really3.5.1-2 libicu63_63.2-3 libidn2-0_2.3.0-1 libisl22_0.22.1-1 libjsoncpp1_1.7.4-3.1 libk5crypto3_1.17-7+rpi1 libkeyutils1_1.6.1-2 libkrb5-3_1.17-7+rpi1 libkrb5support0_1.17-7+rpi1 libksba8_1.3.5-2 libldap-2.4-2_2.4.50+dfsg-1 libldap-common_2.4.50+dfsg-1 liblocale-gettext-perl_1.07-4 liblz4-1_1.9.2-2 liblzma5_5.2.4-1 libm4ri-0.0.20200125_20200125-1 libm4ri-dev_20200125-1 libmagic-mgc_1:5.38-4 libmagic1_1:5.38-4 libmount1_2.35.1-2 libmpc3_1.1.0-1 libmpdec2_2.4.2-3 libmpfr6_4.0.2-1 libncurses6_6.2-1 libncursesw6_6.2-1 libnettle7_3.5.1+really3.5.1-2 libnghttp2-14_1.40.0-1+b2 libnpth0_1.6-1 libp11-kit0_0.23.20-1 libpam-cap_1:2.33-1 libpam-modules_1.3.1-5 libpam-modules-bin_1.3.1-5 libpam-runtime_1.3.1-5 libpam0g_1.3.1-5 libpcre2-8-0_10.34-7 libpcre3_2:8.39-12 libperl5.30_5.30.0-10 libpipeline1_1.5.2-2 libpng16-16_1.6.37-2 libprocps8_2:3.3.16-4 libpsl5_0.21.0-1 libpython3-dev_3.8.2-3 libpython3-stdlib_3.8.2-3 libpython3.8_3.8.3~rc1-1 libpython3.8-dev_3.8.3~rc1-1 libpython3.8-minimal_3.8.3~rc1-1 libpython3.8-stdlib_3.8.3~rc1-1 libreadline7_7.0-5 libreadline8_8.0-4 librhash0_1.3.9-1 librtmp1_2.4+20151223.gitfa8646d.1-2+b1 libsasl2-2_2.1.27+dfsg-2 libsasl2-modules-db_2.1.27+dfsg-2 libseccomp2_2.4.3-1+rpi1 libselinux1_3.0-1+b1 libsemanage-common_3.0-1 libsemanage1_3.0-1+b1 libsepol1_3.0-1 libsigsegv2_2.12-2 libsmartcols1_2.35.1-2 libsqlite3-0_3.31.1-5 libss2_1.45.6-1 libssh2-1_1.8.0-2.1 libssl1.1_1.1.1g-1 libstdc++-9-dev_9.3.0-11+rpi1 libstdc++6_10-20200418-1+rpi1 libsub-override-perl_0.09-2 libsystemd0_245.5-1+rpi1 libtasn1-6_4.16.0-2 libtinfo5_6.2-1 libtinfo6_6.2-1 libtool_2.4.6-14 libubsan1_10-20200418-1+rpi1 libuchardet0_0.0.6-3 libudev1_245.5-1+rpi1 libunistring2_0.9.10-2 libuuid1_2.35.1-2 libuv1_1.35.0-2 libxml2_2.9.10+dfsg-5 libzstd1_1.4.4+dfsg-3+rpi1 linux-libc-dev_5.2.17-1+rpi1+b2 login_1:4.8.1-1 logsave_1.45.6-1 lsb-base_11.1.0+rpi1 m4_1.4.18-4 make_4.2.1-2 man-db_2.9.1-1 mawk_1.3.4.20200120-2 mime-support_3.64 mount_2.35.1-2 ncurses-base_6.2-1 ncurses-bin_6.2-1 netbase_6.1 passwd_1:4.8.1-1 patch_2.7.6-6 perl_5.30.0-10 perl-base_5.30.0-10 perl-modules-5.30_5.30.0-10 pinentry-curses_1.1.0-4 po-debconf_1.0.21 procps_2:3.3.16-4 python3_3.8.2-3 python3-dev_3.8.2-3 python3-distutils_3.8.2-2 python3-lib2to3_3.8.2-2 python3-minimal_3.8.2-3 python3.8_3.8.3~rc1-1 python3.8-dev_3.8.3~rc1-1 python3.8-minimal_3.8.3~rc1-1 raspbian-archive-keyring_20120528.2 readline-common_8.0-4 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-cryptominisat-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12+nmu1 sysvinit-utils_2.96-3 tar_1.30+dfsg-7 tzdata_2020a-1 util-linux_2.35.1-2 xz-utils_5.2.4-1 zlib1g_1:1.2.11.dfsg-2 zlib1g-dev_1:1.2.11.dfsg-2

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


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

gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error
gpgv: Signature made Fri May  8 10:02:57 2020 UTC
gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
gpgv:                issuer "jpuydt@debian.org"
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./cryptominisat_5.7.1+dfsg1-1.dsc
dpkg-source: info: extracting cryptominisat in /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1
dpkg-source: info: unpacking cryptominisat_5.7.1+dfsg1.orig.tar.xz
dpkg-source: info: unpacking cryptominisat_5.7.1+dfsg1-1.debian.tar.xz

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

Sufficient free space for build

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

APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=bullseye-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bullseye-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=112
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bullseye-staging-armhf-sbuild-b1bf7d7b-8abb-4c49-ab1c-40b3f967c838
SCHROOT_UID=107
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd

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

dpkg-buildpackage: info: source package cryptominisat
dpkg-buildpackage: info: source version 5.7.1+dfsg1-1
dpkg-buildpackage: info: source distribution unstable
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
 fakeroot debian/rules clean
dh clean --with python3
   dh_clean
 debian/rules build-arch
dh build-arch --with python3
   dh_update_autotools_config -a
   dh_autoreconf -a
   debian/rules override_dh_auto_configure
make[1]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1'
dh_auto_configure -- \
-DCMAKE_LIBRARY_ARCHITECTURE=arm-linux-gnueabihf
	cd obj-arm-linux-gnueabihf && cmake -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=None -DCMAKE_INSTALL_SYSCONFDIR=/etc -DCMAKE_INSTALL_LOCALSTATEDIR=/var -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY=ON -DCMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY=ON -DCMAKE_INSTALL_RUNSTATEDIR=/run "-GUnix Makefiles" -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_AUTOGEN_VERBOSE=ON -DCMAKE_INSTALL_LIBDIR=lib/arm-linux-gnueabihf -DCMAKE_LIBRARY_ARCHITECTURE=arm-linux-gnueabihf ..
-- LIB directory is 'lib/arm-linux-gnueabihf'
-- BIN directory is 'bin'
-- Doing a None build
-- The C compiler identification is GNU 9.3.0
-- The CXX compiler identification is GNU 9.3.0
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Looking for pthread.h
-- Looking for pthread.h - found
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed
-- Check if compiler accepts -pthread
-- Check if compiler accepts -pthread - yes
-- Found Threads: TRUE  
-- build type is None
-- Performing Test HAVE_FLAG_-fvisibility=hidden
-- Performing Test HAVE_FLAG_-fvisibility=hidden - Success
-- Performing Test HAVE_FLAG_-Wall
-- Performing Test HAVE_FLAG_-Wall - Success
-- Performing Test HAVE_FLAG_-Wextra
-- Performing Test HAVE_FLAG_-Wextra - Success
-- Performing Test HAVE_FLAG_-Wunused
-- Performing Test HAVE_FLAG_-Wunused - Success
-- Performing Test HAVE_FLAG_-Wsign-compare
-- Performing Test HAVE_FLAG_-Wsign-compare - Success
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success
-- Performing Test HAVE_FLAG_-Wtype-limits
-- Performing Test HAVE_FLAG_-Wtype-limits - Success
-- Performing Test HAVE_FLAG_-Wuninitialized
-- Performing Test HAVE_FLAG_-Wuninitialized - Success
-- Performing Test HAVE_FLAG_-Wno-deprecated
-- Performing Test HAVE_FLAG_-Wno-deprecated - Success
-- Performing Test HAVE_FLAG_-Wstrict-aliasing
-- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success
-- Performing Test HAVE_FLAG_-Wpointer-arith
-- Performing Test HAVE_FLAG_-Wpointer-arith - Success
-- Performing Test HAVE_FLAG_-Wheader-guard
-- Performing Test HAVE_FLAG_-Wheader-guard - Failed
-- Performing Test HAVE_FLAG_-Wformat-nonliteral
-- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success
-- Performing Test HAVE_FLAG_-Winit-self
-- Performing Test HAVE_FLAG_-Winit-self - Success
-- Performing Test HAVE_FLAG_-Wparentheses
-- Performing Test HAVE_FLAG_-Wparentheses - Success
-- Performing Test HAVE_FLAG_-Wunreachable-code
-- Performing Test HAVE_FLAG_-Wunreachable-code - Success
-- Performing Test HAVE_FLAG_-Wextra-semi-stmt
-- Performing Test HAVE_FLAG_-Wextra-semi-stmt - Failed
-- Performing Test HAVE_FLAG_-Wweak-vtables
-- Performing Test HAVE_FLAG_-Wweak-vtables - Failed
-- Performing Test HAVE_FLAG_-ggdb3
-- Performing Test HAVE_FLAG_-ggdb3 - Success
-- Compiling for dynamic library use
-- PROJECT_VERSION: 5.7.1
-- PROJECT_VERSION_MAJOR: 5
-- PROJECT_VERSION_MINOR: 7
-- PROJECT_VERSION_PATCH: 1
-- Found Boost: /usr/include (found suitable version "1.67.0", minimum required is "1.46") found components: program_options 
-- Not compiling detailed statistics. The system is faster without them
-- Manpage will be created and installed
-- Found ZLIB: /usr/lib/arm-linux-gnueabihf/libz.so (found version "1.2.11") 
-- OK, Found ZLIB!
-- Performing Test HAVE__FPU_SETCW
-- Performing Test HAVE__FPU_SETCW - Failed
-- Could NOT find PkgConfig (missing: PKG_CONFIG_EXECUTABLE) 
-- Found m4ri: /usr/lib/arm-linux-gnueabihf/libm4ri.so  
-- OK, Found M4RI lib at /usr/lib/arm-linux-gnueabihf/libm4ri.so and includes at /usr/include
-- All defines at startup:  -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DUSE_M4RI
-- In case your Python interpreter is not found, or a wrong one is found, please set it with '-DPYTHON_EXECUTABLE:FILEPATH=your path here'
-- Found PythonInterp: /usr/bin/python3 (found suitable version "3.8.3", minimum required is "3") 
-- Found PythonLibs: /usr/lib/arm-linux-gnueabihf/libpython3.8.so (found suitable version "3.8.3rc1", minimum required is "3") 
-- Python 3 -- PYTHON_EXECUTABLE=/usr/bin/python3
-- Python 3 -- PYTHON_LIBRARIES=/usr/lib/arm-linux-gnueabihf/libpython3.8.so
-- Python 3 -- PYTHON_INCLUDE_DIRS=/usr/include/python3.8
-- Python 3 -- PYTHONLIBS_VERSION_STRING=3.8.3rc1
-- Boost -- found at library: /usr/lib/arm-linux-gnueabihf/libboost_program_options.so
-- Boost -- adding '/usr/lib/arm-linux-gnueabihf' to link directories
-- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion
-- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed
-- Performing Test HAVE_FLAG_-Wlogical-op
-- Performing Test HAVE_FLAG_-Wlogical-op - Success
-- Performing Test HAVE_FLAG_-Wrestrict
-- Performing Test HAVE_FLAG_-Wrestrict - Success
-- Performing Test HAVE_FLAG_-Wnull-dereference
-- Performing Test HAVE_FLAG_-Wnull-dereference - Success
-- Performing Test HAVE_FLAG_-Wjump-misses-init
-- Performing Test HAVE_FLAG_-Wjump-misses-init - Failed
-- Performing Test HAVE_FLAG_-Wdouble-promotion
-- Performing Test HAVE_FLAG_-Wdouble-promotion - Success
-- Performing Test HAVE_FLAG_-Wshadow
-- Performing Test HAVE_FLAG_-Wshadow - Success
-- Performing Test HAVE_FLAG_-Wformat=2
-- Performing Test HAVE_FLAG_-Wformat=2 - Success
-- Performing Test HAVE_FLAG_-Wextra-semi
-- Performing Test HAVE_FLAG_-Wextra-semi - Success
-- Performing Test HAVE_FLAG_-pedantic
-- Performing Test HAVE_FLAG_-pedantic - Success
-- Performing Test HAVE_FLAG_-Wno-class-memaccess
-- Performing Test HAVE_FLAG_-Wno-class-memaccess - Success
-- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY
-- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success
-- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY
-- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success
-- Performing Test COMPILER_HAS_DEPRECATED_ATTR
-- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success
CMake Warning at CMakeLists.txt:739 (message):
  Testing is disabled


-- Found python interpreter, libs and header files
-- Building python interface
-- Python CFLAGS:  '-Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g   -fstack-protector-strong -Wformat -Werror=format-security  -g -fwrapv -O2   '
-- Python LDFLAGS: '-lcrypt -lpthread -ldl  -lutil -lm'
-- Python LINKFORSHARED flags: '-Xlinker -export-dynamic -Wl,-O1 -Wl,-Bsymbolic-functions'
-- Python module installation prefix: --prefix=/usr
-- Configuring done
-- Generating done
CMake Warning:
  Manually-specified variables were not used by the project:

    CMAKE_AUTOGEN_VERBOSE


-- Build files have been written to: /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf
make[1]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1'
   dh_auto_build -a
	cd obj-arm-linux-gnueabihf && make -j4 "INSTALL=install --strip-program=true"
make[1]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
/usr/bin/cmake -S/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -B/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf --check-build-system CMakeFiles/Makefile.cmake 0
/usr/bin/cmake -E cmake_progress_start /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/CMakeFiles /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/CMakeFiles/progress.marks
make -f CMakeFiles/Makefile2 all
make[2]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend
make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake --color=
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake --color=
Scanning dependencies of target CopyPublicHeaders
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E make_directory /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
Copying cryptominisat_c.h to /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E copy_if_different /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/cryptominisat5/cryptominisat_c.h /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E make_directory /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
Copying cryptominisat.h to /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E copy_if_different /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/cryptominisat5/cryptominisat.h /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E make_directory /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
Scanning dependencies of target cryptominisat5
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
Copying solvertypesmini.h to /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E copy_if_different /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/cryptominisat5/solvertypesmini.h /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
[  1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o
[  3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/drat.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cnf.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/cnf.cpp
[  5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/drat.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/drat.cpp
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/propengine.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/propengine.cpp
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E make_directory /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
Copying dimacsparser.h to /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E copy_if_different /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/dimacsparser.h /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E make_directory /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E echo Copying\ streambuffer.h\ to\ /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
Copying streambuffer.h to /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E copy_if_different /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/streambuffer.h /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
[  5%] Built target CopyPublicHeaders
[  7%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/varreplacer.cpp
[  8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/clausecleaner.cpp
[ 10%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/clauseusagestats.cpp
In file included from /usr/include/c++/9/vector:72,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/solvertypes.h:32,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/propby.h:27,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/vardata.h:27,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/cnf.h:30,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/cnf.cpp:23:
/usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(std::vector<_Tp, _Alloc>::iterator, std::vector<_Tp, _Alloc>::size_type, const value_type&) [with _Tp = CMSat::Timestamp; _Alloc = std::allocator<CMSat::Timestamp>]':
/usr/include/c++/9/bits/vector.tcc:509:5: note: parameter passing for argument of type 'std::vector<CMSat::Timestamp>::iterator' {aka '__gnu_cxx::__normal_iterator<CMSat::Timestamp*, std::vector<CMSat::Timestamp> >'} changed in GCC 7.1
  509 |     vector<_Tp, _Alloc>::
      |     ^~~~~~~~~~~~~~~~~~~
[ 12%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/prober.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/prober.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/prober.cpp
[ 14%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/occsimplifier.cpp
/usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(std::vector<_Tp, _Alloc>::iterator, std::vector<_Tp, _Alloc>::size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]':
/usr/include/c++/9/bits/vector.tcc:509:5: note: parameter passing for argument of type 'std::vector<long long unsigned int>::iterator' {aka '__gnu_cxx::__normal_iterator<long long unsigned int*, std::vector<long long unsigned int> >'} changed in GCC 7.1
In file included from /usr/include/c++/9/vector:67,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/solvertypes.h:32,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/propby.h:27,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/vardata.h:27,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/cnf.h:30,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/cnf.cpp:23:
/usr/include/c++/9/bits/stl_vector.h: In member function 'void CMSat::CNF::enlarge_minimal_datastructs(size_t)':
/usr/include/c++/9/bits/stl_vector.h:1335:2: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<long long unsigned int*, std::vector<long long unsigned int> >' changed in GCC 7.1
 1335 |  _M_fill_insert(begin() + __offset, __n, __x);
      |  ^~~~~~~~~~~~~~
In file included from /usr/include/c++/9/vector:72,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/solvertypes.h:32,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/propby.h:27,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/vardata.h:27,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/cnf.h:30,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/cnf.cpp:23:
/usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {CMSat::Timestamp}; _Tp = CMSat::Timestamp; _Alloc = std::allocator<CMSat::Timestamp>]':
/usr/include/c++/9/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector<CMSat::Timestamp>::iterator' {aka '__gnu_cxx::__normal_iterator<CMSat::Timestamp*, std::vector<CMSat::Timestamp> >'} changed in GCC 7.1
  426 |       vector<_Tp, _Alloc>::
      |       ^~~~~~~~~~~~~~~~~~~
/usr/include/c++/9/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector<CMSat::Timestamp>::iterator' {aka '__gnu_cxx::__normal_iterator<CMSat::Timestamp*, std::vector<CMSat::Timestamp> >'} changed in GCC 7.1
/usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {CMSat::Timestamp}; _Tp = CMSat::Timestamp; _Alloc = std::allocator<CMSat::Timestamp>]':
/usr/include/c++/9/bits/vector.tcc:121:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::Timestamp*, std::vector<CMSat::Timestamp> >' changed in GCC 7.1
  121 |    _M_realloc_insert(end(), std::forward<_Args>(__args)...);
      |    ^~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/9/vector:67,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/solvertypes.h:32,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/propby.h:27,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/vardata.h:27,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/cnf.h:30,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/cnf.cpp:23:
/usr/include/c++/9/bits/stl_vector.h: In member function 'virtual void CMSat::CNF::new_vars(size_t)':
/usr/include/c++/9/bits/stl_vector.h:1335:2: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::Timestamp*, std::vector<CMSat::Timestamp> >' changed in GCC 7.1
 1335 |  _M_fill_insert(begin() + __offset, __n, __x);
      |  ^~~~~~~~~~~~~~
[ 16%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/subsumestrengthen.cpp
[ 17%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/clauseallocator.cpp
[ 19%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/sccfinder.cpp
[ 21%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/solverconf.cpp
[ 23%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/distillerlong.cpp
[ 25%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/distillerlongwithimpl.cpp
In file included from /usr/include/c++/9/vector:72,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/occsimplifier.h:28,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/occsimplifier.cpp:39:
/usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(std::vector<_Tp, _Alloc>::iterator, std::vector<_Tp, _Alloc>::size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]':
/usr/include/c++/9/bits/vector.tcc:509:5: note: parameter passing for argument of type 'std::vector<long long unsigned int>::iterator' {aka '__gnu_cxx::__normal_iterator<long long unsigned int*, std::vector<long long unsigned int> >'} changed in GCC 7.1
  509 |     vector<_Tp, _Alloc>::
      |     ^~~~~~~~~~~~~~~~~~~
/usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {const CMSat::BlockedClauses&}; _Tp = CMSat::BlockedClauses; _Alloc = std::allocator<CMSat::BlockedClauses>]':
/usr/include/c++/9/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector<CMSat::BlockedClauses>::iterator' {aka '__gnu_cxx::__normal_iterator<CMSat::BlockedClauses*, std::vector<CMSat::BlockedClauses> >'} changed in GCC 7.1
  426 |       vector<_Tp, _Alloc>::
      |       ^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/9/vector:67,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/occsimplifier.h:28,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/occsimplifier.cpp:39:
/usr/include/c++/9/bits/stl_vector.h: In member function 'void CMSat::OccSimplifier::load_state(CMSat::SimpleInFile&)':
/usr/include/c++/9/bits/stl_vector.h:1195:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::BlockedClauses*, std::vector<CMSat::BlockedClauses> >' changed in GCC 7.1
 1195 |    _M_realloc_insert(end(), __x);
      |    ^~~~~~~~~~~~~~~~~
/usr/include/c++/9/bits/stl_vector.h: In member function 'void CMSat::OccSimplifier::order_vars_for_elim()':
/usr/include/c++/9/bits/stl_vector.h:957:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<long long unsigned int*, std::vector<long long unsigned int> >' changed in GCC 7.1
  957 |    _M_fill_insert(end(), __new_size - size(), __x);
      |    ^~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/occsimplifier.cpp:3045:1: note: parameter passing for argument of type 'std::vector<long long unsigned int>::iterator' {aka '__gnu_cxx::__normal_iterator<long long unsigned int*, std::vector<long long unsigned int> >'} changed in GCC 7.1
 3045 | }
      | ^
[ 26%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl_stamp.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/str_impl_w_impl_stamp.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/str_impl_w_impl_stamp.cpp
In file included from /usr/include/c++/9/vector:72,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/occsimplifier.h:28,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/occsimplifier.cpp:39:
/usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {CMSat::BlockedClauses}; _Tp = CMSat::BlockedClauses; _Alloc = std::allocator<CMSat::BlockedClauses>]':
/usr/include/c++/9/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector<CMSat::BlockedClauses>::iterator' {aka '__gnu_cxx::__normal_iterator<CMSat::BlockedClauses*, std::vector<CMSat::BlockedClauses> >'} changed in GCC 7.1
  426 |       vector<_Tp, _Alloc>::
      |       ^~~~~~~~~~~~~~~~~~~
/usr/include/c++/9/bits/vector.tcc: In member function 'void CMSat::OccSimplifier::create_dummy_blocked_clause(CMSat::Lit)':
/usr/include/c++/9/bits/vector.tcc:121:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::BlockedClauses*, std::vector<CMSat::BlockedClauses> >' changed in GCC 7.1
  121 |    _M_realloc_insert(end(), std::forward<_Args>(__args)...);
      |    ^~~~~~~~~~~~~~~~~
[ 28%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/solutionextender.cpp
[ 30%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/completedetachreattacher.cpp
[ 32%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/searcher.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/searcher.cpp
[ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solver.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/solver.cpp
[ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/sqlstats.cpp
[ 37%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/implcache.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/implcache.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/implcache.cpp
[ 39%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/stamp.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/stamp.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/stamp.cpp
[ 41%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/compfinder.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/compfinder.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/compfinder.cpp
In file included from /usr/include/c++/9/vector:72,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/solvertypes.h:32,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/propby.h:27,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/propengine.h:35,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/searcher.h:28,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/searcher.cpp:23:
/usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(std::vector<_Tp, _Alloc>::iterator, std::vector<_Tp, _Alloc>::size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator<double>]':
/usr/include/c++/9/bits/vector.tcc:509:5: note: parameter passing for argument of type 'std::vector<double>::iterator' {aka '__gnu_cxx::__normal_iterator<double*, std::vector<double> >'} changed in GCC 7.1
  509 |     vector<_Tp, _Alloc>::
      |     ^~~~~~~~~~~~~~~~~~~
[ 42%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/comphandler.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/comphandler.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/comphandler.cpp
[ 44%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/hyperengine.cpp
In file included from /usr/include/c++/9/vector:67,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/solvertypes.h:32,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/propby.h:27,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/propengine.h:35,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/searcher.h:28,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/searcher.cpp:23:
/usr/include/c++/9/bits/stl_vector.h: In member function 'virtual void CMSat::Searcher::new_vars(size_t)':
/usr/include/c++/9/bits/stl_vector.h:1335:2: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<double*, std::vector<double> >' changed in GCC 7.1
 1335 |  _M_fill_insert(begin() + __offset, __n, __x);
      |  ^~~~~~~~~~~~~~
/usr/include/c++/9/bits/stl_vector.h:1335:2: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<double*, std::vector<double> >' changed in GCC 7.1
 1335 |  _M_fill_insert(begin() + __offset, __n, __x);
      |  ^~~~~~~~~~~~~~
/usr/include/c++/9/bits/stl_vector.h:1335:2: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<double*, std::vector<double> >' changed in GCC 7.1
 1335 |  _M_fill_insert(begin() + __offset, __n, __x);
      |  ^~~~~~~~~~~~~~
[ 46%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/subsumeimplicit.cpp
[ 48%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/datasync.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/datasync.cpp
[ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/reducedb.cpp
[ 51%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/clausedumper.cpp
[ 53%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/bva.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/bva.cpp
[ 55%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/intree.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/intree.cpp
[ 57%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/features_calc.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/features_calc.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/features_calc.cpp
[ 58%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/features_to_reconf.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/features_to_reconf.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/features_to_reconf.cpp
[ 60%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solvefeatures.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solvefeatures.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/solvefeatures.cpp
[ 62%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/searchstats.cpp
[ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/xorfinder.cpp
[ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/cryptominisat_c.cpp
[ 67%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/yalsat.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/yalsat.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/yalsat.cpp
[ 69%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/yals.c.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cc -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC   -g -pthread -fPIC -std=gnu99 -o CMakeFiles/cryptominisat5.dir/yals.c.o   -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/yals.c
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/yals.c:371:63: warning: ISO C99 doesn't support unnamed structs/unions [-Wpedantic]
  371 |     struct { int64_t lim; union { int64_t interval; RDS rds; }; } inner;
      |                                                               ^
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/yals.c:383:43: warning: ISO C99 doesn't support unnamed structs/unions [-Wpedantic]
  383 |   struct { int size; union Chunk * next; };
      |                                           ^
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/yals.c:429:71: warning: ISO C99 doesn't support unnamed structs/unions [-Wpedantic]
  429 |   int satcntbytes; union { U1 * satcnt1; U2 * satcnt2; U4 * satcnt4; };
      |                                                                       ^
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/yals.c: In function 'yals_default_free':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/yals.c:2445:10: warning: ISO C forbids 'return' with expression, in function returning void [-Wpedantic]
 2445 |   return free (ptr);
      |          ^~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/yals.c:2442:13: note: declared here
 2442 | static void yals_default_free (void * state, void * ptr, size_t bytes) {
      |             ^~~~~~~~~~~~~~~~~
[ 71%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/walksat.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/walksat.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/walksat.cpp
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/yals.c: In function 'yals_pick_literal':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/yals.c:186:3: warning: 's' may be used uninitialized in this function [-Wmaybe-uninitialized]
  186 |   yals_log_start (yals, ##__VA_ARGS__); \
      |   ^~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/yals.c:1168:10: note: 's' was declared here
 1168 |   double s;
      |          ^
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/yals.c:186:3: warning: 'w' may be used uninitialized in this function [-Wmaybe-uninitialized]
  186 |   yals_log_start (yals, ##__VA_ARGS__); \
      |   ^~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/yals.c:1167:12: note: 'w' was declared here
 1167 |   unsigned w;
      |            ^
In file included from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/xorfinder.h:33,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/xorfinder.cpp:23:
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/xor.h: In member function 'std::vector<CMSat::Xor> CMSat::XorFinder::remove_xors_without_connecting_vars(const std::vector<CMSat::Xor>&)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/xor.h:37:7: warning: potential null pointer dereference [-Wnull-dereference]
   37 | class Xor
      |       ^~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/xor.h:37:7: warning: potential null pointer dereference [-Wnull-dereference]
   37 | class Xor
      |       ^~~
[ 73%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/ccnr.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/ccnr.cpp
[ 75%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/ccnr_cms.cpp
[ 76%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/sls.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/sls.cpp
[ 78%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/GitSHA1.cpp
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/GitSHA1.cpp:61:32: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time]
   61 |     "compilation date time = " __DATE__ " " __TIME__
      |                                ^~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/GitSHA1.cpp:61:45: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time]
   61 |     "compilation date time = " __DATE__ " " __TIME__
      |                                             ^~~~~~~~
[ 80%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/toplevelgauss.cpp
[ 82%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -Dcryptominisat5_EXPORTS -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -fPIC   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/cryptominisat.cpp
In file included from /usr/include/c++/9/algorithm:62,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/solvertypes.h:30,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/ccnr_cms.h:28,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/ccnr_cms.cpp:29:
/usr/include/c++/9/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >; _Compare = __gnu_cxx::__ops::_Val_comp_iter<ClWeightSorter>]':
/usr/include/c++/9/bits/stl_algo.h:1820:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
 1820 |     __unguarded_linear_insert(_RandomAccessIterator __last,
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/9/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<ClWeightSorter>]':
/usr/include/c++/9/bits/stl_algo.h:1839:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
 1839 |     __insertion_sort(_RandomAccessIterator __first,
      |     ^~~~~~~~~~~~~~~~
/usr/include/c++/9/bits/stl_algo.h:1839:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
In file included from /usr/include/c++/9/bits/stl_algo.h:61,
                 from /usr/include/c++/9/algorithm:62,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/solvertypes.h:30,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/ccnr_cms.h:28,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/ccnr_cms.cpp:29:
/usr/include/c++/9/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >; _Distance = int; _Tp = CCNR::clause; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<ClWeightSorter>]':
/usr/include/c++/9/bits/stl_heap.h:214:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
  214 |     __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
      |     ^~~~~~~~~~~~~
In file included from /usr/include/c++/9/algorithm:62,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/solvertypes.h:30,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/ccnr_cms.h:28,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/ccnr_cms.cpp:29:
/usr/include/c++/9/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<ClWeightSorter>]':
/usr/include/c++/9/bits/stl_algo.h:1939:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
 1939 |     __introsort_loop(_RandomAccessIterator __first,
      |     ^~~~~~~~~~~~~~~~
/usr/include/c++/9/bits/stl_algo.h:1939:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
/usr/include/c++/9/bits/stl_algo.h:1953:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
 1953 |    std::__introsort_loop(__cut, __last, __depth_limit, __comp);
      |    ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/9/bits/stl_algo.h: In member function 'CMSat::lbool CMSat::CMS_ccnr::deal_with_solution(int)':
/usr/include/c++/9/bits/stl_algo.h:1967:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
 1967 |    std::__introsort_loop(__first, __last,
      |    ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
 1968 |     std::__lg(__last - __first) * 2,
      |     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 1969 |     __comp);
      |     ~~~~~~~              
/usr/include/c++/9/bits/stl_algo.h:1884:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
 1884 |    std::__insertion_sort(__first, __first + int(_S_threshold), __comp);
      |    ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/9/bits/stl_algo.h:1889:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
 1889 |  std::__insertion_sort(__first, __last, __comp);
      |  ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/9/vector:72,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/cryptominisat5/cryptominisat.h:31,
                 from /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/cryptominisat.cpp:24:
/usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {double}; _Tp = double; _Alloc = std::allocator<double>]':
/usr/include/c++/9/bits/vector.tcc:426:7: note: parameter passing for argument of type 'std::vector<double>::iterator' {aka '__gnu_cxx::__normal_iterator<double*, std::vector<double> >'} changed in GCC 7.1
  426 |       vector<_Tp, _Alloc>::
      |       ^~~~~~~~~~~~~~~~~~~
/usr/include/c++/9/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {double}; _Tp = double; _Alloc = std::allocator<double>]':
/usr/include/c++/9/bits/vector.tcc:121:4: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<double*, std::vector<double> >' changed in GCC 7.1
  121 |    _M_realloc_insert(end(), std::forward<_Args>(__args)...);
      |    ^~~~~~~~~~~~~~~~~
[ 83%] Linking CXX shared library ../lib/libcryptominisat5.so
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5.dir/link.txt --verbose=1
/usr/bin/c++ -fPIC -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -Wl,-z,relro -Wl,-z,now -O2 -shared -Wl,-soname,libcryptominisat5.so.5.7 -o ../lib/libcryptominisat5.so.5.7 CMakeFiles/cryptominisat5.dir/cnf.cpp.o CMakeFiles/cryptominisat5.dir/drat.cpp.o CMakeFiles/cryptominisat5.dir/propengine.cpp.o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o CMakeFiles/cryptominisat5.dir/prober.cpp.o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o CMakeFiles/cryptominisat5.dir/str_impl_w_impl_stamp.cpp.o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o CMakeFiles/cryptominisat5.dir/searcher.cpp.o CMakeFiles/cryptominisat5.dir/solver.cpp.o CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o CMakeFiles/cryptominisat5.dir/implcache.cpp.o CMakeFiles/cryptominisat5.dir/stamp.cpp.o CMakeFiles/cryptominisat5.dir/compfinder.cpp.o CMakeFiles/cryptominisat5.dir/comphandler.cpp.o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o CMakeFiles/cryptominisat5.dir/datasync.cpp.o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o CMakeFiles/cryptominisat5.dir/bva.cpp.o CMakeFiles/cryptominisat5.dir/intree.cpp.o CMakeFiles/cryptominisat5.dir/features_calc.cpp.o CMakeFiles/cryptominisat5.dir/features_to_reconf.cpp.o CMakeFiles/cryptominisat5.dir/solvefeatures.cpp.o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/cryptominisat5.dir/yalsat.cpp.o CMakeFiles/cryptominisat5.dir/yals.c.o CMakeFiles/cryptominisat5.dir/walksat.cpp.o CMakeFiles/cryptominisat5.dir/ccnr.cpp.o CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o CMakeFiles/cryptominisat5.dir/sls.cpp.o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o  /usr/lib/arm-linux-gnueabihf/libm4ri.so -pthread 
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E cmake_symlink_library ../lib/libcryptominisat5.so.5.7 ../lib/libcryptominisat5.so.5.7 ../lib/libcryptominisat5.so
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
[ 83%] Built target cryptominisat5
make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend
make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend
make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/depend
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake --color=
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/DependInfo.cmake --color=
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/python /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake --color=
Scanning dependencies of target python_interface
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+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 '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build
Scanning dependencies of target cryptominisat5-bin
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
[ 85%] Generating build/timestamp
cd /<<BUILDDIR>>/cryptominisat-5.7.1+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
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/main_simple.cpp
[ 89%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/main_common.cpp
[ 91%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5-bin.dir/main.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/main.cpp
running build_ext
building 'pycryptosat' extension
creating build
creating build/temp.linux-armv8l-3.8
creating build/temp.linux-armv8l-3.8/build
creating build/temp.linux-armv8l-3.8/<<BUILDDIR>>
creating build/temp.linux-armv8l-3.8/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1
creating build/temp.linux-armv8l-3.8/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf
creating build/temp.linux-armv8l-3.8/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat
creating build/temp.linux-armv8l-3.8/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src
/usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.7.1" -I/usr/include/python3.8 -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp -o build/temp.linux-armv8l-3.8/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.o -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'void setup_solver(Solver*, PyObject*, PyObject*)':
/<<BUILDDIR>>/cryptominisat-5.7.1+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};
      |                              ^~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:98:41: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
   98 |     static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL};
      |                                         ^~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:98:55: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
   98 |     static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL};
      |                                                       ^~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:98:70: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
   98 |     static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL};
      |                                                                      ^~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'int parse_xor_clause(Solver*, PyObject*, std::vector<unsigned int>&)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:229:17: warning: comparison of integer expressions of different signedness: 'long int' and 'unsigned int' [-Wsign-compare]
  229 |         if (var >= self->cmsat->nVars()) {
      |             ~~~~^~~~~~~~~~~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* start_getting_small_clauses(Solver*, PyObject*, PyObject*)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:251:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  251 |     static char* kwlist[] = {"max_len", "max_glue", NULL};
      |                              ^~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:251:41: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  251 |     static char* kwlist[] = {"max_len", "max_glue", NULL};
      |                                         ^~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* add_clause(Solver*, PyObject*, PyObject*)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:337:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  337 |     static char* kwlist[] = {"clause", NULL};
      |                              ^~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* add_clauses(Solver*, PyObject*, PyObject*)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:505:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  505 |     static char* kwlist[] = {"clauses", NULL};
      |                              ^~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* add_xor_clause(Solver*, PyObject*, PyObject*)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:549:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  549 |     static char* kwlist[] = {"xor_clause", "rhs", NULL};
      |                              ^~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:549:44: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  549 |     static char* kwlist[] = {"xor_clause", "rhs", NULL};
      |                                            ^~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'int parse_assumption_lits(PyObject*, CMSat::SATSolver*, std::vector<CMSat::Lit>&)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:680:17: warning: comparison of integer expressions of different signedness: 'long int' and 'unsigned int' [-Wsign-compare]
  680 |         if (var >= cmsat->nVars()) {
      |             ~~~~^~~~~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* solve(Solver*, PyObject*, PyObject*)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:751:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  751 |     static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL};
      |                              ^~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:751:45: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  751 |     static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL};
      |                                             ^~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:751:56: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  751 |     static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL};
      |                                                        ^~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:751:70: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  751 |     static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL};
      |                                                                      ^~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* msolve_selected(Solver*, PyObject*, PyObject*)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:895:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  895 |     static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL};
      |                              ^~~~~~~~~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:895:53: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  895 |     static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL};
      |                                                     ^~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:895:69: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  895 |     static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL};
      |                                                                     ^~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: At global scope:
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1032:33: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1032 |     {"solve",     (PyCFunction) solve,       METH_VARARGS | METH_KEYWORDS, solve_doc},
      |                                 ^~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1033:33: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1033 |     {"add_clause",(PyCFunction) add_clause,  METH_VARARGS | METH_KEYWORDS, add_clause_doc},
      |                                 ^~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1034:35: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1034 |     {"add_clauses", (PyCFunction) add_clauses,  METH_VARARGS | METH_KEYWORDS, add_clauses_doc},
      |                                   ^~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1035:37: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1035 |     {"add_xor_clause",(PyCFunction) add_xor_clause,  METH_VARARGS | METH_KEYWORDS, "adds an XOR clause to the system"},
      |                                     ^~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1036:31: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1036 |     {"nb_vars", (PyCFunction) nb_vars, METH_VARARGS | METH_KEYWORDS, nb_vars_doc},
      |                               ^~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1038:39: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1038 |     {"msolve_selected", (PyCFunction) msolve_selected, METH_VARARGS | METH_KEYWORDS, msolve_selected_doc},
      |                                       ^~~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1039:38: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1039 |     {"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc},
      |                                      ^~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1040:36: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1040 |     {"get_conflict", (PyCFunction) get_conflict, METH_VARARGS | METH_KEYWORDS, get_conflict_doc},
      |                                    ^~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1042:51: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1042 |     {"start_getting_small_clauses", (PyCFunction) start_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, start_getting_small_clauses_doc},
      |                                                   ^~~~~~~~~~~~~~~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1043:45: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1043 |     {"get_next_small_clause", (PyCFunction) get_next_small_clause, METH_VARARGS | METH_KEYWORDS, get_next_small_clause_doc},
      |                                             ^~~~~~~~~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1044:49: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1044 |     {"end_getting_small_clauses", (PyCFunction) end_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, end_getting_small_clauses_doc},
      |                                                 ^~~~~~~~~~~~~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member 'PyMethodDef::ml_flags' [-Wmissing-field-initializers]
 1046 | };
      | ^
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member 'PyMethodDef::ml_doc' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_alloc' [-Wmissing-field-initializers]
 1106 | };
      | ^
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_new' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_free' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_is_gc' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_bases' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_mro' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_cache' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_subclasses' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_weaklist' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_del' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_version_tag' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_finalize' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_vectorcall' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_print' [-Wmissing-field-initializers]
[ 92%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/main_common.cpp
/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=/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 build/temp.linux-armv8l-3.8/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.o -L. -L/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/lib -L/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/lib/None -Wl,--enable-new-dtags,-R../lib -lcryptominisat5 -o /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/pycryptosat.cpython-38-arm-linux-gnueabihf.so
[ 94%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/main_exe.cpp
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
[ 94%] Built target python_interface
[ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/c++  -DBOOST_TEST_DYN_LINK -DUSE_M4RI -DUSE_ZLIB -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src  -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess   -g -pthread -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/signalcode.cpp
[ 98%] Linking CXX executable ../cryptominisat5_simple
cd /<<BUILDDIR>>/cryptominisat-5.7.1+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=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess   -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,/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/lib: ../lib/libcryptominisat5.so.5.7 /usr/lib/arm-linux-gnueabihf/libz.so /usr/lib/arm-linux-gnueabihf/libm4ri.so -pthread 
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
[ 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 '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/CMakeFiles/man_cms5_simple.dir/DependInfo.cmake --color=
Scanning dependencies of target man_cms5_simple
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make -f CMakeFiles/man_cms5_simple.dir/build.make CMakeFiles/man_cms5_simple.dir/build
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
help2man --version-string=5.7.1 --help-option="-h" --include /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/manpage-extras "/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cryptominisat5_simple" -o /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cryptominisat5_simple.1 --name="SAT\ solver"
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
[ 98%] Built target man_cms5_simple
[100%] Linking CXX executable ../cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+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=/<<BUILDDIR>>/cryptominisat-5.7.1+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 -ggdb3 -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess   -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,/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/lib: ../lib/libcryptominisat5.so.5.7 /usr/lib/arm-linux-gnueabihf/libz.so /usr/lib/arm-linux-gnueabihf/libboost_program_options.so /usr/lib/arm-linux-gnueabihf/libm4ri.so -pthread 
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
[100%] Built target cryptominisat5-bin
make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/depend
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/CMakeFiles/man_cms5.dir/DependInfo.cmake --color=
Scanning dependencies of target man_cms5
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/build
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
help2man --version-string=5.7.1 --help-option="--hhelp" --include /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/manpage-extras "/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cryptominisat5" -o /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cryptominisat5.1 --name="SAT\ solver"
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
[100%] Built target man_cms5
make[2]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
/usr/bin/cmake -E cmake_progress_start /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/CMakeFiles 0
make[1]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
   dh_auto_test -a
   create-stamp debian/debhelper-build-stamp
 fakeroot debian/rules binary-arch
dh binary-arch --with python3
   dh_testroot -a
   dh_prep -a
   dh_auto_install -a
	cd obj-arm-linux-gnueabihf && make -j4 install DESTDIR=/<<BUILDDIR>>/cryptominisat-5.7.1\+dfsg1/debian/tmp AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true"
make[1]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
/usr/bin/cmake -S/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -B/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf --check-build-system CMakeFiles/Makefile.cmake 0
/usr/bin/cmake -E cmake_progress_start /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/CMakeFiles /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/CMakeFiles/progress.marks
make -f CMakeFiles/Makefile2 all
make[2]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend
make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake --color=
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake --color=
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E make_directory /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make[3]: Nothing to be done for 'cmsat5-src/CMakeFiles/cryptominisat5.dir/build'.
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
Copying cryptominisat_c.h to /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E copy_if_different /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/cryptominisat5/cryptominisat_c.h /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
[ 83%] Built target cryptominisat5
make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend
make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend
make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/depend
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/python /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/CMakeFiles/python_interface.dir/DependInfo.cmake --color=
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake --color=
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/DependInfo.cmake --color=
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E make_directory /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make[3]: Nothing to be done for 'cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build'.
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make -f pycryptosat/CMakeFiles/python_interface.dir/build.make pycryptosat/CMakeFiles/python_interface.dir/build
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make[3]: Nothing to be done for 'cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build'.
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
[ 98%] Built target cryptominisat5-bin
[ 98%] Built target cryptominisat5_simple-bin
make -f CMakeFiles/man_cms5_simple.dir/build.make CMakeFiles/man_cms5_simple.dir/depend
make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/depend
[100%] Generating build/timestamp
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/CMakeFiles/man_cms5_simple.dir/DependInfo.cmake --color=
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat && /usr/bin/python3 setup.py build_ext --inplace --rpath ../lib
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/CMakeFiles/man_cms5.dir/DependInfo.cmake --color=
Copying cryptominisat.h to /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E copy_if_different /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/cryptominisat5/cryptominisat.h /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make -f CMakeFiles/man_cms5_simple.dir/build.make CMakeFiles/man_cms5_simple.dir/build
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
help2man --version-string=5.7.1 --help-option="-h" --include /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/manpage-extras "/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cryptominisat5_simple" -o /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cryptominisat5_simple.1 --name="SAT\ solver"
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make -f CMakeFiles/man_cms5.dir/build.make CMakeFiles/man_cms5.dir/build
make[3]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
help2man --version-string=5.7.1 --help-option="--hhelp" --include /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/manpage-extras "/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cryptominisat5" -o /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cryptominisat5.1 --name="SAT\ solver"
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E make_directory /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
Copying solvertypesmini.h to /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E copy_if_different /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src/cryptominisat5/solvertypesmini.h /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E make_directory /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
running build_ext
[100%] Built target man_cms5_simple
Copying dimacsparser.h to /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E copy_if_different /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/dimacsparser.h /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
[100%] Built target python_interface
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E make_directory /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E echo Copying\ streambuffer.h\ to\ /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
Copying streambuffer.h to /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
cd /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src && /usr/bin/cmake -E copy_if_different /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/src/streambuffer.h /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/include/cryptominisat5
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make[3]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
[100%] Built target CopyPublicHeaders
[100%] Built target man_cms5
make[2]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
/usr/bin/cmake -E cmake_progress_start /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/CMakeFiles 0
make -f CMakeFiles/Makefile2 preinstall
make[2]: Entering directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
make[2]: Nothing to be done for 'preinstall'.
make[2]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
Install the project...
/usr/bin/cmake -P cmake_install.cmake
-- Install configuration: "None"
-- Installing: /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/share/man/man1/cryptominisat5.1
-- Installing: /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/share/man/man1/cryptominisat5_simple.1
-- Installing: /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake
-- Installing: /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
-- Installing: /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/lib/cmake/cryptominisat5/cryptominisat5Targets-none.cmake
-- Installing: /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/lib/arm-linux-gnueabihf/libcryptominisat5.so.5.7
-- Installing: /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/lib/arm-linux-gnueabihf/libcryptominisat5.so
-- Installing: /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/include/cryptominisat5/cryptominisat_c.h
-- Installing: /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/include/cryptominisat5/cryptominisat.h
-- Installing: /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/include/cryptominisat5/solvertypesmini.h
-- Installing: /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/include/cryptominisat5/dimacsparser.h
-- Installing: /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/include/cryptominisat5/streambuffer.h
-- Installing: /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/bin/cryptominisat5_simple
-- Set runtime path of "/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/bin/cryptominisat5_simple" to ""
-- Installing: /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/bin/cryptominisat5
-- Set runtime path of "/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/bin/cryptominisat5" to ""
running install
running build
running build_ext
building 'pycryptosat' extension
/usr/bin/cc -g -W -Wall -Wno-deprecated -std=c++11 -g -O2 -fdebug-prefix-map=/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DLIBRARY_VERSION="5.7.1" -I/usr/include/python3.8 -c /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp -o build/temp.linux-armv8l-3.8/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.o -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1 -I/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/cmsat5-src
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'void setup_solver(Solver*, PyObject*, PyObject*)':
/<<BUILDDIR>>/cryptominisat-5.7.1+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};
      |                              ^~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:98:41: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
   98 |     static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL};
      |                                         ^~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:98:55: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
   98 |     static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL};
      |                                                       ^~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:98:70: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
   98 |     static char* kwlist[] = {"verbose", "time_limit", "confl_limit", "threads", NULL};
      |                                                                      ^~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'int parse_xor_clause(Solver*, PyObject*, std::vector<unsigned int>&)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:229:17: warning: comparison of integer expressions of different signedness: 'long int' and 'unsigned int' [-Wsign-compare]
  229 |         if (var >= self->cmsat->nVars()) {
      |             ~~~~^~~~~~~~~~~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* start_getting_small_clauses(Solver*, PyObject*, PyObject*)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:251:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  251 |     static char* kwlist[] = {"max_len", "max_glue", NULL};
      |                              ^~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:251:41: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  251 |     static char* kwlist[] = {"max_len", "max_glue", NULL};
      |                                         ^~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* add_clause(Solver*, PyObject*, PyObject*)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:337:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  337 |     static char* kwlist[] = {"clause", NULL};
      |                              ^~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* add_clauses(Solver*, PyObject*, PyObject*)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:505:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  505 |     static char* kwlist[] = {"clauses", NULL};
      |                              ^~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* add_xor_clause(Solver*, PyObject*, PyObject*)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:549:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  549 |     static char* kwlist[] = {"xor_clause", "rhs", NULL};
      |                              ^~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:549:44: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  549 |     static char* kwlist[] = {"xor_clause", "rhs", NULL};
      |                                            ^~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'int parse_assumption_lits(PyObject*, CMSat::SATSolver*, std::vector<CMSat::Lit>&)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:680:17: warning: comparison of integer expressions of different signedness: 'long int' and 'unsigned int' [-Wsign-compare]
  680 |         if (var >= cmsat->nVars()) {
      |             ~~~~^~~~~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* solve(Solver*, PyObject*, PyObject*)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:751:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  751 |     static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL};
      |                              ^~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:751:45: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  751 |     static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL};
      |                                             ^~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:751:56: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  751 |     static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL};
      |                                                        ^~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:751:70: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  751 |     static char* kwlist[] = {"assumptions", "verbose", "time_limit", "confl_limit", NULL};
      |                                                                      ^~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: In function 'PyObject* msolve_selected(Solver*, PyObject*, PyObject*)':
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:895:30: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  895 |     static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL};
      |                              ^~~~~~~~~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:895:53: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  895 |     static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL};
      |                                                     ^~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:895:69: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]
  895 |     static char* kwlist[] = {"max_nr_of_solutions", "var_selected", "raw", NULL};
      |                                                                     ^~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp: At global scope:
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1032:33: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1032 |     {"solve",     (PyCFunction) solve,       METH_VARARGS | METH_KEYWORDS, solve_doc},
      |                                 ^~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1033:33: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1033 |     {"add_clause",(PyCFunction) add_clause,  METH_VARARGS | METH_KEYWORDS, add_clause_doc},
      |                                 ^~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1034:35: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1034 |     {"add_clauses", (PyCFunction) add_clauses,  METH_VARARGS | METH_KEYWORDS, add_clauses_doc},
      |                                   ^~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1035:37: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1035 |     {"add_xor_clause",(PyCFunction) add_xor_clause,  METH_VARARGS | METH_KEYWORDS, "adds an XOR clause to the system"},
      |                                     ^~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1036:31: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1036 |     {"nb_vars", (PyCFunction) nb_vars, METH_VARARGS | METH_KEYWORDS, nb_vars_doc},
      |                               ^~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1038:39: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1038 |     {"msolve_selected", (PyCFunction) msolve_selected, METH_VARARGS | METH_KEYWORDS, msolve_selected_doc},
      |                                       ^~~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1039:38: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1039 |     {"is_satisfiable", (PyCFunction) is_satisfiable, METH_VARARGS | METH_KEYWORDS, is_satisfiable_doc},
      |                                      ^~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1040:36: warning: cast between incompatible function types from 'PyObject* (*)(Solver*)' {aka '_object* (*)(Solver*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1040 |     {"get_conflict", (PyCFunction) get_conflict, METH_VARARGS | METH_KEYWORDS, get_conflict_doc},
      |                                    ^~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1042:51: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1042 |     {"start_getting_small_clauses", (PyCFunction) start_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, start_getting_small_clauses_doc},
      |                                                   ^~~~~~~~~~~~~~~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1043:45: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1043 |     {"get_next_small_clause", (PyCFunction) get_next_small_clause, METH_VARARGS | METH_KEYWORDS, get_next_small_clause_doc},
      |                                             ^~~~~~~~~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1044:49: warning: cast between incompatible function types from 'PyObject* (*)(Solver*, PyObject*, PyObject*)' {aka '_object* (*)(Solver*, _object*, _object*)'} to 'PyCFunction' {aka '_object* (*)(_object*, _object*)'} [-Wcast-function-type]
 1044 |     {"end_getting_small_clauses", (PyCFunction) end_getting_small_clauses, METH_VARARGS | METH_KEYWORDS, end_getting_small_clauses_doc},
      |                                                 ^~~~~~~~~~~~~~~~~~~~~~~~~
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member 'PyMethodDef::ml_flags' [-Wmissing-field-initializers]
 1046 | };
      | ^
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1046:1: warning: missing initializer for member 'PyMethodDef::ml_doc' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_alloc' [-Wmissing-field-initializers]
 1106 | };
      | ^
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_new' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_free' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_is_gc' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_bases' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_mro' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_cache' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_subclasses' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_weaklist' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_del' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_version_tag' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_finalize' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_vectorcall' [-Wmissing-field-initializers]
/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.cpp:1106:1: warning: missing initializer for member '_typeobject::tp_print' [-Wmissing-field-initializers]
creating build/lib.linux-armv8l-3.8
/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=/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -pedantic -Wdate-time -D_FORTIFY_SOURCE=2 build/temp.linux-armv8l-3.8/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/pycryptosat/src/pycryptosat.o -L. -L/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/lib -L/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf/lib/None -lcryptominisat5 -o build/lib.linux-armv8l-3.8/pycryptosat.cpython-38-arm-linux-gnueabihf.so
running install_lib
creating /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/lib/python3.8
creating /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/lib/python3.8/site-packages
copying build/lib.linux-armv8l-3.8/pycryptosat.cpython-38-arm-linux-gnueabihf.so -> /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/lib/python3.8/site-packages
running install_egg_info
Writing /<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/debian/tmp/usr/lib/python3.8/site-packages/pycryptosat-0.2.0-py3.8.egg-info
writing list of installed files to 'files.txt'
make[1]: Leaving directory '/<<BUILDDIR>>/cryptominisat-5.7.1+dfsg1/obj-arm-linux-gnueabihf'
   dh_install -a
   dh_installdocs -a
   dh_installchangelogs -a
   dh_installman -a
   dh_python3 -a
I: dh_python3 fs:420: renaming pycryptosat-0.2.0-py3.8.egg-info to pycryptosat-0.2.0.egg-info
   dh_installmenu -a
   dh_perl -a
   dh_link -a
   dh_strip_nondeterminism -a
   dh_compress -a
   dh_fixperms -a
   dh_missing -a
dh_missing: warning: usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake exists in debian/tmp but is not installed to anywhere
dh_missing: warning: usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake exists in debian/tmp but is not installed to anywhere
dh_missing: warning: usr/lib/cmake/cryptominisat5/cryptominisat5Targets-none.cmake exists in debian/tmp but is not installed to anywhere
	The following debhelper tools have reported what they installed (with files per package)
	 * dh_install: cryptominisat (2), libcryptominisat5-5.7 (1), libcryptominisat5-dev (2), python3-cryptominisat (1)
	 * dh_installdocs: cryptominisat (0), libcryptominisat5-5.7 (0), libcryptominisat5-dev (0), python3-cryptominisat (1)
	 * dh_installman: cryptominisat (2), libcryptominisat5-5.7 (0), libcryptominisat5-dev (0), python3-cryptominisat (0)
	If the missing files are installed by another tool, please file a bug against it.
	When filing the report, if the tool is not part of debhelper itself, please reference the
	"Logging helpers and dh_missing" section from the "PROGRAMMING" guide for debhelper (10.6.3+).
	  (in the debhelper package: /usr/share/doc/debhelper/PROGRAMMING.gz)
	Be sure to test with dpkg-buildpackage -A/-B as the results may vary when only a subset is built
	For a short-term work-around: Add the files to debian/not-installed
   dh_dwz -a
   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.7/usr/lib/arm-linux-gnueabihf/libcryptominisat5.so.5.7 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: 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 -a
   dh_gencontrol -a
dpkg-gencontrol: warning: package python3-cryptominisat: substitution variable ${python3:Provides} unused, but is defined
dpkg-gencontrol: warning: package python3-cryptominisat: substitution variable ${python3:Versions} unused, but is defined
dpkg-gencontrol: warning: package python3-cryptominisat: substitution variable ${python3:Provides} unused, but is defined
dpkg-gencontrol: warning: package python3-cryptominisat: substitution variable ${python3:Versions} unused, but is defined
   dh_md5sums -a
   dh_builddeb -a
dpkg-deb: building package 'cryptominisat' in '../cryptominisat_5.7.1+dfsg1-1_armhf.deb'.
dpkg-deb: building package 'libcryptominisat5-5.7' in '../libcryptominisat5-5.7_5.7.1+dfsg1-1_armhf.deb'.
dpkg-deb: building package 'python3-cryptominisat' in '../python3-cryptominisat_5.7.1+dfsg1-1_armhf.deb'.
dpkg-deb: building package 'libcryptominisat5-dev' in '../libcryptominisat5-dev_5.7.1+dfsg1-1_armhf.deb'.
dpkg-deb: building package 'python3-cryptominisat-dbgsym' in '../python3-cryptominisat-dbgsym_5.7.1+dfsg1-1_armhf.deb'.
dpkg-deb: building package 'cryptominisat-dbgsym' in '../cryptominisat-dbgsym_5.7.1+dfsg1-1_armhf.deb'.
dpkg-deb: building package 'libcryptominisat5-5.7-dbgsym' in '../libcryptominisat5-5.7-dbgsym_5.7.1+dfsg1-1_armhf.deb'.
 dpkg-genbuildinfo --build=any
 dpkg-genchanges --build=any -mRaspbian mythic lxc autobuilder 1 <root@raspbian.org> >../cryptominisat_5.7.1+dfsg1-1_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2020-05-14T11:08:28Z

Finished
--------

I: Built successfully

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


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


cryptominisat_5.7.1+dfsg1-1_armhf.changes:
------------------------------------------

Format: 1.8
Date: Fri, 08 May 2020 10:55:25 +0200
Source: cryptominisat
Binary: cryptominisat cryptominisat-dbgsym libcryptominisat5-5.7 libcryptominisat5-5.7-dbgsym libcryptominisat5-dev python3-cryptominisat python3-cryptominisat-dbgsym
Architecture: armhf
Version: 5.7.1+dfsg1-1
Distribution: bullseye-staging
Urgency: medium
Maintainer: Raspbian mythic lxc autobuilder 1 <root@raspbian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 cryptominisat - SAT solver command line interface
 libcryptominisat5-5.7 - SAT solver library
 libcryptominisat5-dev - development files for the CryptoMiniSat SAT solver
 python3-cryptominisat - Python bindings for the CryptoMiniSat SAT solver (Python 3)
Closes: 913390 914711 915605 931284 954895
Changes:
 cryptominisat (5.7.1+dfsg1-1) unstable; urgency=medium
 .
   * New upstream release 5.7.1.
   * Add myself to the packaging.
   * Point Vcs-* fields to salsa.
   * Update deps (Closes: #915605, #954895).
   * Fix typo in description (Closes: #931284).
   * Drop the symbols file (Closes: #913390, #914711).
   * Drop d/compat and use dh-compat 12.
   * Bump std-ver to 4.5.0.
   * Reworked d/copyright.
   * Ship upstream manpages.
   * Add links from versioned executables to unversioned.
   * Update d/copyright's Files-Excluded to new upstream.
   * Improve d/watch.
   * Drop DEB_LDFLAGS_MAINT_APPEND from d/rules: its value
     is now default.
   * Add help2man to b-deps.
Checksums-Sha1:
 fb54f35079418a99b83b8466a2fcc0e2889c7d83 1120548 cryptominisat-dbgsym_5.7.1+dfsg1-1_armhf.deb
 dee0668606c966461d20fc4c2d816debb71570a1 8307 cryptominisat_5.7.1+dfsg1-1_armhf.buildinfo
 9bbc6850ea7d8aab98268d2f213c9e99855da7e6 84964 cryptominisat_5.7.1+dfsg1-1_armhf.deb
 f0b95b9747daefcaf5a512513af04ce0f7df7201 5212560 libcryptominisat5-5.7-dbgsym_5.7.1+dfsg1-1_armhf.deb
 77304d48eeb4ae961250a9054b2c88cd5795f201 362496 libcryptominisat5-5.7_5.7.1+dfsg1-1_armhf.deb
 bcf9c8614d158b193ceaee05945cfc02d6ad7405 12904 libcryptominisat5-dev_5.7.1+dfsg1-1_armhf.deb
 a7ade865f61e7beba69f702eabef00eb726515ce 88416 python3-cryptominisat-dbgsym_5.7.1+dfsg1-1_armhf.deb
 3289ab7297d7c31be9a7369bccc048e15e747de0 17556 python3-cryptominisat_5.7.1+dfsg1-1_armhf.deb
Checksums-Sha256:
 4ced7f07757cc833dc4dbefb58cf59ecd1de3baffdfdaf77da7b837f1bd2baca 1120548 cryptominisat-dbgsym_5.7.1+dfsg1-1_armhf.deb
 7db0b37d43fefb80e2ce80a350381a990fc04b1d0e2f35243c4bb0e7f6a35c78 8307 cryptominisat_5.7.1+dfsg1-1_armhf.buildinfo
 702c6b63b2290288a06dd6c5bd8dc1fc871b7486021c68a6a16b4567a5622aed 84964 cryptominisat_5.7.1+dfsg1-1_armhf.deb
 70cbb8f946faabefcb3ddc2170614bf85f8ec63e7f49e4e9c779515ff0d4408b 5212560 libcryptominisat5-5.7-dbgsym_5.7.1+dfsg1-1_armhf.deb
 13b6d0186ce707c57e3134911b0134764056a2fa955a6d7bb90a9a1cb97888be 362496 libcryptominisat5-5.7_5.7.1+dfsg1-1_armhf.deb
 e663780ad16f7b43aecfa6017b2611380c4e4eb645c6381695c5f8663c15625d 12904 libcryptominisat5-dev_5.7.1+dfsg1-1_armhf.deb
 9015adf8082b681aa1847a0e3c248d1ba930b81c6bc6f5b1331be9e613df3803 88416 python3-cryptominisat-dbgsym_5.7.1+dfsg1-1_armhf.deb
 3bed5d614a12fbb3a960ee64107387f78768659c0264745b5ce2b56aaa7941b2 17556 python3-cryptominisat_5.7.1+dfsg1-1_armhf.deb
Files:
 4c40bfaa09b2c38e6e4a640d144a335a 1120548 debug optional cryptominisat-dbgsym_5.7.1+dfsg1-1_armhf.deb
 c1993175202db65cd60e70b4e47b7c8e 8307 math optional cryptominisat_5.7.1+dfsg1-1_armhf.buildinfo
 ebb9cfd9fa0aec99ef5c2268feb498e4 84964 math optional cryptominisat_5.7.1+dfsg1-1_armhf.deb
 f6369b1924e96d89c01acad54d9f04c6 5212560 debug optional libcryptominisat5-5.7-dbgsym_5.7.1+dfsg1-1_armhf.deb
 771dd95c5b2e52aaf09e048cfab8ff77 362496 libs optional libcryptominisat5-5.7_5.7.1+dfsg1-1_armhf.deb
 858b5a63ec84df41bafcb7f70790708a 12904 libdevel optional libcryptominisat5-dev_5.7.1+dfsg1-1_armhf.deb
 1a8cb408a9178f37df771a8ffd04f8a3 88416 debug optional python3-cryptominisat-dbgsym_5.7.1+dfsg1-1_armhf.deb
 06d73997114f1f7ec96dd655f9524342 17556 python optional python3-cryptominisat_5.7.1+dfsg1-1_armhf.deb

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


cryptominisat-dbgsym_5.7.1+dfsg1-1_armhf.deb
--------------------------------------------

 new Debian package, version 2.0.
 size 1120548 bytes: control archive=652 bytes.
     448 bytes,    12 lines      control              
     305 bytes,     3 lines      md5sums              
 Package: cryptominisat-dbgsym
 Source: cryptominisat
 Version: 5.7.1+dfsg1-1
 Auto-Built-Package: debug-symbols
 Architecture: armhf
 Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
 Installed-Size: 1199
 Depends: cryptominisat (= 5.7.1+dfsg1-1)
 Section: debug
 Priority: optional
 Description: debug symbols for cryptominisat
 Build-Ids: 4143000bb074024e6fe8d6faa246004ccaca2da8 e57e33c4e6b9137f858c3612791bb5dc9e44e45a

drwxr-xr-x root/root         0 2020-05-08 08:55 ./
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/debug/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/debug/.build-id/41/
-rw-r--r-- root/root    984692 2020-05-08 08:55 ./usr/lib/debug/.build-id/41/43000bb074024e6fe8d6faa246004ccaca2da8.debug
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/debug/.build-id/e5/
-rw-r--r-- root/root    128044 2020-05-08 08:55 ./usr/lib/debug/.build-id/e5/7e33c4e6b9137f858c3612791bb5dc9e44e45a.debug
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/debug/.dwz/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/debug/.dwz/arm-linux-gnueabihf/
-rw-r--r-- root/root     99632 2020-05-08 08:55 ./usr/lib/debug/.dwz/arm-linux-gnueabihf/cryptominisat.debug
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/doc/
lrwxrwxrwx root/root         0 2020-05-08 08:55 ./usr/share/doc/cryptominisat-dbgsym -> cryptominisat


cryptominisat_5.7.1+dfsg1-1_armhf.deb
-------------------------------------

 new Debian package, version 2.0.
 size 84964 bytes: control archive=1108 bytes.
     730 bytes,    16 lines      control              
     491 bytes,     7 lines      md5sums              
     188 bytes,     7 lines   *  postinst             #!/bin/sh
     163 bytes,     5 lines   *  postrm               #!/bin/sh
 Package: cryptominisat
 Version: 5.7.1+dfsg1-1
 Architecture: armhf
 Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
 Installed-Size: 287
 Depends: libboost-program-options1.67.0, libc6 (>= 2.4), libcryptominisat5-5.7 (>= 5.7.1+dfsg1), libgcc-s1 (>= 3.5), libstdc++6 (>= 9), zlib1g (>= 1:1.1.4)
 Section: math
 Priority: optional
 Multi-Arch: foreign
 Homepage: https://www.msoos.org/
 Description: SAT solver command line interface
  CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
  .
  This package provides a command line interface which reads SAT formulas in
  conjunctive normal form in the DIMACS format with the extension of XOR
  clauses and decides whether they are satisfiable.

drwxr-xr-x root/root         0 2020-05-08 08:55 ./
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/bin/
lrwxrwxrwx root/root         0 2020-05-08 08:55 ./usr/bin/cryptominisat -> cryptominisat5
-rwxr-xr-x root/root    218772 2020-05-08 08:55 ./usr/bin/cryptominisat5
-rwxr-xr-x root/root     42588 2020-05-08 08:55 ./usr/bin/cryptominisat5_simple
lrwxrwxrwx root/root         0 2020-05-08 08:55 ./usr/bin/cryptominisat_simple -> cryptominisat5_simple
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/doc/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/doc/cryptominisat/
-rw-r--r-- root/root       599 2020-05-08 08:55 ./usr/share/doc/cryptominisat/changelog.Debian.gz
-rw-r--r-- root/root      6084 2020-05-08 08:55 ./usr/share/doc/cryptominisat/copyright
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/man/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/man/man1/
lrwxrwxrwx root/root         0 2020-05-08 08:55 ./usr/share/man/man1/cryptominisat.1.gz -> cryptominisat5.1.gz
-rw-r--r-- root/root      6057 2020-05-08 08:55 ./usr/share/man/man1/cryptominisat5.1.gz
-rw-r--r-- root/root       627 2020-05-08 08:55 ./usr/share/man/man1/cryptominisat5_simple.1.gz
lrwxrwxrwx root/root         0 2020-05-08 08:55 ./usr/share/man/man1/cryptominisat_simple.1.gz -> cryptominisat5_simple.1.gz
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/menu/
-rw-r--r-- root/root       139 2020-05-08 08:55 ./usr/share/menu/cryptominisat


libcryptominisat5-5.7-dbgsym_5.7.1+dfsg1-1_armhf.deb
----------------------------------------------------

 new Debian package, version 2.0.
 size 5212560 bytes: control archive=564 bytes.
     448 bytes,    13 lines      control              
     106 bytes,     1 lines      md5sums              
 Package: libcryptominisat5-5.7-dbgsym
 Source: cryptominisat
 Version: 5.7.1+dfsg1-1
 Auto-Built-Package: debug-symbols
 Architecture: armhf
 Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
 Installed-Size: 5256
 Depends: libcryptominisat5-5.7 (= 5.7.1+dfsg1-1)
 Section: debug
 Priority: optional
 Multi-Arch: same
 Description: debug symbols for libcryptominisat5-5.7
 Build-Ids: 80108406233518ae14427a0146981ecb88a5696e

drwxr-xr-x root/root         0 2020-05-08 08:55 ./
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/debug/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/debug/.build-id/80/
-rw-r--r-- root/root   5371736 2020-05-08 08:55 ./usr/lib/debug/.build-id/80/108406233518ae14427a0146981ecb88a5696e.debug
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/doc/
lrwxrwxrwx root/root         0 2020-05-08 08:55 ./usr/share/doc/libcryptominisat5-5.7-dbgsym -> libcryptominisat5-5.7


libcryptominisat5-5.7_5.7.1+dfsg1-1_armhf.deb
---------------------------------------------

 new Debian package, version 2.0.
 size 362496 bytes: control archive=880 bytes.
     571 bytes,    16 lines      control              
     341 bytes,     4 lines      md5sums              
      61 bytes,     1 lines      shlibs               
      63 bytes,     2 lines      triggers             
 Package: libcryptominisat5-5.7
 Source: cryptominisat
 Version: 5.7.1+dfsg1-1
 Architecture: armhf
 Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
 Installed-Size: 964
 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.5), libm4ri-0.0.20200125 (>= 20200125), libstdc++6 (>= 6)
 Section: libs
 Priority: optional
 Multi-Arch: same
 Homepage: https://www.msoos.org/
 Description: SAT solver library
  CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
  .
  This package provides a shared library to link against the CryptoMiniSat
  library.

drwxr-xr-x root/root         0 2020-05-08 08:55 ./
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/arm-linux-gnueabihf/
-rw-r--r-- root/root    968096 2020-05-08 08:55 ./usr/lib/arm-linux-gnueabihf/libcryptominisat5.so.5.7
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/doc/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/doc/libcryptominisat5-5.7/
-rw-r--r-- root/root       306 2020-05-08 08:55 ./usr/share/doc/libcryptominisat5-5.7/README.Debian
-rw-r--r-- root/root       599 2020-05-08 08:55 ./usr/share/doc/libcryptominisat5-5.7/changelog.Debian.gz
-rw-r--r-- root/root      6084 2020-05-08 08:55 ./usr/share/doc/libcryptominisat5-5.7/copyright


libcryptominisat5-dev_5.7.1+dfsg1-1_armhf.deb
---------------------------------------------

 new Debian package, version 2.0.
 size 12904 bytes: control archive=912 bytes.
     732 bytes,    18 lines      control              
     557 bytes,     7 lines      md5sums              
 Package: libcryptominisat5-dev
 Source: cryptominisat
 Version: 5.7.1+dfsg1-1
 Architecture: armhf
 Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
 Installed-Size: 60
 Depends: libcryptominisat5-5.7 (= 5.7.1+dfsg1-1)
 Section: libdevel
 Priority: optional
 Multi-Arch: same
 Homepage: https://www.msoos.org/
 Description: development files for the CryptoMiniSat SAT solver
  CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
  .
  This package provides C++ header files to interface with CryptoMiniSat. See
  https://github.com/msoos/cryptominisat#library-usage for some examples. This
  package also includes the experimental cryptominisat_c.h header to interface
  with CryptoMiniSat from C.

drwxr-xr-x root/root         0 2020-05-08 08:55 ./
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/include/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/include/cryptominisat5/
-rw-r--r-- root/root     11185 2020-05-08 08:55 ./usr/include/cryptominisat5/cryptominisat.h
-rw-r--r-- root/root      3778 2020-05-08 08:55 ./usr/include/cryptominisat5/cryptominisat_c.h
-rw-r--r-- root/root     14429 2020-05-03 14:34 ./usr/include/cryptominisat5/dimacsparser.h
-rw-r--r-- root/root      5532 2020-05-08 08:55 ./usr/include/cryptominisat5/solvertypesmini.h
-rw-r--r-- root/root      5509 2020-05-03 14:34 ./usr/include/cryptominisat5/streambuffer.h
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/arm-linux-gnueabihf/
lrwxrwxrwx root/root         0 2020-05-08 08:55 ./usr/lib/arm-linux-gnueabihf/libcryptominisat5.so -> libcryptominisat5.so.5.7
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/doc/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/doc/libcryptominisat5-dev/
-rw-r--r-- root/root       599 2020-05-08 08:55 ./usr/share/doc/libcryptominisat5-dev/changelog.Debian.gz
-rw-r--r-- root/root      6084 2020-05-08 08:55 ./usr/share/doc/libcryptominisat5-dev/copyright


python3-cryptominisat-dbgsym_5.7.1+dfsg1-1_armhf.deb
----------------------------------------------------

 new Debian package, version 2.0.
 size 88416 bytes: control archive=568 bytes.
     447 bytes,    13 lines      control              
     106 bytes,     1 lines      md5sums              
 Package: python3-cryptominisat-dbgsym
 Source: cryptominisat
 Version: 5.7.1+dfsg1-1
 Auto-Built-Package: debug-symbols
 Architecture: armhf
 Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
 Installed-Size: 102
 Depends: python3-cryptominisat (= 5.7.1+dfsg1-1)
 Section: debug
 Priority: optional
 Multi-Arch: same
 Description: debug symbols for python3-cryptominisat
 Build-Ids: a1fbe332062a4803db69da8c1fcd8b360157d2e6

drwxr-xr-x root/root         0 2020-05-08 08:55 ./
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/debug/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/debug/.build-id/a1/
-rw-r--r-- root/root     93516 2020-05-08 08:55 ./usr/lib/debug/.build-id/a1/fbe332062a4803db69da8c1fcd8b360157d2e6.debug
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/doc/
lrwxrwxrwx root/root         0 2020-05-08 08:55 ./usr/share/doc/python3-cryptominisat-dbgsym -> python3-cryptominisat


python3-cryptominisat_5.7.1+dfsg1-1_armhf.deb
---------------------------------------------

 new Debian package, version 2.0.
 size 17556 bytes: control archive=888 bytes.
     726 bytes,    16 lines      control              
     455 bytes,     5 lines      md5sums              
 Package: python3-cryptominisat
 Source: cryptominisat
 Version: 5.7.1+dfsg1-1
 Architecture: armhf
 Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
 Installed-Size: 51
 Depends: libc6 (>= 2.4), libcryptominisat5-5.7 (>= 5.7.1+dfsg1), libgcc-s1 (>= 3.5), libstdc++6 (>= 4.3.0), python3 (<< 3.9), python3 (>= 3.8~)
 Section: python
 Priority: optional
 Multi-Arch: same
 Homepage: https://www.msoos.org/
 Description: Python bindings for the CryptoMiniSat SAT solver (Python 3)
  CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
  .
  This package provides the pycryptosat module to use CryptoMiniSat from Python
  3. See https://github.com/msoos/cryptominisat#python-usage for examples.

drwxr-xr-x root/root         0 2020-05-08 08:55 ./
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/python3/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/lib/python3/dist-packages/
-rw-r--r-- root/root      6179 2020-05-08 08:55 ./usr/lib/python3/dist-packages/pycryptosat-0.2.0.egg-info
-rw-r--r-- root/root     26508 2020-05-08 08:55 ./usr/lib/python3/dist-packages/pycryptosat.cpython-38-arm-linux-gnueabihf.so
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/doc/
drwxr-xr-x root/root         0 2020-05-08 08:55 ./usr/share/doc/python3-cryptominisat/
-rw-r--r-- root/root      2009 2020-05-03 14:34 ./usr/share/doc/python3-cryptominisat/README.rst.gz
-rw-r--r-- root/root       599 2020-05-08 08:55 ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz
-rw-r--r-- root/root      6084 2020-05-08 08:55 ./usr/share/doc/python3-cryptominisat/copyright


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


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

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

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

Build Architecture: armhf
Build-Space: 122860
Build-Time: 199
Distribution: bullseye-staging
Host Architecture: armhf
Install-Time: 568
Job: cryptominisat_5.7.1+dfsg1-1
Machine Architecture: armhf
Package: cryptominisat
Package-Time: 789
Source-Version: 5.7.1+dfsg1-1
Space: 122860
Status: successful
Version: 5.7.1+dfsg1-1
--------------------------------------------------------------------------------
Finished at 2020-05-14T11:08:28Z
Build needed 00:13:09, 122860k disk space