1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-12-13 19:50:34 +00:00

Bump local Google Benchmark version to 1.8.0

This commit is contained in:
Carles Fernandez 2023-05-05 18:50:59 +02:00
parent 038ded3b5a
commit 4479c7867b
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -342,7 +342,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.7.1")
set(GNSSSDR_BENCHMARK_LOCAL_VERSION "1.8.0")
set(GNSSSDR_MATHJAX_EXTERNAL_VERSION "2.7.7")
# Downgrade versions if requirements are not met