<pre style='margin:0'>
Renee Otten (reneeotten) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/a7d2e1ca7217aee9b562e9791de9553122188153">https://github.com/macports/macports-ports/commit/a7d2e1ca7217aee9b562e9791de9553122188153</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 a7d2e1ca721 idris2: new port in lang
</span>a7d2e1ca721 is described below
<span style='display:block; white-space:pre;color:#808000;'>commit a7d2e1ca7217aee9b562e9791de9553122188153
</span>Author: Sergey Fedorov <barracuda@macos-powerpc.org>
AuthorDate: Sat Jun 22 04:27:12 2024 +0800
<span style='display:block; white-space:pre;color:#404040;'> idris2: new port in lang
</span>---
lang/idris2/Portfile | 59 ++++++++++++++++++++++
lang/idris2/files/0001-prefix.patch | 11 ++++
.../0002-idris_support-fix-environ-for-macOS.patch | 23 +++++++++
.../0003-idris_signal-fix-static_assert.patch | 26 ++++++++++
.../files/0004-idris2.ss-support-powerpc.patch | 49 ++++++++++++++++++
.../0005-Chez.idr-support-macOS-PowerPC.patch | 22 ++++++++
.../0006-ChezSep.idr-support-macOS-PowerPC.patch | 22 ++++++++
7 files changed, 212 insertions(+)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/idris2/Portfile b/lang/idris2/Portfile
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..7f7bddbb8b1
</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/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,59 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# -*- 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
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortSystem 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup github 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup makefile 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+name idris2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup idris-lang Idris2 0.7.0 v
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+categories lang
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+license BSD
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+maintainers {@barracuda156 gmail.com:vital.had} openmaintainer
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+description Purely functional programming language with dependent types
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+long_description {*}${description}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+homepage https://www.idris-lang.org
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums rmd160 0632b400415932d03d750bc6f72b48d8a2d9a6f1 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 7a8612a1cd9f1f737893247260c6942bf93f193375d4b3df0148f7abf74d6e14 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 6987849
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.tarball_from archive
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_build-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ path:libexec/coreutils/libstdbuf.so:coreutils
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_lib-append port:chez-scheme \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ port:gmp
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+patchfiles 0001-prefix.patch
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# https://github.com/idris-lang/Idris2/pull/3324
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+patchfiles-append 0002-idris_support-fix-environ-for-macOS.patch
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# https://github.com/idris-lang/Idris2/pull/3325
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+patchfiles-append 0003-idris_signal-fix-static_assert.patch
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# https://github.com/idris-lang/Idris2/pull/3326
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+patchfiles-append 0004-idris2.ss-support-powerpc.patch \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 0005-Chez.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;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+set idris_root ${prefix}/libexec/idris2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+post-patch {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ reinplace "s,@IDRIS_ROOT@,${idris_root}," ${worksrcpath}/config.mk
</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;'>+# error: stdnoreturn.h: No such file or directory
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+compiler.c_standard 2011
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+build.target bootstrap
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+build.args-append SCHEME=scheme
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+post-destroot {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ foreach f {compileChez idris2-boot.so idris2-boot.ss} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ if {[file exists ${destroot}${idris_root}/bin/idris2_app/${f}]} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ delete ${f}
</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;'>+ ln -s ${idris_root}/bin/idris2 ${destroot}${prefix}/bin/idris2
</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;'>+test.run yes
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+test.target test
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/idris2/files/0001-prefix.patch b/lang/idris2/files/0001-prefix.patch
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..4dab627a479
</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/0001-prefix.patch
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,11 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- config.mk 2023-12-22 21:44:30
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ config.mk 2024-06-21 13:22:03
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -1,7 +1,7 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ##### Options which a user might set before building go here #####
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # Where to install idris2 binaries and libraries (must be an absolute path)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-PREFIX ?= $(HOME)/.idris2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++PREFIX = @IDRIS_ROOT@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # For Windows targets. Set to 1 to support Windows 7.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ OLD_WIN ?= 0
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/idris2/files/0002-idris_support-fix-environ-for-macOS.patch b/lang/idris2/files/0002-idris_support-fix-environ-for-macOS.patch
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..35045929cfa
</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/0002-idris_support-fix-environ-for-macOS.patch
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,23 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From 8096a6238e79fbacc188c32fc1de0ad543e60ad2 Mon Sep 17 00:00:00 2001
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From: Sergey Fedorov <barracuda@macos-powerpc.org>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Date: Fri, 21 Jun 2024 16:43:32 +0800
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Subject: [PATCH] idris_support: fix environ for macOS
</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/c/idris_support.c | 3 +++
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 1 file changed, 3 insertions(+)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git support/c/idris_support.c support/c/idris_support.c
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index a90345b2a..d337f5e4d 100644
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- support/c/idris_support.c
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ support/c/idris_support.c
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -23,6 +23,9 @@ char **_argv;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ extern char **_environ;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #include "windows/win_utils.h"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #define environ _environ
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#elif defined(__APPLE__)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#include <crt_externs.h>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#define environ (*_NSGetEnviron())
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #else
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ extern char **environ;
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #endif
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/idris2/files/0003-idris_signal-fix-static_assert.patch b/lang/idris2/files/0003-idris_signal-fix-static_assert.patch
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..0e5ea21ceba
</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/0003-idris_signal-fix-static_assert.patch
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,26 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From 57b470bc51f5bfb5feefaaf28cced1ef75d15192 Mon Sep 17 00:00:00 2001
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From: Sergey Fedorov <barracuda@macos-powerpc.org>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Date: Fri, 21 Jun 2024 16:48:09 +0800
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Subject: [PATCH] idris_signal: fix static_assert
</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/c/idris_signal.c | 6 ++++++
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 1 file changed, 6 insertions(+)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git support/c/idris_signal.c support/c/idris_signal.c
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index ed5ea227d..d5d91430b 100644
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- support/c/idris_signal.c
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ support/c/idris_signal.c
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -12,6 +12,12 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #include "idris_util.h"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#if !defined(static_assert) && (defined(__GNUC__) || defined(__clang__)) \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ && defined(__STDC_VERSION__) && __STDC_VERSION__ >= 201112L \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ && __STDC_VERSION__ <= 201710L
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#define static_assert _Static_assert
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ static_assert(ATOMIC_LONG_LOCK_FREE == 2,
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ "when not lock free, atomic functions are not async-signal-safe");
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/idris2/files/0004-idris2.ss-support-powerpc.patch b/lang/idris2/files/0004-idris2.ss-support-powerpc.patch
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..b678800190a
</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/0004-idris2.ss-support-powerpc.patch
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,49 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From 76b02f5459043af34ea59e9101acf31051cf41a2 Mon Sep 17 00:00:00 2001
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From: Sergey Fedorov <barracuda@macos-powerpc.org>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Date: Fri, 21 Jun 2024 17:01:55 +0800
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Subject: [PATCH] idris2.ss: support 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;'>+ bootstrap/idris2_app/idris2.ss | 8 ++++----
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 1 file changed, 4 insertions(+), 4 deletions(-)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+diff --git bootstrap/idris2_app/idris2.ss bootstrap/idris2_app/idris2.ss
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index 9ff05c91e..6f7c90ac4 100755
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- bootstrap/idris2_app/idris2.ss
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ bootstrap/idris2_app/idris2.ss
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -5,7 +5,7 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (case (machine-type)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [(i3fb ti3fb a6fb ta6fb) #f]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [(i3le ti3le a6le ta6le tarm64le) (load-shared-object "libc.so.6")]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+- [(i3osx ti3osx a6osx ta6osx tarm64osx) (load-shared-object "libc.dylib")]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ [(i3osx ti3osx a6osx ta6osx tarm64osx tppc32osx tppc64osx) (load-shared-object "libc.dylib")]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [(i3nt ti3nt a6nt ta6nt) (load-shared-object "msvcrt.dll")]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [else (load-shared-object "libc.so")])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -18,7 +18,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><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -5121,7 +5121,7 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (define LibrariesC-45UtilsC-45String-escapeGeneric (lambda (arg-0 arg-1 ext-0) (PreludeC-45Types-fastPack (PreludeC-45Types-u--foldr_Foldable_List (lambda (eta-0) (lambda (eta-1) (LibrariesC-45UtilsC-45String-n--2718-891-u--escape arg-1 arg-0 eta-0 eta-1))) '() (PreludeC-45Types-fastUnpack ext-0)))))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (define LibrariesC-45UtilsC-45String-escapeStringChez (lambda (ext-0) (LibrariesC-45UtilsC-45String-escapeGeneric #\\ (cons #\' (cons #\\ '())) ext-0)))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (define CompilerC-45Generated-generatedString (lambda (arg-0) (string-append "@" (string-append "generated by Idris " (string-append (LibrariesC-45DataC-45Version-u--show_Show_Version IdrisC-45Version-version) (string-append ", " (string-append arg-0 " backend")))))))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-(define CompilerC-45SchemeC-45Chez-schHeader (lambda (arg-0 arg-1 arg-2 ext-0) (cons (string-append (let ((sc0 (PreludeC-45EqOrd-u--C-47C-61_Eq_String SystemC-45Info-os "windows"))) (cond ((equal? sc0 1) (string-append "#!" (string-append arg-0 (cond ((equal? arg-2 1) " --program\xa;\xa;") (else " --script\xa;\xa;"))))) (else ""))) (PreludeC-45Types-u--foldMap_Foldable_List csegen-59 (lambda (eta-0) eta-0) (cons ";; " (cons (CompilerC-45Generated-generatedString "Chez") (cons "\xa;(impo [...]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++(define CompilerC-45SchemeC-45Chez-schHeader (lambda (arg-0 arg-1 arg-2 ext-0) (cons (string-append (let ((sc0 (PreludeC-45EqOrd-u--C-47C-61_Eq_String SystemC-45Info-os "windows"))) (cond ((equal? sc0 1) (string-append "#!" (string-append arg-0 (cond ((equal? arg-2 1) " --program\xa;\xa;") (else " --script\xa;\xa;"))))) (else ""))) (PreludeC-45Types-u--foldMap_Foldable_List csegen-59 (lambda (eta-0) eta-0) (cons ";; " (cons (CompilerC-45Generated-generatedString "Chez") (cons "\xa;(impo [...]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (define CompilerC-45OptsC-45ToplevelConstants-calls (lambda (arg-0) (case (vector-ref arg-0 0) ((0) csegen-862) ((1) (let ((e-3 (vector-ref arg-0 2))) (LibrariesC-45DataC-45SortedSet-singleton csegen-861 e-3))) ((2) (let ((e-6 (vector-ref arg-0 3))) (CompilerC-45OptsC-45ToplevelConstants-calls e-6))) ((3) (let ((e-9 (vector-ref arg-0 3))) (let ((e-10 (vector-ref arg-0 4))) (LibrariesC-45DataC-45SortedSet-u--C-60C-43C-62_Semigroup_C-40SortedSetC-32C-36kC-41 csegen-861 (CompilerC-45OptsC- [...]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (define CompilerC-45OptsC-45ToplevelConstants-defCalls (lambda (arg-0) (case (vector-ref arg-0 0) ((0) (let ((e-1 (vector-ref arg-0 2))) (CompilerC-45OptsC-45ToplevelConstants-calls e-1))) ((1) csegen-862) ((2) csegen-862) (else (let ((e-8 (vector-ref arg-0 1))) (CompilerC-45OptsC-45ToplevelConstants-calls e-8))))))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (define CompilerC-45OptsC-45ToplevelConstants-callGraph (lambda (ext-0) (LibrariesC-45DataC-45SortedMap-fromList csegen-861 (PreludeC-45TypesC-45List-mapAppend '() (lambda (lamc-0) (let ((e-2 (car lamc-0))) (let ((e-3 (cdr lamc-0))) (let ((e-7 (cdr e-3))) (cons e-2 (CompilerC-45OptsC-45ToplevelConstants-defCalls e-7)))))) ext-0))))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -5207,7 +5207,7 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (define CompilerC-45Separate-n--9226-6184-u--withCUID (lambda (arg-1 arg-2 arg-4) (PreludeC-45Types-listBind (DataC-45List-u--zip_Zippable_List (PreludeC-45Types-u--rangeFromTo_Range_Nat 0 (PreludeC-45TypesC-45List-lengthTR arg-4)) arg-4) (lambda (_-0) (let ((e-2 (car _-0))) (let ((e-3 (cdr _-0))) (PreludeC-45Types-u--pure_Applicative_List (cons (blodwen-toSignedInt e-2 63) e-3))))))))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (define CompilerC-45Separate-getCompilationUnits (lambda (arg-1 arg-2) (let ((u--defsByNS (LibrariesC-45DataC-45SortedMap-fromList csegen-4099 (CompilerC-45Separate-splitByNS arg-2)))) (let ((u--nsDeps (PreludeC-45Types-u--foldl_Foldable_List (lambda (eta-0) (lambda (eta-1) (LibrariesC-45DataC-45SortedMap-mergeWith csegen-3785 eta-0 eta-1))) csegen-5081 (PreludeC-45Types-listBind arg-2 (lambda (_-0) (let ((e-2 (car _-0))) (let ((e-3 (cdr _-0))) (PreludeC-45Types-u--pure_Applicative_List [...]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (define CompilerC-45SchemeC-45ChezSep-schFooter (lambda (ext-0) (cons (PreludeC-45Types-u--foldMap_Foldable_List csegen-59 (lambda (eta-0) eta-0) (cons "\xa;(collect 4)\xa;(blodwen-run-finalisers)" '())) ext-0)))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+-(define CompilerC-45SchemeC-45ChezSep-schHeader (lambda (arg-0 arg-1 ext-0) (cons (PreludeC-45Types-u--foldMap_Foldable_List csegen-59 (lambda (eta-0) eta-0) (cons "(import (chezscheme) (support)\xa; " (cons (DataC-45String-unwords (PreludeC-45Types-listBind arg-1 (lambda (u--cu) (PreludeC-45Types-u--pure_Applicative_List (string-append "(" (string-append u--cu ")")))))) (cons ")\xa;(case (machine-type)\xa; [(i3le ti3le a6le ta6le tarm64le) (load-shared-object \"libc.so.6\")]\xa; [ [...]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++(define CompilerC-45SchemeC-45ChezSep-schHeader (lambda (arg-0 arg-1 ext-0) (cons (PreludeC-45Types-u--foldMap_Foldable_List csegen-59 (lambda (eta-0) eta-0) (cons "(import (chezscheme) (support)\xa; " (cons (DataC-45String-unwords (PreludeC-45Types-listBind arg-1 (lambda (u--cu) (PreludeC-45Types-u--pure_Applicative_List (string-append "(" (string-append u--cu ")")))))) (cons ")\xa;(case (machine-type)\xa; [(i3le ti3le a6le ta6le tarm64le) (load-shared-object \"libc.so.6\")]\xa; [ [...]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (define CoreC-45Core-writeFile (lambda (arg-0 arg-1) (let ((eff-0 (lambda (world-0) (let ((act-1 ((SystemC-45FileC-45ReadWrite-writeFile csegen-82 arg-0 arg-1) world-0))) (vector 1 act-1))))) (lambda (world-0) (let ((act-1 (eff-0 world-0))) (case (vector-ref act-1 0) ((0) (let ((e-2 (vector-ref act-1 1))) (vector 0 e-2))) (else (let ((e-5 (vector-ref act-1 1))) ((let ((eff-1 (lambda (clam-0) (case (vector-ref e-5 0) ((1) (vector 1 (vector 0 ))) (else (let ((e-6 (vector-ref e-5 1))) (Cor [...]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (define CompilerC-45Separate-u--hashWithSalt_Hashable_C-40C-124C-40C-40BuiltinC-46PairC-32FCC-41C-32C-36defC-41C-44C-40C-40BuiltinC-46MkPairC-32FCC-41C-32C-36defC-41C-124C-41 (lambda (arg-1 arg-2 arg-3) (let ((e-3 (cdr arg-3))) (let ((e-4 (cdr arg-1))) ((e-4 arg-2) e-3)))))
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (define CompilerC-45Separate-u--hashWithSalt_Hashable_CompilationUnitId (lambda (arg-0 arg-1) (CoreC-45Hash-u--hashWithSalt_Hashable_Int arg-0 arg-1)))
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/idris2/files/0005-Chez.idr-support-macOS-PowerPC.patch b/lang/idris2/files/0005-Chez.idr-support-macOS-PowerPC.patch
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..294108ba6ae
</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/0005-Chez.idr-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 946df369335afbadc579df491072e96fa77691a6 Mon Sep 17 00:00:00 2001
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From: Sergey Fedorov <barracuda@macos-powerpc.org>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Date: Fri, 21 Jun 2024 23:03:31 +0800
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Subject: [PATCH] Chez.idr: 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;'>+ src/Compiler/Scheme/Chez.idr | 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 src/Compiler/Scheme/Chez.idr src/Compiler/Scheme/Chez.idr
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index 999e2d1ec..e963dd8d1 100644
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- src/Compiler/Scheme/Chez.idr
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ src/Compiler/Scheme/Chez.idr
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -95,7 +95,7 @@ schHeader chez libs whole
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (case (machine-type)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [(i3fb ti3fb a6fb ta6fb) #f]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [(i3le ti3le a6le ta6le tarm64le) (load-shared-object "libc.so.6")]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+- [(i3osx ti3osx a6osx ta6osx tarm64osx) (load-shared-object "libc.dylib")]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ [(i3osx ti3osx a6osx ta6osx tarm64osx tppc32osx tppc64osx) (load-shared-object "libc.dylib")]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [(i3nt ti3nt a6nt ta6nt) (load-shared-object "msvcrt.dll")]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [else (load-shared-object "libc.so")])
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/idris2/files/0006-ChezSep.idr-support-macOS-PowerPC.patch b/lang/idris2/files/0006-ChezSep.idr-support-macOS-PowerPC.patch
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..6862a9300ac
</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/0006-ChezSep.idr-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 021f3225417d149cd2dadeec4415c6c32b17d000 Mon Sep 17 00:00:00 2001
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+From: Sergey Fedorov <barracuda@macos-powerpc.org>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Date: Sat, 22 Jun 2024 03:55:48 +0800
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Subject: [PATCH] ChezSep.idr: 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;'>+ src/Compiler/Scheme/ChezSep.idr | 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 src/Compiler/Scheme/ChezSep.idr src/Compiler/Scheme/ChezSep.idr
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+index 36be17484..4d01588ba 100644
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- src/Compiler/Scheme/ChezSep.idr
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ src/Compiler/Scheme/ChezSep.idr
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -40,7 +40,7 @@ schHeader libs compilationUnits = fromString """
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ \{ unwords ["(" ++ cu ++ ")" | cu <- compilationUnits] })
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ (case (machine-type)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [(i3le ti3le a6le ta6le tarm64le) (load-shared-object "libc.so.6")]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+- [(i3osx ti3osx a6osx ta6osx tarm64osx) (load-shared-object "libc.dylib")]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++ [(i3osx ti3osx a6osx ta6osx tarm64osx tppc32osx tppc64osx) (load-shared-object "libc.dylib")]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [(i3nt ti3nt a6nt ta6nt) (load-shared-object "msvcrt.dll")]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ [else (load-shared-object "libc.so")]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ \{ unlines [" (load-shared-object \"" ++ escapeStringChez lib ++ "\")" | lib <- libs] })
</span></pre><pre style='margin:0'>
</pre>