=> Bootstrap dependency digest>=20010302: found digest-20121220
WARNING: [license.mk] Every package should define a LICENSE.
=> Checksum SHA1 OK for cvc3-2.2.tar.gz
=> Checksum RMD160 OK for cvc3-2.2.tar.gz
===> Installing dependencies for cvc3-2.2
=> Tool dependency bash-[0-9]*: found bash-4.2nb2
=> Tool dependency gmake>=3.81: found gmake-3.82nb7
=> Tool dependency perl>=5.0: found perl-5.18.0
=> Tool dependency checkperms>=1.1: found checkperms-1.11
=> Full dependency gmp>=5.0.1: found gmp-5.1.2
===> Overriding tools for cvc3-2.2
===> Extracting for cvc3-2.2
===> Patching for cvc3-2.2
===> Creating toolchain wrappers for cvc3-2.2
===> Configuring for cvc3-2.2
=> Fixing hard-coded reference to bash.
=> Modifying GNU configure scripts to avoid --recheck
=> Replacing config-guess with pkgsrc versions
=> Replacing config-sub with pkgsrc versions
=> Replacing install-sh with pkgsrc version
=> Checking for portability problems in extracted files
checking for x86_64--netbsd-g++... c++
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... yes
checking whether c++ accepts -g... yes
checking how to run the C++ preprocessor... c++ -E
checking for x86_64--netbsd-ar... no
checking for ar... ar
checking build system type... x86_64--netbsd
checking host system type... x86_64--netbsd
checking for install... /usr/bin/install -c -o kristerw -g wheel
checking for time... /usr/bin/time
checking for perl... /usr/pkg/bin/perl
checking for bison... no
checking for byacc... no
configure: error: bison  not found
*** Error code 1

Stop.
make: stopped in /usr/pkgsrc/wip/cvc3
*** Error code 1

Stop.
make: stopped in /usr/pkgsrc/wip/cvc3