summaryrefslogtreecommitdiff
path: root/tools/coverage
diff options
context:
space:
mode:
authorenge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2008-11-05 10:03:33 +0000
committerenge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2008-11-05 10:03:33 +0000
commita4e8630d64484b153f2bd7851c214a142b11fccf (patch)
tree5428b670d3d1739d7851e7a6b3e5b9d0cc20093b /tools/coverage
parent5136c26d2c68068dc987b247d0d3af49344e99a6 (diff)
downloadmpc-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/coverage')
-rwxr-xr-xtools/coverage21
1 files changed, 20 insertions, 1 deletions
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