==> Synchronizing chroot copy [/home/leming/armv7/root] -> [leming]...done
==> Making package: cryptominisat 5.12.1-1 (Tue Feb 11 05:21:24 2025)
==> Retrieving sources...
-> Cloning cryptominisat git repo...
Cloning into bare repository '/home/leming/work/cryptominisat/cryptominisat'...
-> Cloning cadiback git repo...
Cloning into bare repository '/home/leming/work/cryptominisat/cadiback'...
-> Cloning cadical git repo...
Cloning into bare repository '/home/leming/work/cryptominisat/cadical'...
-> Found python-system-libs.patch
-> Found link-private.patch
-> Found python-3.13.patch
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with sha256sums...
cryptominisat ... Skipped
cadiback ... Skipped
cadical ... Skipped
python-system-libs.patch ... Passed
link-private.patch ... Passed
python-3.13.patch ... Passed
==> Making package: cryptominisat 5.12.1-1 (Tue Feb 11 05:21:56 2025)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Installing missing dependencies...
[?25lresolving dependencies...
looking for conflicting packages...
Packages (30) cppdap-1.58.0-2 gpm-1.20.7.r38.ge82d1a6-6
hicolor-icon-theme-0.18-1 jsoncpp-1.9.6-3 libuv-1.50.0-1
perl-error-0.17029-7 perl-locale-gettext-1.07-15
perl-mailtools-2.22-1 perl-timedate-2.33-7 procps-ng-4.0.5-2
python-autocommand-2.2.2-7 python-jaraco.collections-5.1.0-1
python-jaraco.context-6.0.1-1 python-jaraco.functools-4.1.0-1
python-jaraco.text-4.0.0-2 python-more-itertools-10.5.0-1
python-packaging-24.2-3 python-platformdirs-4.3.6-2
python-pyproject-hooks-1.2.0-3 rhash-1.4.4-1
vim-runtime-9.1.1065-1 cmake-3.31.5-1 git-2.48.1-1
help2man-1.49.3-2 python-build-1.2.2-3
python-installer-0.7.0-10 python-setuptools-1:75.2.0-4
python-tomli-2.0.1-5 python-wheel-0.45.0-3 vim-9.1.1065-1
Total Download Size: 8.95 MiB
Total Installed Size: 186.29 MiB
:: Proceed with installation? [Y/n]
:: Retrieving packages...
vim-runtime-9.1.1065-1-armv7h downloading...
vim-9.1.1065-1-armv7h downloading...
help2man-1.49.3-2-armv7h downloading...
python-tomli-2.0.1-5-any downloading...
perl-locale-gettext-1.07-15-armv7h downloading...
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing cppdap...
installing hicolor-icon-theme...
installing jsoncpp...
Optional dependencies for jsoncpp
jsoncpp-doc: documentation
installing libuv...
installing rhash...
installing cmake...
Optional dependencies for cmake
make: for unix Makefile generator [installed]
ninja: for ninja generator
qt6-base: cmake-gui
installing perl-error...
installing perl-timedate...
installing perl-mailtools...
installing git...
Optional dependencies for git
tk: gitk and git gui
openssh: ssh transport and crypto
perl-libwww: git svn
perl-term-readkey: git svn and interactive.singlekey setting
perl-io-socket-ssl: git send-email TLS support
perl-authen-sasl: git send-email TLS support
perl-mediawiki-api: git mediawiki support
perl-datetime-format-iso8601: git mediawiki support
perl-lwp-protocol-https: git mediawiki https support
perl-cgi: gitweb (web interface) support
python: git svn & git p4 [installed]
subversion: git svn
org.freedesktop.secrets: keyring credential helper
libsecret: libsecret credential helper [installed]
installing perl-locale-gettext...
installing help2man...
installing python-packaging...
installing python-pyproject-hooks...
installing python-build...
Optional dependencies for python-build
python-pip: to use as the Python package installer (default)
python-uv: to use as the Python package installer
python-virtualenv: to use virtualenv for build isolation
installing python-installer...
installing python-more-itertools...
installing python-jaraco.functools...
installing python-jaraco.context...
installing python-autocommand...
installing python-jaraco.text...
Optional dependencies for python-jaraco.text
python-inflect: for show-newlines script
installing python-jaraco.collections...
installing python-platformdirs...
installing python-wheel...
Optional dependencies for python-wheel
python-keyring: for wheel.signatures
python-xdg: for wheel.signatures
python-setuptools: for legacy bdist_wheel subcommand [pending]
installing python-setuptools...
installing python-tomli...
installing vim-runtime...
Optional dependencies for vim-runtime
sh: support for some tools and macros [installed]
python: demoserver example tool [installed]
gawk: mve tools upport [installed]
installing procps-ng...
installing gpm...
installing vim...
Optional dependencies for vim
python: Python language support [installed]
ruby: Ruby language support
lua: Lua language support
perl: Perl language support [installed]
tcl: Tcl language support
:: Running post-transaction hooks...
(1/5) Creating system user accounts...
Creating group 'git' with GID 971.
Creating user 'git' (git daemon user) with UID 971 and GID 971.
(2/5) Reloading system manager configuration...
Skipped: Current root is not booted.
(3/5) Arming ConditionNeedsUpdate...
(4/5) Warn about old perl modules
(5/5) Updating the info directory file...
[?25h==> Retrieving sources...
-> Found python-system-libs.patch
-> Found link-private.patch
-> Found python-3.13.patch
==> WARNING: Skipping all source file integrity checks.
==> Extracting sources...
-> Creating working copy of cryptominisat git repo...
Cloning into 'cryptominisat'...
done.
Switched to a new branch 'makepkg'
-> Creating working copy of cadiback git repo...
Cloning into 'cadiback'...
done.
Switched to a new branch 'makepkg'
-> Creating working copy of cadical git repo...
Cloning into 'cadical'...
done.
Switched to a new branch 'makepkg'
==> Starting prepare()...
patching file setup.py
patching file python/tests/test_pycryptosat.py
patching file src/CMakeLists.txt
==> Starting build()...
configure: making default 'build' directory
configure: building in default '/build/cryptominisat/src/cadical/build'
configure: root directory '/build/cryptominisat/src/cadical'
configure: source directory '/build/cryptominisat/src/cadical/src'
configure: unlocked IO with '{putc,getc}_unlocked' seems to work
configure: compiling with 'g++ -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17'
configure: generated 'build/makefile' from '../makefile.in'
configure: generated '../makefile' as proxy to ...
configure: ... '/build/cryptominisat/src/cadical/build/makefile'
configure: linking '/build/cryptominisat/src/cadical/makefile'
configure: now run 'make' to compile CaDiCaL
configure: optionally run 'make test'
make: Entering directory '/build/cryptominisat/src/cadical/build'
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/analyze.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/arena.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/assume.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/averages.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/backtrack.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/backward.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/bins.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/block.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/ccadical.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/checker.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/clause.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/collect.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/compact.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/condition.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/config.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/constrain.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/contract.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/cover.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/decide.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/decompose.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/deduplicate.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/elim.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/ema.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/extend.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/external.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/external_propagate.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/file.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/flags.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/flip.cpp
../src/decompose.cpp: In member function 'bool CaDiCaL::Internal::decompose_round()':
../src/decompose.cpp:573:22: warning: array subscript 2 is above array bounds of 'int [2]' [-Warray-bounds=]
In file included from ../src/internal.hpp:54,
from ../src/decompose.cpp:1:
../src/clause.hpp:86:9: note: while referencing 'CaDiCaL::Clause::<unnamed union>::literals'
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/format.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/gates.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/instantiate.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/internal.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/ipasir.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/limit.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/logging.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/lookahead.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/lratbuilder.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/lratchecker.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/lucky.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/message.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/minimize.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/occs.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/options.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/parse.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/phases.cpp
In file included from /usr/include/c++/14.2.1/vector:72,
from /usr/include/c++/14.2.1/queue:63,
from ../src/internal.hpp:34,
from ../src/internal.cpp:1:
/usr/include/c++/14.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]':
/usr/include/c++/14.2.1/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector<long long unsigned int>::iterator' changed in GCC 7.1
700 | vector<_Tp, _Alloc>::
| ^~~~~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator<long long int>]':
/usr/include/c++/14.2.1/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector<long long int>::iterator' changed in GCC 7.1
/usr/include/c++/14.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator<double>]':
/usr/include/c++/14.2.1/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector<double>::iterator' changed in GCC 7.1
In file included from /usr/include/c++/14.2.1/vector:66:
In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]',
inlined from 'void CaDiCaL::enlarge_init(std::vector<_Tp>&, size_t, const T&) [with T = long long unsigned int]' at ../src/internal.cpp:90:14,
inlined from 'void CaDiCaL::enlarge_zero(std::vector<_Tp>&, size_t) [with T = long long unsigned int]' at ../src/internal.cpp:99:16,
inlined from 'void CaDiCaL::Internal::enlarge(int)' at ../src/internal.cpp:111:16:
/usr/include/c++/14.2.1/bits/stl_vector.h:1037:25: 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
1037 | _M_fill_insert(end(), __new_size - size(), __x);
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator<long long int>]',
inlined from 'void CaDiCaL::enlarge_init(std::vector<_Tp>&, size_t, const T&) [with T = long long int]' at ../src/internal.cpp:90:14,
inlined from 'void CaDiCaL::enlarge_zero(std::vector<_Tp>&, size_t) [with T = long long int]' at ../src/internal.cpp:99:16,
inlined from 'void CaDiCaL::Internal::enlarge(int)' at ../src/internal.cpp:116:16:
/usr/include/c++/14.2.1/bits/stl_vector.h:1037:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<long long int*, std::vector<long long int> >' changed in GCC 7.1
1037 | _M_fill_insert(end(), __new_size - size(), __x);
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator<long long int>]',
inlined from 'void CaDiCaL::enlarge_init(std::vector<_Tp>&, size_t, const T&) [with T = long long int]' at ../src/internal.cpp:90:14,
inlined from 'void CaDiCaL::enlarge_zero(std::vector<_Tp>&, size_t) [with T = long long int]' at ../src/internal.cpp:99:16,
inlined from 'void CaDiCaL::Internal::enlarge(int)' at ../src/internal.cpp:117:16:
/usr/include/c++/14.2.1/bits/stl_vector.h:1037:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<long long int*, std::vector<long long int> >' changed in GCC 7.1
1037 | _M_fill_insert(end(), __new_size - size(), __x);
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator<double>]',
inlined from 'void CaDiCaL::enlarge_init(std::vector<_Tp>&, size_t, const T&) [with T = double]' at ../src/internal.cpp:90:14,
inlined from 'void CaDiCaL::enlarge_zero(std::vector<_Tp>&, size_t) [with T = double]' at ../src/internal.cpp:99:16,
inlined from 'void CaDiCaL::Internal::enlarge(int)' at ../src/internal.cpp:118:16:
/usr/include/c++/14.2.1/bits/stl_vector.h:1037:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<double*, std::vector<double> >' changed in GCC 7.1
1037 | _M_fill_insert(end(), __new_size - size(), __x);
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/probe.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/profile.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/proof.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/propagate.cpp
In file included from /usr/include/c++/14.2.1/vector:72,
from /usr/include/c++/14.2.1/queue:63,
from ../src/internal.hpp:34,
from ../src/occs.cpp:1:
/usr/include/c++/14.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator<long long int>]':
/usr/include/c++/14.2.1/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector<long long int>::iterator' changed in GCC 7.1
700 | vector<_Tp, _Alloc>::
| ^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14.2.1/vector:66:
In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator<long long int>]',
inlined from 'void CaDiCaL::Internal::init_noccs()' at ../src/occs.cpp:28:17:
/usr/include/c++/14.2.1/bits/stl_vector.h:1037:25: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<long long int*, std::vector<long long int> >' changed in GCC 7.1
1037 | _M_fill_insert(end(), __new_size - size(), __x);
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/queue.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/random.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/reap.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/reduce.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/rephase.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/report.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/resources.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/restart.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/restore.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/score.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/shrink.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/signal.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/solution.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/solver.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/stats.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/subsume.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/terminal.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/ternary.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/tracer.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/transred.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/util.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/var.cpp
../scripts/make-build-header.sh > build.hpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/vivify.cpp
../scripts/make-build-header.sh: line 81: warning: setlocale: LC_TIME: cannot change locale (en_US): No such file or directory
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/walk.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/watch.cpp
g++ -fPIC -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -O3 -DNDEBUG -static -std=c++17 -I../build -c ../src/version.cpp
ar rcs libcadical.a analyze.o arena.o assume.o averages.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o elim.o ema.o extend.o external.o external_propagate.o file.o flags.o flip.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o
make: Leaving directory '/build/cryptominisat/src/cadical/build'
[configure] Using CADICAL='../cadical' version '1.8.0'
[configure] your 'CaDiCaL' version supports 'bool flip (int lit)'
[configure] Compiling with 'g++ -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -W -O3 -std=c++17 -DNDEBUG'
[configure] Generated 'makefile' (run 'make' to compile)
./generate > config.hpp
g++ -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -W -O3 -std=c++17 -DNDEBUG -c cadiback.cpp -I../cadical/src
cadiback.cpp: In function 'int CadiBack::doit(const std::vector<int>&, int, std::vector<int>&)':
cadiback.cpp:1192:12: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'size_t' {aka 'unsigned int'} [-Wformat=]
cadiback.cpp: In instantiation of 'void CadiBack::big_backbone(const std::vector<int>&, const std::vector<int>&) [with bool big_roots = true]':
cadiback.cpp:1151:28: required from here
cadiback.cpp:991:8: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'std::vector<int>::size_type' {aka 'unsigned int'} [-Wformat=]
cadiback.cpp: In instantiation of 'void CadiBack::big_backbone(const std::vector<int>&, const std::vector<int>&) [with bool big_roots = false]':
cadiback.cpp:1153:29: required from here
cadiback.cpp:991:8: warning: format '%ld' expects argument of type 'long int', but argument 2 has type 'std::vector<int>::size_type' {aka 'unsigned int'} [-Wformat=]
ar rcs libcadiback.a cadiback.o
-- LIB directory is ''
-- BIN directory is ''
-- You can choose the type of build, options are:Debug;Release;RelWithDebInfo;MinSizeRel
-- Doing a RelWithDebInfo build
-- The C compiler identification is GNU 14.2.1
-- The CXX compiler identification is GNU 14.2.1
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/lib/distcc/bin/cc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/lib/distcc/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
-- Found Threads: TRUE
-- build type is RelWithDebInfo
-- Performing Test HAVE_FLAG_-fvisibility=hidden
-- Performing Test HAVE_FLAG_-fvisibility=hidden - Success
-- Performing Test HAVE_FLAG_-Wall
-- Performing Test HAVE_FLAG_-Wall - Success
-- Performing Test HAVE_FLAG_-Wextra
-- Performing Test HAVE_FLAG_-Wextra - Success
-- Performing Test HAVE_FLAG_-Wunused
-- Performing Test HAVE_FLAG_-Wunused - Success
-- Performing Test HAVE_FLAG_-Wsign-compare
-- Performing Test HAVE_FLAG_-Wsign-compare - Success
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success
-- Performing Test HAVE_FLAG_-Wtype-limits
-- Performing Test HAVE_FLAG_-Wtype-limits - Success
-- Performing Test HAVE_FLAG_-Wuninitialized
-- Performing Test HAVE_FLAG_-Wuninitialized - Success
-- Performing Test HAVE_FLAG_-Wno-deprecated
-- Performing Test HAVE_FLAG_-Wno-deprecated - Success
-- Performing Test HAVE_FLAG_-Wstrict-aliasing
-- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success
-- Performing Test HAVE_FLAG_-Wpointer-arith
-- Performing Test HAVE_FLAG_-Wpointer-arith - Success
-- Performing Test HAVE_FLAG_-Wheader-guard
-- Performing Test HAVE_FLAG_-Wheader-guard - Failed
-- Performing Test HAVE_FLAG_-Wformat-nonliteral
-- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success
-- Performing Test HAVE_FLAG_-Winit-self
-- Performing Test HAVE_FLAG_-Winit-self - Success
-- Performing Test HAVE_FLAG_-Wparentheses
-- Performing Test HAVE_FLAG_-Wparentheses - Success
-- Performing Test HAVE_FLAG_-Wunreachable-code
-- Performing Test HAVE_FLAG_-Wunreachable-code - Success
-- Performing Test HAVE_FLAG_-g
-- Performing Test HAVE_FLAG_-g - Success
-- Performing Test HAVE_FLAG_-Wno-class-memaccess
-- Performing Test HAVE_FLAG_-Wno-class-memaccess - Success
-- Performing Test HAVE_FLAG_-mpopcnt
-- Performing Test HAVE_FLAG_-mpopcnt - Failed
-- Performing Test HAVE_FLAG_-msse4.2
-- Performing Test HAVE_FLAG_-msse4.2 - Failed
-- Performing Test HAVE_FLAG_-Wextra-semi-stmt
-- Performing Test HAVE_FLAG_-Wextra-semi-stmt - Failed
-- Performing Test HAVE_FLAG_-Wnoweak-vtables
-- Performing Test HAVE_FLAG_-Wnoweak-vtables - Failed
-- Performing Test HAVE_FLAG_-ggdb3
-- Performing Test HAVE_FLAG_-ggdb3 - Success
-- Compiling for dynamic library use
-- GIT hash found: b4ab662f79024af8ebdd295f9c93d7a522b070a7
-- PROJECT_VERSION: 5.12.1
-- PROJECT_VERSION_MAJOR: 5
-- PROJECT_VERSION_MINOR: 12
-- PROJECT_VERSION_PATCH: 1
-- Not compiling detailed statistics. The system is faster without them
CMake Warning (dev) at CMakeLists.txt:500 (ADD_CUSTOM_COMMAND):
Exactly one of PRE_BUILD, PRE_LINK, or POST_BUILD must be given. Assuming
POST_BUILD to preserve backward compatibility.
Policy CMP0175 is not set: add_custom_command() rejects invalid arguments.
Run "cmake --help-policy CMP0175" for policy details. Use the cmake_policy
command to set the policy and suppress this warning.
This warning is for project developers. Use -Wno-dev to suppress it.
-- Manpage will be created and installed
-- Found ZLIB: /usr/lib/libz.so (found version "1.3.1")
-- OK, Found ZLIB!
-- Performing Test HAVE__FPU_SETCW
-- Performing Test HAVE__FPU_SETCW - Failed
CMake Warning (dev) at /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:441 (message):
The package name passed to `find_package_handle_standard_args` (PkgConfig)
does not match the name of the calling package (GMP). This can lead to
problems in calling code that expects `find_package` result variables
(e.g., `_FOUND`) to follow a certain pattern.
Call Stack (most recent call first):
/usr/share/cmake/Modules/FindPkgConfig.cmake:114 (find_package_handle_standard_args)
cmake/FindGMP.cmake:1 (include)
CMakeLists.txt:596 (find_package)
This warning is for project developers. Use -Wno-dev to suppress it.
-- Found PkgConfig: /usr/bin/pkg-config (found version "2.3.0")
-- Checking for module 'gmp'
-- Found gmp, version 6.3.0
-- Found GMP: /usr/lib/libgmpxx.so
-- All defines at startup: -DRDB0_ONLY_FEATURES -DUSE_ZLIB
-- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion
-- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed
-- Performing Test HAVE_FLAG_-Wlogical-op
-- Performing Test HAVE_FLAG_-Wlogical-op - Success
-- Performing Test HAVE_FLAG_-Wrestrict
-- Performing Test HAVE_FLAG_-Wrestrict - Success
-- Performing Test HAVE_FLAG_-Wnull-dereference
-- Performing Test HAVE_FLAG_-Wnull-dereference - Success
-- Performing Test HAVE_FLAG_-Wdouble-promotion
-- Performing Test HAVE_FLAG_-Wdouble-promotion - Success
-- Performing Test HAVE_FLAG_-Wshadow
-- Performing Test HAVE_FLAG_-Wshadow - Success
-- Performing Test HAVE_FLAG_-Wformat=2
-- Performing Test HAVE_FLAG_-Wformat=2 - Success
-- Performing Test HAVE_FLAG_-Wextra-semi
-- Performing Test HAVE_FLAG_-Wextra-semi - Success
-- Performing Test HAVE_FLAG_-pedantic
-- Performing Test HAVE_FLAG_-pedantic - Success
-- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY
-- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success
-- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY
-- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success
-- Performing Test COMPILER_HAS_DEPRECATED_ATTR
-- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success
CMake Warning at CMakeLists.txt:700 (message):
Testing is disabled
-- Configuring done (18.9s)
-- Generating done (0.1s)
-- Build files have been written to: /build/cryptominisat/src/build
[ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/probe.cpp.o
[ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle_use.cpp.o
[ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o
[ 7%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/backbone.cpp.o
[ 9%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o
[ 11%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o
Copying cryptominisat_c.h to /build/cryptominisat/src/build/include/cryptominisat5
[ 13%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o
Copying cryptominisat.h to /build/cryptominisat/src/build/include/cryptominisat5
Copying solvertypesmini.h to /build/cryptominisat/src/build/include/cryptominisat5
Copying dimacsparser.h to /build/cryptominisat/src/build/include/cryptominisat5
Copying streambuffer.h to /build/cryptominisat/src/build/include/cryptominisat5
[ 13%] Built target CopyPublicHeaders
[ 15%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o
[ 16%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o
/build/cryptominisat/src/cryptominisat/src/backbone.cpp: In member function 'bool CMSat::Solver::backbone_simpl(int64_t, bool&)':
/build/cryptominisat/src/cryptominisat/src/backbone.cpp:32:37: warning: unused parameter 'orig_max_confl' [-Wunused-parameter]
[ 18%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o
[ 20%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o
[ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o
[ 24%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o
In file included from /usr/include/c++/14.2.1/vector:72,
from /usr/include/c++/14.2.1/bits/random.h:34,
from /usr/include/c++/14.2.1/random:48,
from /build/cryptominisat/src/cryptominisat/src/cnf.h:26,
from /build/cryptominisat/src/cryptominisat/src/cnf.cpp:23:
/usr/include/c++/14.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]':
/usr/include/c++/14.2.1/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector<long long unsigned int>::iterator' changed in GCC 7.1
700 | vector<_Tp, _Alloc>::
| ^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14.2.1/vector:66:
In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]',
inlined from 'void CMSat::CNF::enlarge_minimal_datastructs(size_t)' at /build/cryptominisat/src/cryptominisat/src/cnf.cpp:148:20:
/usr/include/c++/14.2.1/bits/stl_vector.h:1442:23: 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
1442 | _M_fill_insert(begin() + __offset, __n, __x);
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[ 26%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o
In file included from /usr/include/c++/14.2.1/vector:72,
from /usr/include/c++/14.2.1/bits/random.h:34,
from /usr/include/c++/14.2.1/random:48,
from /build/cryptominisat/src/cryptominisat/src/constants.h:30,
from /build/cryptominisat/src/cryptominisat/src/propengine.h:32,
from /build/cryptominisat/src/cryptominisat/src/propengine.cpp:23:
/usr/include/c++/14.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]':
/usr/include/c++/14.2.1/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector<long long unsigned int>::iterator' changed in GCC 7.1
700 | vector<_Tp, _Alloc>::
| ^~~~~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator<double>]':
/usr/include/c++/14.2.1/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector<double>::iterator' changed in GCC 7.1
In file included from /usr/include/c++/14.2.1/vector:66:
In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator<double>]',
inlined from 'virtual void CMSat::PropEngine::new_var(bool, uint32_t, bool)' at /build/cryptominisat/src/cryptominisat/src/propengine.cpp:76:25:
/usr/include/c++/14.2.1/bits/stl_vector.h:1442:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<double*, std::vector<double> >' changed in GCC 7.1
1442 | _M_fill_insert(begin() + __offset, __n, __x);
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]',
inlined from 'virtual void CMSat::PropEngine::new_var(bool, uint32_t, bool)' at /build/cryptominisat/src/cryptominisat/src/propengine.cpp:77:21:
/usr/include/c++/14.2.1/bits/stl_vector.h:1442:23: 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
1442 | _M_fill_insert(begin() + __offset, __n, __x);
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator<double>]',
inlined from 'virtual void CMSat::PropEngine::new_vars(size_t)' at /build/cryptominisat/src/cryptominisat/src/propengine.cpp:85:25:
/usr/include/c++/14.2.1/bits/stl_vector.h:1442:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<double*, std::vector<double> >' changed in GCC 7.1
1442 | _M_fill_insert(begin() + __offset, __n, __x);
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]',
inlined from 'virtual void CMSat::PropEngine::new_vars(size_t)' at /build/cryptominisat/src/cryptominisat/src/propengine.cpp:86:21:
/usr/include/c++/14.2.1/bits/stl_vector.h:1442:23: 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
1442 | _M_fill_insert(begin() + __offset, __n, __x);
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]',
inlined from 'CMSat::CNF::CNF(const CMSat::SolverConf*, std::atomic<bool>*)' at /build/cryptominisat/src/cryptominisat/src/cnf.h:85:31:
/usr/include/c++/14.2.1/bits/stl_vector.h:1037:25: 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
1037 | _M_fill_insert(end(), __new_size - size(), __x);
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[ 28%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o
[ 30%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o
[ 32%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o
[ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o
[ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o
[ 37%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o
[ 39%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o
[ 41%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o
[ 43%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o
In file included from /usr/include/c++/14.2.1/vector:72,
from /build/cryptominisat/src/cryptominisat/src/distillerlong.h:26,
from /build/cryptominisat/src/cryptominisat/src/distillerlong.cpp:23:
/usr/include/c++/14.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]':
/usr/include/c++/14.2.1/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector<long long unsigned int>::iterator' changed in GCC 7.1
700 | vector<_Tp, _Alloc>::
| ^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14.2.1/vector:66:
In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]',
inlined from 'bool CMSat::DistillerLong::distill_long_cls_all(std::vector<unsigned int>&, double, bool, bool, bool, uint32_t)' at /build/cryptominisat/src/cryptominisat/src/distillerlong.cpp:292:22:
/usr/include/c++/14.2.1/bits/stl_vector.h:1037:25: 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
1037 | _M_fill_insert(end(), __new_size - size(), __x);
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o
[ 47%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o
[ 49%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o
[ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o
[ 52%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o
[ 54%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o
[ 56%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o
[ 58%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o
[ 60%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o
In file included from /usr/include/c++/14.2.1/vector:72,
from /usr/include/c++/14.2.1/bits/random.h:34,
from /usr/include/c++/14.2.1/random:48,
from /build/cryptominisat/src/cryptominisat/src/constants.h:30,
from /build/cryptominisat/src/cryptominisat/src/occsimplifier.cpp:23:
/usr/include/c++/14.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]':
/usr/include/c++/14.2.1/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector<long long unsigned int>::iterator' changed in GCC 7.1
700 | vector<_Tp, _Alloc>::
| ^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14.2.1/vector:66:
In member function 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]',
inlined from 'void CMSat::OccSimplifier::order_vars_for_elim()' at /build/cryptominisat/src/cryptominisat/src/occsimplifier.cpp:5181:29:
/usr/include/c++/14.2.1/bits/stl_vector.h:1037:25: 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
1037 | _M_fill_insert(end(), __new_size - size(), __x);
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[ 62%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o
[ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o
[ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o
[ 67%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o
[ 69%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o
[ 71%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o
[ 73%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o
[ 75%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o
[ 77%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o
In file included from /usr/include/c++/14.2.1/vector:72,
from /usr/include/c++/14.2.1/bits/random.h:34,
from /usr/include/c++/14.2.1/random:48,
from /build/cryptominisat/src/cryptominisat/src/constants.h:30,
from /build/cryptominisat/src/cryptominisat/src/searcher.h:25,
from /build/cryptominisat/src/cryptominisat/src/searcher.cpp:23:
/usr/include/c++/14.2.1/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]':
/usr/include/c++/14.2.1/bits/vector.tcc:700:5: note: parameter passing for argument of type 'std::vector<long long unsigned int>::iterator' changed in GCC 7.1
700 | vector<_Tp, _Alloc>::
| ^~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14.2.1/vector:66:
In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]',
inlined from 'void CMSat::Searcher::rebuildOrderHeapVMTF(std::vector<unsigned int>&)' at /build/cryptominisat/src/cryptominisat/src/searcher.cpp:2185:21:
/usr/include/c++/14.2.1/bits/stl_vector.h:1442:23: 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
1442 | _M_fill_insert(begin() + __offset, __n, __x);
| ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[ 79%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o
[ 81%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/mpicosat/mpicosat.c.o
[ 83%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/mpicosat/version.c.o
[ 84%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o
[ 86%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o
In file included from /usr/include/c++/14.2.1/bits/stl_algo.h:61,
from /usr/include/c++/14.2.1/algorithm:61,
from /build/cryptominisat/src/cryptominisat/src/time_mem.h:32,
from /build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:23:
/usr/include/c++/14.2.1/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Distance = int; _Tp = VarAndVal; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<VarValSorter>]':
/usr/include/c++/14.2.1/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
| ^~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = __gnu_cxx::__ops::_Val_comp_iter<VarValSorter>]':
/usr/include/c++/14.2.1/bits/stl_algo.h:1750:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
1750 | __unguarded_linear_insert(_RandomAccessIterator __last,
| ^~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<VarValSorter>]':
/usr/include/c++/14.2.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
1770 | __insertion_sort(_RandomAccessIterator __first,
| ^~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
/usr/include/c++/14.2.1/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, vector<CCNR::clause> >; _Compare = __gnu_cxx::__ops::_Val_comp_iter<ClWeightSorter>]':
/usr/include/c++/14.2.1/bits/stl_algo.h:1750:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
1750 | __unguarded_linear_insert(_RandomAccessIterator __last,
| ^~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, vector<CCNR::clause> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<ClWeightSorter>]':
/usr/include/c++/14.2.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
1770 | __insertion_sort(_RandomAccessIterator __first,
| ^~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h:1770: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++/14.2.1/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, vector<CCNR::clause> >; _Distance = int; _Tp = CCNR::clause; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<ClWeightSorter>]':
/usr/include/c++/14.2.1/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
| ^~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<VarValSorter>]':
/usr/include/c++/14.2.1/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
1876 | __introsort_loop(_RandomAccessIterator __first,
| ^~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
/usr/include/c++/14.2.1/bits/stl_algo.h:1890:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
1890 | std::__introsort_loop(__cut, __last, __depth_limit, __comp);
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<VarValSorter>]',
inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = VarValSorter]' at /usr/include/c++/14.2.1/bits/stl_algo.h:4805:18,
inlined from 'std::vector<std::pair<unsigned int, double> > CMSat::CMS_ccnr::get_bump_based_on_var_scores()' at /build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:258:14:
/usr/include/c++/14.2.1/bits/stl_algo.h:1905:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
1905 | std::__introsort_loop(__first, __last,
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
1906 | std::__lg(__last - __first) * 2,
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1907 | __comp);
| ~~~~~~~
In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<VarValSorter>]',
inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<VarValSorter>]' at /usr/include/c++/14.2.1/bits/stl_algo.h:1908:31,
inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<VarAndVal*, vector<VarAndVal> >; _Compare = VarValSorter]' at /usr/include/c++/14.2.1/bits/stl_algo.h:4805:18,
inlined from 'std::vector<std::pair<unsigned int, double> > CMSat::CMS_ccnr::get_bump_based_on_var_scores()' at /build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:258:14:
/usr/include/c++/14.2.1/bits/stl_algo.h:1817:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
1817 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp);
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h:1822:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<VarAndVal*, std::vector<VarAndVal> >' changed in GCC 7.1
1822 | std::__insertion_sort(__first, __last, __comp);
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_heap.h: In function 'void std::__make_heap(_RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, vector<CCNR::clause> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<ClWeightSorter>]':
/usr/include/c++/14.2.1/bits/stl_heap.h:340:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
340 | __make_heap(_RandomAccessIterator __first, _RandomAccessIterator __last,
| ^~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_heap.h:340: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++/14.2.1/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, vector<CCNR::clause> >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<ClWeightSorter>]':
/usr/include/c++/14.2.1/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
1876 | __introsort_loop(_RandomAccessIterator __first,
| ^~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
In function 'void std::__heap_select(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, vector<CCNR::clause> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<ClWeightSorter>]',
inlined from 'void std::__partial_sort(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, vector<CCNR::clause> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<ClWeightSorter>]' at /usr/include/c++/14.2.1/bits/stl_algo.h:1868:25,
inlined from 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, vector<CCNR::clause> >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<ClWeightSorter>]' at /usr/include/c++/14.2.1/bits/stl_algo.h:1884:27:
/usr/include/c++/14.2.1/bits/stl_algo.h:1593:23: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
1593 | std::__make_heap(__first, __middle, __comp);
| ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, vector<CCNR::clause> >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<ClWeightSorter>]':
/usr/include/c++/14.2.1/bits/stl_algo.h:1890:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
1890 | std::__introsort_loop(__cut, __last, __depth_limit, __comp);
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, vector<CCNR::clause> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<ClWeightSorter>]',
inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<CCNR::clause*, vector<CCNR::clause> >; _Compare = ClWeightSorter]' at /usr/include/c++/14.2.1/bits/stl_algo.h:4805:18,
inlined from 'std::vector<std::pair<unsigned int, double> > CMSat::CMS_ccnr::get_bump_based_on_cls()' at /build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:223:14:
/usr/include/c++/14.2.1/bits/stl_algo.h:1905:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
1905 | std::__introsort_loop(__first, __last,
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
1906 | std::__lg(__last - __first) * 2,
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1907 | __comp);
| ~~~~~~~
In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, vector<CCNR::clause> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<ClWeightSorter>]',
inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CCNR::clause*, vector<CCNR::clause> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<ClWeightSorter>]' at /usr/include/c++/14.2.1/bits/stl_algo.h:1908:31,
inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<CCNR::clause*, vector<CCNR::clause> >; _Compare = ClWeightSorter]' at /usr/include/c++/14.2.1/bits/stl_algo.h:4805:18,
inlined from 'std::vector<std::pair<unsigned int, double> > CMSat::CMS_ccnr::get_bump_based_on_cls()' at /build/cryptominisat/src/cryptominisat/src/ccnr_cms.cpp:223:14:
/usr/include/c++/14.2.1/bits/stl_algo.h:1817:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
1817 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp);
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h:1822:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CCNR::clause*, std::vector<CCNR::clause> >' changed in GCC 7.1
1822 | std::__insertion_sort(__first, __last, __comp);
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
[ 88%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o
/build/cryptominisat/src/cryptominisat/src/mpicosat/mpicosat.c: In function 'write_idx':
/build/cryptominisat/src/cryptominisat/src/mpicosat/mpicosat.c:6187:18: warning: format '%ld' expects argument of type 'long int', but argument 3 has type 'unsigned int' [-Wformat=]
In file included from /usr/include/c++/14.2.1/bits/stl_algo.h:61,
from /usr/include/c++/14.2.1/algorithm:61,
from /build/cryptominisat/src/cryptominisat/src/solvertypes.h:30,
from /build/cryptominisat/src/cryptominisat/src/xor.h:25,
from /build/cryptominisat/src/cryptominisat/src/matrixfinder.h:29,
from /build/cryptominisat/src/cryptominisat/src/matrixfinder.cpp:23:
/usr/include/c++/14.2.1/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Distance = int; _Tp = CMSat::MatrixFinder::MatrixShape; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<CMSat::MatrixFinder::mysorter>]':
/usr/include/c++/14.2.1/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
| ^~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = __gnu_cxx::__ops::_Val_comp_iter<CMSat::MatrixFinder::mysorter>]':
/usr/include/c++/14.2.1/bits/stl_algo.h:1750:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
1750 | __unguarded_linear_insert(_RandomAccessIterator __last,
| ^~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<CMSat::MatrixFinder::mysorter>]':
/usr/include/c++/14.2.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
1770 | __insertion_sort(_RandomAccessIterator __first,
| ^~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h:1770:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
/usr/include/c++/14.2.1/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<CMSat::MatrixFinder::mysorter>]':
/usr/include/c++/14.2.1/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
1876 | __introsort_loop(_RandomAccessIterator __first,
| ^~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h:1876:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
/usr/include/c++/14.2.1/bits/stl_algo.h:1890:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
1890 | std::__introsort_loop(__cut, __last, __depth_limit, __comp);
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<CMSat::MatrixFinder::mysorter>]',
inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = CMSat::MatrixFinder::mysorter]' at /usr/include/c++/14.2.1/bits/stl_algo.h:4805:18,
inlined from 'uint32_t CMSat::MatrixFinder::setup_matrices_attach_remaining_cls()' at /build/cryptominisat/src/cryptominisat/src/matrixfinder.cpp:227:14:
/usr/include/c++/14.2.1/bits/stl_algo.h:1905:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
1905 | std::__introsort_loop(__first, __last,
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
1906 | std::__lg(__last - __first) * 2,
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1907 | __comp);
| ~~~~~~~
In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<CMSat::MatrixFinder::mysorter>]',
inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<CMSat::MatrixFinder::mysorter>]' at /usr/include/c++/14.2.1/bits/stl_algo.h:1908:31,
inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, vector<CMSat::MatrixFinder::MatrixShape> >; _Compare = CMSat::MatrixFinder::mysorter]' at /usr/include/c++/14.2.1/bits/stl_algo.h:4805:18,
inlined from 'uint32_t CMSat::MatrixFinder::setup_matrices_attach_remaining_cls()' at /build/cryptominisat/src/cryptominisat/src/matrixfinder.cpp:227:14:
/usr/include/c++/14.2.1/bits/stl_algo.h:1817:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
1817 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp);
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14.2.1/bits/stl_algo.h:1822:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<CMSat::MatrixFinder::MatrixShape*, std::vector<CMSat::MatrixFinder::MatrixShape> >' changed in GCC 7.1
1822 | std::__insertion_sort(__first, __last, __comp);
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/14.2.1/string:51,
from /usr/include/c++/14.2.1/bits/locale_classes.h:40,
from /usr/include/c++/14.2.1/bits/ios_base.h:41,
from /usr/include/c++/14.2.1/ios:44,
from /usr/include/c++/14.2.1/ostream:40,
from /usr/include/c++/14.2.1/iostream:41,
from /build/cryptominisat/src/cryptominisat/src/oracle/oracle.h:25,
from /build/cryptominisat/src/cryptominisat/src/oracle/oracle.cpp:23:
In static member function 'static _Up* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const int; _Up = int; bool _IsMove = false]',
inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]' at /usr/include/c++/14.2.1/bits/stl_algobase.h:521:30,
inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = false; _II = const int*; _OI = int*]' at /usr/include/c++/14.2.1/bits/stl_algobase.h:548:42,
inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = false; _II = __gnu_cxx::__normal_iterator<const int*, vector<int> >; _OI = int*]' at /usr/include/c++/14.2.1/bits/stl_algobase.h:555:31,
inlined from '_OI std::copy(_II, _II, _OI) [with _II = __gnu_cxx::__normal_iterator<const int*, vector<int> >; _OI = int*]' at /usr/include/c++/14.2.1/bits/stl_algobase.h:651:7,
inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const int*, std::vector<int> >; _ForwardIterator = int*]' at /usr/include/c++/14.2.1/bits/stl_uninitialized.h:147:27,
inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const int*, vector<int> >; _ForwardIterator = int*]' at /usr/include/c++/14.2.1/bits/stl_uninitialized.h:185:15,
inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const int*, vector<int> >; _ForwardIterator = int*; _Tp = int]' at /usr/include/c++/14.2.1/bits/stl_uninitialized.h:373:37,
inlined from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = int; _Alloc = std::allocator<int>]' at /usr/include/c++/14.2.1/bits/stl_vector.h:606:31,
inlined from 'bool sspp::oracle::Oracle::AddClauseIfNeededAndStr(std::vector<int>, bool)' at /build/cryptominisat/src/cryptominisat/src/oracle/oracle.cpp:866:16:
/usr/include/c++/14.2.1/bits/stl_algobase.h:452:30: warning: 'void* __builtin_memmove(void*, const void*, unsigned int)' forming offset 4 is out of the bounds [0, 4] [-Warray-bounds=]
452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
| ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[ 90%] Linking CXX shared library ../lib/libcryptominisat5.so
[ 90%] Built target cryptominisat5
[ 98%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o
[ 98%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o
[ 98%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o
[ 98%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o
[100%] Linking CXX executable ../cryptominisat5
[100%] Built target cryptominisat5-bin
[100%] Built target man_cryptominisat5
* Getting build dependencies for wheel...
running egg_info
creating src/pycryptosat.egg-info
writing src/pycryptosat.egg-info/PKG-INFO
writing dependency_links to src/pycryptosat.egg-info/dependency_links.txt
writing top-level names to src/pycryptosat.egg-info/top_level.txt
writing manifest file 'src/pycryptosat.egg-info/SOURCES.txt'
dependency python/cadiback/cadiback.h won't be automatically included in the manifest: the path doesn't exist
reading manifest file 'src/pycryptosat.egg-info/SOURCES.txt'
reading manifest template 'MANIFEST.in'
warning: no previously-included files matching '*.json' found anywhere in distribution
warning: no previously-included files matching '*.timeout' found anywhere in distribution
warning: no files found matching '*.h' under directory 'src/picosat'
warning: no files found matching '*.hpp' under directory 'src/picosat'
warning: no files found matching '*.hpp' under directory 'src/oracle'
adding license file 'LICENSE.txt'
adding license file 'AUTHORS'
writing manifest file 'src/pycryptosat.egg-info/SOURCES.txt'
* Building wheel...
running bdist_wheel
running build
running build_py
running egg_info
writing src/pycryptosat.egg-info/PKG-INFO
writing dependency_links to src/pycryptosat.egg-info/dependency_links.txt
writing top-level names to src/pycryptosat.egg-info/top_level.txt
dependency python/cadiback/cadiback.h won't be automatically included in the manifest: the path doesn't exist
reading manifest file 'src/pycryptosat.egg-info/SOURCES.txt'
reading manifest template 'MANIFEST.in'
warning: no previously-included files matching '*.json' found anywhere in distribution
warning: no previously-included files matching '*.timeout' found anywhere in distribution
warning: no files found matching '*.h' under directory 'src/picosat'
warning: no files found matching '*.hpp' under directory 'src/picosat'
warning: no files found matching '*.hpp' under directory 'src/oracle'
adding license file 'LICENSE.txt'
adding license file 'AUTHORS'
writing manifest file 'src/pycryptosat.egg-info/SOURCES.txt'
creating build/lib.linux-armv7l-cpython-313/msvc
copying src/msvc/stdint.h -> build/lib.linux-armv7l-cpython-313/msvc
creating build/lib.linux-armv7l-cpython-313/mpicosat
copying src/mpicosat/mpico_config.h -> build/lib.linux-armv7l-cpython-313/mpicosat
copying src/mpicosat/mpicosat.c -> build/lib.linux-armv7l-cpython-313/mpicosat
copying src/mpicosat/mpicosat.h -> build/lib.linux-armv7l-cpython-313/mpicosat
copying src/mpicosat/version.c -> build/lib.linux-armv7l-cpython-313/mpicosat
creating build/lib.linux-armv7l-cpython-313/oracle
copying src/oracle/oracle.h -> build/lib.linux-armv7l-cpython-313/oracle
copying src/oracle/utils.h -> build/lib.linux-armv7l-cpython-313/oracle
running build_clib
building 'picosatlib' library
creating build/temp.linux-armv7l-cpython-313/src/mpicosat
gcc -fno-strict-overflow -Wsign-compare -DNDEBUG -g -O3 -Wall -march=armv7-a -mfloat-abi=hard -mfpu=neon -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -march=armv7-a -mfloat-abi=hard -mfpu=neon -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -march=armv7-a -mfloat-abi=hard -mfpu=neon -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fPIC -Isrc/mpicosat/ -c src/mpicosat/mpicosat.c -o build/temp.linux-armv7l-cpython-313/src/mpicosat/mpicosat.o
src/mpicosat/mpicosat.c: In function 'write_idx':
src/mpicosat/mpicosat.c:6187:18: warning: format '%ld' expects argument of type 'long int', but argument 3 has type 'unsigned int' [-Wformat=]
gcc -fno-strict-overflow -Wsign-compare -DNDEBUG -g -O3 -Wall -march=armv7-a -mfloat-abi=hard -mfpu=neon -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -march=armv7-a -mfloat-abi=hard -mfpu=neon -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -march=armv7-a -mfloat-abi=hard -mfpu=neon -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fPIC -Isrc/mpicosat/ -c src/mpicosat/version.c -o build/temp.linux-armv7l-cpython-313/src/mpicosat/version.o
ar rcs build/temp.linux-armv7l-cpython-313/libpicosatlib.a build/temp.linux-armv7l-cpython-313/src/mpicosat/mpicosat.o build/temp.linux-armv7l-cpython-313/src/mpicosat/version.o
running build_ext
building 'pycryptosat' extension
creating build/temp.linux-armv7l-cpython-313/python/src
g++ -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -DTRACE= -DINSTALLED_CADIBACK= -DCMS_FULL_VERSION=\"5.12.1\" -Isrc/ -I./ -I/usr/include/python3.13 -c python/src/GitSHA1.cpp -o build/temp.linux-armv7l-cpython-313/python/src/GitSHA1.o -I../ -Isrc/ -std=c++17 -DINSTALLED_CADIBACK
<command-line>: warning: "INSTALLED_CADIBACK" redefined
<command-line>: note: this is the location of the previous definition
g++ -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -DTRACE= -DINSTALLED_CADIBACK= -DCMS_FULL_VERSION=\"5.12.1\" -Isrc/ -I./ -I/usr/include/python3.13 -c python/src/pycryptosat.cpp -o build/temp.linux-armv7l-cpython-313/python/src/pycryptosat.o -I../ -Isrc/ -std=c++17 -DINSTALLED_CADIBACK
<command-line>: warning: "INSTALLED_CADIBACK" redefined
<command-line>: note: this is the location of the previous definition
warning: no library file corresponding to '/usr/lib/libcadiback.so' found (skipping)
g++ -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -shared -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS build/temp.linux-armv7l-cpython-313/python/src/GitSHA1.o build/temp.linux-armv7l-cpython-313/python/src/pycryptosat.o -L../build/lib -L/usr/lib -Lbuild/temp.linux-armv7l-cpython-313 -lcryptominisat5 -lpicosatlib -o build/lib.linux-armv7l-cpython-313/pycryptosat.cpython-313-arm-linux-gnueabihf.so
installing to build/bdist.linux-armv7l/wheel
running install
running install_lib
creating build/bdist.linux-armv7l/wheel
creating build/bdist.linux-armv7l/wheel/msvc
copying build/lib.linux-armv7l-cpython-313/msvc/stdint.h -> build/bdist.linux-armv7l/wheel/./msvc
creating build/bdist.linux-armv7l/wheel/mpicosat
copying build/lib.linux-armv7l-cpython-313/mpicosat/mpicosat.h -> build/bdist.linux-armv7l/wheel/./mpicosat
copying build/lib.linux-armv7l-cpython-313/mpicosat/mpicosat.c -> build/bdist.linux-armv7l/wheel/./mpicosat
copying build/lib.linux-armv7l-cpython-313/mpicosat/version.c -> build/bdist.linux-armv7l/wheel/./mpicosat
copying build/lib.linux-armv7l-cpython-313/mpicosat/mpico_config.h -> build/bdist.linux-armv7l/wheel/./mpicosat
copying build/lib.linux-armv7l-cpython-313/pycryptosat.cpython-313-arm-linux-gnueabihf.so -> build/bdist.linux-armv7l/wheel/.
creating build/bdist.linux-armv7l/wheel/oracle
copying build/lib.linux-armv7l-cpython-313/oracle/utils.h -> build/bdist.linux-armv7l/wheel/./oracle
copying build/lib.linux-armv7l-cpython-313/oracle/oracle.h -> build/bdist.linux-armv7l/wheel/./oracle
running install_egg_info
Copying src/pycryptosat.egg-info to build/bdist.linux-armv7l/wheel/./pycryptosat-5.12.1-py3.13.egg-info
running install_scripts
creating build/bdist.linux-armv7l/wheel/pycryptosat-5.12.1.dist-info/WHEEL
creating '/build/cryptominisat/src/cryptominisat/dist/.tmp-5tzcjsb6/pycryptosat-5.12.1-cp313-cp313-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
adding 'pycryptosat.cpython-313-arm-linux-gnueabihf.so'
adding 'mpicosat/mpico_config.h'
adding 'mpicosat/mpicosat.c'
adding 'mpicosat/mpicosat.h'
adding 'mpicosat/version.c'
adding 'msvc/stdint.h'
adding 'oracle/oracle.h'
adding 'oracle/utils.h'
adding 'pycryptosat-5.12.1.dist-info/AUTHORS'
adding 'pycryptosat-5.12.1.dist-info/LICENSE.txt'
adding 'pycryptosat-5.12.1.dist-info/METADATA'
adding 'pycryptosat-5.12.1.dist-info/WHEEL'
adding 'pycryptosat-5.12.1.dist-info/top_level.txt'
adding 'pycryptosat-5.12.1.dist-info/RECORD'
removing build/bdist.linux-armv7l/wheel
Successfully built pycryptosat-5.12.1-cp313-cp313-linux_armv7l.whl
==> Entering fakeroot environment...
==> Starting package()...
-- Install configuration: "RelWithDebInfo"
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/share/man/man1/cryptominisat5.1
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/lib/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/lib/libcryptominisat5.so.5.12
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/lib/libcryptominisat5.so
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/cryptominisat_c.h
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/cryptominisat.h
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/solvertypesmini.h
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/dimacsparser.h
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/include/cryptominisat5/streambuffer.h
-- Installing: /build/cryptominisat/pkg/cryptominisat/usr/bin/cryptominisat5
-- Set non-toolchain portion of runtime path of "/build/cryptominisat/pkg/cryptominisat/usr/bin/cryptominisat5" to ""
==> Tidying install...
-> Removing libtool files...
-> Purging unwanted files...
-> Removing static library files...
-> Stripping unneeded symbols from binaries and libraries...
-> Compressing man and info pages...
==> Checking for packaging issues...
==> WARNING: Package contains reference to $srcdir
usr/bin/cryptominisat5
usr/lib/libcryptominisat5.so.5.12
==> Creating package "cryptominisat"...
-> Generating .PKGINFO file...
-> Generating .BUILDINFO file...
-> Generating .MTREE file...
-> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: cryptominisat 5.12.1-1 (Tue Feb 11 05:23:51 2025)
==> Cleaning up...