<pre style='margin:0'>
Ken (kencu) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/545b1129d0945be95bfc2beaf7b158408289a12f">https://github.com/macports/macports-ports/commit/545b1129d0945be95bfc2beaf7b158408289a12f</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 545b1129d09 lean: blacklist older clang compilers
</span>545b1129d09 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 545b1129d0945be95bfc2beaf7b158408289a12f
</span>Author: Ken Cunningham <kencu@macports.org>
AuthorDate: Sun Aug 15 23:15:22 2021 -0700

<span style='display:block; white-space:pre;color:#404040;'>    lean: blacklist older clang compilers
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    error: use of overloaded operator '+=' is ambiguous
</span>---
 math/lean/Portfile | 8 ++++++++
 1 file changed, 8 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/lean/Portfile b/math/lean/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 42d184db110..cb0f413bb9d 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/lean/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/lean/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -3,6 +3,7 @@
</span> PortSystem          1.0
 PortGroup           cmake 1.1
 PortGroup           github 1.0
<span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           compiler_blacklist_versions 1.0
</span> 
 github.setup        leanprover-community lean 3.32.1 v
 revision            0
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -32,6 +33,13 @@ set worksrcdir      ${worksrcdir}/src
</span> compiler.cxx_standard           2011
 compiler.thread_local_storage   yes
 
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+#src/frontends/lean/widget.cpp:436:24: error: use of overloaded operator '+=' is ambiguous (with operand types 'std::string' (aka 'basic_string<char, char_traits<char>, allocator<char> >') and 'lean::json' (aka 'basic_json<>'))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+#                    cn += value;
</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;'>+compiler.blacklist-append       {clang < 1001}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> test.run            yes
 test.cmd            ninja
 test.target         test
</pre><pre style='margin:0'>

</pre>