Grant nordiCode

UnaryPlus / idris-on-m1.sh

Last active July 29, 2024 08:18

Install Chez Scheme and Idris 2 on Mac M1

	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 ..