]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Provide a run_coverage.cmake script
authormaier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 17 Oct 2013 19:08:12 +0000 (19:08 +0000)
committermaier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 17 Oct 2013 19:08:12 +0000 (19:08 +0000)
git-svn-id: https://svn.dealii.org/branches/branch_port_the_testsuite@31290 0785d39b-7218-0410-832d-ea1e28bc413d

tests/run_coverage.cmake [new file with mode: 0644]
tests/run_testsuite.cmake

diff --git a/tests/run_coverage.cmake b/tests/run_coverage.cmake
new file mode 100644 (file)
index 0000000..632ebf0
--- /dev/null
@@ -0,0 +1,3 @@
+SET(TRACK "Experimental")
+SET(COVERAGE TRUE)
+INCLUDE(${CMAKE_CURRENT_LIST_DIR}/run_testsuite.cmake)
index 6723f32917838d145a55b25157f8cc41fe3cd7cf..00e7a1e294800666d1094fa034f146684925b9a3 100644 (file)
@@ -21,8 +21,9 @@
 IF( "${CTEST_BINARY_DIRECTORY}" STREQUAL ""
     AND "${CMAKE_CURRENT_BINARY_DIR}" STREQUAL "${CMAKE_CURRENT_LIST_DIR}" )
   MESSAGE(FATAL_ERROR "
-ctest was invoked in the source directory (or test source directory) and CTEST_BINARY_DIRECTORY is not set.
-Please either call ctest from within a designated build directory, or set CTEST_BINARY_DIRECTORY accordingly.
+ctest was invoked in the source directory (or test source directory) and
+CTEST_BINARY_DIRECTORY is not set. Please either call ctest from within a
+designated build directory, or set CTEST_BINARY_DIRECTORY accordingly.
 "
     )
 ENDIF()
@@ -42,8 +43,9 @@ ENDIF()
 IF(NOT EXISTS ${CTEST_SOURCE_DIRECTORY}/cmake/scripts/run_testsuite.cmake)
   MESSAGE(FATAL_ERROR "
 Could not find a suitable source directory.
-There is no source directory \"../deal.II\" relative to the location of this script.
-Please, set CTEST_SOURCE_DIRECTORY manually to the appropriate source directory.
+There is no source directory \"../deal.II\" relative to the location of
+this script. Please, set CTEST_SOURCE_DIRECTORY manually to the appropriate
+source directory.
 "
     )
 ENDIF()

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.