option(enable_maintainer_mode "Whether flex and flexml files should be rebuilt." off)
option(enable_debug "Turn this off to remove all debug messages at compile time (faster, but no debug activatable)" on)
-
-
# Optional modules
###
option(enable_documentation "Whether to produce documentation" on)
option(enable_lib_in_jar "Whether the native libraries are bundled in a Java jar file" on)
option(enable_lua "Whether the Lua bindings are activated." off)
-option(enable_tracing "Tracing simulations for visualization." on)
option(enable_model-checking "Turn this on to experiment with our prototype of model-checker (hinders the simulation's performance even if turned off at runtime)" off)
option(enable_jedule "Jedule output of SimDAG." off)
endif()
option(enable_smpi_ISP_testsuite "Whether the test suite from ISP should be built." off)
-
# Internal targets used by jenkins
###
option(enable_coverage "Whether coverage should be enabled." off)