set(HAVE_LUA 0)
SET(HAVE_JAVA 0)
SET(HAVE_TRACING 0)
-SET(HAVE_LATENCY_BOUND_TRACKING 0)
if(enable_tracing)
SET(HAVE_TRACING 1)
if(enable_latency_bound_tracking)
SET(HAVE_LATENCY_BOUND_TRACKING 1)
+else(enable_latency_bound_tracking)
+ if(enable_gtnets)
+ SET(enable_latency_bound_tracking ON)
+ SET(HAVE_LATENCY_BOUND_TRACKING 1)
+ else(enable_gtnets)
+ SET(HAVE_LATENCY_BOUND_TRACKING 0)
+ endif(enable_gtnets)
endif(enable_latency_bound_tracking)
if(enable_model-checking AND HAVE_MMAP)