From owner-svn-ports-all@freebsd.org Tue Jan 23 13:55:29 2018 Return-Path: Delivered-To: svn-ports-all@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 4603FED5317; Tue, 23 Jan 2018 13:55:29 +0000 (UTC) (envelope-from ale@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 227B27C810; Tue, 23 Jan 2018 13:55:29 +0000 (UTC) (envelope-from ale@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 405CC76B4; Tue, 23 Jan 2018 13:55:28 +0000 (UTC) (envelope-from ale@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id w0NDtSmM073931; Tue, 23 Jan 2018 13:55:28 GMT (envelope-from ale@FreeBSD.org) Received: (from ale@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id w0NDtRwx073926; Tue, 23 Jan 2018 13:55:27 GMT (envelope-from ale@FreeBSD.org) Message-Id: <201801231355.w0NDtRwx073926@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: ale set sender to ale@FreeBSD.org using -f From: Alex Dupre Date: Tue, 23 Jan 2018 13:55:27 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r459750 - in head/math/z3: . files X-SVN-Group: ports-head X-SVN-Commit-Author: ale X-SVN-Commit-Paths: in head/math/z3: . files X-SVN-Commit-Revision: 459750 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.25 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 23 Jan 2018 13:55:29 -0000 Author: ale Date: Tue Jan 23 13:55:27 2018 New Revision: 459750 URL: https://svnweb.freebsd.org/changeset/ports/459750 Log: Update to 4.6.0 release and create shared lib symlink. Differential Revision: https://reviews.freebsd.org/D13637 Submitted by: maintainer Added: head/math/z3/files/patch-src_util_lp_lp__solver__instances.cpp (contents, props changed) Modified: head/math/z3/Makefile head/math/z3/distinfo head/math/z3/files/patch-scripts_mk__util.py head/math/z3/pkg-plist Modified: head/math/z3/Makefile ============================================================================== --- head/math/z3/Makefile Tue Jan 23 13:35:37 2018 (r459749) +++ head/math/z3/Makefile Tue Jan 23 13:55:27 2018 (r459750) @@ -2,8 +2,7 @@ PORTNAME= z3 DISTVERSIONPREFIX= ${PORTNAME}- -DISTVERSION= 4.5.0 -PORTREVISION= 2 +DISTVERSION= 4.6.0 CATEGORIES= math MAINTAINER= 6yearold@gmail.com @@ -50,5 +49,6 @@ INSTALL_WRKSRC= ${WRKSRC}/build post-install: ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/z3 ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/libz3.so + ${LN} -s libz3.so ${STAGEDIR}${PREFIX}/lib/libz3.so.0 .include Modified: head/math/z3/distinfo ============================================================================== --- head/math/z3/distinfo Tue Jan 23 13:35:37 2018 (r459749) +++ head/math/z3/distinfo Tue Jan 23 13:55:27 2018 (r459750) @@ -1,3 +1,3 @@ -TIMESTAMP = 1480626874 -SHA256 (Z3Prover-z3-z3-4.5.0_GH0.tar.gz) = aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c -SIZE (Z3Prover-z3-z3-4.5.0_GH0.tar.gz) = 3573695 +TIMESTAMP = 1516713093 +SHA256 (Z3Prover-z3-z3-4.6.0_GH0.tar.gz) = 511da31d1f985cf0c79b2de05bda4e057371ba519769d1546ff71e1304fe53c9 +SIZE (Z3Prover-z3-z3-4.6.0_GH0.tar.gz) = 3987830 Modified: head/math/z3/files/patch-scripts_mk__util.py ============================================================================== --- head/math/z3/files/patch-scripts_mk__util.py Tue Jan 23 13:35:37 2018 (r459749) +++ head/math/z3/files/patch-scripts_mk__util.py Tue Jan 23 13:55:27 2018 (r459750) @@ -1,4 +1,4 @@ ---- scripts/mk_util.py.orig 2016-11-07 22:02:30 UTC +--- scripts/mk_util.py.orig 2017-12-18 14:18:30 UTC +++ scripts/mk_util.py @@ -49,7 +49,7 @@ C_COMPILERS=['gcc', 'clang'] CSC_COMPILERS=['csc', 'mcs'] @@ -9,12 +9,12 @@ BUILD_DIR='build' REV_BUILD_DIR='..' SRC_DIR='src' -@@ -2391,7 +2391,7 @@ def mk_config(): +@@ -2441,7 +2441,7 @@ def mk_config(): check_ar() CXX = find_cxx_compiler() CC = find_c_compiler() - SLIBEXTRAFLAGS = '' + SLIBEXTRAFLAGS = '%s -Wl,-soname,libz3.so.0' % LDFLAGS + EXE_EXT = '' + LIB_EXT = '.a' if GPROF: - CXXFLAGS = '%s -pg' % CXXFLAGS - LDFLAGS = '%s -pg' % LDFLAGS Added: head/math/z3/files/patch-src_util_lp_lp__solver__instances.cpp ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/z3/files/patch-src_util_lp_lp__solver__instances.cpp Tue Jan 23 13:55:27 2018 (r459750) @@ -0,0 +1,11 @@ +--- src/util/lp/lp_solver_instances.cpp.orig 2018-01-23 13:13:30 UTC ++++ src/util/lp/lp_solver_instances.cpp +@@ -34,6 +34,8 @@ template void lp::lp_solver::problem_is_empty(); + template void lp::lp_solver::scale(); + template void lp::lp_solver::set_scaled_cost(unsigned int); ++template std::string lp::lp_solver::get_column_name(unsigned int) const; ++template std::string lp::lp_solver::get_column_name(unsigned int) const; + template lp::lp_solver::~lp_solver(); + template void lp::lp_solver::add_constraint(lp::lp_relation, lp::mpq, unsigned int); + template void lp::lp_solver::cleanup(); Modified: head/math/z3/pkg-plist ============================================================================== --- head/math/z3/pkg-plist Tue Jan 23 13:35:37 2018 (r459749) +++ head/math/z3/pkg-plist Tue Jan 23 13:55:27 2018 (r459750) @@ -11,9 +11,11 @@ include/z3_macros.h include/z3_optimization.h include/z3_polynomial.h include/z3_rcf.h +include/z3_spacer.h include/z3_v1.h %%STATIC%%lib/libz3.a lib/libz3.so +lib/libz3.so.0 %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/__init__.py %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/__init__.pyc %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/lib/libz3.so