cvc3: needs bison

[Tobias Nygren <tnn%NetBSD.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Tobias Nygren <tnn%NetBSD.org@localhost>
Pushed By:	tnn
Date:		Sat Oct 24 15:31:38 2015 +0200
Changeset:	c2d0d34aaad14d99c07a8dd6812101f00067c788

Modified Files:
	cvc3/Makefile

Log Message:
cvc3: needs bison

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=c2d0d34aaad14d99c07a8dd6812101f00067c788

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 cvc3/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diffs:
diff --git a/cvc3/Makefile b/cvc3/Makefile
index da2ecff..cc34469 100644
--- a/cvc3/Makefile
+++ b/cvc3/Makefile
@@ -12,7 +12,9 @@ COMMENT=	Automatic theorem prover for SMT problems
 GNU_CONFIGURE=	yes
 USE_LANGUAGES=	c c++
 
-USE_TOOLS+=	gmake bash perl
+USE_TOOLS+=	gmake bash perl bison
+
+CONFIGURE_ENV+=			ac_cv_prog_YACC="bison -y"
 
 SUBST_CLASSES+=                 fix-bash
 SUBST_STAGE.fix-bash=          	pre-configure