1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-12-14 04:00:34 +00:00

Update matio version to build if not found to 1.5.14

This commit is contained in:
Carles Fernandez 2019-03-11 21:41:33 +01:00
parent fb5347038d
commit 225742c5e9
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -412,7 +412,7 @@ set(GNSSSDR_ARMADILLO_LOCAL_VERSION "9.200.x")
set(GNSSSDR_GTEST_LOCAL_VERSION "1.8.1")
set(GNSSSDR_GNSS_SIM_LOCAL_VERSION "master")
set(GNSSSDR_GPSTK_LOCAL_VERSION "2.10.6")
set(GNSSSDR_MATIO_LOCAL_VERSION "1.5.13")
set(GNSSSDR_MATIO_LOCAL_VERSION "1.5.14")
set(GNSSSDR_PUGIXML_LOCAL_VERSION "1.9")
if(CMAKE_VERSION VERSION_LESS "3.0.2") # Fix for CentOS 7