vampire-rs/Cargo.toml at main · bbqsrc/vampire-rs · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
[workspace]
members = [
    "vampire-macro",
    "vampire",
    "vampire-cli",
    "vampire-build"
]
exclude = ["vampire-example"]

resolver = "2"

[workspace.dependencies]
jni = "0.21"
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0"
tokio = { version = "1.0", features = ["full"] }
toml = "0.9"
clap = { version = "4.0", features = ["derive"] }
glob = "0.3"

[workspace.package]
version = "0.1.0"
authors = ["Brendan Molloy <brendan@bbqsrc.net>"]
license = "MIT OR Apache-2.0"
homepage = "https://github.com/bbqsrc/vampire-rs"
repository = "https://github.com/bbqsrc/vampire-rs"
keywords = ["android", "testing", "jni", "instrumentation"]
categories = ["development-tools::testing"]

# Ensure symbols are exported for JNI
[profile.release]
strip = false

[profile.dev]
strip = false