Add context to ccmake option.

[simgrid.git] / buildtools / Cmake / src / CMakeOption.txt

diff --git a/buildtools/Cmake/src/CMakeOption.txt b/buildtools/Cmake/src/CMakeOption.txt
index 067f1bb..c8c1158 100644 (file)
--- 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)