add prover features to cli-rs (#1668)

powdr-labs · Aug 8, 2024 · 2ecb5e5 · 2ecb5e5
1 parent 76806b5
commit 2ecb5e5
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 5 deletions.
diff --git a/cli-rs/Cargo.toml b/cli-rs/Cargo.toml
@@ -7,6 +7,12 @@ license = { workspace = true }
 homepage = { workspace = true }
 repository = { workspace = true }
 
+[features]
+default = []
+halo2 = ["powdr-pipeline/halo2"]
+plonky3 = ["powdr-pipeline/plonky3"]
+estark-polygon = ["powdr-pipeline/estark-polygon", "powdr-riscv/estark-polygon"]
+
 [dependencies]
 powdr-number.workspace = true
 powdr-riscv.workspace = true

diff --git a/cli/Cargo.toml b/cli/Cargo.toml
@@ -11,8 +11,11 @@ default-run = "powdr"
 [features]
 default = [] # halo2 is disabled by default
 halo2 = ["powdr-backend/halo2", "powdr-pipeline/halo2"]
-plonky3 = ["powdr-backend/plonky3"]
-estark-polygon = ["powdr-backend/estark-polygon", "powdr-pipeline/estark-polygon"]
+plonky3 = ["powdr-backend/plonky3", "powdr-pipeline/plonky3"]
+estark-polygon = [
+  "powdr-backend/estark-polygon",
+  "powdr-pipeline/estark-polygon",
+]
 
 [dependencies]
 powdr-backend.workspace = true

diff --git a/powdr/Cargo.toml b/powdr/Cargo.toml
@@ -18,10 +18,14 @@ powdr-riscv.workspace = true
 powdr-riscv-executor.workspace = true
 
 [features]
-default = ["halo2"]
-plonky3 = ["powdr-backend/plonky3"]
+default = ["halo2", "plonky3"]
+plonky3 = ["powdr-backend/plonky3", "powdr-pipeline/plonky3"]
 halo2 = ["powdr-backend/halo2", "powdr-pipeline/halo2"]
-estark-polygon = ["powdr-backend/estark-polygon", "powdr-pipeline/estark-polygon", "powdr-riscv/estark-polygon"]
+estark-polygon = [
+  "powdr-backend/estark-polygon",
+  "powdr-pipeline/estark-polygon",
+  "powdr-riscv/estark-polygon",
+]
 
 [lints.clippy]
 uninlined_format_args = "deny"