X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c08d2440735566c5901d5448531a47ce2b73e5c2..c7d7c63df056ba7baedcd29ee5e9d6dace72f296:/tools/cmake/Option.cmake

diff --git a/tools/cmake/Option.cmake b/tools/cmake/Option.cmake
index 511f861184..d3f789998e 100644
--- a/tools/cmake/Option.cmake
+++ b/tools/cmake/Option.cmake
@@ -47,12 +47,19 @@ option(enable_smpi_ISP_testsuite "Whether the test suite from ISP should be buil
 
 # Internal targets used by jenkins
 ###
+option(enable_fortran "Whether fortran is used with SMPI. Turned on by default if gfortran is found." on)
 option(enable_coverage "Whether coverage should be enabled." off)
 mark_as_advanced(enable_coverage)
 option(enable_memcheck "Enable memcheck." off)
 mark_as_advanced(enable_memcheck)
 option(enable_memcheck_xml "Enable memcheck with xml output." off)
 mark_as_advanced(enable_memcheck_xml)
+option(enable_address_sanitizer "Whether address sanitizer is turned on." off)
+mark_as_advanced(enable_address_sanitizer)
+option(enable_thread_sanitizer "Whether thread sanitizer is turned on." off)
+mark_as_advanced(enable_thread_sanitizer)
+option(enable_undefined_sanitizer "Whether undefined sanitizer is turned on." off)
+mark_as_advanced(enable_undefined_sanitizer)
 
 # Cmake, Y U NO hide your garbage??
 ###