diff --git a/src/utils/rinex-tools/CMakeLists.txt b/src/utils/rinex-tools/CMakeLists.txt index b27cc7848..bdd38fdf4 100644 --- a/src/utils/rinex-tools/CMakeLists.txt +++ b/src/utils/rinex-tools/CMakeLists.txt @@ -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()