2017-07-21 06:39:06 -05:00
|
|
|
[package]
|
2020-05-21 04:00:06 -05:00
|
|
|
authors = ["Miri Team"]
|
|
|
|
description = "An experimental interpreter for Rust MIR (core driver)."
|
2017-07-21 06:39:06 -05:00
|
|
|
license = "MIT/Apache-2.0"
|
|
|
|
name = "miri"
|
2019-02-23 04:56:29 -06:00
|
|
|
repository = "https://github.com/rust-lang/miri"
|
2017-07-21 06:39:06 -05:00
|
|
|
version = "0.1.0"
|
2018-08-01 09:34:39 -05:00
|
|
|
default-run = "miri"
|
2018-11-05 08:45:24 -06:00
|
|
|
edition = "2018"
|
2017-07-21 06:39:06 -05:00
|
|
|
|
2018-08-14 13:57:58 -05:00
|
|
|
[lib]
|
|
|
|
test = true # we have unit tests
|
|
|
|
doctest = false # but no doc tests
|
|
|
|
|
2017-07-21 06:39:06 -05:00
|
|
|
[[bin]]
|
|
|
|
name = "miri"
|
2018-08-14 13:57:58 -05:00
|
|
|
test = false # we have no unit tests
|
|
|
|
doctest = false # and no doc tests
|
2017-07-21 06:39:06 -05:00
|
|
|
|
|
|
|
[dependencies]
|
2020-09-18 05:17:09 -05:00
|
|
|
getrandom = { version = "0.2", features = ["std"] }
|
2019-10-27 17:01:01 -05:00
|
|
|
env_logger = "0.7.1"
|
2018-01-06 09:21:24 -06:00
|
|
|
log = "0.4"
|
2019-02-08 13:37:07 -06:00
|
|
|
shell-escape = "0.1.4"
|
2019-10-27 17:01:01 -05:00
|
|
|
hex = "0.4.0"
|
2019-09-11 11:33:48 -05:00
|
|
|
rand = "0.7"
|
2020-11-01 18:23:27 -06:00
|
|
|
smallvec = "1.4.2"
|
2019-09-11 11:33:48 -05:00
|
|
|
|
2018-12-16 21:34:00 -06:00
|
|
|
# A noop dependency that changes in the Rust repository, it's a bit of a hack.
|
|
|
|
# See the `src/tools/rustc-workspace-hack/README.md` file in `rust-lang/rust`
|
|
|
|
# for more information.
|
|
|
|
rustc-workspace-hack = "1.0.0"
|
2019-09-11 11:33:48 -05:00
|
|
|
|
2020-05-21 04:21:03 -05:00
|
|
|
# Enable some feature flags that dev-dependencies need but dependencies
|
|
|
|
# do not. This makes `./miri install` after `./miri build` faster.
|
|
|
|
[target."cfg(unix)".dependencies]
|
|
|
|
libc = "0.2"
|
|
|
|
|
2020-03-15 09:15:22 -05:00
|
|
|
[dev-dependencies]
|
2020-04-10 07:57:22 -05:00
|
|
|
compiletest_rs = { version = "0.5", features = ["tmp"] }
|
2020-05-21 04:00:06 -05:00
|
|
|
rustc_version = "0.2.3"
|
2020-09-18 05:17:09 -05:00
|
|
|
colored = "2"
|
2021-03-08 11:28:52 -06:00
|
|
|
|
|
|
|
[package.metadata.rust-analyzer]
|
|
|
|
# This crate uses #[feature(rustc_private)]
|
|
|
|
rustc_private = true
|