<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/0b72d3d2c975e591eea6aad988d0a38cd18ff6e3">https://github.com/macports/macports-ports/commit/0b72d3d2c975e591eea6aad988d0a38cd18ff6e3</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 0b72d3d z3: remove +lto as a default variant on <= 10.6
</span>0b72d3d is described below
<span style='display:block; white-space:pre;color:#808000;'>commit 0b72d3d2c975e591eea6aad988d0a38cd18ff6e3
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Mon Feb 17 18:14:52 2020 -0700
<span style='display:block; white-space:pre;color:#404040;'> z3: remove +lto as a default variant on <= 10.6
</span><span style='display:block; white-space:pre;color:#404040;'>
</span><span style='display:block; white-space:pre;color:#404040;'> This works around 10.6's LTO build failures:
</span><span style='display:block; white-space:pre;color:#404040;'> unknown scope for symbol __ZTVNSt3__118basic_stringstreamIcNS_11char_traitsIcEENS_9allocatorIcEEEE in bitcode file
</span>---
math/z3/Portfile | 12 +++++++++---
1 file changed, 9 insertions(+), 3 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 37ee453..6359d7b 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;'>@@ -89,10 +89,16 @@ 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 +lto +threads +polly +polly_late +polly_vector
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- default_variants +gmp +lto +threads
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# default_variants +gmp +threads +polly +polly_late +polly_vector
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ default_variants +gmp +threads
</span> } else {
<span style='display:block; white-space:pre;background:#ffe0e0;'>- default_variants +gmp +lto
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ default_variants +gmp
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ }
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # LTO is broken on <= macOS 10.6:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # 'unknown scope for symbol ... in bitcode file'
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if {${os.platform} ne "darwin" || ${os.major} > 8} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ default_variants-append +lto
</span> }
variant lto conflicts debug description {Enable link-time (interprocedural) optimization} {
</pre><pre style='margin:0'>
</pre>