buildtools/Cmake/CTestConfig.cmake

   1 # Configure CTest. For details, see:
   2 # http://www.cmake.org/Wiki/CMake_Testing_With_CTest#Customizing_CTest
   3
   4 SET(BUILDNAME "none" CACHE TYPE INTERNAL FORCE)
   5 if(enable_memcheck)
   6         set(CTEST_TIMEOUT "300") #TIMEOUT FOR EACH TEST
   7 endif(enable_memcheck)
   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)
  11
  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)
  15
  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)
  19
  20 if(enable_supernovae)
  21         SET(BUILDNAME "SUPERNOVAE" CACHE TYPE INTERNAL FORCE)
  22 endif(enable_supernovae)
  23
  24 if(HAVE_GTNETS)
  25         SET(BUILDNAME "GTNETS" CACHE TYPE INTERNAL FORCE)
  26 endif(HAVE_GTNETS)
  27
  28 if(HAVE_MC)
  29         SET(BUILDNAME "MODEL-CHECKING" CACHE TYPE INTERNAL FORCE)
  30 endif(HAVE_MC)
  31
  32 if(enable_memcheck)
  33         SET(BUILDNAME "MEMCHECK" CACHE TYPE INTERNAL FORCE)
  34 endif(enable_memcheck)
  35
  36 if(WIN32)
  37         SET(BUILDNAME "WINDOWS" CACHE TYPE INTERNAL FORCE)
  38 endif(WIN32)
  39
  40 set(osname ${CMAKE_SYSTEM_NAME})
  41 set(cpu ${CMAKE_SYSTEM_PROCESSOR})
  42 set(DISTRIB2 ${CMAKE_SYSTEM_VERSION})
  43
  44 SET(SITE "${osname}_${DISTRIB2}_${cpu}")
  45 SET(CTEST_SITE "${osname}_${DISTRIB2}_${cpu}")
  46 SET(CTEST_PROJECT_NAME "${PROJECT_NAME}")
  47 SET(CTEST_CUSTOM_MAXIMUM_FAILED_TEST_OUTPUT_SIZE "3000000")
  48 SET(CTEST_CUSTOM_MAXIMUM_PASSED_TEST_OUTPUT_SIZE "3000000")
  49
  50 set(PIPOL_IMAGE $ENV{PIPOL_IMAGE})
  51 if(NOT ${PIPOL_IMAGE} MATCHES "\n")
  52 set(SITE ${PIPOL_IMAGE})
  53 endif(NOT ${PIPOL_IMAGE} MATCHES "\n")