@@ -20,8+20,6 @@ option(enable_mallocators "Enable mallocators (disable only for debugg
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)
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)
# Optional modules
###
option(enable_documentation "Whether to produce documentation" on)
@@ -31,7+29,6 @@ option(enable_java "Whether the Java bindings are activated." off)
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_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)
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)