mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-27 12:15:33 +00:00
db206ff49a
Heartbeats now on crates.io. Updates to energymon interface for energy profiling. Profiling script for Android. Source-Repo: https://github.com/servo/servo Source-Revision: 396812b6d9c43a886d32d6d0910c1c685f333baf
32 lines
568 B
TOML
32 lines
568 B
TOML
[package]
|
|
name = "profile_traits"
|
|
version = "0.0.1"
|
|
authors = ["The Servo Project Developers"]
|
|
publish = false
|
|
|
|
[lib]
|
|
name = "profile_traits"
|
|
path = "lib.rs"
|
|
|
|
[features]
|
|
energy-profiling = ["energymon", "energy-monitor"]
|
|
|
|
[dependencies.ipc-channel]
|
|
git = "https://github.com/servo/ipc-channel"
|
|
|
|
[dependencies.energymon]
|
|
git = "https://github.com/energymon/energymon-rust.git"
|
|
optional = true
|
|
|
|
[dependencies.energy-monitor]
|
|
version = "0.2.0"
|
|
optional = true
|
|
|
|
[dependencies.plugins]
|
|
path = "../plugins"
|
|
|
|
[dependencies]
|
|
serde = "0.6"
|
|
serde_macros = "0.6"
|
|
time = "0.1.12"
|