From 69c5918b6cef0ceaf783ca864c72bdacdc128cb1 Mon Sep 17 00:00:00 2001 From: dmcmahill Date: Sat, 27 Nov 2004 15:04:02 +0000 Subject: update to covered-0.3 Changes since the last stable release: - User-specified FSM code coverage. By using command-line options or inline code specified by the user, FSM code coverage can be extracted from the design. This does not include the ability to automatically extract FSMs from the design (an ability that will be added in future stable releases). - Enhanced performance of the score command. A 3x - 5x speedup in the running time of the score command on the design should be expected with this release over past stable releases. - Enhanced readability of coverage reports. The coverage report look has been overhauled to produce a much more readable/understandable coverage report. - Several bug-fixes have been made, including coverage number calculation bugs. - Development and user documentation updates. - Enhanced regression suite. --- cad/covered/Makefile | 6 +++--- cad/covered/distinfo | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) (limited to 'cad/covered') diff --git a/cad/covered/Makefile b/cad/covered/Makefile index 9bfdac96768..84a73cd6fc1 100644 --- a/cad/covered/Makefile +++ b/cad/covered/Makefile @@ -1,7 +1,7 @@ -# $NetBSD: Makefile,v 1.5 2004/03/12 22:37:12 dmcmahill Exp $ +# $NetBSD: Makefile,v 1.6 2004/11/27 15:04:02 dmcmahill Exp $ # -DISTNAME= covered-0.2.2 +DISTNAME= covered-0.3 CATEGORIES= cad MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=covered/} @@ -13,7 +13,6 @@ PKG_INSTALLATION_TYPES= overwrite pkgviews USE_BUILDLINK3= yes BUILD_DEPENDS+= bison-[0-9]*:../../devel/bison -BUILD_DEPENDS+= gperf>=2.7.2:../../devel/gperf DEPENDS+= verilog{,-current}-[0-9]*:../../cad/verilog CONFLICTS+= covered-current-[0-9]* @@ -32,4 +31,5 @@ pre-install: ${INSTALL_PROGRAM_DIR} ${PREFIX}/bin ${INSTALL_MAN_DIR} ${PREFIX}/man/man1 +.include "../../devel/gperf/buildlink3.mk" .include "../../mk/bsd.pkg.mk" diff --git a/cad/covered/distinfo b/cad/covered/distinfo index 80c9346c359..a6a278c9044 100644 --- a/cad/covered/distinfo +++ b/cad/covered/distinfo @@ -1,5 +1,5 @@ -$NetBSD: distinfo,v 1.3 2003/12/09 01:20:36 dmcmahill Exp $ +$NetBSD: distinfo,v 1.4 2004/11/27 15:04:02 dmcmahill Exp $ -SHA1 (covered-0.2.2.tar.gz) = 1cdea5ca0010fc5ef3a50623da807aac0b8cd2d8 -Size (covered-0.2.2.tar.gz) = 526257 bytes +SHA1 (covered-0.3.tar.gz) = 10c9231dd4cb2bf8cc28403d28b654c958b3b24e +Size (covered-0.3.tar.gz) = 758152 bytes SHA1 (patch-aa) = 0ffd830e411c00d5fa1776f14e949362b2d2980f -- cgit v1.2.3