Skip to content

Fall back to the GitHub mirror when cloning Eigen fails #276

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
zfergus wants to merge 1 commit into from
Closed

Fall back to the GitHub mirror when cloning Eigen fails #276

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
45 changes: 42 additions & 3 deletions cmake/recipes/eigen.cmake
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Eigen (https://gitlab.com/libeigen/eigen)
# Eigen (https://gitlab.com/libeigen/eigen, mirrored at https://github.com/eigen-mirror/eigen)
# License: MPL 2.0
if(TARGET Eigen3::Eigen)
return()
Expand All @@ -10,10 +10,49 @@ option(EIGEN_DONT_VECTORIZE "Disable Eigen vectorization" OFF)
message(STATUS "Third-party: creating target 'Eigen3::Eigen'")

include(CPM)

set(EIGEN_GIT_TAG 5.0.1)
set(EIGEN_GITLAB_URL "https://gitlab.com/libeigen/eigen.git")
set(EIGEN_GITHUB_URL "https://github.com/eigen-mirror/eigen.git")

# Cloning from GitLab fails often enough in CI that we fall back to the GitHub
# mirror, which carries the same tags and commits. A failed clone inside
# CPMAddPackage is a fatal error we can't recover from, so instead we probe
# GitLab up front with a cheap `git ls-remote` and pick the source before CPM
# runs. We skip the probe whenever no download will happen: Eigen is already in
# the CPM cache or this build's _deps, or the user pointed CPM at a local copy.
if(CPM_SOURCE_CACHE)
set(EIGEN_DOWNLOAD_DIR "${CPM_SOURCE_CACHE}/eigen/${EIGEN_GIT_TAG}")
else()
set(EIGEN_DOWNLOAD_DIR "${FETCHCONTENT_BASE_DIR}/eigen-src")
endif()
set(EIGEN_GIT_REPOSITORY "${EIGEN_GITLAB_URL}")
# CPM only looks for git once it starts downloading, so we look for it here.
find_package(Git QUIET)
if(GIT_FOUND AND NOT (EXISTS "${EIGEN_DOWNLOAD_DIR}"
OR DEFINED CPM_eigen_SOURCE OR FETCHCONTENT_FULLY_DISCONNECTED))
execute_process(
COMMAND "${GIT_EXECUTABLE}" ls-remote --exit-code
"${EIGEN_GITLAB_URL}" "refs/tags/${EIGEN_GIT_TAG}"
RESULT_VARIABLE EIGEN_GITLAB_STATUS
OUTPUT_QUIET ERROR_QUIET
TIMEOUT 30
)
if(NOT EIGEN_GITLAB_STATUS EQUAL 0)
message(WARNING "Unable to reach ${EIGEN_GITLAB_URL}; "
"falling back to the GitHub mirror ${EIGEN_GITHUB_URL}.")
set(EIGEN_GIT_REPOSITORY "${EIGEN_GITHUB_URL}")
endif()
endif()

CPMAddPackage(
NAME eigen
GITLAB_REPOSITORY libeigen/eigen
GIT_TAG 5.0.1
GIT_REPOSITORY "${EIGEN_GIT_REPOSITORY}"
GIT_TAG ${EIGEN_GIT_TAG}
# Both sources hold identical commits, so we key the cache on the tag alone.
# Otherwise CPM hashes the repository URL into the cache path and a
# fallback would re-clone Eigen even when the GitLab copy is already cached.
CUSTOM_CACHE_KEY ${EIGEN_GIT_TAG}
DOWNLOAD_ONLY YES
)

Expand Down
Loading