projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab9a43d) | patch
Improve finding Python library/includes (#8718)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 4 May 2022 20:54:41 +0000 (13:54 -0700)
committerGitHub <noreply@github.com>
Wed, 4 May 2022 20:54:41 +0000 (20:54 +0000)
commit9c6e91b97a63c8085263c3e5e0513ec133763884
treed469c378ac13e23cafdefb7f41cca565750ef1ddtree
parentab9a43da3cc47c469ea02417431879d4bfbd5709commit | diff
Improve finding Python library/includes (#8718)

On macOS, find_package(PythonLibs ...) does not find the Python
include directory or library when they were installed via homebrew.
find_package(Python ...) is more robust, but only available on newer
versions of CMake. If we are compiling cvc5 on macOS and we have a newer
version of CMake available, this tries to use find_package(Python ...)
to find the paths.
src/api/python/CMakeLists.txt diff | blob | history