###
### Sat Jul 2 05:50:30 EDT 2005:
### /usr/pkg/bin/bmake bulk-package for verilog-0.8.1
### Current pkg count:  11 installed packages: bison-2.0 digest-20050323 flex-2.5.4a gettext-0.11.5nb5 gettext-lib-0.11.5nb4 gettext-m4-0.11.5 gtexinfo-4.8 libiconv-1.9.2nb1 libtool-base-1.5.18nb3 m4-1.4.3 pkg_install-info-4.5nb3
###
BULK> Full rebuild in progress...
BULK> Cleaning package verilog-0.8.1 and pre-requisite packages
===> Cleaning for verilog-0.8.1
===> Cleaning for bzip2-1.0.3
===> Cleaning for libtool-base-1.5.18nb3
===> Cleaning for bison-2.0
===> Cleaning for gettext-0.11.5nb5
===> Cleaning for gettext-lib-0.11.5nb4
===> Cleaning for libiconv-1.9.2nb1
===> Cleaning for gettext-m4-0.11.5
===> Cleaning for pkg_install-info-4.5nb3
===> Cleaning for m4-1.4.3
===> Cleaning for gtexinfo-4.8
===> Cleaning for flex-2.5.4a
===> Cleaning for gmake-3.80nb4
===> Cleaning for gperf-3.0.1
===> Cleaning for readline-5.0
===> Cleaning for zlib-1.2.2
BULK> Removing installed packages which are not needed to build verilog-0.8.1
BULK> Keeping BULK_PREREQ: digest-20050323 (pkgtools/digest)
BULK> verilog-0.8.1 requires installed package gettext-m4-0.11.5 (devel/gettext-m4) to build.
BULK> verilog-0.8.1 requires installed package libiconv-1.9.2nb1 (converters/libiconv) to build.
BULK> verilog-0.8.1 requires installed package gettext-lib-0.11.5nb4 (devel/gettext-lib) to build.
BULK> verilog-0.8.1 requires installed package libtool-base-1.5.18nb3 (devel/libtool-base) to build.
BULK> verilog-0.8.1 requires installed package pkg_install-info-4.5nb3 (pkgtools/pkg_install-info) to build.
BULK> verilog-0.8.1 requires installed package gettext-0.11.5nb5 (devel/gettext) to build.
BULK> verilog-0.8.1 requires installed package m4-1.4.3 (devel/m4) to build.
BULK> verilog-0.8.1 requires installed package gtexinfo-4.8 (devel/gtexinfo) to build.
BULK> verilog-0.8.1 requires installed package bison-2.0 (devel/bison) to build.
BULK> verilog-0.8.1 requires installed package flex-2.5.4a (devel/flex) to build.
BULK> Installing packages which are required to build verilog-0.8.1.
BULK>  /usr/pkg/sbin/pkg_add -K /var/db/pkg  /packages/SunOS-5.8/sparc/All/bzip2-1.0.3.tgz
BULK> Required package libtool-base-1.5.18nb3 (devel/libtool-base) is already installed
BULK> Required package bison-2.0 (devel/bison) is already installed
BULK> Required package gettext-0.11.5nb5 (devel/gettext) is already installed
BULK> Required package gettext-lib-0.11.5nb4 (devel/gettext-lib) is already installed
BULK> Required package libiconv-1.9.2nb1 (converters/libiconv) is already installed
BULK> Required package gettext-m4-0.11.5 (devel/gettext-m4) is already installed
BULK> Required package pkg_install-info-4.5nb3 (pkgtools/pkg_install-info) is already installed
BULK> Required package m4-1.4.3 (devel/m4) is already installed
BULK> Required package gtexinfo-4.8 (devel/gtexinfo) is already installed
BULK> Required package flex-2.5.4a (devel/flex) is already installed
BULK>  /usr/pkg/sbin/pkg_add -K /var/db/pkg  /packages/SunOS-5.8/sparc/All/gmake-3.80nb4.tgz
BULK>  /usr/pkg/sbin/pkg_add -K /var/db/pkg  /packages/SunOS-5.8/sparc/All/gperf-3.0.1.tgz
BULK>  /usr/pkg/sbin/pkg_add -K /var/db/pkg  /packages/SunOS-5.8/sparc/All/readline-5.0.tgz
BULK>  /usr/pkg/sbin/pkg_add -K /var/db/pkg  /packages/SunOS-5.8/sparc/All/zlib-1.2.2.tgz
BULK> Required package digest-20050323 (pkgtools/digest) is already installed
/usr/pkg/bin/bmake package (verilog-0.8.1)
===> Checking for vulnerabilities in verilog-0.8.1
=> verilog-0.8.1.tar.gz doesn't seem to exist on this system.
=> Attempting to fetch verilog-0.8.1.tar.gz from ftp://netbsd.stevens-tech.edu/pub/NetBSD/packages/distfiles/.
=> [1431354 bytes]
=> Checksum SHA1 OK for verilog-0.8.1.tar.gz.
=> Checksum RMD160 OK for verilog-0.8.1.tar.gz.
work -> /pkgobj/cad/verilog/work
===> Extracting for verilog-0.8.1
===> Required installed package zlib>=1.2.1nb3: zlib-1.2.2 found
===> Required installed package bzip2>=1.0.3: bzip2-1.0.3 found
===> Required installed package readline>=5.0: readline-5.0 found
===> Required installed package bison>=1.0: bison-2.0 found
===> Required installed package gmake>=3.78: gmake-3.80nb4 found
===> Required installed package flex>=2.5.4a: flex-2.5.4a found
===> Required installed package gperf>=3.0.1: gperf-3.0.1 found
===> Required installed package flex>=2.5.4a: flex-2.5.4a found
===> Patching for verilog-0.8.1
===> Applying pkgsrc patches for verilog-0.8.1
===> Overriding tools for verilog-0.8.1
===> Creating toolchain wrappers for verilog-0.8.1
===> Configuring for verilog-0.8.1
configure: WARNING: If you wanted to set the --build type, don't use --host.
    If a cross compiler is detected then cross compile mode will be used.
checking build system type... sparc-sun-solaris2.8
checking host system type... sparc-sun-solaris2
checking for sparc-sun-solaris2-gcc... cc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables... 
checking for suffix of object files... o
checking whether we are using the GNU C compiler... no
checking whether cc accepts -g... yes
checking for cc option to accept ANSI C... none needed
checking for sparc-sun-solaris2-g++... CC
checking whether we are using the GNU C++ compiler... no
checking whether CC accepts -g... yes
checking for sparc-sun-solaris2-strip... no
checking for strip... strip
checking for gperf... gperf
checking for flex... /usr/pkg/bin/flex
checking for bison... /usr/pkg/bin/bison -y
checking for Microsoft Windows... no
checking how to run the C++ preprocessor... CC -E
checking for egrep... grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... no
checking for unistd.h... yes
checking getopt.h usability... no
checking getopt.h presence... no
checking for getopt.h... no
checking malloc.h usability... yes
checking malloc.h presence... yes
checking for malloc.h... yes
checking for inttypes.h... (cached) yes
checking libiberty.h usability... no
checking libiberty.h presence... no
checking for libiberty.h... no
checking iosfwd usability... yes
checking iosfwd presence... yes
checking for iosfwd... yes
checking sys/wait.h usability... yes
checking sys/wait.h presence... yes
checking for sys/wait.h... yes
checking for gzwrite in -lz... yes
checking for gzwrite in -lz... (cached) yes
checking for BZ2_bzdopen in -lbz2... yes
checking for sys/times... yes
checking dlfcn.h usability... yes
checking dlfcn.h presence... yes
checking for dlfcn.h... yes
checking for dlopen in -ldl... yes
checking for a BSD-compatible install... /usr/ucb/install -c -o root -g root
checking whether byte ordering is bigendian... yes
checking for extra libs needed... 
checking for flag to make position independent code... -fPIC
checking for -rdynamic compiler flag... 
checking for shared library link flag... -shared
checking for leading underscores... no
checking for trailing underscores... no
checking for ident support in C compiler... yes
checking for libdir64 path... ${exec_prefix}/lib
checking for VPI subdirectories... . 
configure: creating ./config.status
config.status: creating Makefile
config.status: creating ivlpp/Makefile
config.status: creating driver/Makefile
config.status: creating driver-vpi/Makefile
config.status: creating tgt-null/Makefile
config.status: creating tgt-stub/Makefile
config.status: creating tgt-verilog/Makefile
config.status: creating tgt-pal/Makefile
config.status: creating config.h
config.status: creating _pli_types.h
configure: configuring in vvp
configure: running /bin/ksh './configure' --prefix=/usr/pkg  '--without-ipal' '--host=sparc-sun-solaris2' '--prefix=/usr/pkg' 'CC=cc' 'CFLAGS=-O -I/usr/pkg/include' 'CPPFLAGS=-I/usr/pkg/include' 'CXXFLAGS=-O -I/usr/pkg/include' 'CXX=CC' 'LDFLAGS=-L/usr/pkg/lib -R/usr/pkg/lib' 'host_alias=sparc-sun-solaris2' --cache-file=/dev/null --srcdir=.
configure: WARNING: If you wanted to set the --build type, don't use --host.
    If a cross compiler is detected then cross compile mode will be used.
checking for sparc-sun-solaris2-gcc... cc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables... 
checking for suffix of object files... o
checking whether we are using the GNU C compiler... no
checking whether cc accepts -g... yes
checking for cc option to accept ANSI C... none needed
checking for sparc-sun-solaris2-g++... CC
checking whether we are using the GNU C++ compiler... no
checking whether CC accepts -g... yes
checking for sparc-sun-solaris2-ranlib... no
checking for ranlib... ranlib
checking for sparc-sun-solaris2-strip... no
checking for strip... strip
checking build system type... sparc-sun-solaris2.8
checking host system type... sparc-sun-solaris2
checking for Microsoft Windows... no
checking for flex... /usr/pkg/bin/flex
checking for bison... /usr/pkg/bin/bison -y
checking for a BSD-compatible install... /usr/ucb/install -c -o root -g root
checking how to run the C preprocessor... cc -E
checking for egrep... grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... no
checking for unistd.h... yes
checking getopt.h usability... no
checking getopt.h presence... no
checking for getopt.h... no
checking malloc.h usability... yes
checking malloc.h presence... yes
checking for malloc.h... yes
checking for unsigned long long... yes
checking size of unsigned long long... 8
checking for unsigned long... yes
checking size of unsigned long... 4
checking for unsigned... yes
checking size of unsigned... 4
checking for tputs in -ltermcap... yes
checking for readline in -lreadline... yes
checking for add_history in -lhistory... yes
checking readline/readline.h usability... yes
checking readline/readline.h presence... yes
checking for readline/readline.h... yes
checking readline/history.h usability... yes
checking readline/history.h presence... yes
checking for readline/history.h... yes
checking dlfcn.h usability... yes
checking dlfcn.h presence... yes
checking for dlfcn.h... yes
checking for dlopen in -ldl... yes
checking sys/resource.h usability... yes
checking sys/resource.h presence... yes
checking for sys/resource.h... yes
checking for -rdynamic compiler flag... 
checking for extra libs needed... 
checking for leading underscores... no
checking for trailing underscores... no
checking for ident support in C compiler... yes
checking for libdir64 path... ${exec_prefix}/lib
checking for VPI subdirectories... . 
configure: creating ./config.status
config.status: creating Makefile
config.status: creating config.h
configure: configuring in vpi
configure: running /bin/ksh './configure' --prefix=/usr/pkg  '--without-ipal' '--host=sparc-sun-solaris2' '--prefix=/usr/pkg' 'CC=cc' 'CFLAGS=-O -I/usr/pkg/include' 'CPPFLAGS=-I/usr/pkg/include' 'CXXFLAGS=-O -I/usr/pkg/include' 'CXX=CC' 'LDFLAGS=-L/usr/pkg/lib -R/usr/pkg/lib' 'host_alias=sparc-sun-solaris2' --cache-file=/dev/null --srcdir=.
configure: WARNING: If you wanted to set the --build type, don't use --host.
    If a cross compiler is detected then cross compile mode will be used.
checking build system type... sparc-sun-solaris2.8
checking host system type... sparc-sun-solaris2
checking for sparc-sun-solaris2-gcc... cc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables... 
checking for suffix of object files... o
checking whether we are using the GNU C compiler... no
checking whether cc accepts -g... yes
checking for cc option to accept ANSI C... none needed
checking for sparc-sun-solaris2-g++... CC
checking whether we are using the GNU C++ compiler... no
checking whether CC accepts -g... yes
checking for sparc-sun-solaris2-strip... no
checking for strip... strip
checking for flex... /usr/pkg/bin/flex
checking for Microsoft Windows... no
checking for ident support in C compiler... yes
checking how to run the C preprocessor... cc -E
checking for egrep... grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... no
checking for unistd.h... yes
checking malloc.h usability... yes
checking malloc.h presence... yes
checking for malloc.h... yes
checking for inttypes.h... (cached) yes
checking for gzwrite in -lz... yes
checking for gzwrite in -lz... (cached) yes
checking for BZ2_bzdopen in -lbz2... yes
checking dlfcn.h usability... yes
checking dlfcn.h presence... yes
checking for dlfcn.h... yes
checking for dlopen in -ldl... yes
checking for a BSD-compatible install... /usr/ucb/install -c -o root -g root
checking whether byte ordering is bigendian... yes
checking for flag to make position independent code... -fPIC
checking for extra libs needed... 
checking for -rdynamic compiler flag... 
checking for shared library link flag... -shared
checking for ident support in C compiler... (cached) yes
checking for libdir64 path... ${exec_prefix}/lib
checking for VPI subdirectories... . 
configure: creating ./config.status
config.status: creating Makefile
config.status: creating vpi_config.h
configure: configuring in tgt-vvp
configure: running /bin/ksh './configure' --prefix=/usr/pkg  '--without-ipal' '--host=sparc-sun-solaris2' '--prefix=/usr/pkg' 'CC=cc' 'CFLAGS=-O -I/usr/pkg/include' 'CPPFLAGS=-I/usr/pkg/include' 'CXXFLAGS=-O -I/usr/pkg/include' 'CXX=CC' 'LDFLAGS=-L/usr/pkg/lib -R/usr/pkg/lib' 'host_alias=sparc-sun-solaris2' --cache-file=/dev/null --srcdir=.
configure: WARNING: If you wanted to set the --build type, don't use --host.
    If a cross compiler is detected then cross compile mode will be used.
checking for sparc-sun-solaris2-gcc... cc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables... 
checking for suffix of object files... o
checking whether we are using the GNU C compiler... no
checking whether cc accepts -g... yes
checking for cc option to accept ANSI C... none needed
checking for a BSD-compatible install... /usr/ucb/install -c -o root -g root
checking build system type... sparc-sun-solaris2.8
checking host system type... sparc-sun-solaris2
checking for Microsoft Windows... no
checking how to run the C preprocessor... cc -E
checking for egrep... grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... no
checking for unistd.h... yes
checking malloc.h usability... yes
checking malloc.h presence... yes
checking for malloc.h... yes
checking for fopen64... yes
checking for flag to make position independent code... -fPIC
checking for shared library link flag... -shared
checking for ident support in C compiler... yes
configure: creating ./config.status
config.status: creating Makefile
config.status: creating vvp_config.h
configure: configuring in tgt-fpga
configure: running /bin/ksh './configure' --prefix=/usr/pkg  '--without-ipal' '--host=sparc-sun-solaris2' '--prefix=/usr/pkg' 'CC=cc' 'CFLAGS=-O -I/usr/pkg/include' 'CPPFLAGS=-I/usr/pkg/include' 'CXXFLAGS=-O -I/usr/pkg/include' 'CXX=CC' 'LDFLAGS=-L/usr/pkg/lib -R/usr/pkg/lib' 'host_alias=sparc-sun-solaris2' --cache-file=/dev/null --srcdir=.
configure: WARNING: If you wanted to set the --build type, don't use --host.
    If a cross compiler is detected then cross compile mode will be used.
checking for sparc-sun-solaris2-gcc... cc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables... 
checking for suffix of object files... o
checking whether we are using the GNU C compiler... no
checking whether cc accepts -g... yes
checking for cc option to accept ANSI C... none needed
checking for a BSD-compatible install... /usr/ucb/install -c -o root -g root
checking build system type... sparc-sun-solaris2.8
checking host system type... sparc-sun-solaris2
checking for Microsoft Windows... no
checking how to run the C preprocessor... cc -E
checking for egrep... grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... no
checking for unistd.h... yes
checking malloc.h usability... yes
checking malloc.h presence... yes
checking for malloc.h... yes
checking for flag to make position independent code... -fPIC
checking for shared library link flag... -shared
checking for ident support in C compiler... yes
configure: creating ./config.status
config.status: creating Makefile
configure: configuring in libveriuser
configure: running /bin/ksh './configure' --prefix=/usr/pkg  '--without-ipal' '--host=sparc-sun-solaris2' '--prefix=/usr/pkg' 'CC=cc' 'CFLAGS=-O -I/usr/pkg/include' 'CPPFLAGS=-I/usr/pkg/include' 'CXXFLAGS=-O -I/usr/pkg/include' 'CXX=CC' 'LDFLAGS=-L/usr/pkg/lib -R/usr/pkg/lib' 'host_alias=sparc-sun-solaris2' --cache-file=/dev/null --srcdir=.
configure: WARNING: If you wanted to set the --build type, don't use --host.
    If a cross compiler is detected then cross compile mode will be used.
checking for sparc-sun-solaris2-gcc... cc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables... 
checking for suffix of object files... o
checking whether we are using the GNU C compiler... no
checking whether cc accepts -g... yes
checking for cc option to accept ANSI C... none needed
checking for a BSD-compatible install... /usr/ucb/install -c -o root -g root
checking for sparc-sun-solaris2-ranlib... no
checking for ranlib... ranlib
checking for ident support in C compiler... yes
checking how to run the C preprocessor... cc -E
checking for egrep... grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... no
checking for unistd.h... yes
checking malloc.h usability... yes
checking malloc.h presence... yes
checking for malloc.h... yes
checking for unsigned long long... yes
checking size of unsigned long long... 8
checking for unsigned long... yes
checking size of unsigned long... 4
checking for unsigned... yes
checking size of unsigned... 4
checking for flag to make position independent code... -fPIC
checking for libdir64 path... ${exec_prefix}/lib
configure: creating ./config.status
config.status: creating Makefile
config.status: creating config.h
configure: configuring in cadpli
configure: running /bin/ksh './configure' --prefix=/usr/pkg  '--without-ipal' '--host=sparc-sun-solaris2' '--prefix=/usr/pkg' 'CC=cc' 'CFLAGS=-O -I/usr/pkg/include' 'CPPFLAGS=-I/usr/pkg/include' 'CXXFLAGS=-O -I/usr/pkg/include' 'CXX=CC' 'LDFLAGS=-L/usr/pkg/lib -R/usr/pkg/lib' 'host_alias=sparc-sun-solaris2' --cache-file=/dev/null --srcdir=.
configure: WARNING: If you wanted to set the --build type, don't use --host.
    If a cross compiler is detected then cross compile mode will be used.
checking for sparc-sun-solaris2-gcc... cc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables... 
checking for suffix of object files... o
checking whether we are using the GNU C compiler... no
checking whether cc accepts -g... yes
checking for cc option to accept ANSI C... none needed
checking for sparc-sun-solaris2-g++... CC
checking whether we are using the GNU C++ compiler... no
checking whether CC accepts -g... yes
checking for sparc-sun-solaris2-strip... no
checking for strip... strip
checking build system type... sparc-sun-solaris2.8
checking host system type... sparc-sun-solaris2
checking for Microsoft Windows... no
checking for a BSD-compatible install... /usr/ucb/install -c -o root -g root
checking how to run the C preprocessor... cc -E
checking for egrep... grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... no
checking for unistd.h... yes
checking malloc.h usability... yes
checking malloc.h presence... yes
checking for malloc.h... yes
checking for unsigned long long... yes
checking size of unsigned long long... 8
checking for unsigned long... yes
checking size of unsigned long... 4
checking for unsigned... yes
checking size of unsigned... 4
checking dlfcn.h usability... yes
checking dlfcn.h presence... yes
checking for dlfcn.h... yes
checking for dlopen in -ldl... yes
checking for flag to make position independent code... -fPIC
checking for -rdynamic compiler flag... 
checking for shared library link flag... -shared
checking for extra libs needed... 
checking for leading underscores... no
checking for trailing underscores... no
checking for ident support in C compiler... yes
checking for VPI subdirectories... . 
configure: creating ./config.status
config.status: creating Makefile
===> Building for verilog-0.8.1
./config.status
config.status: creating Makefile
config.status: creating ivlpp/Makefile
config.status: creating driver/Makefile
config.status: creating driver-vpi/Makefile
config.status: creating tgt-null/Makefile
config.status: creating tgt-stub/Makefile
config.status: creating tgt-verilog/Makefile
config.status: creating tgt-pal/Makefile
config.status: creating config.h
config.status: config.h is unchanged
config.status: creating _pli_types.h
config.status: _pli_types.h is unchanged
mkdir dep
CC -DHAVE_CVS_IDENT=1 -DHAVE_CONFIG_H -I. -I. -I/usr/pkg/include -Wall -O -I/usr/pkg/include -MD -c main.cc -o main.o
"svector.h", line 105: Error: "svector" cannot be declared as an object or function.
"svector.h", line 105: Warning (Anachronism): Old explicit specialization syntax.
"pform.h", line 80: Error: Illegal syntax for elaborated type specifier	.
2 Error(s) and 1 Warning(s) detected.
gmake: *** [main.o] Error 2
*** Error code 2

Stop.
bmake: stopped in /usr/pkgsrc/cad/verilog
===> 
===> There was an error during the ``build'' phase.
===> Please investigate the following for more information:
===>      * log of the build
===>      * /pkgobj/cad/verilog/work/.work.log
===> 
*** Error code 1

Stop.
bmake: stopped in /usr/pkgsrc/cad/verilog

Please view the work log for verilog-0.8.1

BULK> verilog-0.8.1 was marked as broken:
-rw-r--r--   1 root     other      23734 Jul  2 05:55 .broken.html
/usr/pkg/bin/bmake deinstall
===> Deinstalling for verilog
BULK> Marking all packages which depend upon verilog-0.8.1 as broken:
BULK> marking package that requires verilog-0.8.1 as broken: covered-0.3 (cad/covered)
BULK> marking package that requires verilog-0.8.1 as broken: covered-current-20040325 (cad/covered-current)
BULK> Build for verilog-0.8.1 was not successful, aborting.