diff options
| author | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2008-11-05 10:03:33 +0000 |
|---|---|---|
| committer | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2008-11-05 10:03:33 +0000 |
| commit | a4e8630d64484b153f2bd7851c214a142b11fccf (patch) | |
| tree | 5428b670d3d1739d7851e7a6b3e5b9d0cc20093b /tools | |
| parent | 5136c26d2c68068dc987b247d0d3af49344e99a6 (diff) | |
| download | mpc-a4e8630d64484b153f2bd7851c214a142b11fccf.tar.gz | |
modified coverage script to accept additional parameters,
which are passed to configure (--with-gmp and so on)
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@278 211d60ee-9f03-0410-a15a-8952a2c7a4e4
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 |