[wpical] Use updated thirdparty-ceres and move resource files (#8151)

This commit is contained in:
Gold856
2025-08-03 14:41:25 -04:00
committed by GitHub
parent c42fde5d07
commit 2d11946d98
24 changed files with 946 additions and 15 deletions

View File

@@ -32,6 +32,9 @@ def copy_upstream_src(wpilib_root: Path):
with open(f) as file:
content = file.read()
content = content.replace("#include <malloc.h>", "")
content = content.replace(
"suitesparse/cholmod_core.h", "suitesparse/cholmod.h"
)
content = content.replace(
"// mrcal_point3_t *c_observations_point_pool = observations_point;",
"mrcal_point3_t *c_observations_point_pool = observations_point;",