more user-friendly error message

Explicit direclty the 3 potentially missing libraries instead of
forcing them to configure thrice to discover them.

diff --git a/CMakeLists.txt b/CMakeLists.txt
index d99da0d..06d2f1c 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -388,7 +388,7 @@ if(HAVE_LIBUNWIND)
   endif()
 else()
   if(enable_model-checking)
-    message(FATAL_ERROR "Please either install the libunwind7-dev package (or equivalent) or turn off the model-checking option of SimGrid.")
+    message(FATAL_ERROR "Please install libunwind-dev libdw-dev libevent-dev if you want to compile the SimGrid model checker.")
   endif()
 endif()