diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-02-25 13:20:03 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-02-26 09:26:09 +0200 |
| commit | 4bba003e7d8cdb58aa20a35adb1e249e99af3ad4 (patch) | |
| tree | 7725dd25892b01f3bef33f8f93e962894acf6faa /zkvms/zkm/default.nix | |
| parent | 91fb36148723cf3f87fe596a565c9082f4d82b05 (diff) | |
| download | zkVMs-benchmarks-4bba003e7d8cdb58aa20a35adb1e249e99af3ad4.tar zkVMs-benchmarks-4bba003e7d8cdb58aa20a35adb1e249e99af3ad4.tar.gz zkVMs-benchmarks-4bba003e7d8cdb58aa20a35adb1e249e99af3ad4.zip | |
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.
Diffstat (limited to 'zkvms/zkm/default.nix')
| -rw-r--r-- | zkvms/zkm/default.nix | 10 |
1 files changed, 10 insertions, 0 deletions
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; |