mirrors/gnss-sdr
1
0
Fork 0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-12-15 04:30:33 +00:00
Code Issues Releases Wiki Activity

Add warning if Armadillo version is older than 9.800, since the obsdiff tool will not be built

Browse Source
This commit is contained in:
Carles Fernandez 2020-02-20 10:53:22 +01:00
parent c6fc6eb020
commit c315767008
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/utils/rinex-tools/CMakeLists.txt
View File

@ -59,4 +59,7 @@ if("${ARMADILLO_VERSION_STRING}" VERSION_GREATER "9.800" OR (NOT ARMADILLO_FOUND
RUNTIME DESTINATION bin
COMPONENT "obsdiff"
)
else()
message(STATUS "The Armadillo library version found (${ARMADILLO_VERSION_STRING}) is older than 9.800.")
message(STATUS " obsdiff will not be built.")
endif()