This reverts commit
13ad11bcafc2a83c76b64438fe41794dcd47c6e6.
Reason:
00:00:21.524 CMake Error at CMakeLists.txt:427 (message):
00:00:21.524 Cannot activate both model-checking and ns-3 bindings: ns-3 pulls too much
00:00:21.524 dependencies for the MC to work
cmake -Denable_documentation=OFF -Denable_lua=ON \
-Denable_compile_optimizations=OFF -Denable_compile_warnings=ON \
-Denable_jedule=ON -Denable_mallocators=ON \
- -Denable_ns3=ON \
-Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_model-checking=ON \
-Denable_smpi_papi=ON \
-Denable_memcheck=OFF -Denable_memcheck_xml=OFF -Denable_smpi_ISP_testsuite=ON \