-Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
-Denable_model-checking=$(onoff test "$build_mode" = "ModelChecker") \
-Denable_smpi_ISP_testsuite=$(onoff test "$build_mode" = "ModelChecker") \
-Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
-Denable_model-checking=$(onoff test "$build_mode" = "ModelChecker") \
-Denable_smpi_ISP_testsuite=$(onoff test "$build_mode" = "ModelChecker") \