diff options
Diffstat (limited to 'tools/coverage')
-rwxr-xr-x | tools/coverage | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/tools/coverage b/tools/coverage deleted file mode 100755 index f73f916..0000000 --- a/tools/coverage +++ /dev/null @@ -1,53 +0,0 @@ -#!/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" |