From 489d3180c95f454a6592196fcebb95b26359bc93 Mon Sep 17 00:00:00 2001 From: kamil Date: Sat, 8 Oct 2016 14:31:33 +0000 Subject: Drop covered-current It used to track cad/covered but the last upgrade happened to be 20060904. --- cad/covered-current/DESCR | 17 --- cad/covered-current/Makefile | 43 -------- cad/covered-current/PLIST | 117 --------------------- cad/covered-current/distinfo | 8 -- cad/covered-current/patches/patch-src_lxt2__read.c | 51 --------- cad/covered-current/patches/patch-src_lxt2__read.h | 37 ------- 6 files changed, 273 deletions(-) delete mode 100644 cad/covered-current/DESCR delete mode 100644 cad/covered-current/Makefile delete mode 100644 cad/covered-current/PLIST delete mode 100644 cad/covered-current/distinfo delete mode 100644 cad/covered-current/patches/patch-src_lxt2__read.c delete mode 100644 cad/covered-current/patches/patch-src_lxt2__read.h (limited to 'cad') 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 */ -- cgit v1.2.3