From 6345ee787ee26e8cbd64acc1373504bbdececeb2 Mon Sep 17 00:00:00 2001
From: clabby <ben@clab.by>
Date: Sun, 26 Jan 2025 15:47:44 -0500
Subject: [PATCH] exclude `std` crate from `no_std` build recipes

---
 docker/fpvm-prestates/asterisc-repro.dockerfile | 2 +-
 justfile                                        | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/docker/fpvm-prestates/asterisc-repro.dockerfile b/docker/fpvm-prestates/asterisc-repro.dockerfile
index 16e49e47b..d46b01d19 100644
--- a/docker/fpvm-prestates/asterisc-repro.dockerfile
+++ b/docker/fpvm-prestates/asterisc-repro.dockerfile
@@ -44,7 +44,7 @@ RUN git clone https://github.com/op-rs/kona
 # Build kona-client on the selected tag
 RUN cd kona && \
   git checkout $CLIENT_TAG && \
-  cargo build -Zbuild-std=core,alloc --workspace --bin kona --locked --profile release-client-lto --exclude kona-host && \
+  cargo build -Zbuild-std=core,alloc --workspace --bin kona --locked --profile release-client-lto --exclude kona-host --exclude kona-providers-alloy && \
   mv ./target/riscv64imac-unknown-none-elf/release-client-lto/kona /kona-client-elf
 
 ################################################################
diff --git a/justfile b/justfile
index a2715d12b..2d643a695 100644
--- a/justfile
+++ b/justfile
@@ -105,7 +105,7 @@ build-cannon *args='':
     --platform linux/amd64 \
     -v `pwd`/:/workdir \
     -w="/workdir" \
-    ghcr.io/op-rs/kona/cannon-builder:main cargo build --workspace -Zbuild-std=core,alloc $@ --exclude kona-host
+    ghcr.io/op-rs/kona/cannon-builder:main cargo build --workspace -Zbuild-std=core,alloc $@ --exclude kona-host --exclude kona-providers-alloy
 
 # Build for the `asterisc` target. Any crates that require the stdlib are excluded from the build for this target.
 build-asterisc *args='':
@@ -114,7 +114,7 @@ build-asterisc *args='':
     --platform linux/amd64 \
     -v `pwd`/:/workdir \
     -w="/workdir" \
-    ghcr.io/op-rs/kona/asterisc-builder:main cargo build --workspace -Zbuild-std=core,alloc $@ --exclude kona-host
+    ghcr.io/op-rs/kona/asterisc-builder:main cargo build --workspace -Zbuild-std=core,alloc $@ --exclude kona-host --exclude kona-providers-alloy
 
 # Clones and checks out the monorepo at the commit present in `.monorepo`
 monorepo: