diff options
| author | lwhsu <lwhsu@FreeBSD.org> | 2007-06-01 22:35:25 +0800 |
|---|---|---|
| committer | lwhsu <lwhsu@FreeBSD.org> | 2007-06-01 22:35:25 +0800 |
| commit | 591aa4d24cc39668de1a70e63e94f65fc845c9e6 (patch) | |
| tree | 49d68ce553fbfe79fafcfc5307a26c81c4a11fcf | |
| parent | 9ff3a1e61eacd6c22dd4569d7209ed313e650819 (diff) | |
| download | freebsd-ports-gnome-591aa4d24cc39668de1a70e63e94f65fc845c9e6.tar.gz freebsd-ports-gnome-591aa4d24cc39668de1a70e63e94f65fc845c9e6.tar.zst freebsd-ports-gnome-591aa4d24cc39668de1a70e63e94f65fc845c9e6.zip | |
- Mark BROKEN for gcc 4.2
- Mark DEPRECATED, this project is replaced by CVC3 (math/cvc3)
- Set EXPIRATION_DATE to 2007-06-30
| -rw-r--r-- | math/cvcl/Makefile | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/math/cvcl/Makefile b/math/cvcl/Makefile index e28940279581..1b431bf3b343 100644 --- a/math/cvcl/Makefile +++ b/math/cvcl/Makefile @@ -15,6 +15,9 @@ COMMENT= An automatic theorem prover for the SMT problem LIB_DEPENDS= gmp:${PORTSDIR}/math/libgmp4 +DEPRECATED= CVC Lite is no longer supported. Please use CVC3 (math/cvc3) for all your validity checking needs! +EXPIRATION_DATE= 2007-06-30 + CONFIGURE_ARGS= --with-arith=gmp \ --with-extra-libs=${LOCALBASE}/lib \ --with-extra-includes=${LOCALBASE}/include \ @@ -27,4 +30,10 @@ USE_LDCONFIG= yes WRKSRC= ${WRKDIR}/cvcl-20060527 -.include <bsd.port.mk> +.include <bsd.port.pre.mk> + +.if ${OSVERSION} >= 700042 +BROKEN= Broken with gcc 4.2 +.endif + +.include <bsd.port.post.mk> |