Building boolector error GET list (on Windows 7)

[joker97max]

My settings: Windows 7 x86_64-8.1.0-posix-seh-rt_v6-rev0, because i couldn't install x86_64-8.1.0-win32-seh-rt_v6-rev0, files don't uploading... The rest as in COMPILING_WINDOWS.txt

When i bulding boolector in Windows, have ERROR in FindPythonExtensions.cmake: CMake Error at cmake/FindPythonExtensions.cmake:273 (list): list GET given empty list Call Stack (most recent call first): src/api/python/CMakeLists.txt:1 (find_package)

CMake Error at cmake/FindPythonExtensions.cmake:277 (list): list GET given empty list Call Stack (most recent call first): src/api/python/CMakeLists.txt:1 (find_package)

CMake Error at cmake/FindPythonExtensions.cmake:281 (list): list GET given empty list Call Stack (most recent call first): src/api/python/CMakeLists.txt:1 (find_package)

CMake Error at cmake/FindPythonExtensions.cmake:285 (list): list GET given empty list Call Stack (most recent call first): src/api/python/CMakeLists.txt:1 (find_package)

CMake Error at cmake/FindPythonExtensions.cmake:289 (list): list GET given empty list Call Stack (most recent call first): src/api/python/CMakeLists.txt:1 (find_package)

[aytey]

posix won't work because we need winpthread.

How did you install Python? Is it on $PATH in MSYS?

If you don't need the Python interface, pass in -DPYTHON=OFF (rather than the current -DPYTHON=ON). I have no idea how well boolector.exe works though (I only tested the Python interface + Boolector DLLs).

[joker97max]

Thanks, i change to -DPYTHON=OFF and bollector build :)

but win32 don't isntall...what to do about installation problem with x86_64-8.1.0-win32-seh-rt_v6-rev0 on settings: My settings: Windows 7 x86_64-8.1.0-posix-seh-rt_v6-rev0 The rest as in COMPILING_WINDOWS.txt

[aytey]

Well, if it builds with posix, does boolector.exe run? It is possible we need winpthread for the Python API, but not "regular" Boolector.

[joker97max]

after build, i run test from COMPILING_WINDOWS.txt and have this : Traceback (most recent call last): File "examples/api/python/api_usage_examples.py", line 2, in import pyboolector ModuleNotFoundError: No module named 'pyboolector'

[joker97max]

i use two settings: First: Windows 7 x86_64-8.1.0-posix-seh-rt_v6-rev0 The rest as in COMPILING_WINDOWS.txt

Second: Windows 7 x86_64-7.3.0-win32-seh-rt_v5-rev0 The rest as in COMPILING_WINDOWS.txt

[joker97max]

got the same error

[joker97max]

I managed to install x86_64-8.1.0-win32-seh-rt_v6-rev0, but i got the same error: Traceback (most recent call last): File "examples/api/python/api_usage_examples.py", line 2, in import pyboolector ModuleNotFoundError: No module named 'pyboolector'

Settings: Windows 7 x86_64-8.1.0-win32-seh-rt_v6-rev0 -DPYTHON=OFF The rest as in COMPILING_WINDOWS.txt

[aytey]

If you don't build the Python API, you shouldn't run the Python tests at the end of the guide.

[joker97max]

ok, thanks for answers.