From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Thu, 2 Mar 2023 08:48:45 +0000 (+0100)
Subject: MC builds have specific dependencies
X-Git-Tag: v3.34~407
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/cb87a5ae2c6f92a5ffa4a11be5565fe2a94f2fa3

MC builds have specific dependencies
---

diff --git a/.github/workflows/git.yml b/.github/workflows/git.yml
index c2747aefd6..6ddfafe1eb 100644
--- a/.github/workflows/git.yml
+++ b/.github/workflows/git.yml
@@ -21,7 +21,7 @@ jobs:
 
       - name: build
         run: |
-          sudo apt update && sudo apt-get install ninja-build libboost-dev libboost-context-dev libns3-dev
+          sudo apt-get update && sudo apt-get install ninja-build libboost-dev libboost-context-dev libns3-dev
           cmake -GNinja -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
                 -Denable_compile_optimizations=ON -Denable_compile_warnings=ON \
                 -Denable_model-checking=OFF -Denable_smpi_MBI_testsuite=OFF \
@@ -56,7 +56,8 @@ jobs:
 
       - name: build
         run: |
-          sudo apt update && sudo apt-get install ninja-build libboost-dev libboost-context-dev
+          sudo apt-get update && sudo apt-get install ninja-build libboost-dev libboost-context-dev
+          sudo apt-get libunwind-dev libdw-dev libelf-dev libevent-dev 
           cmake -GNinja -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
                 -Denable_compile_optimizations=ON -Denable_compile_warnings=ON \
                 -Denable_model-checking=ON -Denable_smpi_MBI_testsuite=OFF \
diff --git a/docs/source/Installing_SimGrid.rst b/docs/source/Installing_SimGrid.rst
index 55bfd0a4a7..e77dae30ce 100644
--- a/docs/source/Installing_SimGrid.rst
+++ b/docs/source/Installing_SimGrid.rst
@@ -75,6 +75,8 @@ but that's even more so for these unreleased versions).
 Installing from the Source
 --------------------------
 
+.. _install_src_deps:
+
 Getting the Dependencies
 ^^^^^^^^^^^^^^^^^^^^^^^^
 
@@ -97,6 +99,8 @@ Eigen3 (optional)
   - On CentOS / Fedora: ``dnf install eigen3-devel``
   - On macOS with homebrew: ``brew install eigen``
   - Use EIGEN3_HINT to specify where it's installed if cmake doesn't find it automatically.
+Model-checking related dependencies (optional)
+  - On Debian / Ubuntu: ``apt install libunwind-dev libdw-dev libelf-dev libevent-dev``
 
 For platform-specific details, please see below.
 
@@ -229,9 +233,8 @@ enable_mallocators (ON/off)
   code, but it may fool the debuggers.
 
 enable_model-checking (on/OFF)
-  Activates the formal verification mode. This will **hinder
-  simulation speed** even when the model checker is not activated at
-  run time.
+  Activates the formal verification mode. This may slightly hinder simulation speed even when the model checker is not activated
+  at run time. You need to have the :ref:`required build-dependencies <install_src_deps>` to activate this option.
 
 enable_ns3 (on/OFF)
   Activates the ns-3 bindings. See section :ref:`models_ns3`.