diff options
| author | lwhsu <lwhsu@FreeBSD.org> | 2012-02-04 22:37:52 +0800 |
|---|---|---|
| committer | lwhsu <lwhsu@FreeBSD.org> | 2012-02-04 22:37:52 +0800 |
| commit | 45f370d4f0de9479f9cbf2ffbf30f55f93bcf3cb (patch) | |
| tree | a85f46c913376a1a72b7fedd28f79bfa00dd1c69 /math/cvc3 | |
| parent | 1fa3599f89b0ec27f191387713dde1226086225b (diff) | |
| download | freebsd-ports-gnome-45f370d4f0de9479f9cbf2ffbf30f55f93bcf3cb.tar.gz freebsd-ports-gnome-45f370d4f0de9479f9cbf2ffbf30f55f93bcf3cb.tar.zst freebsd-ports-gnome-45f370d4f0de9479f9cbf2ffbf30f55f93bcf3cb.zip | |
- Update to 2.4.1
Diffstat (limited to 'math/cvc3')
| -rw-r--r-- | math/cvc3/Makefile | 18 | ||||
| -rw-r--r-- | math/cvc3/distinfo | 4 | ||||
| -rw-r--r-- | math/cvc3/pkg-plist | 6 |
3 files changed, 21 insertions, 7 deletions
diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile index 8176ab5eac3b..5983d9972d4f 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -6,11 +6,9 @@ # PORTNAME= cvc3 -PORTVERSION= 1.2.1 -PORTREVISION= 3 +PORTVERSION= 2.4.1 CATEGORIES= math -MASTER_SITES= http://www.cs.nyu.edu/acsys/cvc3/download/${PORTVERSION}/ \ - http://www.cs.nctu.edu.tw/~lwhsu/ports/distfiles/ +MASTER_SITES= http://www.cs.nyu.edu/acsys/cvc3/download/${PORTVERSION}/ MAINTAINER= lwhsu@FreeBSD.org COMMENT= An automatic theorem prover for the SMT problem @@ -29,4 +27,14 @@ USE_GMAKE= yes USE_LDCONFIG= yes USE_PERL5= yes -.include <bsd.port.mk> +.include <bsd.port.pre.mk> + +post-patch: + ${REINPLACE_CMD} -e 's,/bin/bash,/bin/sh,' ${WRKSRC}/Makefile.std + ${REINPLACE_CMD} -e 's,.*$$(LDCONFIG).*,,' ${WRKSRC}/src/Makefile + ${REINPLACE_CMD} -e 's,$$(libdir)/pkgconfig,${PREFIX}/libdata/pkgconfig,' ${WRKSRC}/src/Makefile + +post-install: + ${INSTALL_PROGRAM} `readlink ${WRKSRC}/bin/cvc3` ${PREFIX}/bin + +.include <bsd.port.post.mk> diff --git a/math/cvc3/distinfo b/math/cvc3/distinfo index 15179ba0c438..a28de6748653 100644 --- a/math/cvc3/distinfo +++ b/math/cvc3/distinfo @@ -1,2 +1,2 @@ -SHA256 (cvc3-1.2.1.tar.gz) = e2100454606c649a2de59dd9fe3300fe3a7ecc4ac03c1d304c8f797aaed34bd9 -SIZE (cvc3-1.2.1.tar.gz) = 827577 +SHA256 (cvc3-2.4.1.tar.gz) = d55b1d6006cfbac3f6d4c086964558902c3ed0efa66ac499cfb2193f3ee4acf7 +SIZE (cvc3-2.4.1.tar.gz) = 1196616 diff --git a/math/cvc3/pkg-plist b/math/cvc3/pkg-plist index 528151be4b7a..eaa858dba45c 100644 --- a/math/cvc3/pkg-plist +++ b/math/cvc3/pkg-plist @@ -33,6 +33,7 @@ include/cvc3/expr_stream.h include/cvc3/expr_transform.h include/cvc3/expr_value.h include/cvc3/fdstream.h +include/cvc3/formula_value.h include/cvc3/hash_fun.h include/cvc3/hash_map.h include/cvc3/hash_set.h @@ -66,6 +67,7 @@ include/cvc3/theorem_manager.h include/cvc3/theorem_producer.h include/cvc3/theory.h include/cvc3/theory_arith.h +include/cvc3/theory_arith3.h include/cvc3/theory_arith_new.h include/cvc3/theory_arith_old.h include/cvc3/theory_array.h @@ -85,4 +87,8 @@ include/cvc3/vc.h include/cvc3/vc_cmd.h include/cvc3/vcl.h lib/libcvc3.so +lib/libcvc3.so.5 +lib/libcvc3.so.5.0 +lib/libcvc3.so.5.0.0 +libdata/pkgconfig/cvc3.pc @dirrm include/cvc3 |