-\subsubsection install_cmake_list SimGrid compilation options
-
-In addition to the classical cmake configuration variables, SimGrid
-accepts several options, as listed below.
-
- @li <b>CMAKE_INSTALL_PREFIX</b> (path): Where to install SimGrid
- (e.g. /usr/local or /opt).
-
- @li <b>enable_compile_optimizations</b> (ON/OFF): request the
- compiler to produce efficient code. You want to activate it,
- unless you want to debug SimGrid itself (as efficient code may
- be appear mangled to the debuggers).
-
- @li <b>enable_debug</b> (ON/OFF): disable this if simulation speed
- really matters to you. All log messages of gravity debug or
- below will be discarded at compilation time. Since there is
- quite a bunch of such log messages in SimGrid itself, this can
- reveal faster than discarding them at runtime as usually. But of
- course, it is then impossible to get any debug message from
- SimGrid if something goes wrong.
-
- @li <b>enable_model-checking</b> (ON/OFF): Only enable this if you
- actually plan to use the model-checking aspect of SimGrid. This
- mode of execution is still under heavy work, but it should be
- rather usable now. Be <b>warned</b> that this option will hinder
- your simulation speed even if you simulate without activating
- the model-checker. We are working on improving this situation.
-
- @li <b>enable_compile_warnings</b> (ON/OFF): request the compiler to
- issue error message whenever the source code is not perfectly
- clean. If you develop SimGrid itself, you must activate it to
- ensure the code quality, but as a user, that option will only
- bring you issues.
-
- @li <b>enable_maintainer_mode</b> (ON/OFF): you only need to set
- this option if you modify very specific parts of SimGrid itself
- (the XML parsers and other related elements). Adds an extra
- dependency on flex and flexml.
-
- @li <b>enable_tracing</b> (ON/OFF): disable this if you have issues
- with the tracing module. But this module is now very stable and
- you really should try to enjoy this beauty.
-
- @li <b>enable_smpi</b> (ON/OFF): disable this if you have issues
- with the module allowing to run MPI code on top of SimGrid. This
- module very stable, but if you really don't need it, you can
- disable it.
-
- @li <b>enable_mallocators</b> (ON/OFF): disable this when tracking
- memory issues within SimGrid, or the caching mechanism used
- internally will fool the debuggers.
-
- @li <b>enable_jedule</b> (ON/OFF): enable this to get SimDag
- producing traces that can then be visualized with the Jedule
- external tool.
-
- @li <b>enable_lua</b> (ON/OFF): enable this if you want to enjoy the
- lua bindings of SimGrid. Adds an extra dependency on lua library
- and developer header files.
-
-
- @li <b>enable_ns3</b> (ON/OFF): whether you want to use ns3.
- See section @ref pls_simgrid_configuration_ns3.
- @li <b>NS3_HINT</b> (path): Where to search for NS3 (eg /usr or /opt).
- @li <b>enable_latency_bound_tracking</b> (ON/OFF): enable it if you
- want to be warned when communications are limited by round trip
- time while doing packet-level simulation.
- @li <b>enable_documentation</b> (ON/OFF) : whether the documentation should be
- generated during the compilation. Default is ON.
-
-\subsubsection install_cmake_reset Resetting the compilation configuration
-
-If you need to empty the cache of values saved by cmake (either
-because you added a new library or because something seriously went
-wrong), you can simply delete the file CMakeCache.txt that is created
-at the root of the source tree. You may also want to edit this file
-directly in some circumstances.
-
-\subsubsection install_cmake_outsrc Compiling into a separate directory
+@subsubsection install_cmake_list SimGrid compilation options
+
+In addition to the classical cmake configuration variables, SimGrid accepts several options, as listed below.
+
+ @li <b>CMAKE_INSTALL_PREFIX</b> (path): Where to install SimGrid (/opt/simgrid, /usr/local, or elsewhere).
+
+ @li <b>enable_compile_optimizations</b> (ON/OFF) to request the compiler to produce efficient code. You want to
+ activate it, unless you plan to debug SimGrid itself. Indeed, efficient code may be appear mangled to debuggers.
+
+ @li <b>enable_compile_warnings</b> (ON/OFF) to request the compiler to issue error messages whenever the source code
+ is not perfectly clean. If you are a SimGrid developer, you have to activate this option to enforce the code
+ quality. As a regular user, this option will bring you nothing.
+
+ @li <b>enable_debug</b> (ON/OFF). Disable this option toto discard
+ all log messages of gravity debug or below at compile time (see
+ @ref XBT_log). The resulting code is faster than if you
+ discarding these messages at runtime. However, it obviously
+ becomes impossible to get any debug info from SimGrid if
+ something goes wrong.
+
+ @li <b>enable_documentation</b> (ON/OFF) to generate the documentation pages.
+
+ @li <b>enable_java</b> (ON/OFF) to enjoy the java bindings of SimGrid.
+
+ @li <b>enable_jedule</b> (ON/OFF) to get SimDag producing execution traces that can then be visualized with the
+ Jedule external tool.
+
+ @li <b>enable_lua</b> (ON/OFF) to enjoy the lua bindings to the
+ SimGrid internals (this require the liblua5.3-dev and lua-5.3 packages or equivalent).
+
+ @li <b>enable_lib_in_jar</b> (ON/OFF) to make sure that the native
+ java bindings are bundled in the jar file.
+
+ @li <b>enable_lto</b> (ON/OFF) to enable the Link Time Optimization
+ of the C compiler. This feature really speeds up the produced
+ code, but it is fragile with some versions of GCC.
+
+ @li <b>enable_maintainer_mode</b> (ON/OFF) is only needed if you plan to modify very specific parts of SimGrid
+ (e.g., the XML parsers and other related elements). Moreover, this adds an extra dependency on flex and flexml.
+
+ @li <b>enable_mallocators</b> (ON/OFF) has to be disabled when tracking memory issues within SimGrid,
+ or our internal memory caching mechanism will fool the debuggers.
+
+ @li <b>enable_model-checking</b> (ON/OFF) This execution gear
+ is very usable now, but enabling this option at compile time
+ will **hinder simulation speed** even when the model-checker is
+ not activated at run time.
+
+ @li <b>enable_ns3</b> (ON/OFF) if you want to use ns-3. See section @ref pls_ns3.
+
+ @li <b>enable_smpi</b> (ON/OFF) to run MPI code on top of SimGrid.
+
+ @li <b>enable_smpi_ISP_testsuite</b> (ON/OFF) to add many extra
+ tests for the model-checker module.
+
+ @li <b>enable_smpi_MPICH3_testsuite</b> (ON/OFF) to add many extra
+ tests for the MPI module.
+
+@subsubsection install_cmake_reset Reset the build configuration
+
+To empty the cmake cache (either when you add a new library or when
+things go seriously wrong), simply delete your @c CMakeCache.txt. You
+may also want to directly edit this file in some circumstances.
+
+@subsubsection install_cmake_outsrc Out of Tree Compilation