Skip to content

Instantly share code, notes, and snippets.

@UnaryPlus

UnaryPlus/idris-on-m1.sh

Last active July 29, 2024 08:18
Show Gist options
  • Save UnaryPlus/89cd561835482e2acab8ae72f4eff391 to your computer and use it in GitHub Desktop.
Save UnaryPlus/89cd561835482e2acab8ae72f4eff391 to your computer and use it in GitHub Desktop.
Download ZIP
Install Chez Scheme and Idris 2 on Mac M1
Raw
idris-on-m1.sh
git clone https://github.com/racket/ChezScheme.git --depth 1
cd ChezScheme
git submodule init
git submodule update --depth 1
./configure --pb
make tarm64osx.bootquick
./configure --threads
make -j10
sudo make install
cd ..
git clone https://github.com/idris-lang/Idris2.git --depth 1
cd Idris2
export CPATH="/opt/homebrew/include"
make bootstrap SCHEME=scheme
make install
cd ..
rm -rf ChezScheme
rm -rf Idris2
@nordiCode
Copy link

Thank you!

@network-shark
Copy link

Thank you , know the journey of the little schemer begins!

@omoiFly
Copy link

omoiFly commented Nov 17, 2023

Thank you!

if you got error like this:
ld: warning: ignoring file libz.a, building for macOS-arm64 but attempting to link with file built for unknown-unsupported file format ( 0x21 0x3C 0x61 0x72 0x63 0x68 0x3E 0x0A 0x2F 0x20 0x20 0x20 0x20 0x20 0x20 0x20 )

brew uninstall binutils will solve the problem

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment