[upstream_utils] Upgrade to Eigen 5.0.0 (#8240)

This commit is contained in:
Tyler Veness
2025-09-20 15:49:23 -07:00
committed by GitHub
parent ee0a8a1e56
commit a7e7f6912a
4 changed files with 21 additions and 8 deletions

View File

@@ -77,6 +77,7 @@ def eigen_inclusions(dp: Path, f: str):
"SparseLU",
"SparseQR",
"StdVector",
"Version",
"misc",
"plugins",
]
@@ -144,8 +145,7 @@ def copy_upstream_src(wpilib_root: Path):
def main():
name = "eigen"
url = "https://gitlab.com/libeigen/eigen.git"
# master on 2025-09-08
tag = "e0a59e5a66e6d16fa93ab4f5e48bf539205e837f"
tag = "5.0.0"
eigen = Lib(name, url, tag, copy_upstream_src)
eigen.main()