X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/67d66b0cf79b9fc02c0450f254584693dbf21d3b..223f79c1a096e4157772f8bc3b4f5cdf5161b524:/tools/cmake/Option.cmake

diff --git a/tools/cmake/Option.cmake b/tools/cmake/Option.cmake
index fe18f65c72..b165f3575a 100644
--- a/tools/cmake/Option.cmake
+++ b/tools/cmake/Option.cmake
@@ -32,8 +32,6 @@ if(minimal-bindings)
   set(enable_lib_in_jar on)
 endif()
 
-option(enable_lua            "Whether the Lua bindings are activated." off)
-
 option(enable_model-checking "Turn this on to experiment with our prototype of model-checker (hinders the simulation's performance even if turned off at runtime)" off)
 option(enable-model-checking "Please set 'enable_model-checking' instead" off)
 mark_as_advanced(enable-model-checking)
@@ -50,7 +48,7 @@ else()
   option(enable_smpi_papi    "Whether SMPI supports PAPI bindings." off)
 endif()
 option(enable_smpi_MPICH3_testsuite "Whether the test suite form MPICH 3 should be built" off)
-option(enable_smpi_ISP_testsuite "Whether the test suite from ISP should be built." off)
+option(enable_smpi_MBI_testsuite "Whether the test suite from MBI should be built." off)
 
 # Internal targets used by jenkins
 ###