From owner-svn-ports-head@freebsd.org Sat Nov 24 11:43:46 2018 Return-Path: Delivered-To: svn-ports-head@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 039E4114BF05; Sat, 24 Nov 2018 11:43:46 +0000 (UTC) (envelope-from arrowd@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 9ADC975105; Sat, 24 Nov 2018 11:43:45 +0000 (UTC) (envelope-from arrowd@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 7BBC458E7; Sat, 24 Nov 2018 11:43:45 +0000 (UTC) (envelope-from arrowd@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id wAOBhjgj026607; Sat, 24 Nov 2018 11:43:45 GMT (envelope-from arrowd@FreeBSD.org) Received: (from arrowd@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id wAOBhibG026603; Sat, 24 Nov 2018 11:43:44 GMT (envelope-from arrowd@FreeBSD.org) Message-Id: <201811241143.wAOBhibG026603@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: arrowd set sender to arrowd@FreeBSD.org using -f From: Gleb Popov Date: Sat, 24 Nov 2018 11:43:44 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r485759 - head/math/z3 X-SVN-Group: ports-head X-SVN-Commit-Author: arrowd X-SVN-Commit-Paths: head/math/z3 X-SVN-Commit-Revision: 485759 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Rspamd-Queue-Id: 9ADC975105 X-Spamd-Result: default: False [1.85 / 15.00]; local_wl_from(0.00)[FreeBSD.org]; ASN(0.00)[asn:11403, ipnet:2610:1c1:1::/48, country:US]; NEURAL_SPAM_SHORT(0.46)[0.463,0]; NEURAL_SPAM_MEDIUM(0.73)[0.730,0]; NEURAL_SPAM_LONG(0.66)[0.661,0] X-Rspamd-Server: mx1.freebsd.org X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 24 Nov 2018 11:43:46 -0000 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