I'm running a MBPro w/ 12.6.1. When I do issue the following commands:
brew tap mht208/formal
brew install boolector
I eventually get an error which when I up the verbosity see as not being able to find Python.h. The brew install boolector did pull in an older Python than I had already (3.9.16) and I can see Python.h both in that Python's area and in the newer ones (3.10 and 3.11).
I suspect that somehow the directory to search isn't making it to the compiler's preprocessor search directive - but I know nothing about Homebrew.
Below is the slightly verbose log from the compile. Any guidance would be appreciated!
[ 64%] Building C object src/api/python/CMakeFiles/pyboolector.dir/boolector_py.c.o
[ 64%] Built target btoruntrace
[ 64%] Building CXX object src/api/python/CMakeFiles/pyboolector.dir/pyboolector_abort.cpp.o
/tmp/boolector-20230126-85858-mf5rsi/boolector-3.2.2/build/src/api/python/pyboolector.cxx:6:10: fatal error: 'Python.h' file not found
include "Python.h"
^~~~~~~~~~
1 error generated.
make[2]: [src/api/python/CMakeFiles/pyboolector.dir/pyboolector.cxx.o] Error 1
make[2]: Waiting for unfinished jobs....
In file included from /tmp/boolector-20230126-85858-mf5rsi/boolector-3.2.2/src/api/python/boolector_py.c:8:
/tmp/boolector-20230126-85858-mf5rsi/boolector-3.2.2/src/api/python/boolector_py.h:11:10: fatal error: 'Python.h' file not found
I'm running a MBPro w/ 12.6.1. When I do issue the following commands:
I eventually get an error which when I up the verbosity see as not being able to find Python.h. The brew install boolector did pull in an older Python than I had already (3.9.16) and I can see Python.h both in that Python's area and in the newer ones (3.10 and 3.11).
I suspect that somehow the directory to search isn't making it to the compiler's preprocessor search directive - but I know nothing about Homebrew.
Below is the slightly verbose log from the compile. Any guidance would be appreciated!
[ 64%] Building C object src/api/python/CMakeFiles/pyboolector.dir/boolector_py.c.o [ 64%] Built target btoruntrace [ 64%] Building CXX object src/api/python/CMakeFiles/pyboolector.dir/pyboolector_abort.cpp.o /tmp/boolector-20230126-85858-mf5rsi/boolector-3.2.2/build/src/api/python/pyboolector.cxx:6:10: fatal error: 'Python.h' file not found
include "Python.h"
1 error generated. make[2]: [src/api/python/CMakeFiles/pyboolector.dir/pyboolector.cxx.o] Error 1 make[2]: Waiting for unfinished jobs.... In file included from /tmp/boolector-20230126-85858-mf5rsi/boolector-3.2.2/src/api/python/boolector_py.c:8: /tmp/boolector-20230126-85858-mf5rsi/boolector-3.2.2/src/api/python/boolector_py.h:11:10: fatal error: 'Python.h' file not found
include
1 error generated. make[2]: *** [src/api/python/CMakeFiles/pyboolector.dir/boolector_py.c.o] Error 1