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(APPLE)
   7         SET(BUILDNAME "UNIX" CACHE TYPE INTERNAL FORCE)
   8         if(WIN32)
   9         SET(BUILDNAME "WINDOWS" CACHE TYPE INTERNAL FORCE)
  10         endif(WIN32)
  11 endif(APPLE)
  12
  13 if(enable_memcheck)
  14         set(CTEST_TIMEOUT "300") #TIMEOUT FOR EACH TEST
  15 endif(enable_memcheck)
  16
  17 if(enable_compile_warnings AND enable_compile_optimizations)
  18         SET(BUILDNAME "FULL_FLAGS" CACHE TYPE INTERNAL FORCE)
  19 endif(enable_compile_warnings AND enable_compile_optimizations)
  20
  21 if(HAVE_GTNETS)
  22         SET(BUILDNAME "GTNETS" CACHE TYPE INTERNAL FORCE)
  23 endif(HAVE_GTNETS)
  24
  25 if(HAVE_MC)
  26         SET(BUILDNAME "MODEL-CHECKING" CACHE TYPE INTERNAL FORCE)
  27 endif(HAVE_MC)
  28
  29 if(enable_memcheck)
  30         SET(BUILDNAME "MEMCHECK" CACHE TYPE INTERNAL FORCE)
  31 endif(enable_memcheck)
  32
  33 set(osname ${CMAKE_SYSTEM_NAME})
  34 set(cpu ${CMAKE_SYSTEM_PROCESSOR})
  35 set(DISTRIB2 ${CMAKE_SYSTEM_VERSION})
  36
  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")
  42
  43 set(PIPOL_IMAGE $ENV{PIPOL_IMAGE})
  44 if(NOT ${PIPOL_IMAGE} MATCHES "\n")
  45 set(SITE ${PIPOL_IMAGE})
  46 endif(NOT ${PIPOL_IMAGE} MATCHES "\n")