From 9e071cd5738b87d5fea2bcb98ddec00242c9a737 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Sun, 29 Mar 2015 23:23:26 -0500 Subject: [PATCH] Just a few minor updates to coverage information. Try to be consistent in the way we spell -DX=TRUE/YES/ON. Also say how we usually set flags (namely via -D...). --- doc/developers/testsuite.html | 8 ++++---- doc/users/cmake.html | 10 +++++----- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/doc/developers/testsuite.html b/doc/developers/testsuite.html index e8c534bda2..44cd785023 100644 --- a/doc/developers/testsuite.html +++ b/doc/developers/testsuite.html @@ -361,7 +361,7 @@ xx: =============================== OUTPUT END ============================ In order to achieve the first two, configure the library with
-  cmake -DCMAKE_BUILD_TYPE=Debug -DDEAL_II_SETUP_COVERAGE=YES <...>
+  cmake -DCMAKE_BUILD_TYPE=Debug -DDEAL_II_SETUP_COVERAGE=ON <...>
       
You can then build the library and run the tests as usual.

@@ -377,7 +377,7 @@ xx: =============================== OUTPUT END ============================ when running the testsuite, or directly by
-	ctest <...> -S ../tests/run_coverage.cmake
+  ctest <...> -S ../tests/run_coverage.cmake
       

@@ -800,8 +800,8 @@ DESCRIPTION - A string that is appended to CTEST_BUILD_NAME COVERAGE - - If set to TRUE deal.II will be configured with - DEAL_II_SETUP_COVERAGE=TRUE, CMAKE_BUILD_TYPE=Debug and the + - If set to ON deal.II will be configured with + DEAL_II_SETUP_COVERAGE=ON, CMAKE_BUILD_TYPE=Debug and the CTEST_COVERAGE() stage will be run. Test results must go into the "Experimental" section. diff --git a/doc/users/cmake.html b/doc/users/cmake.html index abe200fdb7..cdadc0007d 100644 --- a/doc/users/cmake.html +++ b/doc/users/cmake.html @@ -872,15 +872,15 @@ cmake -DDEAL_II_CXX_FLAGS="-Wno-sign-compare" <...> (but before the corresponding cached variables).
  • - Disable the configuration completely by setting - DEAL_II_SETUP_DEFAULT_COMPILER_FLAGS to - OFF. Beware of the fact that certain features + Disable the configuration completely by adding the flag + -D DEAL_II_SETUP_DEFAULT_COMPILER_FLAGS=OFF. + Beware of the fact that certain features may still pull in necessary compiler flags.
  • You can setup additional debug compiler flags to provide test - coverage information by setting - DEAL_II_SETUP_COVERAGE to ON. + coverage information by adding the flag + -D DEAL_II_SETUP_COVERAGE=ON.

    -- 2.39.5