==> Synchronizing chroot copy [/home/leming/armv7/root] -> [leming]...done
==> Making package: stp 2.3.4-6 (Tue Jan 13 01:33:14 2026)
==> Retrieving sources...
-> Found stp-2.3.4.tar.gz
-> Found mandir.patch
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with sha256sums...
stp-2.3.4.tar.gz ... Passed
mandir.patch ... Passed
==> Making package: stp 2.3.4-6 (Tue Jan 13 08:33:40 2026)
==> Checking runtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
looking for conflicting packages...
Packages (3) boost-libs-1.89.0-4 cryptominisat-5.12.1-2 minisat-2.2.1.20201216-2
Total Download Size: 0.91 MiB
Total Installed Size: 12.78 MiB
:: Proceed with installation? [Y/n]
:: Retrieving packages...
cryptominisat-5.12.1-2-armv7h downloading...
minisat-2.2.1.20201216-2-armv7h downloading...
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing boost-libs...
Optional dependencies for boost-libs
openmpi: for mpi support
installing cryptominisat...
Optional dependencies for cryptominisat
python: python module
installing minisat...
:: Running post-transaction hooks...
(1/1) Arming ConditionNeedsUpdate...
==> Checking buildtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
looking for conflicting packages...
Packages (22) cppdap-1.58.0-2 hicolor-icon-theme-0.18-1 jsoncpp-1.9.6-3 libuv-1.51.0-1 mpdecimal-4.0.1-1 perl-locale-gettext-1.07-16 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-wheel-0.45.1-4 rhash-1.4.6-1 boost-1.89.0-4 cmake-4.2.1-1 help2man-1.49.3-2 ninja-1.13.2-2 python-3.14.2-2 python-setuptools-1:80.9.0-4
Total Installed Size: 361.88 MiB
:: Proceed with installation? [Y/n]
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing boost...
Optional dependencies for boost
python: for python bindings [pending]
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 [pending]
qt6-base: cmake-gui
installing perl-locale-gettext...
installing help2man...
installing ninja...
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-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-packaging...
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...
:: Running post-transaction hooks...
(1/3) Arming ConditionNeedsUpdate...
(2/3) Checking for old perl modules...
(3/3) Updating the info directory file...
==> Retrieving sources...
-> Found stp-2.3.4.tar.gz
-> Found mandir.patch
==> WARNING: Skipping all source file integrity checks.
==> Extracting sources...
-> Extracting stp-2.3.4.tar.gz with bsdtar
==> Starting prepare()...
patching file CMakeLists.txt
Hunk #1 succeeded at 530 (offset 43 lines).
patch: setting attribute security.SMACK64 for security.SMACK64: Operation not permitted
==> Starting 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
-- Doing a None build
-- Performing Test HAVE_FLAG_STD_CPP11
-- Performing Test HAVE_FLAG_STD_CPP11 - 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_-pedantic
-- Performing Test HAVE_FLAG_-pedantic - Success
-- Performing Test HAVE_FLAG_-Wsign-compare
-- Performing Test HAVE_FLAG_-Wsign-compare - 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_-fno-omit-frame-pointer
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success
-- PROJECT_VERSION: 2.3.3
-- PROJECT_VERSION_MAJOR: 2
-- PROJECT_VERSION_MINOR: 3
-- PROJECT_VERSION_PATCH: 3
-- Found Boost: /usr/lib/cmake/Boost-1.89.0/BoostConfig.cmake (found suitable version "1.89.0", minimum required is "1.46") found components: program_options
-- 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
-- GMP includes: /usr/include
-- GMP libraries: /usr/lib/libgmpxx.so;/usr/lib/libgmp.so
-- CryptoMiniSat5 dynamic lib: cryptominisat5
-- CryptoMiniSat5 static lib: cryptominisat5
-- CryptoMiniSat5 static lib deps:
-- CryptoMiniSat5 include dirs: /usr/include
-- Found ZLIB: /usr/lib/libz.so (found version "1.3.1")
-- Manpage will be created and installed
-- Finding minisat headers...
-- looking at:
-- found: MINISAT_INCLUDE_DIR: /usr/include
-- Finding minisat libs...
-- looking at:
-- found: MINISAT_LIBRARY: /lib/libminisat.so
-- Found minisat: /lib/libminisat.so
-- OK, found Minisat library under /lib/libminisat.so and Minisat include dirs under /usr/include
-- Found BISON: /usr/bin/bison (found version "3.8.2")
-- Found FLEX: /usr/bin/flex (found version "2.6.4")
-- Found Perl: /usr/bin/perl (found version "5.42.0")
-- All defines at startup: -D__STDC_LIMIT_MACROS -DUSE_CRYPTOMINISAT
-- Found PythonInterp: /usr/bin/python (found version "3.14.2")
-- Final CXX flags -march=armv7-a -mfloat-abi=hard -mfpu=neon -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -Wp,-D_GLIBCXX_ASSERTIONS -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -fno-omit-frame-pointer
-- Looking for unistd.h
-- Looking for unistd.h - found
-- Performing Test HAVE_C_FLAG_-fPIC
-- Performing Test HAVE_C_FLAG_-fPIC - Success
-- Detected python site package directory /usr/lib/python3.14/site-packages
-- The following features have been enabled:
* Assertions, Enables assertions
* ThreadLocal, Enables use of thread-local storage when available
* CryptoMiniSat, Enables CryptoMiniSat solver, allows --cryptominisat5 option
* PythonInterface, Enables Python interface
* Executables, Enables executables compilation
-- The following features have been disabled:
* Sanitizers, Enables Clang sanitizers, will force using clang++ as the compiler
* Static, Compiles static library and executable
* SimpleOptions, Simplifies command-line interface, only a few command-line options will be available
* Riss, Enables Riss solver
* Tests, Enables tests
-- Configuring done (12.2s)
-- Generating done (0.3s)
-- Build files have been written to: /build/stp/src/build
[ 1%] Building CXX object lib/extlib-constbv/CMakeFiles/constantbv.dir/constantbv.cpp.o
[ 2%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigCheck.c.o
[ 3%] Generating ASTKind.cpp, ../../include/stp/AST/ASTKind.h
[ 4%] Building CXX object lib/Sat/CMakeFiles/sat.dir/MinisatCore.cpp.o
[ 5%] Generating ../../include/stp/c_interface.h
LEGACY: Copying c_interface.h to /build/stp/src/build/include/stp
[ 5%] Generating ../../include/stp/cpp_interface.h
[ 6%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigDfs.c.o
LEGACY: Copying cpp_interface.h to /build/stp/src/build/include/stp
[ 6%] Built target ASTKind_header
[ 6%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigFanout.c.o
[ 6%] Built target CopyPublicHeaders
[ 7%] Building CXX object lib/Sat/CMakeFiles/sat.dir/SimplifyingMinisat.cpp.o
[ 7%] Building CXX object lib/NodeFactory/CMakeFiles/nodefactories.dir/HashingNodeFactory.cpp.o
[ 8%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigMan.c.o
[ 9%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigMem.c.o
[ 10%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigMffc.c.o
/build/stp/src/stp-2.3.4/lib/extlib-constbv/constantbv.cpp: In function 'unsigned char* CONSTANTBV::BitVector_to_Bin(unsigned int*)':
/build/stp/src/stp-2.3.4/lib/extlib-constbv/constantbv.cpp:1512:23: warning: comparison of integer expressions of different signedness: 'long int' and 'unsigned int' [-Wsign-compare]
[ 10%] Built target constantbv
[ 11%] Building CXX object lib/Sat/CMakeFiles/sat.dir/CryptoMinisat5.cpp.o
[ 11%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigObj.c.o
[ 12%] Building CXX object lib/NodeFactory/CMakeFiles/nodefactories.dir/NodeFactory.cpp.o
[ 13%] Building CXX object lib/Globals/CMakeFiles/stpglobals.dir/Globals.cpp.o
[ 14%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigOper.c.o
[ 15%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigOrder.c.o
[ 16%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigPart.c.o
[ 17%] Building CXX object lib/NodeFactory/CMakeFiles/nodefactories.dir/SimplifyingNodeFactory.cpp.o
[ 17%] Built target sat
[ 18%] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTKind.cpp.o
[ 19%] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTInterior.cpp.o
[ 19%] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTNode.cpp.o
[ 19%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigRepr.c.o
[ 20%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigRet.c.o
[ 20%] Built target stpglobals
[ 21%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigScl.c.o
[ 21%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigSeq.c.o
[ 22%] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTUtil.cpp.o
[ 23%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigShow.c.o
[ 24%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTable.c.o
[ 25%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTime.c.o
[ 26%] Building CXX object lib/AbsRefineCounterExample/CMakeFiles/abstractionrefinement.dir/AbstractionRefinement.cpp.o
[ 26%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTiming.c.o
[ 27%] Building CXX object lib/AbsRefineCounterExample/CMakeFiles/abstractionrefinement.dir/CounterExample.cpp.o
[ 28%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTruth.c.o
[ 29%] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTBVConst.cpp.o
[ 30%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTsim.c.o
[ 31%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigUtil.c.o
/build/stp/src/stp-2.3.4/lib/extlib-abc/aig/aig/aigUtil.c: In function 'Aig_ManDump':
/build/stp/src/stp-2.3.4/lib/extlib-abc/aig/aig/aigUtil.c:663:24: warning: '.blif' directive writing 5 bytes into a region of size between 2 and 10 [-Wformat-overflow=]
In file included from /usr/include/stdio.h:970,
from /build/stp/src/stp-2.3.4/lib/extlib-abc/aig.h:50,
from /build/stp/src/stp-2.3.4/lib/extlib-abc/aig/aig/aigUtil.c:39:
In function 'sprintf',
inlined from 'Aig_ManDump' at /build/stp/src/stp-2.3.4/lib/extlib-abc/aig/aig/aigUtil.c:663:5:
/usr/include/bits/stdio2.h:30:10: note: '__builtin___sprintf_chk' output between 16 and 24 bytes into a destination of size 20
30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
31 | __glibc_objsize (__s), __fmt,
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
32 | __va_arg_pack ());
| ~~~~~~~~~~~~~~~~~~
[ 31%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigWin.c.o
[ 32%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfCore.c.o
[ 33%] Building CXX object lib/NodeFactory/CMakeFiles/nodefactories.dir/TypeChecker.cpp.o
[ 34%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfCut.c.o
[ 35%] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTmisc.cpp.o
[ 36%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfData.c.o
[ 36%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfMan.c.o
[ 37%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfMap.c.o
[ 37%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/BVSolver.cpp.o
[ 38%] Building CXX object lib/AbsRefineCounterExample/CMakeFiles/abstractionrefinement.dir/ArrayTransformer.cpp.o
[ 39%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfPost.c.o
[ 39%] Built target nodefactories
[ 40%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/consteval.cpp.o
[ 40%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfUtil.c.o
[ 41%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfWrite.c.o
[ 42%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darBalance.c.o
/build/stp/src/stp-2.3.4/lib/AST/ASTmisc.cpp: In function 'bool stp::BVTypeCheck_term_kind(const ASTNode&, const Kind&)':
/build/stp/src/stp-2.3.4/lib/AST/ASTmisc.cpp:415:7: warning: this statement may fall through [-Wimplicit-fallthrough=]
/build/stp/src/stp-2.3.4/lib/AST/ASTmisc.cpp:419:5: note: here
[ 43%] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTSymbol.cpp.o
[ 43%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darCore.c.o
[ 43%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darCut.c.o
[ 44%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/PropagateEqualities.cpp.o
[ 45%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darData.c.o
[ 46%] Building CXX object lib/Printer/CMakeFiles/printer.dir/AssortedPrinters.cpp.o
[ 46%] Built target abstractionrefinement
[ 47%] Building CXX object lib/Printer/CMakeFiles/printer.dir/BenchPrinter.cpp.o
[ 48%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darLib.c.o
[ 49%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darMan.c.o
[ 50%] Building CXX object lib/AST/CMakeFiles/AST.dir/MutableASTNode.cpp.o
[ 50%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darPrec.c.o
[ 51%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darRefact.c.o
[ 52%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/dar/darScript.c.o
[ 52%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/kit/kitAig.c.o
[ 52%] Building CXX object lib/Printer/CMakeFiles/printer.dir/CPrinter.cpp.o
[ 53%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/kit/kitGraph.c.o
[ 54%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/kit/kitIsop.c.o
/build/stp/src/stp-2.3.4/lib/Simplifier/PropagateEqualities.cpp: In function 'void stp::log(std::string)':
/build/stp/src/stp-2.3.4/lib/Simplifier/PropagateEqualities.cpp:32:22: warning: unused parameter 's' [-Wunused-parameter]
/build/stp/src/stp-2.3.4/lib/Simplifier/PropagateEqualities.cpp: In member function 'void stp::PropagateEqualities::buildCandidateList(const stp::ASTNode&)':
/build/stp/src/stp-2.3.4/lib/Simplifier/PropagateEqualities.cpp:530:18: warning: unused variable 'old' [-Wunused-variable]
[ 55%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/RemoveUnconstrained.cpp.o
[ 55%] Built target AST
[ 55%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/Simplifier.cpp.o
[ 56%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/kit/kitSop.c.o
[ 56%] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/kit/kitTruth.c.o
[ 57%] Building CXX object lib/Printer/CMakeFiles/printer.dir/dotPrinter.cpp.o
[ 57%] Built target abc
[ 57%] Generating parsesmt.tab.cpp, parsesmt.tab.h, lexsmt.cpp
/build/stp/src/stp-2.3.4/lib/Parser/smt.y: warning: 72 shift/reduce conflicts [-Wconflicts-sr]
/build/stp/src/stp-2.3.4/lib/Parser/smt.y: note: rerun with option '-Wcounterexamples' to generate conflict counterexamples
[ 58%] Building CXX object lib/Printer/CMakeFiles/printer.dir/GDLPrinter.cpp.o
[ 58%] Built target parser_headersmt
[ 59%] Generating parsecvc.tab.cpp, parsecvc.tab.h, lexcvc.cpp
/build/stp/src/stp-2.3.4/lib/Parser/cvc.y:1053.3-1058.1: warning: rule useless in parser due to conflicts [-Wother]
1053 | | Updates WITH_TOK '[' Expr ']' ASSIGN_TOK Expr
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[ 60%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/SubstitutionMap.cpp.o
[ 61%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/VariablesInExpression.cpp.o
[ 61%] Built target parser_headercvc
[ 62%] Generating parsesmt2.tab.cpp, parsesmt2.tab.h, lexsmt2.cpp
[ 63%] Building CXX object lib/Printer/CMakeFiles/printer.dir/LispPrinter.cpp.o
[ 63%] Built target parser_headersmt2
[ 63%] Building CXX object lib/Interface/CMakeFiles/cinterface.dir/c_interface.cpp.o
[ 63%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/DifficultyScore.cpp.o
[ 63%] Building CXX object lib/Printer/CMakeFiles/printer.dir/PLPrinter.cpp.o
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp: In member function 'stp::ASTNodeMap stp::Simplifier::FindConsts_TopLevel(const stp::ASTNode&, bool, stp::ASTNodeMap*)':
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp:298:19: warning: loop variable 'e' creates a copy from type 'const std::pair<const stp::ASTNode, stp::ASTNode>' [-Wrange-loop-construct]
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp:298:19: note: use reference type to prevent copying
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp: In member function 'stp::ASTNode stp::Simplifier::simplify_term_switch(const stp::ASTNode&, stp::ASTNode&, stp::ASTNode&, stp::ASTNodeMap*, stp::Kind, unsigned int)':
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp:2480:11: warning: this statement may fall through [-Wimplicit-fallthrough=]
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp:2483:9: note: here
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp:1965:5: warning: this statement may fall through [-Wimplicit-fallthrough=]
/build/stp/src/stp-2.3.4/lib/Simplifier/Simplifier.cpp:1969:5: note: here
[ 64%] Building CXX object lib/Interface/CMakeFiles/cppinterface.dir/cpp_interface.cpp.o
[ 65%] Building CXX object lib/Printer/CMakeFiles/printer.dir/SMTLIB1Printer.cpp.o
[ 66%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/UseITEContext.cpp.o
[ 67%] Building CXX object lib/Printer/CMakeFiles/printer.dir/SMTLIB2Printer.cpp.o
[ 67%] Building CXX object lib/Printer/CMakeFiles/printer.dir/SMTLIBPrinter.cpp.o
[ 67%] Built target cinterface
[ 68%] Building CXX object lib/STPManager/CMakeFiles/stpmgr.dir/STP.cpp.o
[ 69%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/FindPureLiterals.cpp.o
[ 69%] Built target cppinterface
[ 70%] Building CXX object lib/ToSat/CMakeFiles/tosat.dir/BitBlaster.cpp.o
[ 71%] Building CXX object lib/ToSat/CMakeFiles/tosat.dir/ToSATBase.cpp.o
[ 72%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/StrengthReduction.cpp.o
[ 72%] Built target printer
[ 72%] Building CXX object lib/STPManager/CMakeFiles/stpmgr.dir/STPManager.cpp.o
[ 73%] Building CXX object lib/Util/CMakeFiles/util.dir/GitSHA1.cpp.o
[ 74%] Building CXX object lib/Util/CMakeFiles/util.dir/RunTimes.cpp.o
[ 74%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/AIGSimplifyPropositionalCore.cpp.o
[ 74%] Built target util
[ 75%] Building CXX object lib/Parser/CMakeFiles/parser.dir/LetMgr.cpp.o
[ 75%] Building CXX object lib/Parser/CMakeFiles/parser.dir/lexcvc.cpp.o
[ 75%] Built target stpmgr
[ 76%] Building CXX object lib/Parser/CMakeFiles/parser.dir/parsecvc.tab.cpp.o
[ 77%] Building CXX object lib/Parser/CMakeFiles/parser.dir/lexsmt2.cpp.o
[ 78%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/UnsignedIntervalAnalysis.cpp.o
[ 79%] Building CXX object lib/Parser/CMakeFiles/parser.dir/parsesmt2.tab.cpp.o
[ 80%] Building CXX object lib/ToSat/CMakeFiles/tosat.dir/BBNodeManagerAIG.cpp.o
[ 80%] Building CXX object lib/Parser/CMakeFiles/parser.dir/lexsmt.cpp.o
[ 80%] Building CXX object lib/ToSat/CMakeFiles/tosat.dir/ToCNFAIG.cpp.o
/build/stp/src/stp-2.3.4/lib/Simplifier/UnsignedIntervalAnalysis.cpp: In member function 'stp::UnsignedInterval* stp::UnsignedIntervalAnalysis::dispatchToTransferFunctions(const stp::ASTNode&, const std::vector<const stp::UnsignedInterval*>&)':
/build/stp/src/stp-2.3.4/lib/Simplifier/UnsignedIntervalAnalysis.cpp:462:42: warning: comparison of integer expressions of different signedness: 'long int' and 'const unsigned int' [-Wsign-compare]
/build/stp/src/stp-2.3.4/lib/Simplifier/UnsignedIntervalAnalysis.cpp:592:42: warning: comparison of integer expressions of different signedness: 'long int' and 'const unsigned int' [-Wsign-compare]
[ 81%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/Flatten.cpp.o
[ 82%] Building CXX object lib/Parser/CMakeFiles/parser.dir/parsesmt.tab.cpp.o
[ 83%] Building CXX object lib/ToSat/CMakeFiles/tosat.dir/ToSATAIG.cpp.o
[ 84%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/NodeDomainAnalysis.cpp.o
[ 84%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/SplitExtracts.cpp.o
[ 85%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/Rewriting.cpp.o
[ 87%] Built target parser
[ 88%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Arithmetic.cpp.o
In file included from /usr/include/c++/15.2.1/algorithm:63,
from /build/stp/src/stp-2.3.4/include/stp/AST/UsefulDefs.h:27,
from /build/stp/src/stp-2.3.4/include/stp/AST/ASTInternal.h:28,
from /build/stp/src/stp-2.3.4/include/stp/AST/ASTNode.h:31,
from /build/stp/src/stp-2.3.4/include/stp/AST/AST.h:28,
from /build/stp/src/stp-2.3.4/include/stp/Simplifier/SplitExtracts.h:26,
from /build/stp/src/stp-2.3.4/lib/Simplifier/SplitExtracts.cpp:25:
/usr/include/c++/15.2.1/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, vector<tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >; _Compare = __gnu_cxx::__ops::_Val_comp_iter<stp::SplitExtracts::topLevel(const stp::ASTNode&)::<lambda(const auto:1&, const auto:2&)> >]':
/usr/include/c++/15.2.1/bits/stl_algo.h:1751:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, std::vector<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >' changed in GCC 7.1
1751 | __unguarded_linear_insert(_RandomAccessIterator __last,
| ^~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15.2.1/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, vector<tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<stp::SplitExtracts::topLevel(const stp::ASTNode&)::<lambda(const auto:1&, const auto:2&)> >]':
/usr/include/c++/15.2.1/bits/stl_algo.h:1771:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, std::vector<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >' changed in GCC 7.1
1771 | __insertion_sort(_RandomAccessIterator __first,
| ^~~~~~~~~~~~~~~~
/usr/include/c++/15.2.1/bits/stl_algo.h:1771:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, std::vector<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >' changed in GCC 7.1
In file included from /usr/include/c++/15.2.1/bits/stl_algo.h:61:
/usr/include/c++/15.2.1/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, vector<tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >; _Distance = int; _Tp = tuple<stp::ASTNode, long long unsigned int, long long unsigned int>; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<stp::SplitExtracts::topLevel(const stp::ASTNode&)::<lambda(const auto:1&, const auto:2&)> >]':
/usr/include/c++/15.2.1/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, std::vector<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >' changed in GCC 7.1
224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,
| ^~~~~~~~~~~~~
/usr/include/c++/15.2.1/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, vector<tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<stp::SplitExtracts::topLevel(const stp::ASTNode&)::<lambda(const auto:1&, const auto:2&)> >]':
/usr/include/c++/15.2.1/bits/stl_algo.h:1877:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, std::vector<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >' changed in GCC 7.1
1877 | __introsort_loop(_RandomAccessIterator __first,
| ^~~~~~~~~~~~~~~~
/usr/include/c++/15.2.1/bits/stl_algo.h:1877:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, std::vector<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >' changed in GCC 7.1
/usr/include/c++/15.2.1/bits/stl_algo.h:1891:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, std::vector<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >' changed in GCC 7.1
1891 | std::__introsort_loop(__cut, __last, __depth_limit, __comp);
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, vector<tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<stp::SplitExtracts::topLevel(const stp::ASTNode&)::<lambda(const auto:1&, const auto:2&)> >]',
inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, vector<tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >; _Compare = stp::SplitExtracts::topLevel(const stp::ASTNode&)::<lambda(const auto:1&, const auto:2&)>]' at /usr/include/c++/15.2.1/bits/stl_algo.h:4874:18,
inlined from 'virtual stp::ASTNode stp::SplitExtracts::topLevel(const stp::ASTNode&)' at /build/stp/src/stp-2.3.4/lib/Simplifier/SplitExtracts.cpp:102:13:
/usr/include/c++/15.2.1/bits/stl_algo.h:1906:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, std::vector<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >' changed in GCC 7.1
1906 | std::__introsort_loop(__first, __last,
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
1907 | std::__lg(__last - __first) * 2,
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1908 | __comp);
| ~~~~~~~
In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, vector<tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<stp::SplitExtracts::topLevel(const stp::ASTNode&)::<lambda(const auto:1&, const auto:2&)> >]',
inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, vector<tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter<stp::SplitExtracts::topLevel(const stp::ASTNode&)::<lambda(const auto:1&, const auto:2&)> >]' at /usr/include/c++/15.2.1/bits/stl_algo.h:1909:31,
inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator<tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, vector<tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >; _Compare = stp::SplitExtracts::topLevel(const stp::ASTNode&)::<lambda(const auto:1&, const auto:2&)>]' at /usr/include/c++/15.2.1/bits/stl_algo.h:4874:18,
inlined from 'virtual stp::ASTNode stp::SplitExtracts::topLevel(const stp::ASTNode&)' at /build/stp/src/stp-2.3.4/lib/Simplifier/SplitExtracts.cpp:102:13:
/usr/include/c++/15.2.1/bits/stl_algo.h:1818:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, std::vector<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >' changed in GCC 7.1
1818 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp);
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/15.2.1/bits/stl_algo.h:1823:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int>*, std::vector<std::tuple<stp::ASTNode, long long unsigned int, long long unsigned int> > >' changed in GCC 7.1
1823 | std::__insertion_sort(__first, __last, __comp);
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
[ 89%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Boolean.cpp.o
[ 89%] Built target tosat
[ 89%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Comparison.cpp.o
[ 90%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Division.cpp.o
[ 91%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_MaxPrecision.cpp.o
/build/stp/src/stp-2.3.4/lib/Simplifier/Rewriting.cpp: In member function 'stp::ASTNode stp::Rewriting::rewrite(const stp::ASTNode&)':
/build/stp/src/stp-2.3.4/lib/Simplifier/Rewriting.cpp:309:41: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'unsigned int'} [-Wsign-compare]
/build/stp/src/stp-2.3.4/lib/Simplifier/Rewriting.cpp:313:31: warning: comparison of integer expressions of different signedness: 'int' and 'size_t' {aka 'unsigned int'} [-Wsign-compare]
[ 91%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Multiplication.cpp.o
[ 92%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitPropagation.cpp.o
[ 93%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Shifting.cpp.o
[ 94%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_TransferFunctions.cpp.o
[ 94%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Utility.cpp.o
[ 95%] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/constantBitP/FixedBits.cpp.o
[ 95%] Built target simplifier
[ 96%] Linking CXX shared library libstp.so
[ 96%] Built target stp
[ 98%] Building CXX object tools/stp/CMakeFiles/stp-bin.dir/main_common.cpp.o
[ 98%] Building CXX object tools/stp_simple/CMakeFiles/stp_simple-bin.dir/__/stp/main_common.cpp.o
[ 98%] Building CXX object tools/stp/CMakeFiles/stp-bin.dir/main.cpp.o
[ 98%] Building CXX object tools/stp_simple/CMakeFiles/stp_simple-bin.dir/main_simple.cpp.o
[ 99%] Linking CXX executable ../../stp_simple
[ 99%] Built target stp_simple-bin
[100%] Linking CXX executable ../../stp
[100%] Built target stp-bin
[100%] Built target man_stp
==> Entering fakeroot environment...
==> Starting package()...
-- Install configuration: "None"
-- Installing: /build/stp/pkg/stp/usr/share/man/man1/stp.1
-- Installing: /build/stp/pkg/stp/usr/lib/cmake/STP/STPConfig.cmake
-- Installing: /build/stp/pkg/stp/usr/lib/cmake/STP/STPConfigVersion.cmake
-- Installing: /build/stp/pkg/stp/usr/lib/cmake/STP/STPTargets.cmake
-- Installing: /build/stp/pkg/stp/usr/lib/cmake/STP/STPTargets-none.cmake
-- Installing: /build/stp/pkg/stp/usr/lib/libstp.so.2.3
-- Installing: /build/stp/pkg/stp/usr/lib/libstp.so
-- Installing: /build/stp/pkg/stp/usr/include/stp/c_interface.h
-- Installing: /build/stp/pkg/stp/usr/bin/stp
-- Set non-toolchain portion of runtime path of "/build/stp/pkg/stp/usr/bin/stp" to ""
-- Installing: /build/stp/pkg/stp/usr/bin/stp_simple
-- Set non-toolchain portion of runtime path of "/build/stp/pkg/stp/usr/bin/stp_simple" to ""
-- Installing: /build/stp/pkg/stp/usr/lib/python3.14/site-packages/stp/stp.py
-- Installing: /build/stp/pkg/stp/usr/lib/python3.14/site-packages/stp/__init__.py
-- Installing: /build/stp/pkg/stp/usr/lib/python3.14/site-packages/stp/library_path.py
==> 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/lib/libstp.so.2.3
libfakeroot internal error: payload not recognized!
==> Creating package "stp"...
-> Generating .PKGINFO file...
-> Generating .BUILDINFO file...
-> Generating .MTREE file...
-> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: stp 2.3.4-6 (Tue Jan 13 08:35:21 2026)
==> Cleaning up...
[?12l[?25h