+ set(CMAKE_OPTIONS " -Wno-dev")
+
+ if(custom_flags)
+ set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Dcustom_flags=${custom_flags}")
+ endif(custom_flags)
+
+ if(with_context)
+ set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Dwith_context=${with_context}")
+ endif(with_context)
+
+ if(enable_smpi)
+ set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_smpi=on")
+ endif(enable_smpi)
+
+ if(enable_lua)
+ set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_lua=on")
+ endif(enable_lua)
+
+ if(enable_compile_optimizations)
+ set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_compile_optimizations=on")
+ endif(enable_compile_optimizations)
+
+ if(enable_compile_warnings)
+ set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_compile_warnings=on")
+ endif(enable_compile_warnings)
+
+ if(enable_tracing)
+ set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_tracing=on")
+ endif(enable_tracing)
+
+ if(enable_coverage)
+ set(CMAKE_OPTIONS "${CMAKE_OPTION} -Denable_coverage=on")
+ endif(enable_coverage)
+
+ if(enable_print_message)
+ set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_print_message=on")
+ endif(enable_print_message)
+
+ if(enable_model-checking)
+ set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_model-checking=on")
+ endif(enable_model-checking)
+
+ if(enable_latency_bound_tracking)
+ set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_latency_bound_tracking=on")
+ endif(enable_latency_bound_tracking)
+