diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/README.coverage | 2 | ||||
| -rwxr-xr-x | tools/coverage | 21 |
2 files changed, 21 insertions, 2 deletions
diff --git a/tools/README.coverage b/tools/README.coverage index ec6ab85..2b737f8 100644 --- a/tools/README.coverage +++ b/tools/README.coverage @@ -4,6 +4,6 @@ You will need gcov and lcov (http://ltp.sourceforge.net/coverage/lcov.php). Usage: cd path_to_mpc_sources/tools -./coverage +./coverage additional_parameters_to_configure After execution, the html pages lie in the directory /tmp/ompc-gcov/html. diff --git a/tools/coverage b/tools/coverage index fd13837..06739ab 100755 --- a/tools/coverage +++ b/tools/coverage @@ -3,6 +3,25 @@ # download lcov in http://ltp.sourceforge.net/coverage/lcov.php # # An adaptation of Patrick Pellissier'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 @@ -22,7 +41,7 @@ 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 \ +./configure --enable-assert --disable-shared --enable-static $@ \ CFLAGS="-fprofile-arcs -ftest-coverage -g" make check -j -l 2 |