Something went wrong. Try again.
forked from verus-lang/verus
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112# This file contains task definitions for the `cargo-make` tool.## Each task is meant to be executed from the `source` workspace as `cargo make $TASK`.## If you used Vargo before, refer to the "Cheat Sheet: Vargo to Cargo" section in `CONTRIBUTING.md`.
[config]default_to_workspace = falseskip_core_tasks = true
[tasks.default]alias = "build"
[tasks.clean]command = "cargo"args = ["clean"]
[tasks.fmt]dependencies = ["fmt-exclude-vstd", "fmt-vstd"]
[tasks.fmt-exclude-vstd]command = "cargo-verus"install_crate = falseargs = ["fmt", "${@}"]dependencies = [ "fmt-verus-prettyplease", "fmt-verus-syn", "install-cargo-verus",]
[tasks.fmt-verus-prettyplease]command = "cargo"args = [ "fmt", "--manifest-path", "../dependencies/prettyplease/Cargo.toml", "${@}",]
[tasks.fmt-verus-syn]command = "cargo"args = ["fmt", "--manifest-path", "../dependencies/syn/Cargo.toml", "${@}"]
[tasks.fmt-vstd]command = "cargo-verus"install_crate = falseargs = ["fmt", "--manifest-path", "vstd/Cargo.toml", "${@}"]dependencies = ["install-cargo-verus"]
[tasks.install]dependencies = ["install-cargo-verus", "install-verus"]
# There's no need to list `build-cargo-verus` as a dependency,# because `cargo install --path` does an incremental `build`.[tasks.install-cargo-verus]command = "cargo"args = ["install", "--path", "cargo-verus"]
# There's no need to list `build-verus` as a dependency,# because `cargo install --path` does an incremental `build`.[tasks.install-verus]command = "cargo"args = ["install", "--path", "verus"]dependencies = ["install-rust-verify"]
# There's no need to list `build-rust-verify` as a dependency,# because `cargo install --path` does an incremental `build`.[tasks.install-rust-verify]command = "cargo"args = ["install", "--path", "rust_verify"]
[tasks.build]dependencies = ["build-exclude-vstd", "build-vstd"]
[tasks.build-exclude-vstd]command = "cargo"args = ["build", "--release", "${@}"]
[tasks.build-vstd]command = "cargo-verus"install_crate = falseargs = ["build", "--release", "--manifest-path", "vstd/Cargo.toml", "${@}"]dependencies = ["install"]
[tasks.build-cargo-verus]command = "cargo"args = ["build", "--release", "-p", "cargo-verus", "${@}"]dependencies = ["build-verus"]
[tasks.build-verus]command = "cargo"args = ["build", "--release", "-p", "verus", "${@}"]dependencies = ["build-rust-verify"]
[tasks.build-rust-verify]command = "cargo"args = ["build", "--release", "-p", "rust_verify", "${@}"]
[tasks.release-archive]description = "Stage release artifacts from `target-verus/release` into `release-archive`."command = "cargo"args = [ "run", "-p", "cargo-verus-toolchains", "--bin", "create-release", "--", "${@}",]dependencies = ["build"]