search

argumentcomputer / yatima

A zero-knowledge Lean4 compiler and kernel
MIT License
122 stars 9 forks source link

need new flake.nix for Poseidon dependency #249

Open johnchandlerburnham opened 1 year ago

johnchandlerburnham commented 1 year ago

On NixOS:

error: > cargo build --release    # in directory ././lake-packages/Poseidon
error: stderr:
could not execute external process 'cargo'
error: external command `cargo` exited with code 255