X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a321c6c29f2ef6c7de3dfd00f6ce8e454bde0ab6..53c08972a4d829892c151915f9f236c72bdf4165:/buildtools/Cmake/src/CMakeOption.txt

diff --git a/buildtools/Cmake/src/CMakeOption.txt b/buildtools/Cmake/src/CMakeOption.txt
index 067f1bbb27..c8c1158bd6 100644
--- a/buildtools/Cmake/src/CMakeOption.txt
+++ b/buildtools/Cmake/src/CMakeOption.txt
@@ -3,6 +3,7 @@
 
 set(gtnets_path ${gtnets_path} CACHE PATH "Path to gtnets lib")
 set(prefix ${prefix} CACHE PATH "Path where to install project")
+set(with_context ${with_context} CACHE TYPE INTERNAL FORCE)
 
 if(NOT with_context)
 	set(with_context "auto" CACHE TYPE INTERNAL FORCE)
@@ -15,6 +16,7 @@ option(disable_ruby "This variable set ruby use." off)
 option(enable_compile_warnings "" off)
 option(enable_compile_optimizations "" off)
 option(enable_maintainer_mode "Permit to make flex and flexml files." off)
+option(enable_coverage "Enable coverage." off)
 option(supernovae "Supernovae mode." off)
 
 mark_as_advanced(LUA_LIB_PATH_1)