From 72043fe306102d86716405654e3b46ff4a44003b Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Fri, 17 Mar 2017 09:44:16 +0100
Subject: [PATCH] this message should be printed if option is not defined, not
 if it is OFF

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 09c40dab2..1d292a908 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -559,7 +559,7 @@ else (NOT CHAMELEON_SIMULATION)
         "   else set CHAMELEON_USE_CUDA=OFF. The same idea is applicable with MAGMA."
         "${ColourReset}")
     endif()
-    if(NOT CHAMELEON_USE_MAGMA)
+    if(NOT DEFINED CHAMELEON_USE_MAGMA)
         message(WARNING "${BoldBlue}"
         "In simulation mode CHAMELEON_USE_CUDA and CHAMELEON_USE_MAGMA should be set to"
         "   ensure that the user is aware of the version to be used. If Chameleon's"
-- 
GitLab