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)
find_library(PATH_PCRE_LIB pcre "/usr/lib/")
set(HAVE_PCRE_LIB 0)
if(PATH_PCRE_LIB)
- string(REGEX REPLACE "/libpcre.*[.]so$" "" PATHLIBPCRE "${PATH_PCRE_LIB}")
+ string(REGEX REPLACE "/libpcre.*[.]${LIB_EXE}$" "" PATHLIBPCRE "${PATH_PCRE_LIB}")
string(REGEX MATCH "-L${PATHLIBPCRE} " operation "${CMAKE_C_FLAGS}")
if(NOT operation)
SET(CMAKE_C_FLAGS "${CMAKE_C_FLAGS}-L${PATHLIBPCRE} ")