From c3157670087343bf210f6ee3929601cab4470722 Mon Sep 17 00:00:00 2001
From: Carles Fernandez <carles.fernandez@gmail.com>
Date: Thu, 20 Feb 2020 10:53:22 +0100
Subject: [PATCH] Add warning if Armadillo version is older than 9.800, since
 the obsdiff tool will not be built

---
 src/utils/rinex-tools/CMakeLists.txt | 3 +++
 1 file changed, 3 insertions(+)

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()