Bug#1106423: marked as done (cryptominisat: FTBFS: ModuleNotFoundError: No module named 'toml')

Debian Bug Tracking System Sat, 24 May 2025 16:07:21 -0700

Your message dated Sat, 24 May 2025 23:04:38 +0000
with message-id <e1uixuw-001vxr...@fasolo.debian.org>
and subject line Bug#1106423: fixed in cryptominisat 5.11.21+dfsg1-2
has caused the Debian Bug report #1106423,
regarding cryptominisat: FTBFS: ModuleNotFoundError: No module named 'toml'
to be marked as done.


This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
1106423: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1106423
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

--- Begin Message ---

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.

--- End Message ---

--- Begin Message ---

Source: cryptominisat
Source-Version: 5.11.21+dfsg1-2
Done: Alexandre Detiste <tc...@debian.org>

We believe that the bug you reported is fixed in the latest version of
cryptominisat, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1106...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Alexandre Detiste <tc...@debian.org> (supplier of updated cryptominisat package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 25 May 2025 00:40:49 +0200
Source: cryptominisat
Architecture: source
Version: 5.11.21+dfsg1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers 
<debian-science-maintain...@lists.alioth.debian.org>
Changed-By: Alexandre Detiste <tc...@debian.org>
Closes: 1106423
Changes:
 cryptominisat (5.11.21+dfsg1-2) unstable; urgency=medium
 .
   * Team upload.
   * Add build-dependency on python3-toml (Closes: #1106423)
   * Fix Team name
Checksums-Sha1:
 29eb4aa9dec33fa25b9b5563b5129ce39b899fbf 2519 cryptominisat_5.11.21+dfsg1-2.dsc
 87b674d55c7f366dee5d7c75b781fe673bc0633b 6696 
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz
 a8cf1b0a2743e13b3163f4192004ea6115dd6d63 8725 
cryptominisat_5.11.21+dfsg1-2_source.buildinfo
Checksums-Sha256:
 2f90162d1692c2463f291b3ddbcb6df4d2a4dad7811e506d098453179c4a3d26 2519 
cryptominisat_5.11.21+dfsg1-2.dsc
 1a0dbcd285d0561ac53acdd000b7c6d7d12ae85d10073ed87e2319894e9e8d3f 6696 
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz
 c4ab2c479fde498eea085375a59e1c5441615c53fad7603d5acfac539abbdc18 8725 
cryptominisat_5.11.21+dfsg1-2_source.buildinfo
Files:
 383f39ce26d04dbe324cf69a5784b464 2519 math optional 
cryptominisat_5.11.21+dfsg1-2.dsc
 7120f9bf837ea50fd7322ecec991cf53 6696 math optional 
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz
 f462ba6ee84f4925292026a5f702e267 8725 math optional 
cryptominisat_5.11.21+dfsg1-2_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJFBAEBCgAvFiEEj23hBDd/OxHnQXSHMfMURUShdBoFAmgyS0oRHHRjaGV0QGRl
Ymlhbi5vcmcACgkQMfMURUShdBqI2g//Tf+wjj/TsQFUW7gFyPvpCybfzondYwxN
IR8kjsWUdhpTLo7aCaTFPQBoINGSWdrg30YEo38IuKWiyJcRW7Kacbg9vPNGtWfX
vkxqfJprOsxJVvj5wpaE3uzkxbZJCZrTiZdi9dPMumjmBb05zTPEoqff7aW+ZOEL
/1ZwDfDP37PEFKRPtm4V/uv01MFJa0YcUA2/s8nntEQ880kBrTWxjbD8sg601+Na
R3mXfuNmZz215+CFP9tyhz++Hsc1yJMqrAHeueJLC2CBkxrGFFejN2I6eSuL3EqF
CMsucMTznInEpLmdfhv4b6dwXJ9Sy5oue5PZSYrFAQtGeE4LVVSy9ldqKMn+AnGK
P/x9lYsdmz1Rk2n2CnUGPWDMQCpImT0P3cP5MPWY5k09rgsMxqN+gFr7oGpreijS
TfjFmT/PpVyGb1DhuflyzFbUgIl05SUrjwIGSUSh0z0TAYR+MtrohhNFRCtkZoy9
OUfHJAga0S0aHlu4rdBT3L/hYWU/SOjsHtq5QjB5NIw3Hap/O7+dE29X9XMho+SR
H8LKs5CBjwpC0YMlqFRSzd8rubczT6gUw5Vb3WJiGsLB9ZVtbihxBaJtBvpDgPo3
6WRzPItLW13xOU7Aom3Gs8sL6G5OKhXXOm7fkrNNq3wwABN5VaolM4YLgQO/YWHS
7DzpL67aPkU=
=j8TU
-----END PGP SIGNATURE-----

pgpukFdU_hhlV.pgp
Description: PGP signature

--- End Message ---

Bug#1106423: marked as done (cryptominisat: FTBFS: ModuleNotFoundError: No module named 'toml')

Reply via email to