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.

1 files changed, 5 insertions, 1 deletions

diff --git a/flake.nix b/flake.nix
index ee6b813..89a10d7 100644
--- a/flake.nix
+++ b/flake.nix
@@ -8,18 +8,22 @@
 
   inputs = {
     mcl-blockchain.url = "github:metacraft-labs/nix-blockchain-development";
+    mcl-blockchain-old.url = "github:metacraft-labs/nix-blockchain-development?rev=f717747a4ce11d5764578d8ee1c505d00bf8a81e";
     nixpkgs.follows = "mcl-blockchain/nixpkgs";
     crane.follows = "mcl-blockchain/crane";
     rust-overlay.follows = "mcl-blockchain/rust-overlay";
     # flake-utils.follows = "mcl-blockchain/flake-utils";
   };
 
-  outputs = { self, nixpkgs, mcl-blockchain, crane, rust-overlay, ... }:
+  outputs = { self, nixpkgs, mcl-blockchain, mcl-blockchain-old, crane, rust-overlay, ... }:
   let
     system = "x86_64-linux";
     pkgs = import nixpkgs { system = system; overlays = [
         mcl-blockchain.overlays.default
         rust-overlay.overlays.default
+        (_: _: {
+          metacraft-labs-old = mcl-blockchain-old.legacyPackages.${system}.metacraft-labs;
+        })
       ];
     };
     craneLib-default = crane.mkLib pkgs;