Allow usage of mirrors for all dependencies

2023-10-29 19:02:11 +01:00
parent a6b31d69be
commit 45cb095561
17 changed files with 111 additions and 24 deletions
--- a/3rdParty/eigen/CMakeLists.txt
+++ b/3rdParty/eigen/CMakeLists.txt
@@ -1,9 +1,13 @@
 include(FetchContent)

+if(NOT DEFINED EIGEN_REPO)
+    set(EIGEN_REPO https://gitlab.com/libeigen/eigen.git)
+endif ()
+
 FetchContent_Declare(
        eigen
        EXCLUDE_FROM_ALL
-        GIT_REPOSITORY https://gitlab.com/libeigen/eigen.git
+        GIT_REPOSITORY ${EIGEN_REPO}
        GIT_TAG master
        GIT_SHALLOW TRUE
 )