1 # Configure CTest. For details, see:
2 # http://www.cmake.org/Wiki/CMake_Testing_With_CTest#Customizing_CTest
4 SET(BUILDNAME "none" CACHE TYPE INTERNAL FORCE)
6 set(CTEST_TIMEOUT "300") #TIMEOUT FOR EACH TEST
8 if(with_context MATCHES ucontext AND NOT supernovae)
9 SET(BUILDNAME "UCONTEXT" CACHE TYPE INTERNAL FORCE)
10 endif(with_context MATCHES ucontext AND NOT supernovae)
12 if(with_context MATCHES pthread AND NOT supernovae)
13 SET(BUILDNAME "PTHREAD" CACHE TYPE INTERNAL FORCE)
14 endif(with_context MATCHES pthread AND NOT supernovae)
16 if(enable_compile_warnings AND enable_compile_optimizations)
17 SET(BUILDNAME "FULL_FLAGS" CACHE TYPE INTERNAL FORCE)
18 endif(enable_compile_warnings AND enable_compile_optimizations)
21 SET(BUILDNAME "SUPERNOVAE" CACHE TYPE INTERNAL FORCE)
22 endif(enable_supernovae)
25 SET(BUILDNAME "GTNETS" CACHE TYPE INTERNAL FORCE)
29 SET(BUILDNAME "TRACING" CACHE TYPE INTERNAL FORCE)
33 SET(BUILDNAME "MODEL-CHECKING" CACHE TYPE INTERNAL FORCE)
37 SET(BUILDNAME "MEMCHECK" CACHE TYPE INTERNAL FORCE)
38 endif(enable_memcheck)
41 SET(BUILDNAME "WINDOWS" CACHE TYPE INTERNAL FORCE)
44 set(osname ${CMAKE_SYSTEM_NAME})
45 set(cpu ${CMAKE_SYSTEM_PROCESSOR})
46 set(DISTRIB2 ${CMAKE_SYSTEM_VERSION})
48 SET(SITE "${osname}_${DISTRIB2}_${cpu}")
49 SET(CTEST_SITE "${osname}_${DISTRIB2}_${cpu}")
50 SET(CTEST_PROJECT_NAME "${PROJECT_NAME}")
51 SET(CTEST_CUSTOM_MAXIMUM_FAILED_TEST_OUTPUT_SIZE "3000000")
52 SET(CTEST_CUSTOM_MAXIMUM_PASSED_TEST_OUTPUT_SIZE "3000000")
54 set(PIPOL_IMAGE $ENV{PIPOL_IMAGE})
55 if(NOT ${PIPOL_IMAGE} MATCHES "\n")
56 set(SITE ${PIPOL_IMAGE})
57 endif(NOT ${PIPOL_IMAGE} MATCHES "\n")