From ec0bc2c4595e6e622dd3f72bcb14ffa53ac78f78 Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Tue, 25 Feb 2025 13:16:44 +0200
Subject: fix(zkvms/zkm): Downgrade host toolchain

The newest toolchain causes errors, an issue has been filed upstream:
https://github.com/zkMIPS/toolchain/issues/4
However, it is not certain when it will be resolved, so for now this
workaround will be used.
---
 zkvms/zkm/default.nix | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'zkvms/zkm')

diff --git a/zkvms/zkm/default.nix b/zkvms/zkm/default.nix
index fc45226..64f148b 100644
--- a/zkvms/zkm/default.nix
+++ b/zkvms/zkm/default.nix
@@ -2,6 +2,7 @@
   lib,
   just,
   metacraft-labs,
+  metacraft-labs-old,
   rust-bin,
   protobuf,
   pkg-config,
@@ -85,6 +86,8 @@ in
         export RUSTFLAGS="-L ${zkm_libsnark}/lib"
       '';
 
+      hostToolchain = metacraft-labs-old.zkm;
+
       preRunLibraries = [
         openssl
         zkm_libsnark
-- 
cgit v1.2.3