1 files changed, 8 insertions, 11 deletions
diff --git a/zkvms/nexus/default.nix b/zkvms/nexus/default.nix
index 003edb7..e68da62 100644
--- a/zkvms/nexus/default.nix
+++ b/zkvms/nexus/default.nix
@@ -43,23 +43,20 @@ in
         ln -s ../../../../guests/graph_coloring ./zkvms/nexus/guest/src/zkp
       '';
 
-      hostBin = "host-nexus";
-      guestTarget = "riscv32i-unknown-none-elf";
-      extraGuestArgs = "--features no_std -- -C link-arg=-T${guest/guest.ld}";
-
-      buildGuestPhase = ''
-        pushd guest
+      preBuildGuest = ''
+        export RUSTFLAGS="-C link-arg=-T${guest/guest.ld}"
+      '';
 
-        cargo rustc --release --target ${guestTarget} ${extraGuestArgs}
-        ln -s ../../guest/target/${guestTarget}/release/guest ../host/src/guest
+      guestTarget = "riscv32i-unknown-none-elf";
+      guestExtraArgs = "--features no_std";
 
-        popd
-      '';
+      preRunLibraries = [
+        openssl
+      ];
 
       preRun = ''
         export ELF_PATH="$out/bin/guest"
         export PKG_CONFIG_PATH='${openssl.dev}/lib/pkgconfig' # Dirty hack
-        export LD_LIBRARY_PATH='${lib.makeLibraryPath [ openssl ]}'
       '';
 
       doCheck = false;