diff options
| author | arrowd <arrowd@FreeBSD.org> | 2018-11-24 19:43:44 +0800 |
|---|---|---|
| committer | arrowd <arrowd@FreeBSD.org> | 2018-11-24 19:43:44 +0800 |
| commit | 5eccf8bf6c823a6fe6f3b4f3da2afd3ac13313cc (patch) | |
| tree | 08699157c4eef7aacc9311070c358d8bb5f27ebb /math | |
| parent | 721447fb4952d2f15694a247fd83c9a11adf878c (diff) | |
| download | freebsd-ports-gnome-5eccf8bf6c823a6fe6f3b4f3da2afd3ac13313cc.tar.gz freebsd-ports-gnome-5eccf8bf6c823a6fe6f3b4f3da2afd3ac13313cc.tar.zst freebsd-ports-gnome-5eccf8bf6c823a6fe6f3b4f3da2afd3ac13313cc.zip | |
math/z3: Update to 4.8.3
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D18305
Diffstat (limited to 'math')
| -rw-r--r-- | math/z3/Makefile | 13 | ||||
| -rw-r--r-- | math/z3/distinfo | 6 | ||||
| -rw-r--r-- | math/z3/pkg-plist | 2 |
3 files changed, 10 insertions, 11 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index a399576f3c84..2a49d247d011 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -2,8 +2,7 @@ PORTNAME= z3 DISTVERSIONPREFIX= ${PORTNAME}- -DISTVERSION= 4.7.1 -PORTREVISION= 1 +DISTVERSION= 4.8.3 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org @@ -16,6 +15,10 @@ USES= compiler:c++11-lang python:2.7,build USE_GITHUB= yes GH_ACCOUNT= Z3Prover +HAS_CONFIGURE= yes +CONFIGURE_ARGS= --prefix=${PREFIX} +USE_LDCONFIG= yes + OPTIONS_DEFINE= DEBUG STATIC GMP OPTIONS_DEFAULT= STATIC @@ -28,13 +31,9 @@ STATIC_CONFIGURE_ON= --staticlib GMP_DESC= Use GMP library for AP arithmetic GMP_CONFIGURE_ON= --gmp -GMP_CXXFLAGS= -I${LOCALBASE}/include -GMP_LDFLAGS= -L${LOCALBASE}/lib +GMP_USES= localbase:ldflags GMP_LIB_DEPENDS= libgmp.so:math/gmp -HAS_CONFIGURE= yes -CONFIGURE_ARGS= --prefix=${PREFIX} -USE_LDCONFIG= yes LDFLAGS_i386= -Wl,-znotext BUILD_WRKSRC= ${WRKSRC}/build INSTALL_WRKSRC= ${WRKSRC}/build diff --git a/math/z3/distinfo b/math/z3/distinfo index 3e54a3a9cce4..05e225667bc5 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1529241358 -SHA256 (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = a353e3da00cdaffd258052cc1406efc854606855222ab4bfd5679c58af5c11c7 -SIZE (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = 4015416 +TIMESTAMP = 1542720512 +SHA256 (Z3Prover-z3-z3-4.8.3_GH0.tar.gz) = 21620b68c373cdea0d3b2cf24020be4ecfb22eddc6629663f6e9ce31cfdc78de +SIZE (Z3Prover-z3-z3-4.8.3_GH0.tar.gz) = 4119116 diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist index 44cb7828d1db..24f5aa6f517b 100644 --- a/math/z3/pkg-plist +++ b/math/z3/pkg-plist @@ -6,13 +6,13 @@ include/z3_api.h include/z3_ast_containers.h include/z3_fixedpoint.h include/z3_fpa.h -include/z3_interp.h include/z3_macros.h include/z3_optimization.h include/z3_polynomial.h include/z3_rcf.h include/z3_spacer.h include/z3_v1.h +include/z3_version.h %%STATIC%%lib/libz3.a lib/libz3.so lib/libz3.so.0 |