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

<span style='display:block; white-space:pre;color:#404040;'>    z3: drop override of compiler.fallback; use compiler.blacklist instead
</span>---
 math/z3/Portfile | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 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 5966ef56b5b..b84bee5b7ca 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;'>@@ -59,8 +59,6 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span> 
     patchfiles-append       build-z3-qprofdiff.diff
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    compiler.fallback       macports-clang-11
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span>     # Build requires -std=gnu++17
     compiler.cxx_standard   2017
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -126,8 +124,8 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span>             configure.args-append           -DCMAKE_POLICY_DEFAULT_CMP0069=NEW
         }
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-        # Untested with gcc
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        compiler.blacklist-append       *gcc*
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        # Require clang (LTO may work with GCC, but is untested)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        compiler.blacklist-append       {*gcc*} cc
</span> 
         # I don't believe -flto was supported by clang until Xcode 9
         platform darwin {
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -159,7 +157,7 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span>         configure.optflags-append   -fprofile-instr-generate=/dev/null
 
         # Require clang
<span style='display:block; white-space:pre;background:#ffe0e0;'>-        compiler.blacklist-append   {*gcc*}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        compiler.blacklist-append   {*gcc*} cc
</span> 
         notes-append "
         ${name} has been built with profiling instrumentation enabled; note\
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -184,8 +182,10 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span> 
     variant polly conflicts debug description {Perform loop and data-locality optimization using LLVM's Polly optimizer} {
         # We need a clang+llvm pair that can be built with Polly support
<span style='display:block; white-space:pre;background:#ffe0e0;'>-        # We've only tested this with clang-8.0, so for now, require 8.0 as the minimum version
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-        compiler.blacklist-append   {macports-clang-[0-9]\..*} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        # We've only tested this with clang-8.0+, so for now, require 8.0 as the minimum version
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        compiler.blacklist-append   {cc} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                                    {clang} \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                                    {macports-clang-[0-9].*} \
</span>                                     {*gcc*}
 
         # Map the selected compiler to its corresponding LLVM port version
</pre><pre style='margin:0'>

</pre>