1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-06-13 16:56:52 +00:00

Fix detection of gnsstk 13.x

This commit is contained in:
Carles Fernandez 2022-07-10 21:14:07 +02:00
parent 1b277347ec
commit 60bf32be97
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -91,7 +91,7 @@ if(GNSSTK_VERSION)
endif() endif()
endif() endif()
if(NOT EXISTS ${GNSSTK_INCLUDE_DIR}/gnsstk/GPSEphemerisStore.hpp) if(EXISTS ${GNSSTK_INCLUDE_DIR}/gnsstk/GPSEphemerisStore.hpp)
set(GNSSTK_OLDER_THAN_13 TRUE) set(GNSSTK_OLDER_THAN_13 TRUE)
endif() endif()