<pre style='margin:0'>
Ryan Carsten Schmidt (ryandesign) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/10b3648159e4ad06ea2bd15450838025f137aa22">https://github.com/macports/macports-ports/commit/10b3648159e4ad06ea2bd15450838025f137aa22</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 10b3648159e idris2: blacklist clang < 700 due to stdatomic
</span>10b3648159e is described below
<span style='display:block; white-space:pre;color:#808000;'>commit 10b3648159e4ad06ea2bd15450838025f137aa22
</span>Author: Sergey Fedorov <vital.had@gmail.com>
AuthorDate: Thu Jul 25 08:57:43 2024 +0800
<span style='display:block; white-space:pre;color:#404040;'> idris2: blacklist clang < 700 due to stdatomic
</span>---
lang/idris2/Portfile | 4 ++++
1 file changed, 4 insertions(+)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/idris2/Portfile b/lang/idris2/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 08717b9ff69..f48d3823ad8 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/idris2/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/idris2/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,6 +1,7 @@
</span> # -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
PortSystem 1.0
<span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup compiler_blacklist_versions 1.0
</span> PortGroup github 1.0
PortGroup makefile 1.0
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -44,6 +45,9 @@ post-patch {
</span> # error: stdnoreturn.h: No such file or directory
compiler.c_standard 2011
<span style='display:block; white-space:pre;background:#e0ffe0;'>+# idris_signal.c:7:10: fatal error: 'stdatomic.h' file not found
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+compiler.blacklist-append {clang < 700}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> build.target bootstrap
build.args-append SCHEME=scheme
</pre><pre style='margin:0'>
</pre>