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

Fix for CentOS 7

This commit is contained in:
Carles Fernandez 2018-11-17 19:36:47 +01:00
parent 30d162c76a
commit f7e29209ca
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -354,6 +354,9 @@ set(GNSSSDR_GPSTK_LOCAL_VERSION "2.10.6")
set(GNSSSDR_MATIO_LOCAL_VERSION "1.5.13") set(GNSSSDR_MATIO_LOCAL_VERSION "1.5.13")
set(GNSSSDR_PUGIXML_LOCAL_VERSION "1.9") set(GNSSSDR_PUGIXML_LOCAL_VERSION "1.9")
if(CMAKE_VERSION VERSION_LESS "3.0.2")
set(GNSSSDR_GFLAGS_LOCAL_VERSION "2.2.1")
endif(CMAKE_VERSION VERSION_LESS "3.0.2")
################################################################################ ################################################################################
# Check cmake version # Check cmake version