==> Synchronizing chroot copy [/home/leming/armv8/root] -> [leming]...done
==> Making package: cryptominisat 5.13.0-1 (Wed Mar 4 00:33:11 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.13.0-1 (Wed Mar 4 00:33:23 2026)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
looking for conflicting packages...
Packages (35) 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.52.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.34-1 procps-ng-4.0.6-1 python-3.14.3-1 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-26.0-1 python-pkg_resources-81.0.0-1 python-platformdirs-4.9.3-1 python-pyproject-hooks-1.2.0-6 python-typing_extensions-4.15.0-3 rhash-1.4.6-1 vim-runtime-9.2.0081-1 zlib-ng-2.3.3-1 cmake-4.2.3-1 git-2.53.0-1 help2man-1.49.3-2 python-build-1.4.0-1 python-installer-0.7.0-14 python-setuptools-1:82.0.0-1 python-tomli-2.4.0-1 python-wheel-0.46.3-1 vim-9.2.0081-1
Total Download Size: 9.48 MiB
Total Installed Size: 291.93 MiB
:: Proceed with installation? [Y/n]
:: Retrieving packages...
vim-runtime-9.2.0081-1-aarch64 downloading...
vim-9.2.0081-1-aarch64 downloading...
help2man-1.49.3-2-aarch64 downloading...
gpm-1.20.7.r38.ge82d1a6-6-aarch64 downloading...
python-tomli-2.4.0-1-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-typing_extensions...
installing python-pkg_resources...
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
Hunk #1 succeeded at 58 (offset -3 lines).
patching file python/tests/test_pycryptosat.py
patching file src/CMakeLists.txt
Hunk #1 succeeded at 274 (offset 1 line).
==> 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: 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'
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/analyze.cpp -o src/analyze.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/arena.cpp -o src/arena.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/assume.cpp -o src/assume.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/averages.cpp -o src/averages.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/backtrack.cpp -o src/backtrack.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/backward.cpp -o src/backward.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/bins.cpp -o src/bins.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/block.cpp -o src/block.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/ccadical.cpp -o src/ccadical.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/checker.cpp -o src/checker.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/clause.cpp -o src/clause.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/collect.cpp -o src/collect.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/compact.cpp -o src/compact.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/condition.cpp -o src/condition.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/config.cpp -o src/config.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/constrain.cpp -o src/constrain.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/contract.cpp -o src/contract.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/cover.cpp -o src/cover.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/decide.cpp -o src/decide.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/decompose.cpp -o src/decompose.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/deduplicate.cpp -o src/deduplicate.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/drattracer.cpp -o src/drattracer.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/elim.cpp -o src/elim.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/ema.cpp -o src/ema.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/extend.cpp -o src/extend.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/external.cpp -o src/external.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/external_propagate.cpp -o src/external_propagate.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/file.cpp -o src/file.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/flags.cpp -o src/flags.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/flip.cpp -o src/flip.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/format.cpp -o src/format.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/frattracer.cpp -o src/frattracer.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/gates.cpp -o src/gates.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/idruptracer.cpp -o src/idruptracer.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/instantiate.cpp -o src/instantiate.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/internal.cpp -o src/internal.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/ipasir.cpp -o src/ipasir.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/lidruptracer.cpp -o src/lidruptracer.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/limit.cpp -o src/limit.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/logging.cpp -o src/logging.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/lookahead.cpp -o src/lookahead.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/lratbuilder.cpp -o src/lratbuilder.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/lratchecker.cpp -o src/lratchecker.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/lrattracer.cpp -o src/lrattracer.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/lucky.cpp -o src/lucky.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/message.cpp -o src/message.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/minimize.cpp -o src/minimize.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/occs.cpp -o src/occs.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/options.cpp -o src/options.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/parse.cpp -o src/parse.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/phases.cpp -o src/phases.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/probe.cpp -o src/probe.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/profile.cpp -o src/profile.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/proof.cpp -o src/proof.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/propagate.cpp -o src/propagate.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/queue.cpp -o src/queue.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/random.cpp -o src/random.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/reap.cpp -o src/reap.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/reduce.cpp -o src/reduce.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/rephase.cpp -o src/rephase.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/report.cpp -o src/report.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/resources.cpp -o src/resources.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/restart.cpp -o src/restart.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/restore.cpp -o src/restore.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/score.cpp -o src/score.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/shrink.cpp -o src/shrink.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/signal.cpp -o src/signal.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/solution.cpp -o src/solution.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/solver.cpp -o src/solver.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/stats.cpp -o src/stats.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/subsume.cpp -o src/subsume.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/terminal.cpp -o src/terminal.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/ternary.cpp -o src/ternary.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/transred.cpp -o src/transred.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/util.cpp -o src/util.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/var.cpp -o src/var.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/veripbtracer.cpp -o src/veripbtracer.o
/build/cryptominisat/src/cadical/scripts/make-build-header.sh > build.hpp
/build/cryptominisat/src/cadical/scripts/make-build-header.sh: line 84: warning: setlocale: LC_TIME: cannot change locale (en_US): No such file or directory
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/vivify.cpp -o src/vivify.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/walk.cpp -o src/walk.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/watch.cpp -o src/watch.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/contrib/craigtracer.cpp -o contrib/craigtracer.o
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 -I../build -I/build/cryptominisat/src/cadical/src -c /build/cryptominisat/src/cadical/src/version.cpp -o src/version.o
ar rc libcadical.a src/analyze.o src/arena.o src/assume.o src/averages.o src/backtrack.o src/backward.o src/bins.o src/block.o src/ccadical.o src/checker.o src/clause.o src/collect.o src/compact.o src/condition.o src/config.o src/constrain.o src/contract.o src/cover.o src/decide.o src/decompose.o src/deduplicate.o src/drattracer.o src/elim.o src/ema.o src/extend.o src/external.o src/external_propagate.o src/file.o src/flags.o src/flip.o src/format.o src/frattracer.o src/gates.o src/idruptracer.o src/instantiate.o src/internal.o src/ipasir.o src/lidruptracer.o src/limit.o src/logging.o src/lookahead.o src/lratbuilder.o src/lratchecker.o src/lrattracer.o src/lucky.o src/message.o src/minimize.o src/occs.o src/options.o src/parse.o src/phases.o src/probe.o src/profile.o src/proof.o src/propagate.o src/queue.o src/random.o src/reap.o src/reduce.o src/rephase.o src/report.o src/resources.o src/restart.o src/restore.o src/score.o src/shrink.o src/signal.o src/solution.o src/solver.o src/stats.o src/subsume.o src/terminal.o src/ternary.o src/transred.o src/util.o src/var.o src/veripbtracer.o src/version.o src/vivify.o src/walk.o src/watch.o contrib/craigtracer.o
make: Leaving directory '/build/cryptominisat/src/cadical/build'
[configure] Using CADICAL='../cadical' version '2.0.0'
[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 -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 -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_-msse4.2
-- Performing Test HAVE_FLAG_-msse4.2 - Failed
-- Performing Test HAVE_FLAG_-mpopcnt
-- Performing Test HAVE_FLAG_-mpopcnt - Failed
-- Performing Test HAVE_FLAG_-march=sandybridge
-- Performing Test HAVE_FLAG_-march=sandybridge - Failed
-- 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_-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: e60d03528e7bb2ad577f3ca5a8e6e478fe7407f1
-- PROJECT_VERSION: 5.13.0
-- PROJECT_VERSION_MAJOR: 5
-- PROJECT_VERSION_MINOR: 13
-- PROJECT_VERSION_PATCH: 0
-- Not compiling detailed statistics. The system is faster without them
CMake Warning (dev) at CMakeLists.txt:439 (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.2")
-- 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:528 (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: -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:620 (message):
Testing is disabled
-- Configuring done (11.3s)
-- Generating done (0.0s)
-- Build files have been written to: /build/cryptominisat/src/build
[ 1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle_use.cpp.o
[ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o
[ 5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/probe.cpp.o
[ 7%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/backbone.cpp.o
[ 9%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o
Copying cryptominisat_c.h to /build/cryptominisat/src/build/include/cryptominisat5
[ 11%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o
[ 12%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o
Copying mpicosat.h to /build/cryptominisat/src/build/include/cryptominisat5
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
[ 12%] Built target CopyPublicHeaders
[ 14%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o
[ 16%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o
[ 18%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o
[ 20%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o
[ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o
[ 24%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o
[ 25%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o
[ 27%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o
[ 29%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o
[ 31%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o
[ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o
[ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o
[ 37%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o
[ 38%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o
[ 40%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o
[ 42%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o
[ 44%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o
[ 46%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o
[ 48%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o
[ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o
[ 51%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o
[ -5%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o
[ 55%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o
[ 57%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o
[ 59%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o
[ 61%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o
[ 62%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o
[ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o
[ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o
[ 68%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_oracle.cpp.o
[ 70%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_oracle_pre.cpp.o
[ 72%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o
[ 74%] 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
[ 85%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o
[ 87%] 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.cpp.o
[ 96%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.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 2027-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:765: 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'
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 2027-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:765: 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
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 -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 -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 -DTRACE= -DCMS_FULL_VERSION=\"5.13.0\" -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
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 -DTRACE= -DCMS_FULL_VERSION=\"5.13.0\" -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
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 -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 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.13.0-py3.14.egg-info
running install_scripts
creating build/bdist.linux-aarch64/wheel/pycryptosat-5.13.0.dist-info/WHEEL
creating '/build/cryptominisat/src/cryptominisat/dist/.tmp-zewjig0c/pycryptosat-5.13.0-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.13.0.dist-info/licenses/AUTHORS'
adding 'pycryptosat-5.13.0.dist-info/licenses/LICENSE.txt'
adding 'pycryptosat-5.13.0.dist-info/METADATA'
adding 'pycryptosat-5.13.0.dist-info/WHEEL'
adding 'pycryptosat-5.13.0.dist-info/top_level.txt'
adding 'pycryptosat-5.13.0.dist-info/RECORD'
removing build/bdist.linux-aarch64/wheel
Successfully built pycryptosat-5.13.0-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.13
-- 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/mpicosat.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.13
==> Creating package "cryptominisat"...
-> Generating .PKGINFO file...
-> Generating .BUILDINFO file...
-> Generating .MTREE file...
-> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: cryptominisat 5.13.0-1 (Wed Mar 4 00:35:00 2026)
==> Cleaning up...
[?12l[?25h