1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2025-08-30 09:27:58 +00:00

Bump Benchmark to 1.8.1

This commit is contained in:
Carles Fernandez
2023-07-05 19:39:17 +02:00
parent a29f52e2e4
commit 5759e0a385

View File

@@ -344,7 +344,7 @@ set(GNSSSDR_PUGIXML_LOCAL_VERSION "1.13")
set(GNSSSDR_GTEST_LOCAL_VERSION "1.13.0")
set(GNSSSDR_GNSS_SIM_LOCAL_VERSION "master")
set(GNSSSDR_GNSSTK_LOCAL_VERSION "14.0.0")
set(GNSSSDR_BENCHMARK_LOCAL_VERSION "1.8.0")
set(GNSSSDR_BENCHMARK_LOCAL_VERSION "1.8.1")
set(GNSSSDR_MATHJAX_EXTERNAL_VERSION "2.7.7")
# Downgrade versions if requirements are not met