X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9a4ec91cc24a9a54ff3a060cc2828ac54d0c0c26..5f5a10db6fc4552782638abb4817041223e17775:/docs/source/Installing_SimGrid.rst diff --git a/docs/source/Installing_SimGrid.rst b/docs/source/Installing_SimGrid.rst index 0953584210..3b9e1a95a6 100644 --- a/docs/source/Installing_SimGrid.rst +++ b/docs/source/Installing_SimGrid.rst @@ -102,8 +102,6 @@ python bindings (optional): - On Debian / Ubuntu: ``apt install pybind11-dev python3-dev`` Model-checking mandatory dependencies - On Debian / Ubuntu: ``apt install libevent-dev`` -Model-checking optional dependencies - - On Debian / Ubuntu: ``apt install libunwind-dev libdw-dev libelf-dev`` Eigen3 (optional) - On Debian / Ubuntu: ``apt install libeigen3-dev`` - On CentOS / Fedora: ``dnf install eigen3-devel`` @@ -243,10 +241,9 @@ enable_mallocators (ON/off) Activates our internal memory caching mechanism. This produces faster code, but it may fool the debuggers. -enable_model-checking (on/OFF) - Activates the liveness verification mode. This will hinder simulation speed even when the model checker is not activated at run - time, because some optimizations such as LTO must be disabled at compile time. You need to have the :ref:`required - build-dependencies ` to activate this option. +enable_model-checking (ON/off) + Activates the verification mode. This should not impact the performance of your simulations if you build it but don't use it, + but you can still disable it to save some compilation time. enable_ns3 (on/OFF) Activates the ns-3 bindings. See section :ref:`models_ns3`. @@ -405,7 +402,7 @@ Windows-specific instructions ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ The best solution to get SimGrid working on windows is to install the -Ubuntu subsystem of Windows 10. All of SimGrid (but the liveness model checker) +Ubuntu subsystem of Windows 10. All of SimGrid works in this setting. Native builds never really worked, and they are disabled starting with SimGrid v3.33.