[ experim, revert ] Revert "idris2.ss: support powerpc"

buzden · Jul 1, 2024 · 89dfdfb · 89dfdfb
1 parent 90b4c36
commit 89dfdfb
Show file tree

Hide file tree

Showing 6 changed files with 9 additions and 11 deletions.
diff --git a/CHANGELOG_NEXT.md b/CHANGELOG_NEXT.md
@@ -38,8 +38,6 @@ This CHANGELOG describes the merged but unreleased changes. Please see [CHANGELO
 * A new `idris2 --dump-ipkg-json` option (requires either `--find-ipkg` or
   specifying the `.ipkg` file) dumps JSON information about an Idris package.
 
-* Support for macOS PowerPC added.
-
 ### Language changes
 
 * Autobind and Typebind modifier on operators allow the user to

diff --git a/bootstrap/idris2_app/idris2.rkt b/bootstrap/idris2_app/idris2.rkt