Date: Sat, 24 Nov 2018 11:43:44 +0000 (UTC) From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r485759 - head/math/z3 Message-ID: <201811241143.wAOBhibG026603@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: arrowd Date: Sat Nov 24 11:43:44 2018 New Revision: 485759 URL: https://svnweb.freebsd.org/changeset/ports/485759 Log: math/z3: Update to 4.8.3 Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D18305 Modified: head/math/z3/Makefile head/math/z3/distinfo head/math/z3/pkg-plist Modified: head/math/z3/Makefile ============================================================================== --- head/math/z3/Makefile Sat Nov 24 11:39:38 2018 (r485758) +++ head/math/z3/Makefile Sat Nov 24 11:43:44 2018 (r485759) @@ -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 Modified: head/math/z3/distinfo ============================================================================== --- head/math/z3/distinfo Sat Nov 24 11:39:38 2018 (r485758) +++ head/math/z3/distinfo Sat Nov 24 11:43:44 2018 (r485759) @@ -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 Modified: head/math/z3/pkg-plist ============================================================================== --- head/math/z3/pkg-plist Sat Nov 24 11:39:38 2018 (r485758) +++ head/math/z3/pkg-plist Sat Nov 24 11:43:44 2018 (r485759) @@ -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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201811241143.wAOBhibG026603>