[upstream_utils] Recopy Eigen source (#8251)

Upstream slid the tag (again).  Change to the SHA commit ID until things stabilize.
This commit is contained in:
Tyler Veness
2025-09-24 08:03:16 -07:00
committed by GitHub
parent ab259c2e89
commit 5003939b64
16 changed files with 98 additions and 62 deletions

View File

@@ -145,7 +145,8 @@ def copy_upstream_src(wpilib_root: Path):
def main():
name = "eigen"
url = "https://gitlab.com/libeigen/eigen.git"
tag = "5.0.0"
# 5.0.0 release as of 2025-09-23
tag = "d65cda87c1a673047b59b20a9f9e165a452f91e9"
eigen = Lib(name, url, tag, copy_upstream_src)
eigen.main()