Option to disable use of external pybind11

This commit is contained in:
Arnim Balzer 2024-03-21 13:39:06 +00:00
parent d65d96191a
commit 059f1487af
No known key found for this signature in database
GPG Key ID: 785EF903F0917AB7

View File

@ -1,9 +1,13 @@
option(EXTERNAL_PYBIND11 "Whether to download pybind11" ON)
if(EXTERNAL_PYBIND11)
find_package(Python 3.6 COMPONENTS Interpreter Development REQUIRED) find_package(Python 3.6 COMPONENTS Interpreter Development REQUIRED)
include(FetchContent) include(FetchContent)
FetchContent_Declare(pybind11 GIT_REPOSITORY "https://github.com/pybind/pybind11.git" GIT_TAG "v2.11.1" GIT_SHALLOW ON TEST_BEFORE_INSTALL ON) FetchContent_Declare(pybind11 GIT_REPOSITORY "https://github.com/pybind/pybind11.git" GIT_TAG "v2.11.1" GIT_SHALLOW ON TEST_BEFORE_INSTALL ON)
FetchContent_MakeAvailable(pybind11) FetchContent_MakeAvailable(pybind11)
endif()
set(BUFFER_SIZE 128 CACHE STRING "The size of the pointer buffer") set(BUFFER_SIZE 128 CACHE STRING "The size of the pointer buffer")
set(NAME_LENGTH 128 CACHE STRING "The length of a name in the buffer") set(NAME_LENGTH 128 CACHE STRING "The length of a name in the buffer")