<pre style='margin:0'>
Landon Fuller (landonf) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/ad660ce049ecdce26123783aaf40993a9cd341a1">https://github.com/macports/macports-ports/commit/ad660ce049ecdce26123783aaf40993a9cd341a1</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'> new ad660ce z3: update to 4.8.7
</span>ad660ce is described below
<span style='display:block; white-space:pre;color:#808000;'>commit ad660ce049ecdce26123783aaf40993a9cd341a1
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Mon Jan 13 14:25:27 2020 -0700
<span style='display:block; white-space:pre;color:#404040;'> z3: update to 4.8.7
</span>---
math/z3/Portfile | 35 ++++++++++++++++++++++-------------
1 file changed, 22 insertions(+), 13 deletions(-)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/z3/Portfile b/math/z3/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index e93cb4d..b361107 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/z3/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/z3/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -20,11 +20,11 @@ if {${subport} eq "${name}-fstar"} {
</span> sha256 4e8e232887ddfa643adb6a30dcd3743cb2fa6591735fbd302b49f7028cdc0363 \
size 4177051
} else {
<span style='display:block; white-space:pre;background:#ffe0e0;'>- github.setup Z3Prover z3 4.8.6 z3-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- checksums z3-4.8.6.tar.gz \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- rmd160 7e8c2bfdc4ab1e530de33ce2531e0f097ec0b6fb \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 37922fa5085170cad6504498d9758fb63c61d5cb5b68689c11a6c5e84f0311b3 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- size 4328752 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ github.setup Z3Prover z3 4.8.7 z3-
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ checksums z3-4.8.7.tar.gz \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ rmd160 d29a299edcdea423dcbf2852d2a0251e79021fb2 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 4343720 \
</span> }
platforms darwin freebsd
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -56,8 +56,13 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span>
compiler.fallback macports-clang-8.0
<span style='display:block; white-space:pre;background:#ffe0e0;'>- configure.args-append -DPYTHON_EXECUTABLE=${prefix}/bin/python2.7 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- -DENABLE_EXAMPLE_TARGETS=ON
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ configure.args-append -DPYTHON_EXECUTABLE=${prefix}/bin/python2.7
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if {[vercmp ${version} "4.8.7"] >= 0} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ configure.args-append -DZ3_ENABLE_EXAMPLE_TARGETS=ON
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ } else {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ configure.args-append -DENABLE_EXAMPLE_TARGETS=ON
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ }
</span>
if {[vercmp ${version} "4.8.6"] >= 0} {
configure.args-append -DSINGLE_THREADED=ON
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -97,7 +102,7 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span> # This can be removed if/when the project switches to a cmake_minimum_required >= 3.9
configure.args-append -DCMAKE_POLICY_DEFAULT_CMP0069=NEW
<span style='display:block; white-space:pre;background:#ffe0e0;'>- if {[vercmp ${version} "4.8.6"] > 0} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if {[vercmp ${version} "4.8.7"] > 0} {
</span> ui_error "Please verify that -DCMAKE_POLICY_DEFAULT_CMP0069=NEW is still required (e.g. cmake_minimum_required < 3.9)"
}
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -117,7 +122,11 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span>
variant gmp description {Use GNU GMP library for arbitrary precision arithmetic} {
depends_lib-append port:gmp
<span style='display:block; white-space:pre;background:#ffe0e0;'>- configure.args-append -DUSE_LIB_GMP=ON
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if {[vercmp ${version} "4.8.7"] >= 0} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ configure.args-append -DZ3_USE_LIB_GMP=ON
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ } else {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ configure.args-append -DUSE_LIB_GMP=ON
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ }
</span> }
variant native description {Generate code optimized for this machine's CPU. The resulting binaries may not run on other processors} {
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -253,8 +262,8 @@ foreach v {27 37} {
</span>
use_configure yes
configure.args-append -DPYTHON_EXECUTABLE=${python.bin} \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- -DBUILD_PYTHON_BINDINGS=ON \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- -DINSTALL_PYTHON_BINDINGS=ON
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ -DZ3_BUILD_PYTHON_BINDINGS=ON \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ -DZ3_INSTALL_PYTHON_BINDINGS=ON
</span>
# Avoid rebuilding libz3
post-patch {
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -289,8 +298,8 @@ subport ${name}-java {
</span>
patchfiles-append java_libpath.diff
<span style='display:block; white-space:pre;background:#ffe0e0;'>- configure.args-append -DBUILD_JAVA_BINDINGS=ON \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- -DINSTALL_JAVA_BINDINGS=ON \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ configure.args-append -DZ3_BUILD_JAVA_BINDINGS=ON \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ -DZ3_INSTALL_JAVA_BINDINGS=ON \
</span> -DZ3_JAVA_JNI_LIB_INSTALLDIR=${prefix}/lib/${name} \
-DZ3_JAVA_JAR_INSTALLDIR=${prefix}/share/java/${name}
</pre><pre style='margin:0'>
</pre>