From 4bba003e7d8cdb58aa20a35adb1e249e99af3ad4 Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Tue, 25 Feb 2025 13:20:03 +0200
Subject: fix(zkvms/zkm): Override zkm SDK

The SDK is out of date. A PR is opened:
https://github.com/zkMIPS/zkm-project-template/pull/54
However, its not certain it will be merged soon, so for now this
workaround will have to do.
---
 zkvms/zkm/default.nix | 10 ++++++++++
 1 file changed, 10 insertions(+)

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

diff --git a/zkvms/zkm/default.nix b/zkvms/zkm/default.nix
index ffd28e3..fc45226 100644
--- a/zkvms/zkm/default.nix
+++ b/zkvms/zkm/default.nix
@@ -55,6 +55,16 @@ let
       protobuf
       metacraft-labs.zkm
     ];
+
+    overrideVendorGitCheckout = ps: drv:
+      if drv.src.shortRev == "155221d" && builtins.any (p: p.name == "zkm-sdk") ps then
+        drv.overrideAttrs (_: {
+          patches = [
+            ./0001-chore-Increase-DEGREE_BITS_RANGE.patch
+          ];
+        })
+      else
+        drv;
   };
 
   craneLib = craneLib-default.overrideToolchain metacraft-labs.zkm;
-- 
cgit v1.2.3