Fix eigen installs

This commit is contained in:
Thomas Krijnen
2022-11-15 22:19:24 +01:00
parent a85571979e
commit cfb0eda067
2 changed files with 4 additions and 8 deletions
+1 -1
View File
@@ -485,7 +485,7 @@ if "json" in targets:
urlretrieve(json_url, json_install_path)
if "eigen" in targets:
git_clone_or_pull_repository("https://gitlab.com/libeigen/eigen.git", "{DEPS_DIR}/install/eigen-3.3.7".format(**locals()), revision="3.3.7")
git_clone_or_pull_repository("https://gitlab.com/libeigen/eigen.git", f"{DEPS_DIR}/install/eigen-3.3.9", revision="3.3.9")
if "pcre" in targets:
build_dependency(