[jenkins] also exclude generated files from the coverage

[simgrid.git] / CMakeLists.txt

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 545eaaa..2363fac 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -431,6 +431,9 @@ if(enable_smpi)
   elseif("${CMAKE_SYSTEM}" MATCHES "^FreeBSD")
     SET(USE_LIBUTIL 0)
     SET(HAVE_PRIVATIZATION 0)
+  else()
+    message (STATUS "Warning:  no support for SMPI automatic privatization on this platform")
+    SET(HAVE_PRIVATIZATION 0)
   endif()
 endif()
 
@@ -638,11 +641,6 @@ if(HAVE_PTHREAD)
   message("-- Support for thread context factory")
 endif()
 
-# Temp hack to disable context:
-# set(CONTEXT_THREADS 0)
-set(CONTEXT_UCONTEXT 0)
-set(HAVE_RAWCTX 0)
-
 ###############
 ## GIT version check
 ##
@@ -1185,7 +1183,7 @@ else()
   find_program(WGET_PROGRAM  NAMES wget)
   message(STATUS "wget: ${WGET_PROGRAM}")
   if(WGET_PROGRAM)
-    ADD_CUSTOM_TARGET(simgrid_documentation
+    ADD_CUSTOM_TARGET(documentation
       COMMENT "Downloading the SimGrid documentation..."
       COMMAND ${WGET_PROGRAM} -r -np -nH -nd http://simgrid.gforge.inria.fr/simgrid/${release_version}/doc/
       WORKING_DIRECTORY ${CMAKE_HOME_DIRECTORY}/doc/html