runtime. However, it obviously becomes impossible to get any debug
info from SimGrid if something goes wrong.
-enable_documentation (ON/off)
- Generates the documentation pages.
+enable_documentation (on/OFF)
+ Generates the documentation pages. Building the documentation is not
+ as easy as it used to be, and you should probably use the online
+ version for now.
enable_java (on/OFF)
Generates the java bindings of SimGrid.
enable_smpi_MPICH3_testsuite (on/OFF)
Adds many extra tests for the MPI module.
+minimal_java (on/OFF)
+ Build a java library with as few dependencies as possible.
+
Reset the build configuration
"""""""""""""""""""""""""""""