Update dependency management

This commit is contained in:
2023-11-28 09:28:11 +01:00
parent f83a56b17f
commit 03a9f219cc
11 changed files with 49 additions and 19 deletions

View File

@@ -11,7 +11,7 @@ FetchContent_Declare(
GIT_TAG master
GIT_SHALLOW TRUE
)
set(EIGEN_BUILD_DOC OFF)
set(BUILD_TESTING OFF)
set(EIGEN_BUILD_PKGCONFIG OFF)
set(EIGEN_BUILD_DOC OFF CACHE BOOL "" FORCE)
set(BUILD_TESTING OFF CACHE BOOL "" FORCE)
set(EIGEN_BUILD_PKGCONFIG OFF CACHE BOOL "" FORCE)
FetchContent_MakeAvailable(eigen)