mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-01-10 13:18:04 -05:00
51 lines
861 B
TOML
51 lines
861 B
TOML
[workspace]
|
|
|
|
resolver = "2"
|
|
|
|
members = [
|
|
"powdr",
|
|
"powdr-test",
|
|
"number",
|
|
"parser",
|
|
"cli",
|
|
"executor",
|
|
"riscv",
|
|
"parser-util",
|
|
"pil-analyzer",
|
|
"pipeline",
|
|
"pilopt",
|
|
"asm-to-pil",
|
|
"backend",
|
|
"ast",
|
|
"analysis",
|
|
"linker",
|
|
"asm-utils",
|
|
"airgen",
|
|
"riscv-executor",
|
|
"riscv-syscalls",
|
|
"schemas",
|
|
]
|
|
|
|
exclude = [ "riscv-runtime" ]
|
|
|
|
[workspace.package]
|
|
version = "0.1.0-alpha.1"
|
|
edition = "2021"
|
|
license = "MIT"
|
|
homepage = "https://powdr.org"
|
|
repository = "https://github.com/powdr-labs/powdr"
|
|
|
|
[profile.pr-tests]
|
|
inherits = "dev"
|
|
opt-level = 3
|
|
debug = "line-tables-only"
|
|
debug-assertions = true
|
|
overflow-checks = true
|
|
panic = 'unwind'
|
|
incremental = true # This is true because target is cached
|
|
codegen-units = 256
|
|
|
|
[profile.release-with-debug]
|
|
inherits = "release"
|
|
debug = true
|