From: Daniel Arndt Date: Wed, 9 Aug 2017 00:14:30 +0000 (+0200) Subject: Fix creating coverage information X-Git-Tag: v9.0.0-rc1~1325^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F4743%2Fhead;p=dealii.git Fix creating coverage information --- diff --git a/cmake/setup_compiler_flags_gnu.cmake b/cmake/setup_compiler_flags_gnu.cmake index 96ab6ae1fe..04a3761c22 100644 --- a/cmake/setup_compiler_flags_gnu.cmake +++ b/cmake/setup_compiler_flags_gnu.cmake @@ -188,8 +188,8 @@ IF (CMAKE_BUILD_TYPE MATCHES "Debug") # Enable test coverage # ENABLE_IF_SUPPORTED(DEAL_II_CXX_FLAGS_DEBUG "-fno-elide-constructors") - ENABLE_IF_SUPPORTED(DEAL_II_CXX_FLAGS_DEBUG "-ftest-coverage -fprofile-arcs") - ENABLE_IF_SUPPORTED(DEAL_II_LINKER_FLAGS_DEBUG "-ftest-coverage -fprofile-arcs") + ADD_FLAGS(DEAL_II_CXX_FLAGS_DEBUG "-ftest-coverage -fprofile-arcs") + ADD_FLAGS(DEAL_II_LINKER_FLAGS_DEBUG "-ftest-coverage -fprofile-arcs") ENDIF() ENDIF() diff --git a/doc/developers/testsuite.html b/doc/developers/testsuite.html index 0e97cdf5af..6b18642dfc 100644 --- a/doc/developers/testsuite.html +++ b/doc/developers/testsuite.html @@ -727,6 +727,16 @@ $ ctest [...] -V -S ../tests/run_testsuite.cmake specify the same options for ctest as explained above.

+

+ Note: + For also building the tests in parallel you have to provide suitable flags + using MAKEOPTS as well, i.e. you would typically use +

+$ ctest -DMAKEOPTS="-j N" -j N [...] -V -S ../tests/run_testsuite.cmake
+
+ for compiling the library and running the tests in parallel. +

+

It is possible to run tests and submit results for an already installed library by

diff --git a/doc/news/changes/minor/20170809MaierArndt b/doc/news/changes/minor/20170809MaierArndt
new file mode 100644
index 0000000000..c30541a51d
--- /dev/null
+++ b/doc/news/changes/minor/20170809MaierArndt
@@ -0,0 +1,5 @@
+Fixed: Creation of coverage information via 
+compiling with 'DEAL_II_SETUP_COVERAGE=ON'
+and 'ctest -S ../tests/run_coverage.cmake' works again.
+
+(Matthias Maier, Daniel Arndt, 2017/08/09)