<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>