<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/a80247d3a822737e93cc0ff67124ce963b54a838">https://github.com/macports/macports-ports/commit/a80247d3a822737e93cc0ff67124ce963b54a838</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 a80247d3a82 z3: drop +gmp from default_variants and bump revision
</span>a80247d3a82 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit a80247d3a822737e93cc0ff67124ce963b54a838
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Thu Jun 25 21:24:20 2020 -0600

<span style='display:block; white-space:pre;color:#404040;'>    z3: drop +gmp from default_variants and bump revision
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    This matches the official upstream binaries, and fixes verification when
</span><span style='display:block; white-space:pre;color:#404040;'>    building hacl*.
</span>---
 math/z3/Portfile | 8 ++++----
 1 file changed, 4 insertions(+), 4 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 661f99c1f5f..87e9c459e4e 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;'>@@ -15,11 +15,13 @@ long_description    High performance SMT solver from Microsoft Research.
</span> # FStar-qualified Z3 release?
 if {${subport} eq "${name}-fstar"} {
     github.setup        Z3Prover z3 4.8.5 Z3-
<span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            1
</span>     checksums           rmd160  cb3509b35dc3a428019950df2e2f94c555a7ee94 \
                         sha256  4e8e232887ddfa643adb6a30dcd3743cb2fa6591735fbd302b49f7028cdc0363 \
                         size    4177051
 } else {
     github.setup        Z3Prover z3 4.8.8 z3-
<span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            1
</span>     checksums           rmd160  a98d4a9cb524cef67bcce91be7ba830b00f8078d \
                         sha256  6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff \
                         size    4520119
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -89,10 +91,8 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span>     # TODO: polly variant disabled until/if we can get it enabled by default in llvm-8.0,
     # or provided as an LLVM subport
     if {[vercmp ${version} "4.8.6"] >= 0}  {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-#       default_variants        +gmp +threads +polly +polly_late +polly_vector
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        default_variants        +gmp +threads
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    } else {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        default_variants        +gmp
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+#       default_variants        +threads +polly +polly_late +polly_vector
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        default_variants        +threads
</span>     }
 
     # LTO is broken on <= macOS 10.6:
</pre><pre style='margin:0'>

</pre>