Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Option model-checking OFF by default
[simgrid.git] / tools / cmake / Option.cmake
1 ### ARGs use -D[var]=[ON/OFF] or [1/0] or [true/false](see below)
2 ### ex: cmake -Denable_ns3=ON ./
3
4 set(BIBTEX2HTML ${BIBTEX2HTML} CACHE PATH "Path to bibtex2html")
5
6 if(NOT CMAKE_INSTALL_PREFIX)
7   set(CMAKE_INSTALL_PREFIX "/usr/local/simgrid/" CACHE PATH "Path where this project should be installed")
8 else()
9   set(CMAKE_INSTALL_PREFIX ${CMAKE_INSTALL_PREFIX} CACHE PATH "Path where this project should be installed")
10 endif()
11
12 # How to build
13 ###
14 option(enable_compile_optimizations "Whether to produce efficient code for the SimGrid library" on)
15 option(enable_compile_warnings      "Whether compilation warnings should be turned into errors." off)
16 option(enable_lto                   "Whether we should try to activate the LTO (link time optimisation)" on)
17 option(enable_mallocators           "Enable mallocators (disable only for debugging purpose)." on)
18 option(enable_maintainer_mode       "Whether flex and flexml files should be rebuilt." off)
19 option(enable_debug                 "Turn this off to remove all debug messages at compile time (faster, but no debug activatable)" on)
20
21 # Optional modules
22 ###
23 option(enable_documentation "Whether to produce documentation" off)
24
25 option(enable_ns3            "Whether ns-3 model is activated." off)
26 option(enable_msg            "Java was removed from SimGrid v3.33. Please do not enable it here." off)
27 mark_as_advanced(enable_msg)
28 if (enable_msg)
29   message(FATAL_ERROR "MSG was removed from SimGrid v3.33. Please stick to v3.32 or earlier if you need Java.")
30 endif()
31
32 option(enable_java            "Java was removed from SimGrid v3.33. Please do not enable it here." off)
33 mark_as_advanced(enable_java)
34 if (enable_java)
35   message(FATAL_ERROR "Java was removed from SimGrid v3.33. Please stick to v3.32 or earlier if you need Java.")
36 endif()
37
38 option(minimal-bindings      "Whether to compile the Python bindings libraries with the minimal dependency set" off)
39 mark_as_advanced(minimal-bindings)
40
41 option(enable_model-checking "Turn this on to experiment with our prototype of model-checker" off)
42 option(enable-model-checking "Please set 'enable_model-checking' instead" off)
43 mark_as_advanced(enable-model-checking)
44 if(enable-model-checking)
45   SET(enable_model-checking ON CACHE BOOL "Whether to compile the model-checker" FORCE)
46 endif()
47
48 option(enable_smpi "Whether SMPI is included in the library." on)
49 option(enable_smpi_papi    "Whether SMPI supports PAPI bindings." off)
50 option(enable_smpi_MPICH3_testsuite "Whether the test suite form MPICH 3 should be built" off)
51 option(enable_smpi_MBI_testsuite "Whether the test suite from MBI should be built." off)
52
53 # Internal targets used by jenkins
54 ###
55 option(enable_fortran "Whether fortran is used with SMPI. Turned on by default if gfortran is found." on)
56 option(enable_coverage "Whether coverage should be enabled." off)
57 mark_as_advanced(enable_coverage)
58 option(enable_memcheck "Enable memcheck." off)
59 mark_as_advanced(enable_memcheck)
60 option(enable_memcheck_xml "Enable memcheck with xml output." off)
61 mark_as_advanced(enable_memcheck_xml)
62 option(enable_address_sanitizer "Whether address sanitizer is turned on." off)
63 mark_as_advanced(enable_address_sanitizer)
64 option(enable_thread_sanitizer "Whether thread sanitizer is turned on." off)
65 mark_as_advanced(enable_thread_sanitizer)
66 option(enable_undefined_sanitizer "Whether undefined sanitizer is turned on." off)
67 mark_as_advanced(enable_undefined_sanitizer)
68
69 # Cmake, Y U NO hide your garbage??
70 ###
71 mark_as_advanced(HAVE_SSH)
72 mark_as_advanced(HAVE_RSYNC)
73 mark_as_advanced(BIBTEX2HTML_PATH)
74 mark_as_advanced(BUILDNAME)
75 mark_as_advanced(ADDR2LINE)
76 mark_as_advanced(BIBTOOL_PATH)
77 mark_as_advanced(BUILD_TESTING)
78 mark_as_advanced(CMAKE_BUILD_TYPE)
79 mark_as_advanced(DART_ROOT)
80 mark_as_advanced(DOXYGEN_PATH)
81 mark_as_advanced(FIG2DEV_PATH)
82 mark_as_advanced(FLEXML_EXE)
83 mark_as_advanced(FLEX_EXE)
84 mark_as_advanced(GCOV_PATH)
85 mark_as_advanced(ICONV_PATH)
86 mark_as_advanced(MAKE_PATH)
87 mark_as_advanced(SVN)
88 mark_as_advanced(GIT)
89 mark_as_advanced(CMAKE_OSX_ARCHITECTURES)
90 mark_as_advanced(CMAKE_OSX_DEPLOYMENT_TARGET)
91 mark_as_advanced(CMAKE_OSX_SYSROOT)
92 mark_as_advanced(SED_EXE)
93 mark_as_advanced(BIBTEX2HTML)
94 mark_as_advanced(CMAKE_C_LINK_FLAGS)
95 mark_as_advanced(CMAKE_CXX_FLAGS)
96 mark_as_advanced(CMAKE_Fortran_LINK_FLAGS)