==> Synchronizing chroot copy [/home/leming/armv8/root] -> [leming]...done
==> Making package: cryptominisat 5.12.1-2 (Mon Jan 12 02:06:41 2026)
==> Retrieving sources...
-> Updating cryptominisat git repo...
-> Updating cadiback git repo...
-> Updating cadical git repo...
-> 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 ... Passed
cadiback ... Passed
cadical ... Passed
python-system-libs.patch ... Passed
link-private.patch ... Passed
python-3.13.patch ... Passed
==> Making package: cryptominisat 5.12.1-2 (Mon Jan 12 02:06:45 2026)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
looking for conflicting packages...
Packages (33) 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.51.0-1 mpdecimal-4.0.1-1 perl-error-0.17030-3 perl-locale-gettext-1.07-16 perl-mailtools-2.22-3 perl-timedate-2.33-9 procps-ng-4.0.5-3 python-3.14.2-2 python-autocommand-2.2.2-9 python-jaraco.collections-5.1.0-3 python-jaraco.context-6.0.1-3 python-jaraco.functools-4.1.0-3 python-jaraco.text-4.0.0-4 python-more-itertools-10.8.0-2 python-packaging-25.0-4 python-platformdirs-4.5.1-3 python-pyproject-hooks-1.2.0-6 rhash-1.4.6-1 vim-runtime-9.1.2077-1 zlib-ng-2.3.2-1 cmake-4.2.1-1 git-2.52.0-2 help2man-1.49.3-2 python-build-1.3.0-4 python-installer-0.7.0-14 python-setuptools-1:80.9.0-4 python-tomli-2.2.1-2 python-wheel-0.45.1-4 vim-9.1.2077-1
Total Download Size: 10.16 MiB
Total Installed Size: 289.57 MiB
:: Proceed with installation? [Y/n]
:: Retrieving packages...
vim-runtime-9.1.2077-1-aarch64 downloading...
vim-9.1.2077-1-aarch64 downloading...
procps-ng-4.0.5-3-aarch64 downloading...
help2man-1.49.3-2-aarch64 downloading...
gpm-1.20.7.r38.ge82d1a6-6-aarch64 downloading...
python-tomli-2.2.1-2-any downloading...
perl-locale-gettext-1.07-16-aarch64 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 zlib-ng...
installing git...
Optional dependencies for git
git-zsh-completion: upstream zsh completion
tk: gitk and git gui
openssh: ssh transport and crypto
man: show help with `git command --help`
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-cgi: gitweb (web interface) support
python: git svn & git p4 [pending]
subversion: git svn
org.freedesktop.secrets: keyring credential helper
libsecret: libsecret credential helper [installed]
less: the default pager for git
installing perl-locale-gettext...
installing help2man...
installing mpdecimal...
installing python...
Optional dependencies for python
python-setuptools: for building Python packages using tooling that is usually bundled with Python [pending]
python-pip: for installing Python packages using tooling that is usually bundled with Python
python-pipx: for installing Python software not packaged on Arch Linux
sqlite: for a default database integration [installed]
xz: for lzma [installed]
tk: for tkinter
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 968.
Creating user 'git' (git daemon user) with UID 968 and GID 968.
(2/5) Reloading system manager configuration...
Skipped: Current root is not booted.
(3/5) Arming ConditionNeedsUpdate...
(4/5) Checking for old perl modules...
(5/5) Updating the info directory file...
==> 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: compiler supports all required C99/C++11 extensions
configure: compiler configuration supports flexible array members
configure: unlocked IO with '{putc,getc}_unlocked' seems to work
configure: 'closefrom' seems to be working
configure: compiling with 'g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static'
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++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/analyze.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/arena.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/assume.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/averages.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/backtrack.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/backward.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/bins.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/block.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/ccadical.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/checker.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/clause.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/collect.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/compact.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/condition.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/config.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/constrain.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/contract.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/cover.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/decide.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/decompose.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/deduplicate.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/drattracer.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/elim.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/ema.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/extend.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/external.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/external_propagate.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/file.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/flags.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/flip.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/format.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/frattracer.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/gates.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/idruptracer.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/instantiate.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/internal.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/ipasir.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/lidruptracer.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/limit.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/logging.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/lookahead.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/lratbuilder.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/lratchecker.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/lrattracer.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/lucky.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/message.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/minimize.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/occs.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/options.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/parse.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/phases.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/probe.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/profile.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/proof.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/propagate.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/queue.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/random.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/reap.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/reduce.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/rephase.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/report.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/resources.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/restart.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/restore.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/score.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/shrink.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/signal.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/solution.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/solver.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/stats.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/subsume.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/terminal.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/ternary.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/transred.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/util.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/var.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/veripbtracer.cpp
../scripts/make-build-header.sh > build.hpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/vivify.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/walk.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/watch.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../contrib/craigtracer.cpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -Wall -Wextra -O3 -DNDEBUG -static -I../build -I../src -c ../src/version.cpp
ar rc 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 drattracer.o elim.o ema.o extend.o external.o external_propagate.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.o lrattracer.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 transred.o util.o var.o veripbtracer.o version.o vivify.o walk.o watch.o craigtracer.o
make: Leaving directory '/build/cryptominisat/src/cadical/build'
[configure] Using CADICAL='../cadical' version '2.1.3'
[configure] your 'CaDiCaL' version supports 'bool flip (int lit)'
[configure] Compiling with 'g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -fPIC -W -O3 -std=c++17 -DNDEBUG'
[configure] Generated 'makefile' (run 'make' to compile)
./generate > config.hpp
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -fPIC -W -O3 -std=c++17 -DNDEBUG -c cadiback.cpp -I../cadical/src
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 15.2.1
-- The CXX compiler identification is GNU 15.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 - Success
-- 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:493 (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:562 (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.5.1")
-- 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 (11.6s)
-- Generating done (0.0s)
-- Build files have been written to: /build/cryptominisat/src/build
[ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o
[ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle_use.cpp.o
[ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o
[ 7%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/probe.cpp.o
[ 9%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o
Copying cryptominisat_c.h to /build/cryptominisat/src/build/include/cryptominisat5
[ 11%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/backbone.cpp.o
[ 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
[ 26%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o
[ 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
[ 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
[ 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
[ 75%] 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
[ 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
[ 88%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o
[ 90%] Linking CXX shared library ../lib/libcryptominisat5.so
[ 90%] Built target cryptominisat5
[ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o
[ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o
[ 96%] 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
[100%] Linking CXX executable ../cryptominisat5
[100%] Built target cryptominisat5-bin
[100%] Built target man_cryptominisat5
* Getting build dependencies for wheel...
/usr/lib/python3.14/site-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated
!!
********************************************************************************
Please use a simple string containing a SPDX expression for `project.license`. You can also use `project.license-files`. (Both options available on setuptools>=77.0.0).
By 2026-Feb-18, you need to update your project and remove deprecated calls
or your builds will no longer be supported.
See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
********************************************************************************
!!
corresp(dist, value, root_dir)
/usr/lib/python3.14/site-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated.
!!
********************************************************************************
Please consider removing the following classifiers in favor of a SPDX license expression:
License :: OSI Approved :: MIT License
See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
********************************************************************************
!!
dist._finalize_license_expression()
/usr/lib/python3.14/site-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
!!
********************************************************************************
Please consider removing the following classifiers in favor of a SPDX license expression:
License :: OSI Approved :: MIT License
See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
********************************************************************************
!!
self._finalize_license_expression()
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...
/usr/lib/python3.14/site-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsDeprecationWarning: `project.license` as a TOML table is deprecated
!!
********************************************************************************
Please use a simple string containing a SPDX expression for `project.license`. You can also use `project.license-files`. (Both options available on setuptools>=77.0.0).
By 2026-Feb-18, you need to update your project and remove deprecated calls
or your builds will no longer be supported.
See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
********************************************************************************
!!
corresp(dist, value, root_dir)
/usr/lib/python3.14/site-packages/setuptools/config/_apply_pyprojecttoml.py:61: SetuptoolsDeprecationWarning: License classifiers are deprecated.
!!
********************************************************************************
Please consider removing the following classifiers in favor of a SPDX license expression:
License :: OSI Approved :: MIT License
See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
********************************************************************************
!!
dist._finalize_license_expression()
/usr/lib/python3.14/site-packages/setuptools/dist.py:759: SetuptoolsDeprecationWarning: License classifiers are deprecated.
!!
********************************************************************************
Please consider removing the following classifiers in favor of a SPDX license expression:
License :: OSI Approved :: MIT License
See https://packaging.python.org/en/latest/guides/writing-pyproject-toml/#license for details.
********************************************************************************
!!
self._finalize_license_expression()
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-aarch64-cpython-314/oracle
copying src/oracle/oracle.h -> build/lib.linux-aarch64-cpython-314/oracle
copying src/oracle/utils.h -> build/lib.linux-aarch64-cpython-314/oracle
creating build/lib.linux-aarch64-cpython-314/msvc
copying src/msvc/stdint.h -> build/lib.linux-aarch64-cpython-314/msvc
creating build/lib.linux-aarch64-cpython-314/mpicosat
copying src/mpicosat/mpico_config.h -> build/lib.linux-aarch64-cpython-314/mpicosat
copying src/mpicosat/mpicosat.c -> build/lib.linux-aarch64-cpython-314/mpicosat
copying src/mpicosat/mpicosat.h -> build/lib.linux-aarch64-cpython-314/mpicosat
copying src/mpicosat/version.c -> build/lib.linux-aarch64-cpython-314/mpicosat
running build_clib
building 'picosatlib' library
creating build/temp.linux-aarch64-cpython-314/src/mpicosat
gcc -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fPIC -fPIC -Isrc/mpicosat/ -c src/mpicosat/mpicosat.c -o build/temp.linux-aarch64-cpython-314/src/mpicosat/mpicosat.o
gcc -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fPIC -fPIC -Isrc/mpicosat/ -c src/mpicosat/version.c -o build/temp.linux-aarch64-cpython-314/src/mpicosat/version.o
ar rcs build/temp.linux-aarch64-cpython-314/libpicosatlib.a build/temp.linux-aarch64-cpython-314/src/mpicosat/mpicosat.o build/temp.linux-aarch64-cpython-314/src/mpicosat/version.o
running build_ext
building 'pycryptosat' extension
creating build/temp.linux-aarch64-cpython-314/python/src
g++ -march=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -fPIC -DTRACE= -DINSTALLED_CADIBACK= -DCMS_FULL_VERSION=\"5.12.1\" -Isrc/ -I./ -I/usr/include/python3.14 -c python/src/GitSHA1.cpp -o build/temp.linux-aarch64-cpython-314/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=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -fPIC -DTRACE= -DINSTALLED_CADIBACK= -DCMS_FULL_VERSION=\"5.12.1\" -Isrc/ -I./ -I/usr/include/python3.14 -c python/src/pycryptosat.cpp -o build/temp.linux-aarch64-cpython-314/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=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC -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=armv8-a -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -fPIC build/temp.linux-aarch64-cpython-314/python/src/GitSHA1.o build/temp.linux-aarch64-cpython-314/python/src/pycryptosat.o -L../build/lib -L/usr/lib -Lbuild/temp.linux-aarch64-cpython-314 -lcryptominisat5 -lpicosatlib -o build/lib.linux-aarch64-cpython-314/pycryptosat.cpython-314-aarch64-linux-gnu.so
installing to build/bdist.linux-aarch64/wheel
running install
running install_lib
creating build/bdist.linux-aarch64/wheel
creating build/bdist.linux-aarch64/wheel/oracle
copying build/lib.linux-aarch64-cpython-314/oracle/oracle.h -> build/bdist.linux-aarch64/wheel/./oracle
copying build/lib.linux-aarch64-cpython-314/oracle/utils.h -> build/bdist.linux-aarch64/wheel/./oracle
creating build/bdist.linux-aarch64/wheel/msvc
copying build/lib.linux-aarch64-cpython-314/msvc/stdint.h -> build/bdist.linux-aarch64/wheel/./msvc
creating build/bdist.linux-aarch64/wheel/mpicosat
copying build/lib.linux-aarch64-cpython-314/mpicosat/version.c -> build/bdist.linux-aarch64/wheel/./mpicosat
copying build/lib.linux-aarch64-cpython-314/mpicosat/mpico_config.h -> build/bdist.linux-aarch64/wheel/./mpicosat
copying build/lib.linux-aarch64-cpython-314/mpicosat/mpicosat.c -> build/bdist.linux-aarch64/wheel/./mpicosat
copying build/lib.linux-aarch64-cpython-314/mpicosat/mpicosat.h -> build/bdist.linux-aarch64/wheel/./mpicosat
copying build/lib.linux-aarch64-cpython-314/pycryptosat.cpython-314-aarch64-linux-gnu.so -> build/bdist.linux-aarch64/wheel/.
running install_egg_info
Copying src/pycryptosat.egg-info to build/bdist.linux-aarch64/wheel/./pycryptosat-5.12.1-py3.14.egg-info
running install_scripts
creating build/bdist.linux-aarch64/wheel/pycryptosat-5.12.1.dist-info/WHEEL
creating '/build/cryptominisat/src/cryptominisat/dist/.tmp-jsyd9zz8/pycryptosat-5.12.1-cp314-cp314-linux_aarch64.whl' and adding 'build/bdist.linux-aarch64/wheel' to it
adding 'pycryptosat.cpython-314-aarch64-linux-gnu.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/licenses/AUTHORS'
adding 'pycryptosat-5.12.1.dist-info/licenses/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-aarch64/wheel
Successfully built pycryptosat-5.12.1-cp314-cp314-linux_aarch64.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...
-> Removing static library files...
-> Purging unwanted 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-2 (Mon Jan 12 02:08:17 2026)
==> Cleaning up...
[?12l[?25h