From 249b0cb0b7156448ea673ef7694821a9fafc74ed Mon Sep 17 00:00:00 2001 From: clint Date: Wed, 3 Apr 2024 17:38:30 +0800 Subject: [PATCH] Fix: cargo risczero build-toolchain instead of cargo risczero install for x86_64-darwin --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Makefile b/Makefile index 32bb3a2c3..93876f6ad 100644 --- a/Makefile +++ b/Makefile @@ -29,7 +29,11 @@ install-dev-tools: ## Installs all necessary cargo helpers cargo install cargo-nextest --locked cargo install cargo-binstall cargo binstall cargo-risczero +ifeq ($(shell uname -ms), Darwin x86_64) + cargo risczero build-toolchain +else cargo risczero install +endif rustup target add thumbv6m-none-eabi lint: ## cargo check and clippy. Skip clippy on guest code since it's not supported by risc0