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

diff --git a/buildtools/Cmake/src/CMakeOption.txt b/buildtools/Cmake/src/CMakeOption.txt
index d3a97b79a8..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,8 +16,11 @@ 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)                                                                                                                      
+mark_as_advanced(LUA_LIB_PATH_2)
 mark_as_advanced(HAVE_LUA5_1_LAUXLIB_H)                        
 mark_as_advanced(HAVE_LUA5_1_LUALIB_H)
 mark_as_advanced(CLEAR gtnets_path)
@@ -41,4 +45,5 @@ mark_as_advanced(SED_EXE)
 mark_as_advanced(SET_MAKE)
 mark_as_advanced(SH_EXE)
 mark_as_advanced(SVN)
+mark_as_advanced(GIT)
 mark_as_advanced(VALGRIND_PATH)