[tools/coverage] Some changes from the trunk (r8263,8275,8277,8305),

in particular detailed coverage.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@8306 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 14 insertions, 4 deletions

diff --git a/tools/coverage b/tools/coverage
index 04286f282..33e7d1bc3 100755
--- a/tools/coverage
+++ b/tools/coverage
@@ -1,11 +1,14 @@
 #!/bin/bash
 
+# to compute the coverage of mpfr-x.y.z, just copy this script
+# into mpfr-x.y.z/tools and run it
+
 # Set up the right directoy
 cd $(dirname $0)/..
 
 # First Build MPFR in /tmp/
 echo "Erasing previous /tmp/ompfr-gcov"
-rm -rf /tmp/ompfr-gcov
+rm -rf /tmp/ompfr-gcov || exit 1
 mkdir /tmp/ompfr-gcov || exit 1
 
 echo "Copying MPFR sources to /tmp/ompfr-gcov"
@@ -86,10 +89,17 @@ done
 fi
 
 # Do "gcov" for all files and parse the output
-for i in $(find src -name '*.c')
+cd src
+for i in $(find . -name '*.c')
 do
     gcov -f $i -o $(dirname $i) 2> /dev/null || exit 1
-done | bash coverage.subscript | grep -v '__gmp' > coverage.mpfr
+done | bash ../coverage.subscript | grep -v '__gmp' > ../coverage.mpfr
 
 rm -f coverage.subscript coverage-tmp || exit 1
-echo "Coverage summary saved in file /tmp/ompfr-gcov/coverage.mpfr"
+
+cd -
+lcov --capture --directory . --output-file all.info || exit 1
+genhtml -o coverage all.info || exit 1
+
+echo "Coverage summary saved in file    /tmp/ompfr-gcov/coverage.mpfr"
+echo "Detailed coverage is available at /tmp/ompfr-gcov/coverage/index.html"