Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove local variable only if frame name is known
[simgrid.git] / buildtools / Cmake / CTestConfig.cmake
1 # Configure CTest. For details, see:
2 # http://www.cmake.org/Wiki/CMake_Testing_With_CTest#Customizing_CTest
3
4 if(APPLE)
5   SET(BUILDNAME "APPLE" CACHE TYPE INTERNAL FORCE)
6 else()
7   SET(BUILDNAME "UNIX" CACHE TYPE INTERNAL FORCE)
8   if(WIN32)
9     SET(BUILDNAME "WINDOWS" CACHE TYPE INTERNAL FORCE)
10   endif()
11 endif()
12
13 if(enable_memcheck)
14   set(CTEST_TIMEOUT "300") #TIMEOUT FOR EACH TEST
15 endif()
16
17 if(enable_compile_warnings AND enable_compile_optimizations)
18   SET(BUILDNAME "FULL_FLAGS" CACHE TYPE INTERNAL FORCE)
19 endif()
20
21 if(enable_supernovae)
22   SET(BUILDNAME "SUPERNOVAE" CACHE TYPE INTERNAL FORCE)
23 endif()
24
25 if(HAVE_GTNETS)
26   SET(BUILDNAME "GTNETS" CACHE TYPE INTERNAL FORCE)
27 endif()
28
29 if(HAVE_MC)
30   SET(BUILDNAME "MODEL-CHECKING" CACHE TYPE INTERNAL FORCE)
31 endif()
32
33 if(enable_memcheck)
34   SET(BUILDNAME "MEMCHECK" CACHE TYPE INTERNAL FORCE)
35 endif()
36
37 set(osname ${CMAKE_SYSTEM_NAME})
38 set(cpu ${CMAKE_SYSTEM_PROCESSOR})
39 set(DISTRIB2 ${CMAKE_SYSTEM_VERSION})
40
41 SET(SITE "${osname}_${DISTRIB2}_${cpu}")
42 SET(CTEST_SITE "${osname}_${DISTRIB2}_${cpu}")
43 SET(CTEST_PROJECT_NAME "${PROJECT_NAME}")
44 SET(CTEST_CUSTOM_MAXIMUM_FAILED_TEST_OUTPUT_SIZE "3000000")
45 SET(CTEST_CUSTOM_MAXIMUM_PASSED_TEST_OUTPUT_SIZE "3000000")
46
47 set(PIPOL_IMAGE $ENV{PIPOL_IMAGE})
48 if(NOT ${PIPOL_IMAGE} MATCHES "\n")
49   set(SITE ${PIPOL_IMAGE})
50 endif()
51
52 set(PATTERN_CTEST_IGNORED "")
53 if(enable_coverage)
54     set(PATTERN_CTEST_IGNORED 
55       "/tools/"
56       "/buildtools/"
57       "/include/"
58       "/testsuite/"
59       "/teshsuite/"
60       "/src/bindings/"
61     )
62     if(NOT release)
63        set(PATTERN_CTEST_IGNORED 
64         ${PATTERN_CTEST_IGNORED}
65         "/examples/"
66         )
67     endif()
68 endif()
69
70 CONFIGURE_FILE(${CMAKE_HOME_DIRECTORY}/buildtools/Cmake/CTestCustom.cmake ${CMAKE_BINARY_DIR}/CTestCustom.cmake @ONLY)