Add patch section to workspace config file

This commit is contained in:
Robin Salen 2023-02-02 18:12:22 -05:00
parent e857c020bf
commit f1a99e69b2
No known key found for this signature in database
GPG Key ID: FB87BACFB3CB2007

View File

@ -8,3 +8,12 @@ opt-level = 3
[profile.bench]
opt-level = 3
[patch.crates-io]
plonky2_evm = { path = "evm" }
plonky2_field = { path = "field" }
plonky2_maybe_rayon = { path = "maybe_rayon" }
plonky2 = { path = "plonky2" }
starky = { path = "starky" }
plonky2_util = { path = "util" }