Package: src:cryptominisat
Version: 5.11.21+dfsg1-1
Severity: serious
Tags: ftbfs trixie sid
Dear maintainer:
During a rebuild of all packages in unstable, your package failed to build:
--------------------------------------------------------------------------------
[...]
debian/rules clean
dh clean --with python3 --buildsystem=pybuild
debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
if test -f Makefile; then \
make clean ; \
fi
rm -rf build/ .pybuild/ CMakeFiles/ cmsat5-src/ src/pycryptosat.egg-info/
include/
rm -f CMakeCache.txt Makefile compile_commands.json *.cmake install_manifest.txt
rm -f cryptominisat5.1
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_autoreconf_clean -O--buildsystem=pybuild
dh_clean -O--buildsystem=pybuild
debian/rules binary
dh binary --with python3 --buildsystem=pybuild
dh_update_autotools_config -O--buildsystem=pybuild
dh_autoreconf -O--buildsystem=pybuild
debian/rules override_dh_auto_configure
make[1]: Entering directory '/<<PKGBUILDDIR>>'
mkdir build && cd build
cmake -DCMAKE_LIBRARY_ARCHITECTURE=x86_64-linux-gnu
-DCMAKE_BUILD_RPATH_USE_ORIGIN=ON -DCMAKE_INSTALL_PREFIX=/usr
CMake Warning:
No source or binary directory provided. Both will be assumed to be the
same as the current working directory, but note that this warning will
become a fatal error in future CMake releases.
CMake Warning (dev) at CMakeLists.txt:25 (enable_language):
project() should be called prior to this enable_language() call.
This warning is for project developers. Use -Wno-dev to suppress it.
-- The CXX compiler identification is GNU 14.2.0
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- LIB directory is ''
-- BIN directory is ''
-- You can choose the type of build, options
are:Debug;Release;RelWithDebInfo;MinSizeRel
-- Doing a RelWithDebInfo build
-- The C compiler identification is GNU 14.2.0
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/bin/cc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Could NOT find tbuddy (missing: tbuddy_DIR)
-- tbuddy not found, not compiling with tbuddy-based GJ FRAT proofs
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
-- Found Threads: TRUE
-- build type is RelWithDebInfo
-- Performing Test HAVE_FLAG_-fvisibility=hidden
-- Performing Test HAVE_FLAG_-fvisibility=hidden - Success
-- Performing Test HAVE_FLAG_-Wall
-- Performing Test HAVE_FLAG_-Wall - Success
-- Performing Test HAVE_FLAG_-Wextra
-- Performing Test HAVE_FLAG_-Wextra - Success
-- Performing Test HAVE_FLAG_-Wunused
-- Performing Test HAVE_FLAG_-Wunused - Success
-- Performing Test HAVE_FLAG_-Wsign-compare
-- Performing Test HAVE_FLAG_-Wsign-compare - Success
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer
-- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success
-- Performing Test HAVE_FLAG_-Wtype-limits
-- Performing Test HAVE_FLAG_-Wtype-limits - Success
-- Performing Test HAVE_FLAG_-Wuninitialized
-- Performing Test HAVE_FLAG_-Wuninitialized - Success
-- Performing Test HAVE_FLAG_-Wno-deprecated
-- Performing Test HAVE_FLAG_-Wno-deprecated - Success
-- Performing Test HAVE_FLAG_-Wstrict-aliasing
-- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success
-- Performing Test HAVE_FLAG_-Wpointer-arith
-- Performing Test HAVE_FLAG_-Wpointer-arith - Success
-- Performing Test HAVE_FLAG_-Wheader-guard
-- Performing Test HAVE_FLAG_-Wheader-guard - Failed
-- Performing Test HAVE_FLAG_-Wformat-nonliteral
-- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success
-- Performing Test HAVE_FLAG_-Winit-self
-- Performing Test HAVE_FLAG_-Winit-self - Success
-- Performing Test HAVE_FLAG_-Wparentheses
-- Performing Test HAVE_FLAG_-Wparentheses - Success
-- Performing Test HAVE_FLAG_-Wunreachable-code
-- Performing Test HAVE_FLAG_-Wunreachable-code - Success
-- Performing Test HAVE_FLAG_-g
-- Performing Test HAVE_FLAG_-g - Success
-- Performing Test HAVE_FLAG_-Wno-class-memaccess
-- Performing Test HAVE_FLAG_-Wno-class-memaccess - Success
-- Performing Test HAVE_FLAG_-mpopcnt
-- Performing Test HAVE_FLAG_-mpopcnt - Success
-- Performing Test HAVE_FLAG_-msse4.2
-- Performing Test HAVE_FLAG_-msse4.2 - 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
-- PROJECT_VERSION: 5.11.21
-- PROJECT_VERSION_MAJOR: 5
-- PROJECT_VERSION_MINOR: 11
-- PROJECT_VERSION_PATCH: 21
-- Not compiling detailed statistics. The system is faster without them
CMake Warning (dev) at CMakeLists.txt:524 (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/x86_64-linux-gnu/libz.so (found version "1.3.1")
-- OK, Found ZLIB!
-- Performing Test HAVE__FPU_SETCW
-- Performing Test HAVE__FPU_SETCW - Success
-- Found FPU code for yalsat: fpu_control.h, _FPU_SINGLE, _FPU_DOUBLE
-- All defines at startup: -DRDB0_ONLY_FEATURES -DUSE_ZLIB -DYALSAT_FPU
-- 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:714 (message):
Testing is disabled
CMake Warning at CMakeLists.txt:745 (export):
Cannot create package registry file:
/sbuild-nonexistent/.cmake/packages/cryptominisat5/760c1f9df8582c99f8baba2a308b812f
No such file or directory
-- Configuring done (3.1s)
-- Generating done (0.0s)
-- Build files have been written to: /<<PKGBUILDDIR>>
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
make
make[2]: Entering directory '/<<PKGBUILDDIR>>'
[ 1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o
[ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/frat.cpp.o
[ 5%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o
[ 7%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o
[ 9%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o
[ 11%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o
/<<PKGBUILDDIR>>/src/occsimplifier.cpp: In member function âvoid
CMSat::OccSimplifier::subs_with_resolvent_clauses()â:
/<<PKGBUILDDIR>>/src/occsimplifier.cpp:1140:33: warning: âID1â may be used
uninitialized [-Wmaybe-uninitialized]
1140 | if (ID3 == ID1 || ID3 == ID2 || cl->red())
continue;
| ~~~~^~~~~~
/<<PKGBUILDDIR>>/src/occsimplifier.cpp:1080:17: note: âID1â was declared
here
1080 | int32_t ID1;
| ^~~
/<<PKGBUILDDIR>>/src/occsimplifier.cpp:1140:47: warning: âID2â may be used
uninitialized [-Wmaybe-uninitialized]
1140 | if (ID3 == ID1 || ID3 == ID2 || cl->red())
continue;
| ~~~~^~~~~~
/<<PKGBUILDDIR>>/src/occsimplifier.cpp:1081:17: note: âID2â was declared
here
1081 | int32_t ID2;
| ^~~
[ 13%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/gatefinder.cpp.o
[ 15%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o
[ 17%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o
[ 19%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o
[ 21%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o
[ 23%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o
[ 25%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlitrem.cpp.o
[ 27%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerbin.cpp.o
[ 29%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o
[ 31%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o
[ 33%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o
[ 35%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o
[ 37%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o
In file included from /<<PKGBUILDDIR>>/src/solverconf.h:30,
from /<<PKGBUILDDIR>>/src/solvertypes.h:38,
from /<<PKGBUILDDIR>>/src/propby.h:26,
from /<<PKGBUILDDIR>>/src/propengine.h:33,
from /<<PKGBUILDDIR>>/src/searcher.h:29,
from /<<PKGBUILDDIR>>/src/searcher.cpp:23:
In member function âconstexpr uint32_t CMSat::Lit::var() constâ,
inlined from âCMSat::ConflictData
CMSat::Searcher::find_conflict_level(CMSat::PropBy&)â at
/<<PKGBUILDDIR>>/src/searcher.cpp:3522:51:
/<<PKGBUILDDIR>>/src/solvertypesmini.h:67:16: warning: potential null pointer
dereference [-Wnull-dereference]
67 | return x >> 1;
| ^
In file included from /<<PKGBUILDDIR>>/src/heap.h:25,
from /<<PKGBUILDDIR>>/src/propengine.h:38:
In member function âvoid CMSat::vec<T>::push(const T&) [with T =
CMSat::Watched]â,
inlined from âCMSat::ConflictData
CMSat::Searcher::find_conflict_level(CMSat::PropBy&)â at
/<<PKGBUILDDIR>>/src/searcher.cpp:3543:40:
/<<PKGBUILDDIR>>/src/Vec.h:143:9: warning: âoffsâ may be used uninitialized
[-Wmaybe-uninitialized]
143 | data[sz++] = elem;
| ^~~~
/<<PKGBUILDDIR>>/src/searcher.cpp: In member function âCMSat::ConflictData
CMSat::Searcher::find_conflict_level(CMSat::PropBy&)â:
/<<PKGBUILDDIR>>/src/searcher.cpp:3488:18: note: âoffsâ was declared here
3488 | ClOffset offs;
| ^~~~
/<<PKGBUILDDIR>>/src/searcher.cpp: In member function âbool
CMSat::Searcher::handle_conflict(CMSat::PropBy)â:
/<<PKGBUILDDIR>>/src/searcher.cpp:1875:35: warning: âsize_before_minimâ may
be used uninitialized [-Wmaybe-uninitialized]
1875 | Clause* cl = handle_last_confl(
| ~~~~~~~~~~~~~~~~~^
1876 | glue,
| ~~~~~
1877 | old_decision_level,
| ~~~~~~~~~~~~~~~~~~~
1878 | glue_before_minim,
| ~~~~~~~~~~~~~~~~~~
1879 | size_before_minim,
| ~~~~~~~~~~~~~~~~~~
1880 | false, // is decision?
| ~~~~~~~~~~~~~~~~~~~~~~
1881 | connects_num_communities,
| ~~~~~~~~~~~~~~~~~~~~~~~~~
1882 | ID
| ~~
1883 | );
| ~
/<<PKGBUILDDIR>>/src/searcher.cpp:1817:14: note: âsize_before_minimâ
declared here
1817 | uint32_t size_before_minim;
| ^~~~~~~~~~~~~~~~~
/<<PKGBUILDDIR>>/src/searcher.cpp:1875:35: warning: âglue_before_minimâ may
be used uninitialized [-Wmaybe-uninitialized]
1875 | Clause* cl = handle_last_confl(
| ~~~~~~~~~~~~~~~~~^
1876 | glue,
| ~~~~~
1877 | old_decision_level,
| ~~~~~~~~~~~~~~~~~~~
1878 | glue_before_minim,
| ~~~~~~~~~~~~~~~~~~
1879 | size_before_minim,
| ~~~~~~~~~~~~~~~~~~
1880 | false, // is decision?
| ~~~~~~~~~~~~~~~~~~~~~~
1881 | connects_num_communities,
| ~~~~~~~~~~~~~~~~~~~~~~~~~
1882 | ID
| ~~
1883 | );
| ~
/<<PKGBUILDDIR>>/src/searcher.cpp:1816:14: note: âglue_before_minimâ
declared here
1816 | uint32_t glue_before_minim;
| ^~~~~~~~~~~~~~~~~
[ 39%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o
/<<PKGBUILDDIR>>/src/solver.cpp: In member function âbool
CMSat::Solver::oracle_vivif(bool&)â:
/<<PKGBUILDDIR>>/src/solver.cpp:5000:25: warning: declaration of âstatsâ
shadows a member of âCMSat::Solverâ [-Wshadow]
5000 | ClauseStats stats;
| ^~~~~
In file included from /<<PKGBUILDDIR>>/src/solver.h:36,
from /<<PKGBUILDDIR>>/src/solver.cpp:23:
/<<PKGBUILDDIR>>/src/searcher.h:213:21: note: shadowed declaration is here
213 | SearchStats stats;
| ^~~~~
[ 41%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o
[ 43%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o
[ 45%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o
[ 47%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o
[ 49%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o
[ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o
[ 52%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o
[ 54%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o
[ 56%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o
[ 58%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o
[ 60%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o
[ 62%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o
[ 64%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o
[ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o
[ 68%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o
[ 70%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o
[ 72%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/get_clause_query.cpp.o
[ 74%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o
[ 76%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o
[ 78%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o
/<<PKGBUILDDIR>>/src/matrixfinder.cpp: In member function âuint32_t
CMSat::MatrixFinder::setMatrixes()â:
/<<PKGBUILDDIR>>/src/matrixfinder.cpp:334:17: warning: âratio_samplingâ may
be used uninitialized [-Wmaybe-uninitialized]
334 | if (ratio_sampling >= 0.6) { //TODO Magic constant
| ^~
/<<PKGBUILDDIR>>/src/matrixfinder.cpp:296:16: note: âratio_samplingâ was
declared here
296 | double ratio_sampling;
| ^~~~~~~~~~~~~~
[ 80%] Building C object
cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/picosat.c.o
/<<PKGBUILDDIR>>/src/picosat/picosat.c:479:7: warning: ISO C forbids zero-size
array âzntâ [-Wpedantic]
479 | Znt znt[0];
| ^~~
/<<PKGBUILDDIR>>/src/picosat/picosat.c:485:7: warning: ISO C forbids zero-size
array âclsâ [-Wpedantic]
485 | Cls cls[0];
| ^~~
In file included from /<<PKGBUILDDIR>>/src/picosat/picosat.c:26:
/<<PKGBUILDDIR>>/src/picosat/picosat.c: In function âfixvarâ:
/<<PKGBUILDDIR>>/src/picosat/picosat.c:1943:23: warning: comparison between
pointer and zero character constant [-Wpointer-compare]
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~
/<<PKGBUILDDIR>>/src/picosat/picosat.c:180:20: note: did you mean to
dereference the pointer?
180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
| ^
/<<PKGBUILDDIR>>/src/picosat/picosat.c:1943:11: note: in expansion of macro
âVAR2LITâ
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~~~~~~
/<<PKGBUILDDIR>>/src/picosat/picosat.c:1943:23: warning: comparison between
pointer and zero character constant [-Wpointer-compare]
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~
/<<PKGBUILDDIR>>/src/picosat/picosat.c:180:20: note: did you mean to
dereference the pointer?
180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
| ^
/<<PKGBUILDDIR>>/src/picosat/picosat.c:1943:11: note: in expansion of macro
âVAR2LITâ
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~~~~~~
[ 82%] Building C object
cmsat5-src/CMakeFiles/cryptominisat5.dir/picosat/version.c.o
[ 84%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/oracle/oracle.cpp.o
In file included from /usr/include/c++/14/string:51,
from /usr/include/c++/14/bits/locale_classes.h:40,
from /usr/include/c++/14/bits/ios_base.h:41,
from /usr/include/c++/14/ios:44,
from /usr/include/c++/14/ostream:40,
from /usr/include/c++/14/iostream:41,
from /<<PKGBUILDDIR>>/src/oracle/oracle.h:25,
from /<<PKGBUILDDIR>>/src/oracle/oracle.cpp:23:
In static member function âstatic _Up* std::__copy_move<_IsMove, true,
std::random_access_iterator_tag>::__copy_m(_Tp*, _Tp*, _Up*) [with _Tp = const
int; _Up = int; bool _IsMove = false]â,
inlined from â_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove =
false; _II = const int*; _OI = int*]â at
/usr/include/c++/14/bits/stl_algobase.h:521:30,
inlined from â_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove =
false; _II = const int*; _OI = int*]â at
/usr/include/c++/14/bits/stl_algobase.h:548:42,
inlined from â_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove =
false; _II = __gnu_cxx::__normal_iterator<const int*, vector<int> >; _OI =
int*]â at /usr/include/c++/14/bits/stl_algobase.h:555:31,
inlined from â_OI std::copy(_II, _II, _OI) [with _II =
__gnu_cxx::__normal_iterator<const int*, vector<int> >; _OI = int*]â at
/usr/include/c++/14/bits/stl_algobase.h:651:7,
inlined from âstatic _ForwardIterator
std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator,
_ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const
int*, std::vector<int> >; _ForwardIterator = int*]â at
/usr/include/c++/14/bits/stl_uninitialized.h:147:27,
inlined from â_ForwardIterator std::uninitialized_copy(_InputIterator,
_InputIterator, _ForwardIterator) [with _InputIterator =
__gnu_cxx::__normal_iterator<const int*, vector<int> >; _ForwardIterator =
int*]â at /usr/include/c++/14/bits/stl_uninitialized.h:185:15,
inlined from â_ForwardIterator
std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator,
allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const
int*, vector<int> >; _ForwardIterator = int*; _Tp = int]â at
/usr/include/c++/14/bits/stl_uninitialized.h:373:37,
inlined from âstd::vector<_Tp, _Alloc>::vector(const std::vector<_Tp,
_Alloc>&) [with _Tp = int; _Alloc = std::allocator<int>]â at
/usr/include/c++/14/bits/stl_vector.h:606:31,
inlined from âbool
sspp::oracle::Oracle::AddClauseIfNeededAndStr(std::vector<int>, bool)â at
/<<PKGBUILDDIR>>/src/oracle/oracle.cpp:869:16:
/usr/include/c++/14/bits/stl_algobase.h:452:30: warning: âvoid*
__builtin_memmove(void*, const void*, long unsigned int)â forming offset 4 is
out of the bounds [0, 4] [-Warray-bounds=]
452 | __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
| ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[ 86%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o
[ 88%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o
[ 90%] Linking CXX shared library ../lib/libcryptominisat5.so
[ 90%] Built target cryptominisat5
[ 92%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o
[ 94%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o
[ 96%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o
[ 98%] Building CXX object
cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o
[100%] Linking CXX executable ../cryptominisat5
[100%] Built target cryptominisat5-bin
[100%] Built target man_cryptominisat5
Copying cryptominisat_c.h to /<<PKGBUILDDIR>>/include/cryptominisat5
Copying cryptominisat.h to /<<PKGBUILDDIR>>/include/cryptominisat5
Copying solvertypesmini.h to /<<PKGBUILDDIR>>/include/cryptominisat5
Copying dimacsparser.h to /<<PKGBUILDDIR>>/include/cryptominisat5
Copying streambuffer.h to /<<PKGBUILDDIR>>/include/cryptominisat5
[100%] Built target CopyPublicHeaders
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
pybuild --build
I: pybuild plugin_pyproject:129: Building wheel for python3.13 with "build"
module
I: pybuild base:311: python3.13 -m build --skip-dependency-check --no-isolation
--wheel --outdir /<<PKGBUILDDIR>>/.pybuild/cpython3_3.13
* Building wheel...
Traceback (most recent call last):
File
"/usr/lib/python3/dist-packages/pyproject_hooks/_in_process/_in_process.py",
line 389, in <module>
main()
~~~~^^
File
"/usr/lib/python3/dist-packages/pyproject_hooks/_in_process/_in_process.py",
line 373, in main
json_out["return_val"] = hook(**hook_input["kwargs"])
~~~~^^^^^^^^^^^^^^^^^^^^^^^^
File
"/usr/lib/python3/dist-packages/pyproject_hooks/_in_process/_in_process.py",
line 280, in build_wheel
return _build_backend().build_wheel(
~~~~~~~~~~~~~~~~~~~~~~~~~~~~^
wheel_directory, config_settings, metadata_directory
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
)
^
File "/usr/lib/python3/dist-packages/setuptools/build_meta.py", line 435, in
build_wheel
return _build(['bdist_wheel'])
File "/usr/lib/python3/dist-packages/setuptools/build_meta.py", line 426, in
_build
return self._build_with_temp_dir(
~~~~~~~~~~~~~~~~~~~~~~~~~^
cmd,
^^^^
...<3 lines>...
self._arbitrary_args(config_settings),
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
)
^
File "/usr/lib/python3/dist-packages/setuptools/build_meta.py", line 407, in
_build_with_temp_dir
self.run_setup()
~~~~~~~~~~~~~~^^
File "/usr/lib/python3/dist-packages/setuptools/build_meta.py", line 320, in
run_setup
exec(code, locals())
~~~~^^^^^^^^^^^^^^^^
File "<string>", line 30, in <module>
ModuleNotFoundError: No module named 'toml'
ERROR Backend subprocess exited when trying to invoke build_wheel
E: pybuild pybuild:389: build: plugin pyproject failed with: exit code=1:
python3.13 -m build --skip-dependency-check --no-isolation --wheel --outdir
/<<PKGBUILDDIR>>/.pybuild/cpython3_3.13
make[1]: *** [debian/rules:15: override_dh_auto_build] Error 13
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:7: binary] Error 2
dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2
--------------------------------------------------------------------------------
The above is just how the build ends and not necessarily the most relevant part.
If required, the full build log is available here:
https://people.debian.org/~sanvila/build-logs/202505/
About the archive rebuild: The build was made on virtual machines from AWS,
using sbuild and a reduced chroot with only build-essential packages.
If you could not reproduce the bug please contact me privately, as I
am willing to provide ssh access to a virtual machine where the bug is
fully reproducible.
If this is really a bug in one of the build-depends, please use
reassign and add an affects on src:cryptominisat, so that this is still
visible in the BTS web page for this package.
Thanks.
