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

diff --git a/buildtools/Cmake/src/CMakeOption.txt b/buildtools/Cmake/src/CMakeOption.txt
index 3d4db3cda0..990afa4049 100644
--- a/buildtools/Cmake/src/CMakeOption.txt
+++ b/buildtools/Cmake/src/CMakeOption.txt
@@ -1,13 +1,16 @@
 ### ARGs use -D[var]=[ON/OFF] or [1/0] or [true/false](see after)
 ### ex: cmake -Ddisable_java=ON -Ddisable_gtnets=ON ./
 
+set(BIBTEX2HTML ${BIBTEX2HTML} CACHE PATH "Path to bibtex2html")
 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)
 endif(NOT with_context)
 
+
 option(disable_java "This variable set the java context." off)
 option(disable_lua "This variable set lua use." off)
 option(disable_gtnets "This variable set the gtnets context." off)
@@ -16,12 +19,19 @@ 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(enable_memcheck "Enable memcheck." off)
 option(supernovae "Supernovae mode." off)
+option(tracing "Tracing mode." off)
+option(print_message "Enable print message during config." off)
 
+mark_as_advanced(BIBTEX2HTML_PATH)
 mark_as_advanced(LUA_LIB_PATH_1)                                                                                                                      
 mark_as_advanced(LUA_LIB_PATH_2)
+mark_as_advanced(LUA_LIB_PATH_3)
 mark_as_advanced(HAVE_LUA5_1_LAUXLIB_H)                        
 mark_as_advanced(HAVE_LUA5_1_LUALIB_H)
+mark_as_advanced(RUBY_LIB_PATH_1)                                                                                                                      
+mark_as_advanced(RUBY_LIB_PATH_2)
 mark_as_advanced(CLEAR gtnets_path)
 mark_as_advanced(BUILDNAME)
 mark_as_advanced(ADDR2LINE)