if(enable_memcheck)
set(CTEST_TIMEOUT "300") #TIMEOUT FOR EACH TEST
endif(enable_memcheck)
-if(with_context MATCHES ucontext AND NOT supernovae)
- SET(BUILDNAME "UCONTEXT" CACHE TYPE INTERNAL FORCE)
-endif(with_context MATCHES ucontext AND NOT supernovae)
-if(with_context MATCHES pthread AND NOT supernovae)
- SET(BUILDNAME "PTHREAD" CACHE TYPE INTERNAL FORCE)
-endif(with_context MATCHES pthread AND NOT supernovae)
+if(CONTEXT_THREADS AND CONTEXT_UCONTEXT)
+ SET(BUILDNAME "BOTH_CONTEXT" CACHE TYPE INTERNAL FORCE)
+elseif(CONTEXT_THREADS AND CONTEXT_UCONTEXT)
+
+ if(CONTEXT_UCONTEXT)
+ SET(BUILDNAME "UCONTEXT" CACHE TYPE INTERNAL FORCE)
+ endif(CONTEXT_UCONTEXT)
+
+ if(CONTEXT_THREADS)
+ SET(BUILDNAME "PTHREAD" CACHE TYPE INTERNAL FORCE)
+ endif(CONTEXT_THREADS)
+
+endif(CONTEXT_THREADS AND CONTEXT_UCONTEXT)
if(enable_compile_warnings AND enable_compile_optimizations)
SET(BUILDNAME "FULL_FLAGS" CACHE TYPE INTERNAL FORCE)
endif(enable_compile_warnings AND enable_compile_optimizations)
-if(supernovae)
+if(enable_supernovae)
SET(BUILDNAME "SUPERNOVAE" CACHE TYPE INTERNAL FORCE)
-endif(supernovae)
+endif(enable_supernovae)
if(HAVE_GTNETS)
SET(BUILDNAME "GTNETS" CACHE TYPE INTERNAL FORCE)
endif(HAVE_GTNETS)
-if(HAVE_TRACING)
- SET(BUILDNAME "TRACING" CACHE TYPE INTERNAL FORCE)
-endif(HAVE_TRACING)
-
if(HAVE_MC)
SET(BUILDNAME "MODEL-CHECKING" CACHE TYPE INTERNAL FORCE)
endif(HAVE_MC)