github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-05-13 03:00:26 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #522 from powdr-labs/disable_halo2_default

Browse Source 
Disable halo2 by default.
This commit is contained in:
chriseth
2023-08-24 11:44:21 +02:00
committed by GitHub
parent 3029947b0f 6f4c5a63ed
commit 0ed04b86ac
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
powdr_cli/Cargo.toml
View File

@@ -4,7 +4,7 @@ version = "0.1.0"
edition = "2021"
[features]
default = ["halo2"]
default = [] # halo2 is disabled by default
halo2 = ["dep:halo2", "backend/halo2", "compiler/halo2"]
[dependencies]