# HG changeset patch
# User David Demelier <markand@malikania.fr>
# Date 1496914052 -7200
# Node ID 55300686bd78aa61c309036512611d9307f0f6cf
# Parent  103c1e4ba2c2469cdd393055eb3f46ef2adbcdef
CMake: check that vera++ is at least 1.3.0, closes #656

diff -r 103c1e4ba2c2 -r 55300686bd78 cmake/MalikaniaOptions.cmake
--- a/cmake/MalikaniaOptions.cmake	Thu Jun 08 09:01:22 2017 +0200
+++ b/cmake/MalikaniaOptions.cmake	Thu Jun 08 11:27:32 2017 +0200
@@ -80,7 +80,17 @@
 
 if (VERA_EXECUTABLE)
     if (WITH_VERA)
-        malikania_setg(WITH_VERA_MSG "Yes")
+        execute_process(
+            COMMAND ${VERA_EXECUTABLE} --version
+            OUTPUT_VARIABLE VERA_VERSION
+        )
+
+        if (${VERA_VERSION} VERSION_LESS "1.3.0")
+            malikania_setg(WITH_VERA Off)
+            malikania_setg(WITH_VERA_MSG "No (1.3.0 or greater required)")
+        else ()
+            malikania_setg(WITH_VERA_MSG "Yes")
+        endif () 
     else ()
         malikania_setg(WITH_VERA Off)
         malikania_setg(WITH_VERA_MSG "No (disabled by user)")