1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
#!/bin/bash
# Test coverage using gcov & lcov
# download lcov in http://ltp.sourceforge.net/coverage/lcov.php
#
# An adaptation of Patrick Pelissier's script in MPFR
# additional parameters to mpc configure are passed on the command line
#
# Copyright (C) 2008 Philippe Th\'eveny, Andreas Enge
# This file is part of the MPC Library.
# The MPC Library is free software; you can redistribute it and/or modify
# it under the terms of the GNU Lesser General Public License as published by
# the Free Software Foundation; either version 2.1 of the License, or (at your
# option) any later version.
# The MPC Library is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
# or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
# License for more details.
# You should have received a copy of the GNU Lesser General Public License
# along with the MPC Library; see the file COPYING.LIB. If not, write to
# the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
# MA 02111-1307, USA.
SRC_DIR=`pwd`/..
DEST_DIR=/tmp/ompc-gcov
REVISION=$(cd ..; svn info|sed -n '/Revision: / p');
# First Build MPC in /tmp/
echo "Erasing previous " $DEST_DIR
rm -rf $DEST_DIR
mkdir $DEST_DIR
echo "Copying MPC sources to "$DEST_DIR
cp $SRC_DIR/* $DEST_DIR 2>/dev/null
mkdir $DEST_DIR/doc
cp $SRC_DIR/doc/* $DEST_DIR/doc
mkdir $DEST_DIR/src
cp $SRC_DIR/src/{Makefile*,*.h,*.c} $DEST_DIR/src
mkdir $DEST_DIR/tests
cp $SRC_DIR/tests/{Makefile*,*.h,*.c,*.dat} $DEST_DIR/tests
cd $DEST_DIR
echo "Building MPC"
./configure --enable-assert --disable-shared --enable-static $@ \
CFLAGS="-fprofile-arcs -ftest-coverage -g"
make check -j -l 2
mkdir html
lcov -o html/mpc.capture -t "$REVISION" -d src -c
lcov -o html/mpc.info -r html/mpc.capture *gmp*.h
genhtml -o html --no-prefix -t "$REVISION" html/mpc.info
echo "See results in "$DEST_DIR"/html/index.html"
|
