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
9 if(CONTEXT_THREADS AND CONTEXT_UCONTEXT)
10 SET(BUILDNAME "BOTH_CONTEXT" CACHE TYPE INTERNAL FORCE)
11 elseif(CONTEXT_THREADS AND CONTEXT_UCONTEXT)
14 SET(BUILDNAME "UCONTEXT" CACHE TYPE INTERNAL FORCE)
15 endif(CONTEXT_UCONTEXT)
18 SET(BUILDNAME "PTHREAD" CACHE TYPE INTERNAL FORCE)
19 endif(CONTEXT_THREADS)
21 endif(CONTEXT_THREADS AND CONTEXT_UCONTEXT)
23 if(enable_compile_warnings AND enable_compile_optimizations)
24 SET(BUILDNAME "FULL_FLAGS" CACHE TYPE INTERNAL FORCE)
25 endif(enable_compile_warnings AND enable_compile_optimizations)
28 SET(BUILDNAME "SUPERNOVAE" CACHE TYPE INTERNAL FORCE)
29 endif(enable_supernovae)
32 SET(BUILDNAME "GTNETS" CACHE TYPE INTERNAL FORCE)
36 SET(BUILDNAME "MODEL-CHECKING" CACHE TYPE INTERNAL FORCE)
40 SET(BUILDNAME "MEMCHECK" CACHE TYPE INTERNAL FORCE)
41 endif(enable_memcheck)
44 SET(BUILDNAME "WINDOWS" CACHE TYPE INTERNAL FORCE)
47 set(osname ${CMAKE_SYSTEM_NAME})
48 set(cpu ${CMAKE_SYSTEM_PROCESSOR})
49 set(DISTRIB2 ${CMAKE_SYSTEM_VERSION})
51 SET(SITE "${osname}_${DISTRIB2}_${cpu}")
52 SET(CTEST_SITE "${osname}_${DISTRIB2}_${cpu}")
53 SET(CTEST_PROJECT_NAME "${PROJECT_NAME}")
54 SET(CTEST_CUSTOM_MAXIMUM_FAILED_TEST_OUTPUT_SIZE "3000000")
55 SET(CTEST_CUSTOM_MAXIMUM_PASSED_TEST_OUTPUT_SIZE "3000000")
57 set(PIPOL_IMAGE $ENV{PIPOL_IMAGE})
58 if(NOT ${PIPOL_IMAGE} MATCHES "\n")
59 set(SITE ${PIPOL_IMAGE})
60 endif(NOT ${PIPOL_IMAGE} MATCHES "\n")