diff options
| author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2007-06-01 22:35:25 +0800 |
|---|---|---|
| committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2007-06-01 22:35:25 +0800 |
| commit | 9e16bde8143bd70c74c9e73f64cdb9f5bbab037f (patch) | |
| tree | 6d35daf112430d9dd51c48441ada6db09eed6651 /math/cvcl | |
| parent | c431999ce539f419be8cd551531037cf5cd47826 (diff) | |
| download | freebsd-ports-gnome-9e16bde8143bd70c74c9e73f64cdb9f5bbab037f.tar.gz freebsd-ports-gnome-9e16bde8143bd70c74c9e73f64cdb9f5bbab037f.tar.zst freebsd-ports-gnome-9e16bde8143bd70c74c9e73f64cdb9f5bbab037f.zip | |
- Mark BROKEN for gcc 4.2
- Mark DEPRECATED, this project is replaced by CVC3 (math/cvc3)
- Set EXPIRATION_DATE to 2007-06-30
Diffstat (limited to 'math/cvcl')
| -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> |