[pkgsrc/trunk]: pkgsrc/cad/covered-current update to covered-current-20060904

[dmcmahill <dmcmahill%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/7b2fb581870b
branches:  trunk
changeset: 519874:7b2fb581870b
user:      dmcmahill <dmcmahill%pkgsrc.org@localhost>
date:      Thu Oct 12 03:13:30 2006 +0000

description:
update to covered-current-20060904

    * 09/04/2006

Development release covered-20060904 made.  This is primarily an enhanced language support release
containing support for the Verilog-2001 'generate' block and support for some SystemVerilog constructs.
All bug fixes from the stable release branch have also been included in this release as well.  Some
updates to the GUI (to match changes made on the score command side).  The following is a list of
changes made from the last development release

  - Complete parsing/simulation support for generate blocks include generate for, if/else and
    case constructs.
  - Fixed bug in hierarchically referencing items within an array of instances.
  - Added -g option to score command to allow the user to specify on either a global or modular
    level which Verilog generation to consider for that design.  This allows a block of logic written
    with Verilog-1995 in mind to use names that would be keywords in Verilog-2001 or SystemVerilog,
    as an example.
  - Removed "manstyle" type documentation in user's guide as this tool is no longer used for this
    project.  This change should be transparent to the user, however.
  - Fixed scoping/hierarchical referencing rules to match the Verilog LRM properly.
  - Added parsing/handling support for SystemVerilog always_comb, always_ff and always_latch blocks.
  - Added parsing support for 'unique' and 'priority' SystemVerilog keywords before if and case
    statements (Covered doesn't need to do anything with them, however).
  - Added parsing/handling support for 'do .. while' SystemVerilog loops.
  - Added parsing/handling support for new SystemVerilog data types, including:  byte, bit, logic,
    char, shorting, int and longint.
  - Added -rI option to the score command which allows the user to completely bypass the race
    condition checking phase of the score command.
  - Added -B global option which obfuscates all identifying names from Covered's output (for use
    in providing debugging information to the developer's of Covered).
  - Added parsing/handling support for operate-and-assign SystemVerilog operators, including:
    +=, -=, *=, /=, %=, &=, |=, ^=, <<=, >>=, <<<=, >>>=, ++ and --.  These can be used wherever
    their counterparts can be used (including generate for loops).
  - Added proper handling of Verilog-1995 delayed blocking assignments (i.e., "a = #5 b;" or
    "a = @(posedge clk) c;").  Previously, the delay was being incorrectly ignored which could
    have lead to infinite looping of always/forever blocks or could calculate incorrect coverage
    information.
  - Added parsing support for SystemVerilog .name and .* port lists.
  - Added partial parsing/handling support for SystemVerilog 'typedef' usage.  This should work for
    enumerations but not other data types at this point.
  - Added parsing/handling support for SystemVerilog 'enum' constructs.  These should be fully
    supported with the exception of their built-in '.first', '.last', '.next', '.prev', '.num' and
    '.name' methods.
  - Added full support of handling Verilog-1995 repeated delay blocking assignments (i.e.,
    "a = repeat(5) @(posedge clk) b;".  These were previously being treated as normal blocking
    assignments.
  - Added keyword highlighting support in GUI for Verilog-2001 and SystemVerilog keywords depending
    on the -g value specified for a particular module.
  - Added parsing support for SystemVerilog assertion, property and sequence blocks.  These constructs
    are ignored by the parser but should not cause a parsing error now.
  - Added parsing support for SystemVerilog multi-dimensional arrays.  These are ignored by the
    parser but should not cause an error.
  - Added full support for the SystemVerilog $root global space -- though limited testing has
    been performed with this at this point.
  - Added -s option to the report command to suppress the output for modules/instances that contain
    no coverage information.
  - Updated all user documentation to match changes made for this development release.
  - Lots of new diagnostics added to regression suite to verify the majority of these changes.

There you have it.  A lot of enhancements made for language support for Verilog-1995, Verilog-2001
and SystemVerilog.  Some of the additions for SystemVerilog, especially typedefs and $root global
space, have not been fully verified to work and may still be a bit buggy, but everything else should
be expected to work as advertised.  Please submit any bugs that you find.  The next development
release should contain support for some more language enhancements, including full support for
typedef and enumeration usage, support for memories, multi-dimensional arrays, structs and unions.
I will also be looking at adding support for bitwise coverage information (for vectored calculations).
As always, have fun!

diffstat:

 cad/covered-current/Makefile         |    27 +-
 cad/covered-current/PLIST            |   116 +-
 cad/covered-current/distinfo         |    12 +-
 cad/covered-current/patches/patch-aa |    22 -
 cad/covered-current/patches/patch-ab |    31 -
 cad/covered-current/patches/patch-ac |  7973 ----------------------------------
 cad/covered-current/patches/patch-ad |    35 -
 7 files changed, 129 insertions(+), 8087 deletions(-)

diffs (truncated from 8275 to 300 lines):

diff -r 82939fbc8c4a -r 7b2fb581870b cad/covered-current/Makefile
--- a/cad/covered-current/Makefile      Thu Oct 12 03:11:18 2006 +0000
+++ b/cad/covered-current/Makefile      Thu Oct 12 03:13:30 2006 +0000
@@ -1,9 +1,8 @@
-# $NetBSD: Makefile,v 1.12 2006/02/05 23:08:20 joerg Exp $
+# $NetBSD: Makefile,v 1.13 2006/10/12 03:13:30 dmcmahill Exp $
 #
 
 DISTNAME=      covered-${SNAPDATE}
 PKGNAME=       covered-current-${SNAPDATE}
-PKGREVISION=   1
 CATEGORIES=    cad
 MASTER_SITES=  ${MASTER_SITE_SOURCEFORGE:=covered/}
 
@@ -13,29 +12,23 @@
 
 PKG_INSTALLATION_TYPES= overwrite pkgviews
 
-BUILD_DEPENDS+=        bison-[0-9]*:../../devel/bison
 DEPENDS+=      verilog{,-current}-[0-9]*:../../cad/verilog
 
 CONFLICTS+=     covered-[0-9]*
 
-SNAPDATE=      20040325
-REPLACE_PERL=  diags/verilog/check_test
+SNAPDATE=      20060904
 GNU_CONFIGURE= YES
-USE_TOOLS+=    gmake perl:run
-TEST_DIRS=     ${WRKSRC}/diags/regress
-TEST_TARGET=   iverilog
+USE_TOOLS+=    bison gmake
 
-CONFIGURE_ENV+=        TCLCONFIG=${BUILDLINK_PREFIX.tcl}/lib/tclConfig.sh
-CONFIGURE_ENV+=        TKCONFIG=${BUILDLINK_PREFIX.tk}/lib/tkConfig.sh
-
-post-patch:
-       ${CHMOD} 755 ${WRKSRC}/missing
-
-pre-install:
-       ${INSTALL_PROGRAM_DIR} ${PREFIX}/bin
-       ${INSTALL_MAN_DIR} ${PREFIX}/man/man1
+# 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
 
 .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 -r 82939fbc8c4a -r 7b2fb581870b cad/covered-current/PLIST
--- a/cad/covered-current/PLIST Thu Oct 12 03:11:18 2006 +0000
+++ b/cad/covered-current/PLIST Thu Oct 12 03:13:30 2006 +0000
@@ -1,9 +1,123 @@
-@comment $NetBSD: PLIST,v 1.2 2004/11/27 17:52:09 dmcmahill Exp $
+@comment $NetBSD: PLIST,v 1.3 2006/10/12 03:13:30 dmcmahill 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
 @dirrm share/covered/scripts
+@dirrm share/covered/doc/user
+@dirrm share/covered/doc/gui/images
+@dirrm share/covered/doc/gui
+@dirrm share/covered/doc
 @dirrm share/covered
diff -r 82939fbc8c4a -r 7b2fb581870b cad/covered-current/distinfo
--- a/cad/covered-current/distinfo      Thu Oct 12 03:11:18 2006 +0000
+++ b/cad/covered-current/distinfo      Thu Oct 12 03:13:30 2006 +0000
@@ -1,9 +1,5 @@
-$NetBSD: distinfo,v 1.6 2005/03/01 00:13:45 dmcmahill Exp $
+$NetBSD: distinfo,v 1.7 2006/10/12 03:13:30 dmcmahill Exp $
 
-SHA1 (covered-20040325.tar.gz) = 6bfa1a9c377cb1ae61364cfd5f3db57396cea16c
-RMD160 (covered-20040325.tar.gz) = 76b19272152ad515cb3ce1ad999fe3e97320c122
-Size (covered-20040325.tar.gz) = 764013 bytes
-SHA1 (patch-aa) = 0ffd830e411c00d5fa1776f14e949362b2d2980f
-SHA1 (patch-ab) = 6dbade601b82b67f8bd00cdc859d6c7766e771b6
-SHA1 (patch-ac) = 0312e60734890c4e2b1da07ac3346cba6151dd5e
-SHA1 (patch-ad) = 5baa34bb31e8118ec656d022ee548987741e2c52
+SHA1 (covered-20060904.tar.gz) = 78869b20bc6e032b4dac3a3029c4ea6a97962d3a
+RMD160 (covered-20060904.tar.gz) = c1a9e841f7e0a341bd8bce5c4f04e349e0b07672
+Size (covered-20060904.tar.gz) = 1549138 bytes
diff -r 82939fbc8c4a -r 7b2fb581870b cad/covered-current/patches/patch-aa
--- a/cad/covered-current/patches/patch-aa      Thu Oct 12 03:11:18 2006 +0000
+++ /dev/null   Thu Jan 01 00:00:00 1970 +0000
@@ -1,22 +0,0 @@
-$NetBSD: patch-aa,v 1.3 2004/11/27 17:52:09 dmcmahill Exp $
-
---- doc/Makefile.orig  Sun Aug 17 03:13:41 2003
-+++ doc/Makefile
-@@ -1,13 +1,13 @@
- all:
-       - doxygen covered.dox
--      - cd ./user; make all
-+      - cd ./user; ${MAKE} all
- 
- install:
--      - cd ./user; make install
-+      - cd ./user; ${MAKE} install
- 
- uninstall:
--      - cd ./user; make uninstall
-+      - cd ./user; ${MAKE} uninstall
- 
- clean:
-       rm -rf ./devel/html ./devel/latex
--      - cd ./user; make clean
-+      - cd ./user; ${MAKE} clean
diff -r 82939fbc8c4a -r 7b2fb581870b cad/covered-current/patches/patch-ab
--- a/cad/covered-current/patches/patch-ab      Thu Oct 12 03:11:18 2006 +0000
+++ /dev/null   Thu Jan 01 00:00:00 1970 +0000
@@ -1,31 +0,0 @@
-$NetBSD: patch-ab,v 1.3 2004/11/27 17:52:09 dmcmahill Exp $
-
---- configure.in.orig  Thu Mar 25 14:40:32 2004
-+++ configure.in
-@@ -18,6 +18,26 @@ then
-       exit 1
- fi
- 
-+AC_PATH_PROG(TCLCONFIG, tclConfig.sh)
-+if test "X$TCLCONFIG" = "X" ; then
-+      AC_ERROR([Could not find tclConfig.sh])
-+else
-+      . $TCLCONFIG
-+fi
-+AC_MSG_CHECKING([For libraries needed by tcl])
-+AC_MSG_RESULT([TCL_LIBS])
-+
-+AC_PATH_PROG(TKCONFIG, tkConfig.sh)
-+if test "X$TKCONFIG" = "X" ; then
-+      AC_ERROR([Could not find tkConfig.sh])
-+else
-+      . $TKCONFIG
-+fi
-+AC_MSG_CHECKING([For libraries needed by tk])
-+AC_MSG_RESULT([TK_LIBS])
-+
-+LIBS="$LIBS $TCL_LIBS $TK_LIBS"
-+
- dnl Checks for libraries.
- AC_CHECK_LIB(tcl, Tcl_Init)
- AC_CHECK_LIB(tk, Tk_SafeInit)
diff -r 82939fbc8c4a -r 7b2fb581870b cad/covered-current/patches/patch-ac
--- a/cad/covered-current/patches/patch-ac      Thu Oct 12 03:11:18 2006 +0000
+++ /dev/null   Thu Jan 01 00:00:00 1970 +0000
@@ -1,7973 +0,0 @@
-$NetBSD: patch-ac,v 1.3 2004/11/27 17:52:09 dmcmahill Exp $
-
---- configure.orig     Thu Mar 25 14:40:32 2004
-+++ configure
-@@ -1,26 +1,325 @@
- #! /bin/sh
--
- # Guess values for system-dependent variables and create Makefiles.
--# Generated automatically using autoconf version 2.13 
--# Copyright (C) 1992, 93, 94, 95, 96 Free Software Foundation, Inc.
-+# Generated by GNU Autoconf 2.59.
- #
-+# Copyright (C) 2003 Free Software Foundation, Inc.
- # This configure script is free software; the Free Software Foundation
- # gives unlimited permission to copy, distribute and modify it.
-+## --------------------- ##
-+## M4sh Initialization.  ##
-+## --------------------- ##
-+
-+# Be Bourne compatible
-+if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then
-+  emulate sh
-+  NULLCMD=:
-+  # Zsh 3.x and 4.x performs word splitting on ${1+"$@"}, which
-+  # is contrary to our usage.  Disable this feature.
-+  alias -g '${1+"$@"}'='"$@"'
-+elif test -n "${BASH_VERSION+set}" && (set -o posix) >/dev/null 2>&1; then
-+  set -o posix
-+fi
-+DUALCASE=1; export DUALCASE # for MKS sh
-+
-+# Support unset when possible.
-+if ( (MAIL=60; unset MAIL) || exit) >/dev/null 2>&1; then
-+  as_unset=unset
-+else
-+  as_unset=false
-+fi