diff options
author | Gleb Popov <arrowd@FreeBSD.org> | 2018-11-24 11:43:44 +0000 |
---|---|---|
committer | Gleb Popov <arrowd@FreeBSD.org> | 2018-11-24 11:43:44 +0000 |
commit | 0b8816f8540de184fa2f60fa103fd7acd9b895c0 (patch) | |
tree | 08699157c4eef7aacc9311070c358d8bb5f27ebb /math/z3 | |
parent | 73394cd51933e64fe8250a6ec923441cb670bf36 (diff) | |
download | ports-0b8816f8540de184fa2f60fa103fd7acd9b895c0.tar.gz ports-0b8816f8540de184fa2f60fa103fd7acd9b895c0.zip |
Notes
Diffstat (limited to 'math/z3')
-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 |