Drop covered-current

It used to track cad/covered but the last upgrade happened to be 20060904.

6 files changed, 0 insertions, 273 deletions

diff --git a/cad/covered-current/DESCR b/cad/covered-current/DESCR
deleted file mode 100644
index 430a2339c08..00000000000
--- a/cad/covered-current/DESCR
+++ /dev/null
@@ -1,17 +0,0 @@
-Covered is a Verilog code coverage analysis tool that can be useful
-for determining how well a diagnostic test suite is covering the
-design under test. Typically in the design verification work flow, a
-design verification engineer will develop a self-checking test suite
-to verify design elements/functions specified by a design's
-specification document. When the test suite contains all of the tests
-required by the design specification, the test writer may be asking
-him/herself, "How much logic in the design is actually being
-exercised?", "Does my test suite cover all of the logic under test?",
-and "Am I done writing tests for the logic?".  When the design
-verification gets to this point, it is often useful to get some
-metrics for determining logic coverage. This is where a code coverage
-utility, such as Covered, is very useful.
-
-Please note that this package is a development snapshot and while it
-contains the latest and greatest features, it may be buggy as well.
-There is a separate package which is made of the stable releases.
diff --git a/cad/covered-current/Makefile b/cad/covered-current/Makefile
deleted file mode 100644
index 5d186d85994..00000000000
--- a/cad/covered-current/Makefile
+++ /dev/null
@@ -1,43 +0,0 @@
-# $NetBSD: Makefile,v 1.25 2014/10/09 14:06:01 wiz Exp $
-#
-
-DISTNAME=	covered-${SNAPDATE}
-PKGNAME=	covered-current-${SNAPDATE}
-PKGREVISION=	5
-CATEGORIES=	cad
-MASTER_SITES=	${MASTER_SITE_SOURCEFORGE:=covered/}
-
-MAINTAINER=	dmcmahill@NetBSD.org
-HOMEPAGE=	http://covered.sourceforge.net/
-COMMENT=	Verilog code coverage analyzer (development snapshot)
-
-DEPENDS+=	verilog{,-current}-[0-9]*:../../cad/verilog
-
-CONFLICTS+=	covered-[0-9]*
-
-SNAPDATE=	20060904
-GNU_CONFIGURE=	YES
-USE_TOOLS+=	bison gmake lex
-
-REPLACE_INTERPRETER+=	WISH
-REPLACE.WISH.old=	.*wish
-REPLACE.WISH.new=	${PREFIX}/bin/wish
-REPLACE_FILES.WISH=	scripts/main_view.tcl
-REPLACE_FILES.WISH+=	scripts/menu_create.tcl
-REPLACE_FILES.WISH+=	scripts/preferences.tcl
-REPLACE_FILES.WISH+=	scripts/summary.tcl
-
-# we use this hack of setting a cache variable because
-# the configure script uses AC_PATH_PROG to try and find
-# the *Config.sh scripts but these are not installed with
-# the execute bit set.
-CONFIGURE_ENV+=	r_cv_path_TCL_CONFIG=${BUILDLINK_PREFIX.tcl}/lib/tclConfig.sh
-CONFIGURE_ENV+=	r_cv_path_TK_CONFIG=${BUILDLINK_PREFIX.tk}/lib/tkConfig.sh
-
-CPPFLAGS+=	-DUSE_INTERP_RESULT
-
-.include "../../devel/gperf/buildlink3.mk"
-.include "../../devel/zlib/buildlink3.mk"
-.include "../../lang/tcl/buildlink3.mk"
-.include "../../x11/tk/buildlink3.mk"
-.include "../../mk/bsd.pkg.mk"
diff --git a/cad/covered-current/PLIST b/cad/covered-current/PLIST
deleted file mode 100644
index b0bb9033538..00000000000
--- a/cad/covered-current/PLIST
+++ /dev/null
@@ -1,117 +0,0 @@
-@comment $NetBSD: PLIST,v 1.4 2009/06/14 17:35:52 joerg Exp $
-bin/covered
-man/man1/covered.1
-share/covered/.coveredrc
-share/covered/doc/gui/assert.html
-share/covered/doc/gui/comb.html
-share/covered/doc/gui/cov_bar.html
-share/covered/doc/gui/cov_view.html
-share/covered/doc/gui/file_menu.html
-share/covered/doc/gui/fsm.html
-share/covered/doc/gui/help_menu.html
-share/covered/doc/gui/images/assert_excl.png
-share/covered/doc/gui/images/assert_src.png
-share/covered/doc/gui/images/assert_window.png
-share/covered/doc/gui/images/banner.gif
-share/covered/doc/gui/images/close_warn.png
-share/covered/doc/gui/images/color.png
-share/covered/doc/gui/images/comb_complex.png
-share/covered/doc/gui/images/comb_event.png
-share/covered/doc/gui/images/comb_simple.png
-share/covered/doc/gui/images/comb_simple_and.png
-share/covered/doc/gui/images/comb_simple_or.png
-share/covered/doc/gui/images/comb_unary.png
-share/covered/doc/gui/images/dn_button.png
-share/covered/doc/gui/images/exit_warn.png
-share/covered/doc/gui/images/file_menu.png
-share/covered/doc/gui/images/file_viewer.png
-share/covered/doc/gui/images/fsm_excl.png
-share/covered/doc/gui/images/fsm_window.png
-share/covered/doc/gui/images/gen_menu.png
-share/covered/doc/gui/images/help_menu.png
-share/covered/doc/gui/images/line_excl.png
-share/covered/doc/gui/images/line_incl.png
-share/covered/doc/gui/images/main_cov.png
-share/covered/doc/gui/images/main_info.png
-share/covered/doc/gui/images/main_lb.png
-share/covered/doc/gui/images/main_menu.png
-share/covered/doc/gui/images/main_summary.png
-share/covered/doc/gui/images/main_viewer.png
-share/covered/doc/gui/images/main_window.png
-share/covered/doc/gui/images/open_cdd.png
-share/covered/doc/gui/images/populated_lb.png
-share/covered/doc/gui/images/pref_color.png
-share/covered/doc/gui/images/pref_goals.png
-share/covered/doc/gui/images/pref_main.png
-share/covered/doc/gui/images/pref_report.png
-share/covered/doc/gui/images/pref_syntax.png
-share/covered/doc/gui/images/report_gen.png
-share/covered/doc/gui/images/report_menu.png
-share/covered/doc/gui/images/summary_window.png
-share/covered/doc/gui/images/toggle_full.png
-share/covered/doc/gui/images/up_button.png
-share/covered/doc/gui/images/view_menu.png
-share/covered/doc/gui/info_bar.html
-share/covered/doc/gui/intro.html
-share/covered/doc/gui/line.html
-share/covered/doc/gui/main.html
-share/covered/doc/gui/main_menu.html
-share/covered/doc/gui/mod_inst_lb.html
-share/covered/doc/gui/pref_color.html
-share/covered/doc/gui/pref_goals.html
-share/covered/doc/gui/pref_main.html
-share/covered/doc/gui/pref_report.html
-share/covered/doc/gui/pref_syntax.html
-share/covered/doc/gui/report_gen.html
-share/covered/doc/gui/report_menu.html
-share/covered/doc/gui/src_view.html
-share/covered/doc/gui/summary.html
-share/covered/doc/gui/summary_bar.html
-share/covered/doc/gui/toggle.html
-share/covered/doc/gui/view_menu.html
-share/covered/doc/gui/welcome.html
-share/covered/doc/user/001.html
-share/covered/doc/user/002.html
-share/covered/doc/user/003.html
-share/covered/doc/user/004.html
-share/covered/doc/user/005.html
-share/covered/doc/user/006.html
-share/covered/doc/user/007.html
-share/covered/doc/user/008.html
-share/covered/doc/user/009.html
-share/covered/doc/user/010.html
-share/covered/doc/user/011.html
-share/covered/doc/user/012.html
-share/covered/doc/user/013.html
-share/covered/doc/user/014.html
-share/covered/doc/user/015.html
-share/covered/doc/user/016.html
-share/covered/doc/user/017.html
-share/covered/doc/user/018.html
-share/covered/doc/user/019.html
-share/covered/doc/user/020.html
-share/covered/doc/user/021.html
-share/covered/doc/user/022.html
-share/covered/doc/user/023.html
-share/covered/doc/user/024.html
-share/covered/doc/user/025.html
-share/covered/doc/user/banner.gif
-share/covered/doc/user/example.rptI.html
-share/covered/doc/user/example.rptM.html
-share/covered/doc/user/example.v.html
-share/covered/doc/user/index.html
-share/covered/doc/user/styles.css
-share/covered/scripts/assert.tcl
-share/covered/scripts/banner.gif
-share/covered/scripts/cdd_view.tcl
-share/covered/scripts/comb.tcl
-share/covered/scripts/cov_create.tcl
-share/covered/scripts/fsm.tcl
-share/covered/scripts/help.tcl
-share/covered/scripts/main_view.tcl
-share/covered/scripts/menu_create.tcl
-share/covered/scripts/preferences.tcl
-share/covered/scripts/process_file.tcl
-share/covered/scripts/summary.tcl
-share/covered/scripts/toggle.tcl
-share/covered/scripts/verilog.tcl
diff --git a/cad/covered-current/distinfo b/cad/covered-current/distinfo
deleted file mode 100644
index d082684b7b1..00000000000
--- a/cad/covered-current/distinfo
+++ /dev/null
@@ -1,8 +0,0 @@
-$NetBSD: distinfo,v 1.10 2015/11/03 00:21:16 agc Exp $
-
-SHA1 (covered-20060904.tar.gz) = 78869b20bc6e032b4dac3a3029c4ea6a97962d3a
-RMD160 (covered-20060904.tar.gz) = c1a9e841f7e0a341bd8bce5c4f04e349e0b07672
-SHA512 (covered-20060904.tar.gz) = fafaad2f4a4ade0e9a3237578cece62a760351e1fa65a69cf838f4b7816246bee71b95044fa9cbe90e91a1070532dd9903ba848cf1b6cc7b97fd671290a59658
-Size (covered-20060904.tar.gz) = 1549138 bytes
-SHA1 (patch-src_lxt2__read.c) = b08a12cf36fd8d5dc0c8e07469827d734f931b23
-SHA1 (patch-src_lxt2__read.h) = 3179039e6d48b0ccac0198d7107a422d07152a84
diff --git a/cad/covered-current/patches/patch-src_lxt2__read.c b/cad/covered-current/patches/patch-src_lxt2__read.c
deleted file mode 100644
index 563703e7a72..00000000000
--- a/cad/covered-current/patches/patch-src_lxt2__read.c
+++ /dev/null
@@ -1,51 +0,0 @@
-$NetBSD: patch-src_lxt2__read.c,v 1.2 2012/11/16 00:33:18 joerg Exp $
-
---- src/lxt2_read.c.orig	2006-01-27 15:43:58.000000000 +0000
-+++ src/lxt2_read.c
-@@ -62,8 +62,8 @@ _LXT2_RD_INLINE static unsigned int lxt2
- {
- unsigned short x = *((unsigned short *)((unsigned char *)mm+offset));
- 
--  __asm("xchgb %b0,%h0" :
--        "=q" (x)        :
-+  __asm("rorw $8, %w1" :
-+        "=r" (x)        :
-         "0" (x));
- 
-     return (unsigned int) x;
-@@ -1113,7 +1113,7 @@ void lxt2_rd_close( struct lxt2_rd_trace
- /* 
-  * return number of facs in trace
-  */
--_LXT2_RD_INLINE lxtint32_t lxt2_rd_get_num_facs( struct lxt2_rd_trace* lt ) {
-+lxtint32_t lxt2_rd_get_num_facs( struct lxt2_rd_trace* lt ) {
- 
-   return( lt ? lt->numfacs : 0 );
- 
-@@ -1195,7 +1195,7 @@ _LXT2_RD_INLINE lxtint32_t lxt2_rd_get_f
- 
- }
- 
--_LXT2_RD_INLINE lxtint32_t lxt2_rd_get_alias_root(struct lxt2_rd_trace *lt, lxtint32_t facidx) {
-+lxtint32_t lxt2_rd_get_alias_root(struct lxt2_rd_trace *lt, lxtint32_t facidx) {
- 
-   if( lt && (facidx < lt->numfacs) ) {
- 
-@@ -1376,7 +1376,7 @@ _LXT2_RD_INLINE int lxt2_rd_clr_fac_proc
- 
- }
- 
--_LXT2_RD_INLINE int lxt2_rd_set_fac_process_mask_all( struct lxt2_rd_trace* lt ) {
-+int lxt2_rd_set_fac_process_mask_all( struct lxt2_rd_trace* lt ) {
- 
-   int rc = 0;
- 
-@@ -1407,7 +1407,7 @@ _LXT2_RD_INLINE int lxt2_rd_clr_fac_proc
- /*
-  * block memory set/get used to control buffering
-  */
--_LXT2_RD_INLINE lxtint64_t lxt2_rd_set_max_block_mem_usage( struct lxt2_rd_trace* lt, lxtint64_t block_mem_max ) {
-+lxtint64_t lxt2_rd_set_max_block_mem_usage( struct lxt2_rd_trace* lt, lxtint64_t block_mem_max ) {
- 
-   lxtint64_t rc = lt->block_mem_max;
- 
diff --git a/cad/covered-current/patches/patch-src_lxt2__read.h b/cad/covered-current/patches/patch-src_lxt2__read.h
deleted file mode 100644
index 8fbaa309466..00000000000
--- a/cad/covered-current/patches/patch-src_lxt2__read.h
+++ /dev/null
@@ -1,37 +0,0 @@
-$NetBSD: patch-src_lxt2__read.h,v 1.1 2012/11/16 00:33:18 joerg Exp $
-
---- src/lxt2_read.h.orig	2012-11-15 14:27:52.000000000 +0000
-+++ src/lxt2_read.h
-@@ -247,12 +247,12 @@ unsigned process_mask_dirty : 1; /* only
- struct lxt2_rd_trace *       	lxt2_rd_init(const char *name);
- void                    	lxt2_rd_close(struct lxt2_rd_trace *lt);
- 
--_LXT2_RD_INLINE lxtint64_t	lxt2_rd_set_max_block_mem_usage(struct lxt2_rd_trace *lt, lxtint64_t block_mem_max);
-+lxtint64_t			lxt2_rd_set_max_block_mem_usage(struct lxt2_rd_trace *lt, lxtint64_t block_mem_max);
- _LXT2_RD_INLINE lxtint64_t	lxt2_rd_get_block_mem_usage(struct lxt2_rd_trace *lt);
- _LXT2_RD_INLINE unsigned int	lxt2_rd_get_num_blocks(struct lxt2_rd_trace *lt);
- unsigned int			lxt2_rd_get_num_active_blocks(struct lxt2_rd_trace *lt);
- 
--_LXT2_RD_INLINE lxtint32_t	lxt2_rd_get_num_facs(struct lxt2_rd_trace *lt);
-+lxtint32_t			lxt2_rd_get_num_facs(struct lxt2_rd_trace *lt);
- char *				lxt2_rd_get_facname(struct lxt2_rd_trace *lt, lxtint32_t facidx);
- struct lxt2_rd_geometry *	lxt2_rd_get_fac_geometry(struct lxt2_rd_trace *lt, lxtint32_t facidx);
- _LXT2_RD_INLINE lxtint32_t	lxt2_rd_get_fac_rows(struct lxt2_rd_trace *lt, lxtint32_t facidx);
-@@ -260,7 +260,7 @@ _LXT2_RD_INLINE lxtint32_t	lxt2_rd_get_f
- _LXT2_RD_INLINE lxtint32_t	lxt2_rd_get_fac_lsb(struct lxt2_rd_trace *lt, lxtint32_t facidx);
- _LXT2_RD_INLINE lxtint32_t	lxt2_rd_get_fac_flags(struct lxt2_rd_trace *lt, lxtint32_t facidx);
- _LXT2_RD_INLINE lxtint32_t	lxt2_rd_get_fac_len(struct lxt2_rd_trace *lt, lxtint32_t facidx);
--_LXT2_RD_INLINE lxtint32_t	lxt2_rd_get_alias_root(struct lxt2_rd_trace *lt, lxtint32_t facidx);
-+lxtint32_t			lxt2_rd_get_alias_root(struct lxt2_rd_trace *lt, lxtint32_t facidx);
- 
- _LXT2_RD_INLINE char		lxt2_rd_get_timescale(struct lxt2_rd_trace *lt);
- _LXT2_RD_INLINE lxtint64_t	lxt2_rd_get_start_time(struct lxt2_rd_trace *lt);
-@@ -269,7 +269,7 @@ _LXT2_RD_INLINE lxtint64_t	lxt2_rd_get_e
- _LXT2_RD_INLINE int		lxt2_rd_get_fac_process_mask(struct lxt2_rd_trace *lt, lxtint32_t facidx);
- _LXT2_RD_INLINE int		lxt2_rd_set_fac_process_mask(struct lxt2_rd_trace *lt, lxtint32_t facidx);
- _LXT2_RD_INLINE int		lxt2_rd_clr_fac_process_mask(struct lxt2_rd_trace *lt, lxtint32_t facidx);
--_LXT2_RD_INLINE int		lxt2_rd_set_fac_process_mask_all(struct lxt2_rd_trace *lt);
-+int				lxt2_rd_set_fac_process_mask_all(struct lxt2_rd_trace *lt);
- _LXT2_RD_INLINE int		lxt2_rd_clr_fac_process_mask_all(struct lxt2_rd_trace *lt);
- 
- 				/* null value_change_callback calls an empty dummy function */