search

scroll-tech / ceno-recursion

1 stars 0 forks source link

Ensure `cargo check` works everywhere #27

Closed matthiasgoergens closed 6 days ago

matthiasgoergens commented 6 days ago

Here we make sure that at least cargo check works.

Specifically, I started with a list of all Cargo.toml files:

$ git ls-files '**/Cargo.toml'
circ_blocks/Cargo.toml
circ_blocks/circ_fields/Cargo.toml
circ_blocks/circ_hc/Cargo.toml
circ_blocks/circ_opt/Cargo.toml
circ_blocks/circ_waksman/Cargo.toml
circ_blocks/third_party/ZoKrates/zokrates_parser/Cargo.toml
circ_blocks/third_party/ZoKrates/zokrates_pest_ast/Cargo.toml
circ_blocks/third_party/ZoKrates/zokrates_stdlib/Cargo.toml
ff/Cargo.toml
ff/ff_derive/Cargo.toml
spartan_parallel/Cargo.toml
zok_tests/poseidon_gen/Cargo.toml

Then I went to all the directories with Cargo.toml files and ran cargo check --workspace --all-targets and fixed all the code that didn't compile, mostly by removing it. @Jiangkm3 Please later restore tests etc as necessary and useful.

zokrates_stdlib is still broken and doesn't compile, but we use some of its files at runtime in circ_blocks. So a future PR will deal with it.