# Configure CTest. For details, see:
# http://www.cmake.org/Wiki/CMake_Testing_With_CTest#Customizing_CTest
-SET(BUILDNAME "none" CACHE TYPE INTERNAL FORCE)
+if(APPLE)
+ SET(BUILDNAME "APPLE" CACHE TYPE INTERNAL FORCE)
+else()
+ SET(BUILDNAME "UNIX" CACHE TYPE INTERNAL FORCE)
+ if(WIN32)
+ SET(BUILDNAME "WINDOWS" CACHE TYPE INTERNAL FORCE)
+ endif()
+endif()
-if(with_context MATCHES ucontext AND NOT supernovae)
- SET(BUILDNAME "UCONTEXT" CACHE TYPE INTERNAL FORCE)
-endif(with_context MATCHES ucontext AND NOT supernovae)
-
-if(with_context MATCHES pthread AND NOT supernovae)
- SET(BUILDNAME "PTHREAD" CACHE TYPE INTERNAL FORCE)
-endif(with_context MATCHES pthread AND NOT supernovae)
+if(enable_memcheck)
+ set(CTEST_TIMEOUT "300") #TIMEOUT FOR EACH TEST
+endif()
if(enable_compile_warnings AND enable_compile_optimizations)
- SET(BUILDNAME "FULL_FLAGS" CACHE TYPE INTERNAL FORCE)
-endif(enable_compile_warnings AND enable_compile_optimizations)
+ SET(BUILDNAME "FULL_FLAGS" CACHE TYPE INTERNAL FORCE)
+endif()
-if(supernovae)
- SET(BUILDNAME "SUPERNOVAE" CACHE TYPE INTERNAL FORCE)
-endif(supernovae)
+if(enable_supernovae)
+ SET(BUILDNAME "SUPERNOVAE" CACHE TYPE INTERNAL FORCE)
+endif()
if(HAVE_GTNETS)
- SET(BUILDNAME "GTNETS" CACHE TYPE INTERNAL FORCE)
-endif(HAVE_GTNETS)
+ SET(BUILDNAME "GTNETS" CACHE TYPE INTERNAL FORCE)
+endif()
-if(HAVE_TRACING)
- SET(BUILDNAME "TRACING" CACHE TYPE INTERNAL FORCE)
-endif(HAVE_TRACING)
+if(HAVE_MC)
+ SET(BUILDNAME "MODEL-CHECKING" CACHE TYPE INTERNAL FORCE)
+endif()
if(enable_memcheck)
- SET(BUILDNAME "MEMCHECK" CACHE TYPE INTERNAL FORCE)
-endif(enable_memcheck)
+ SET(BUILDNAME "MEMCHECK" CACHE TYPE INTERNAL FORCE)
+endif()
set(osname ${CMAKE_SYSTEM_NAME})
set(cpu ${CMAKE_SYSTEM_PROCESSOR})
SET(CTEST_CUSTOM_MAXIMUM_FAILED_TEST_OUTPUT_SIZE "3000000")
SET(CTEST_CUSTOM_MAXIMUM_PASSED_TEST_OUTPUT_SIZE "3000000")
-exec_program("echo $PIPOL_IMAGE" OUTPUT_VARIABLE PIPOL_IMAGE)
-#message("PIPOL_IMAGE : \"${PIPOL_IMAGE}\"")
+set(PIPOL_IMAGE $ENV{PIPOL_IMAGE})
if(NOT ${PIPOL_IMAGE} MATCHES "\n")
-set(SITE ${PIPOL_IMAGE})
-endif(NOT ${PIPOL_IMAGE} MATCHES "\n")
+ set(SITE ${PIPOL_IMAGE})
+endif()
+
+set(PATTERN_CTEST_IGNORED "")
+if(enable_coverage)
+ set(PATTERN_CTEST_IGNORED
+ "/tools/"
+ "/buildtools/"
+ "/include/"
+ "/testsuite/"
+ "/teshsuite/"
+ "/src/bindings/"
+ )
+ if(NOT release)
+ set(PATTERN_CTEST_IGNORED
+ ${PATTERN_CTEST_IGNORED}
+ "/examples/"
+ )
+ endif()
+endif()
+
+CONFIGURE_FILE(${CMAKE_HOME_DIRECTORY}/buildtools/Cmake/CTestCustom.cmake ${CMAKE_BINARY_DIR}/CTestCustom.cmake @ONLY)