diff options
author | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2009-02-21 11:22:56 +0000 |
---|---|---|
committer | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2009-02-21 11:22:56 +0000 |
commit | 8619df0c981a372d91a02b54e0a71d2029dc945a (patch) | |
tree | d5725049e5f3077be19fa27ccb9f25a2f8b607ca /tools/coverage | |
parent | a59ccb2397fd01c15a27db549bc46ab4519e34b8 (diff) | |
download | mpc-8619df0c981a372d91a02b54e0a71d2029dc945a.tar.gz |
moved content of trunk/tools to misc
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@423 211d60ee-9f03-0410-a15a-8952a2c7a4e4
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" |