From 7855804447d9827777a9ca715611f5134959cbbe Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Tue, 21 Jan 2025 16:13:40 +0200
Subject: feat(zkvms/nexus): Require guest to implement a "no_std" feature

---
 zkvms/nexus/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'zkvms/nexus/default.nix')

diff --git a/zkvms/nexus/default.nix b/zkvms/nexus/default.nix
index a7f74e0..003edb7 100644
--- a/zkvms/nexus/default.nix
+++ b/zkvms/nexus/default.nix
@@ -45,7 +45,7 @@ in
 
       hostBin = "host-nexus";
       guestTarget = "riscv32i-unknown-none-elf";
-      extraGuestArgs = "-- --cfg 'feature=\"no_std\"' -C link-arg=-T${guest/guest.ld}";
+      extraGuestArgs = "--features no_std -- -C link-arg=-T${guest/guest.ld}";
 
       buildGuestPhase = ''
         pushd guest
-- 
cgit v1.2.3