1 # Configure CTest. For details, see:
2 # http://www.cmake.org/Wiki/CMake_Testing_With_CTest#Customizing_CTest
5 SET(BUILDNAME "APPLE" CACHE TYPE INTERNAL FORCE)
7 SET(BUILDNAME "UNIX" CACHE TYPE INTERNAL FORCE)
9 SET(BUILDNAME "WINDOWS" CACHE TYPE INTERNAL FORCE)
14 set(CTEST_TIMEOUT "300") #TIMEOUT FOR EACH TEST
17 if(enable_compile_warnings AND enable_compile_optimizations)
18 SET(BUILDNAME "FULL_FLAGS" CACHE TYPE INTERNAL FORCE)
22 SET(BUILDNAME "GTNETS" CACHE TYPE INTERNAL FORCE)
26 SET(BUILDNAME "MODEL-CHECKING" CACHE TYPE INTERNAL FORCE)
30 SET(BUILDNAME "MEMCHECK" CACHE TYPE INTERNAL FORCE)
33 set(osname ${CMAKE_SYSTEM_NAME})
34 set(cpu ${CMAKE_SYSTEM_PROCESSOR})
35 set(DISTRIB2 ${CMAKE_SYSTEM_VERSION})
37 SET(SITE "${osname}_${DISTRIB2}_${cpu}")
38 SET(CTEST_SITE "${osname}_${DISTRIB2}_${cpu}")
39 SET(CTEST_PROJECT_NAME "${PROJECT_NAME}")
40 SET(CTEST_CUSTOM_MAXIMUM_FAILED_TEST_OUTPUT_SIZE "3000000")
41 SET(CTEST_CUSTOM_MAXIMUM_PASSED_TEST_OUTPUT_SIZE "3000000")
43 set(PIPOL_IMAGE $ENV{PIPOL_IMAGE})
44 if(NOT ${PIPOL_IMAGE} MATCHES "\n")
45 set(SITE ${PIPOL_IMAGE})
48 set(PATTERN_CTEST_IGNORED "")
50 set(PATTERN_CTEST_IGNORED
58 set(PATTERN_CTEST_IGNORED
59 ${PATTERN_CTEST_IGNORED}
65 CONFIGURE_FILE(${CMAKE_HOME_DIRECTORY}/buildtools/Cmake/CTestCustom.cmake ${CMAKE_BINARY_DIR}/CTestCustom.cmake @ONLY)