diff options
| author | ade <ade@FreeBSD.org> | 2007-10-17 18:13:01 +0800 |
|---|---|---|
| committer | ade <ade@FreeBSD.org> | 2007-10-17 18:13:01 +0800 |
| commit | 6f10a06995e640bf1073c28f5c13ea8f8412737a (patch) | |
| tree | d14ccc864c4783b5751e425e681d4bc7e63ec159 /math/cvc3 | |
| parent | 7428a469a6c4123272d6ac2707e3cf432227515b (diff) | |
| download | freebsd-ports-gnome-6f10a06995e640bf1073c28f5c13ea8f8412737a.tar.gz freebsd-ports-gnome-6f10a06995e640bf1073c28f5c13ea8f8412737a.tar.zst freebsd-ports-gnome-6f10a06995e640bf1073c28f5c13ea8f8412737a.zip | |
Migration from bison 1.x to 2.x
PR: 117086
Tested by: -exp runs
Diffstat (limited to 'math/cvc3')
| -rw-r--r-- | math/cvc3/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile index 8f7106993ca1..8e51e68174da 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -7,6 +7,7 @@ PORTNAME= cvc3 PORTVERSION= 1.2.1 +PORTREVISION= 1 CATEGORIES= math MASTER_SITES= http://www.cs.nyu.edu/acsys/cvc3/download/${PORTVERSION}/ \ http://www.cs.nctu.edu.tw/~lwhsu/ports/distfiles/ @@ -23,7 +24,7 @@ CONFIGURE_ARGS= --enable-dynamic \ --with-extra-libs=${LOCALBASE}/lib CXXFLAGS+= -fPIC GNU_CONFIGURE= yes -USE_BISON= yes +USE_BISON= build USE_GMAKE= yes USE_LDCONFIG= yes USE_PERL5= yes |