<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/36a535b86cf9be9ab3fcca853d1b088c1cb27d1d">https://github.com/macports/macports-ports/commit/36a535b86cf9be9ab3fcca853d1b088c1cb27d1d</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 36a535b  z3: drop polly from default_variants; the required polly variant is not currently enabled in llvm-8.0 by default
</span>36a535b is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 36a535b86cf9be9ab3fcca853d1b088c1cb27d1d
</span>Author: Landon Fuller <landonf@plausible.coop>
AuthorDate: Wed Sep 25 12:37:40 2019 -0600

<span style='display:block; white-space:pre;color:#404040;'>    z3: drop polly from default_variants; the required polly variant is not currently enabled in llvm-8.0 by default
</span>---
 math/z3/Portfile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

<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 708c56f..629c250 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;'>@@ -64,7 +64,11 @@ if {${name} eq ${subport}} {
</span>     #   cpu     {Dual Intel Xeon E5-2680 v4 @ 2.40GHz (2 x 14 cores/28 threads)}
     #   os      {FreeBSD 12.0-RELEASE-p9}
     # }
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    default_variants        +gmp +lto +polly +polly_late +polly_vector
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    #
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    # TODO: polly variant disabled until/if we can get it enabled by default in llvm-8.0,
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    # or provided as an LLVM subport
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+#   default_variants        +gmp +lto +polly +polly_late +polly_vector
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    default_variants        +gmp +lto
</span> 
     variant lto conflicts debug description {Enable link-time (interprocedural) optimization} {
         configure.args-append           -DCMAKE_INTERPROCEDURAL_OPTIMIZATION=ON
</pre><pre style='margin:0'>

</pre>