search

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
http://boolector.github.io
Other
324 stars 63 forks source link

make failing for Python API with Python version 3.11.8 #229

Open adwait opened 1 week ago

adwait commented 1 week ago

Issue: attempted Python API build with Python 3.11.8. Failing due to missing "longintrepr.h" header. This is a change in Python 3.11 include headers and has been noted on the Cython git: https://github.com/cython/cython/issues/4461

[ 96%] Built target btormbt
Scanning dependencies of target pyboolector
[ 96%] Building CXX object src/api/python/CMakeFiles/pyboolector.dir/pyboolector.cxx.o
[ 98%] Building C object src/api/python/CMakeFiles/pyboolector.dir/boolector_py.c.o
[100%] Building CXX object src/api/python/CMakeFiles/pyboolector.dir/pyboolector_abort.cpp.o
.../boolector/build/src/api/python/pyboolector.cxx:198:12: fatal error: longintrepr.h: No such file or directory
  198 |   #include "longintrepr.h"
      |            ^~~~~~~~~~~~~~~
compilation terminated.
src/api/python/CMakeFiles/pyboolector.dir/build.make:82: recipe for target 'src/api/python/CMakeFiles/pyboolector.dir/pyboolector.cxx.o' failed
make[2]: *** [src/api/python/CMakeFiles/pyboolector.dir/pyboolector.cxx.o] Error 1
make[2]: *** Waiting for unfinished jobs....
CMakeFiles/Makefile2:357: recipe for target 'src/api/python/CMakeFiles/pyboolector.dir/all' failed
make[1]: *** [src/api/python/CMakeFiles/pyboolector.dir/all] Error 2
make[1]: *** Waiting for unfinished jobs....
[100%] Linking CXX executable ../bin/btorimc
[100%] Built target btorimc
Makefile:135: recipe for target 'all' failed
make: *** [all] Error 2