diff options
| author | dmcmahill <dmcmahill@pkgsrc.org> | 2004-11-27 15:04:02 +0000 |
|---|---|---|
| committer | dmcmahill <dmcmahill@pkgsrc.org> | 2004-11-27 15:04:02 +0000 |
| commit | 2d4b639dcd57f804fe9267524d9e473d3600e741 (patch) | |
| tree | 8adbecf9f22b1a9b894cabaa3d73a3b5e1758669 /cad | |
| parent | 53a27ee8410243edcfc11757fc634ee6d1c7c5e8 (diff) | |
| download | pkgsrc-2d4b639dcd57f804fe9267524d9e473d3600e741.tar.gz | |
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.
Diffstat (limited to 'cad')
| -rw-r--r-- | cad/covered/Makefile | 6 | ||||
| -rw-r--r-- | cad/covered/distinfo | 6 |
2 files changed, 6 insertions, 6 deletions
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 |