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

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