diff options
| author | Alex Dupre <ale@FreeBSD.org> | 2010-04-19 10:43:42 +0000 |
|---|---|---|
| committer | Alex Dupre <ale@FreeBSD.org> | 2010-04-19 10:43:42 +0000 |
| commit | bf330a57d40cb5c6f57f61de4d24c0dcbf14dbee (patch) | |
| tree | fbc3a0515acb659ae86ec22a706ac4607711c903 /math/cvc3 | |
| parent | 7db76e2b98b1517c19aa3a79957ac3b37bf853ae (diff) | |
| download | ports-bf330a57d40cb5c6f57f61de4d24c0dcbf14dbee.tar.gz ports-bf330a57d40cb5c6f57f61de4d24c0dcbf14dbee.zip | |
Switch to use newer GMP version.
PR: ports/144487
Submitted by: ale
Approved by: portmgr (-exp run by erwin)
Notes
Notes:
svn path=/head/; revision=252906
Diffstat (limited to 'math/cvc3')
| -rw-r--r-- | math/cvc3/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile index 7be5bb195783..8176ab5eac3b 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -7,7 +7,7 @@ PORTNAME= cvc3 PORTVERSION= 1.2.1 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= math MASTER_SITES= http://www.cs.nyu.edu/acsys/cvc3/download/${PORTVERSION}/ \ http://www.cs.nctu.edu.tw/~lwhsu/ports/distfiles/ @@ -15,7 +15,7 @@ MASTER_SITES= http://www.cs.nyu.edu/acsys/cvc3/download/${PORTVERSION}/ \ MAINTAINER= lwhsu@FreeBSD.org COMMENT= An automatic theorem prover for the SMT problem -LIB_DEPENDS= gmp:${PORTSDIR}/math/libgmp4 +LIB_DEPENDS= gmp:${PORTSDIR}/math/gmp CONFIGURE_ARGS= --enable-dynamic \ --with-arith=gmp \ |