Index: head/math/z3/Makefile =================================================================== --- head/math/z3/Makefile (revision 459749) +++ head/math/z3/Makefile (revision 459750) @@ -1,54 +1,54 @@ # $FreeBSD$ PORTNAME= z3 DISTVERSIONPREFIX= ${PORTNAME}- -DISTVERSION= 4.5.0 -PORTREVISION= 2 +DISTVERSION= 4.6.0 CATEGORIES= math MAINTAINER= 6yearold@gmail.com COMMENT= Z3 Theorem Prover LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt BROKEN_powerpc64= Does not build # compiler picks ${LOCALBASE}/include/dictionary.h from iniparser CONFLICTS= iniparser-* USE_GITHUB= yes GH_ACCOUNT= Z3Prover OPTIONS_DEFINE= DEBUG STATIC PYTHON GMP OPTIONS_DEFAULT= STATIC PYTHON OPTIONS_SUB= yes DEBUG_CONFIGURE_ON= --debug PYTHON_DESC= Enable python bindings PYTHON_CONFIGURE_ON= --python PYTHON_USES= python:2.7 PYTHON_USES_OFF= python:2.7,build PYTHON_RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}setuptools>0:devel/py-setuptools@${PY_FLAVOR} STATIC_DESC= Build static z3 library 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_LIB_DEPENDS= libgmp.so:math/gmp HAS_CONFIGURE= yes CONFIGURE_ARGS= --prefix=${PREFIX} USE_LDCONFIG= yes BUILD_WRKSRC= ${WRKSRC}/build 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 Index: head/math/z3/distinfo =================================================================== --- head/math/z3/distinfo (revision 459749) +++ head/math/z3/distinfo (revision 459750) @@ -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 Index: head/math/z3/files/patch-scripts_mk__util.py =================================================================== --- head/math/z3/files/patch-scripts_mk__util.py (revision 459749) +++ head/math/z3/files/patch-scripts_mk__util.py (revision 459750) @@ -1,20 +1,20 @@ ---- 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'] JAVAC=None JAR=None -PYTHON_PACKAGE_DIR=distutils.sysconfig.get_python_lib() +PYTHON_PACKAGE_DIR=distutils.sysconfig.get_python_lib(prefix=getenv("PREFIX", None)) 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 Index: head/math/z3/files/patch-src_util_lp_lp__solver__instances.cpp =================================================================== --- head/math/z3/files/patch-src_util_lp_lp__solver__instances.cpp (nonexistent) +++ head/math/z3/files/patch-src_util_lp_lp__solver__instances.cpp (revision 459750) @@ -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(); Property changes on: head/math/z3/files/patch-src_util_lp_lp__solver__instances.cpp ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/math/z3/pkg-plist =================================================================== --- head/math/z3/pkg-plist (revision 459749) +++ head/math/z3/pkg-plist (revision 459750) @@ -1,37 +1,39 @@ bin/z3 include/z3++.h include/z3.h include/z3_algebraic.h 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 %%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 %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3.py %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3.pyc %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3consts.py %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3consts.pyc %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3core.py %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3core.pyc %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3num.py %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3num.pyc %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3poly.py %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3poly.pyc %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3printer.py %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3printer.pyc %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3rcf.py %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3rcf.pyc %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3types.py %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3types.pyc %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3util.py %%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3util.pyc