Fix veritas config for verified-storage

verus-lang / verus

Verified Rust for low-level systems code

MIT License

1.06k stars 58 forks source link

Fix veritas config for verified-storage #1177

Closed hayley-leblanc closed 1 week ago

hayley-leblanc commented 1 week ago

This PR updates the Veritas config file run_configuration_all.toml to account for changes in the build steps for the verified-storage project -- mainly, adding a step to build the new crate pmsafe that the main storage_node crate depends on. I've also added a call to apt update, which seems to be necessary to get the required LLVM/clang-related dependencies and removed the toolchain option when building deps_hack because it now has a rust-toolchain.toml file.

hayley-leblanc commented 1 week ago

Apparently, I don't have write access, so I can't merge this -- @utaal could you merge this (or give me write permissions)?

utaal commented 1 week ago

Try now. Thanks! (Please use "Rebase and merge")