mirror of
https://github.com/radareorg/radius2.git
synced 2026-11-07 06:36:03 -10:00
pancake
9a67eeefae
* Boolector project it's no longer maintained * So we just keep a copy with fixes for Windows
26 lines
515 B
TOML
26 lines
515 B
TOML
[workspace]
|
|
resolver = "2"
|
|
|
|
members = [
|
|
"radius",
|
|
"examples/ais3",
|
|
"examples/r100",
|
|
"examples/r200",
|
|
"examples/unbreakable",
|
|
"examples/dex",
|
|
"examples/babyre",
|
|
"examples/frida",
|
|
"examples/tracer",
|
|
"examples/ollvm",
|
|
"examples/statically-linked"
|
|
]
|
|
exclude = ["vendor/boolector"]
|
|
|
|
[profile.release]
|
|
lto = true
|
|
opt-level=3
|
|
|
|
[patch.crates-io]
|
|
# boolector 0.4.3 compares ftell() output against an i64 constant, which fails on Windows.
|
|
boolector = { path = "vendor/boolector" }
|