<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/4fa7f2e8504e41937bff2f2fb888ab93d24b5276">https://github.com/macports/macports-ports/commit/4fa7f2e8504e41937bff2f2fb888ab93d24b5276</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 4fa7f2e8504e41937bff2f2fb888ab93d24b5276
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Fri Jul 23 16:42:48 2021 -0600

<span style='display:block; white-space:pre;color:#404040;'>    z3: fix +lto build
</span>---
 math/z3/Portfile | 10 ++--------
 1 file changed, 2 insertions(+), 8 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 fe06e749470..2a5b32d6f03 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;'>@@ -114,14 +114,8 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span>     }
 
     variant lto conflicts debug description {Enable link-time (interprocedural) optimization} {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-        configure.args-append           -DCMAKE_INTERPROCEDURAL_OPTIMIZATION=ON
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        if {[vercmp ${version} "4.8.8"] < 0} {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-            # We need cmake 3.9 behavior to be able to use CMAKE_INTERPROCEDURAL_OPTIMIZATION
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-            # This can be removed after z3-fstar adopts 4.8.8 or later, which includes
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-            # cmake_minimum_required >= 3.9
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-            configure.args-append           -DCMAKE_POLICY_DEFAULT_CMP0069=NEW
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        }
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        configure.args-append           -DCMAKE_INTERPROCEDURAL_OPTIMIZATION=ON \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                                        -DCMAKE_POLICY_DEFAULT_CMP0069=NEW
</span> 
         # Require clang (LTO may work with GCC, but is untested)
         compiler.blacklist-append       {*gcc*} cc
</pre><pre style='margin:0'>

</pre>