- 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 \
- 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 \
Installing from the Source
--------------------------
+.. _install_src_deps:
+
Getting the Dependencies
^^^^^^^^^^^^^^^^^^^^^^^^
- 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.
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`.