diff options
| author | ale <ale@FreeBSD.org> | 2018-01-23 21:55:27 +0800 |
|---|---|---|
| committer | ale <ale@FreeBSD.org> | 2018-01-23 21:55:27 +0800 |
| commit | 5b130898da063da0b391db7175235aa02a37b14f (patch) | |
| tree | 78033c5c2e6fca8df1270ded1352868c92fedcaa /math | |
| parent | 8955c9edb957a9b9473fb4788dd3033cd1275fdb (diff) | |
| download | freebsd-ports-gnome-5b130898da063da0b391db7175235aa02a37b14f.tar.gz freebsd-ports-gnome-5b130898da063da0b391db7175235aa02a37b14f.tar.zst freebsd-ports-gnome-5b130898da063da0b391db7175235aa02a37b14f.zip | |
Update to 4.6.0 release and create shared lib symlink.
Differential Revision: https://reviews.freebsd.org/D13637
Submitted by: maintainer
Diffstat (limited to 'math')
| -rw-r--r-- | math/z3/Makefile | 4 | ||||
| -rw-r--r-- | math/z3/distinfo | 6 | ||||
| -rw-r--r-- | math/z3/files/patch-scripts_mk__util.py | 8 | ||||
| -rw-r--r-- | math/z3/files/patch-src_util_lp_lp__solver__instances.cpp | 11 | ||||
| -rw-r--r-- | math/z3/pkg-plist | 2 |
5 files changed, 22 insertions, 9 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index 30b750ac1f0e..c71937ce89b3 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -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 <bsd.port.mk> diff --git a/math/z3/distinfo b/math/z3/distinfo index c73f7607309c..bcc7cdd5e036 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -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 diff --git a/math/z3/files/patch-scripts_mk__util.py b/math/z3/files/patch-scripts_mk__util.py index d4af1161c693..a79dec34b59e 100644 --- a/math/z3/files/patch-scripts_mk__util.py +++ b/math/z3/files/patch-scripts_mk__util.py @@ -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 diff --git a/math/z3/files/patch-src_util_lp_lp__solver__instances.cpp b/math/z3/files/patch-src_util_lp_lp__solver__instances.cpp new file mode 100644 index 000000000000..bc1a61e5a91a --- /dev/null +++ b/math/z3/files/patch-src_util_lp_lp__solver__instances.cpp @@ -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<double, doub + template bool lp::lp_solver<double, double>::problem_is_empty(); + template void lp::lp_solver<double, double>::scale(); + template void lp::lp_solver<double, double>::set_scaled_cost(unsigned int); ++template std::string lp::lp_solver<double, double>::get_column_name(unsigned int) const; ++template std::string lp::lp_solver<rational, rational>::get_column_name(unsigned int) const; + template lp::lp_solver<double, double>::~lp_solver(); + template void lp::lp_solver<lp::mpq, lp::mpq>::add_constraint(lp::lp_relation, lp::mpq, unsigned int); + template void lp::lp_solver<lp::mpq, lp::mpq>::cleanup(); diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist index c3d8328fccf1..67095dc03f5c 100644 --- a/math/z3/pkg-plist +++ b/math/z3/pkg-plist @@ -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 |