<pre style='margin:0'>
Perry E. Metzger (pmetzger) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/cd445eb2291c23faef51e2db887a031d7c6a9ea1">https://github.com/macports/macports-ports/commit/cd445eb2291c23faef51e2db887a031d7c6a9ea1</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 cd445eb2291 idris2: a fix and revbump
</span>cd445eb2291 is described below
<span style='display:block; white-space:pre;color:#808000;'>commit cd445eb2291c23faef51e2db887a031d7c6a9ea1
</span>Author: Sergey Fedorov <barracuda@macos-powerpc.org>
AuthorDate: Mon Jun 24 23:03:21 2024 +0800
<span style='display:block; white-space:pre;color:#404040;'> idris2: a fix and revbump
</span>---
lang/idris2/Portfile | 4 +++-
...007-chez-support.ss-support-macOS-PowerPC.patch | 22 ++++++++++++++++++++++
2 files changed, 25 insertions(+), 1 deletion(-)
<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 7f7bddbb8b1..08717b9ff69 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;'>@@ -6,6 +6,7 @@ PortGroup makefile 1.0
</span>
name idris2
github.setup idris-lang Idris2 0.7.0 v
<span style='display:block; white-space:pre;background:#e0ffe0;'>+revision 1
</span> categories lang
license BSD
maintainers {@barracuda156 gmail.com:vital.had} openmaintainer
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -31,7 +32,8 @@ patchfiles-append 0003-idris_signal-fix-static_assert.patch
</span> # https://github.com/idris-lang/Idris2/pull/3326
patchfiles-append 0004-idris2.ss-support-powerpc.patch \
0005-Chez.idr-support-macOS-PowerPC.patch \
<span style='display:block; white-space:pre;background:#ffe0e0;'>- 0006-ChezSep.idr-support-macOS-PowerPC.patch
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 0006-ChezSep.idr-support-macOS-PowerPC.patch \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 0007-chez-support.ss-support-macOS-PowerPC.patch
</span>
set idris_root ${prefix}/libexec/idris2
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/idris2/files/0007-chez-support.ss-support-macOS-PowerPC.patch b/lang/idris2/files/0007-chez-support.ss-support-macOS-PowerPC.patch
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..fbb83f79e4d
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/idris2/files/0007-chez-support.ss-support-macOS-PowerPC.patch
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,22 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From c825644c89b2bb251bece7539464b8ff80b8b52a Mon Sep 17 00:00:00 2001
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From: Sergey Fedorov <vital.had@gmail.com>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Date: Mon, 24 Jun 2024 21:18:11 +0800
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Subject: [PATCH] chez/support.ss: support macOS PowerPC
</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;'>+ support/chez/support.ss | 2 +-
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 1 file changed, 1 insertion(+), 1 deletion(-)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git support/chez/support.ss support/chez/support.ss
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index 075b4efac..cdcb380ac 100644
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- support/chez/support.ss
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ support/chez/support.ss
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -4,7 +4,7 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [(i3ob ti3ob a6ob ta6ob tarm64ob) "unix"] ; OpenBSD
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [(i3fb ti3fb a6fb ta6fb tarm64fb) "unix"] ; FreeBSD
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [(i3nb ti3nb a6nb ta6nb tarm64nb) "unix"] ; NetBSD
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+- [(i3osx ti3osx a6osx ta6osx tarm64osx) "darwin"]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ [(i3osx ti3osx a6osx ta6osx tarm64osx tppc32osx tppc64osx) "darwin"]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [(i3nt ti3nt a6nt ta6nt tarm64nt) "windows"]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [else "unknown"]))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span></pre><pre style='margin:0'>
</pre>