2017-07-21 13:39:06 +02:00
|
|
|
[package]
|
2020-05-21 11:00:06 +02:00
|
|
|
authors = ["Miri Team"]
|
|
|
|
description = "An experimental interpreter for Rust MIR (core driver)."
|
2022-04-04 15:52:09 -07:00
|
|
|
license = "MIT OR Apache-2.0"
|
2017-07-21 13:39:06 +02:00
|
|
|
name = "miri"
|
2019-02-23 19:56:29 +09:00
|
|
|
repository = "https://github.com/rust-lang/miri"
|
2017-07-21 13:39:06 +02:00
|
|
|
version = "0.1.0"
|
2018-08-01 16:34:39 +02:00
|
|
|
default-run = "miri"
|
2022-04-09 11:16:50 -04:00
|
|
|
edition = "2021"
|
2017-07-21 13:39:06 +02:00
|
|
|
|
2018-08-14 20:57:58 +02:00
|
|
|
[lib]
|
|
|
|
test = true # we have unit tests
|
|
|
|
doctest = false # but no doc tests
|
|
|
|
|
2017-07-21 13:39:06 +02:00
|
|
|
[[bin]]
|
|
|
|
name = "miri"
|
2018-08-14 20:57:58 +02:00
|
|
|
test = false # we have no unit tests
|
|
|
|
doctest = false # and no doc tests
|
2017-07-21 13:39:06 +02:00
|
|
|
|
|
|
|
[dependencies]
|
2020-09-18 12:17:09 +02:00
|
|
|
getrandom = { version = "0.2", features = ["std"] }
|
2021-10-01 23:08:58 +02:00
|
|
|
env_logger = "0.9"
|
2022-09-02 14:38:52 +02:00
|
|
|
libffi = "3.0.0"
|
2022-08-26 00:47:23 +00:00
|
|
|
libloading = "0.7"
|
2018-01-06 10:21:24 -05:00
|
|
|
log = "0.4"
|
2019-02-08 20:37:07 +01:00
|
|
|
shell-escape = "0.1.4"
|
2021-04-04 11:45:09 +02:00
|
|
|
rand = "0.8"
|
2021-10-01 23:08:58 +02:00
|
|
|
smallvec = "1.7"
|
2019-09-11 18:33:48 +02:00
|
|
|
|
2018-12-16 19:34:00 -08: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"
|
2022-06-24 19:04:50 -04:00
|
|
|
measureme = "10.0.0"
|
2019-09-11 18:33:48 +02:00
|
|
|
|
2020-05-21 11:21:03 +02: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 15:15:22 +01:00
|
|
|
[dev-dependencies]
|
2020-09-18 12:17:09 +02:00
|
|
|
colored = "2"
|
2022-08-31 11:06:35 +00:00
|
|
|
ui_test = "0.3.1"
|
2022-07-03 12:28:57 -04:00
|
|
|
# Features chosen to match those required by env_logger, to avoid rebuilds
|
|
|
|
regex = { version = "1.5.5", default-features = false, features = ["perf", "std"] }
|
2022-03-17 13:49:10 +00:00
|
|
|
lazy_static = "1.4.0"
|
2021-03-08 17:28:52 +00:00
|
|
|
|
|
|
|
[package.metadata.rust-analyzer]
|
2022-04-30 10:40:35 -07:00
|
|
|
# This crate uses #[feature(rustc_private)].
|
2021-03-09 18:27:22 +00:00
|
|
|
# See https://github.com/rust-analyzer/rust-analyzer/pull/7891
|
2021-03-08 17:28:52 +00:00
|
|
|
rustc_private = true
|
2021-04-30 17:22:24 +08:00
|
|
|
|
|
|
|
[[test]]
|
|
|
|
name = "compiletest"
|
|
|
|
harness = false
|
2021-12-07 22:05:13 -05:00
|
|
|
|
|
|
|
[features]
|
|
|
|
default = ["stack-cache"]
|
|
|
|
stack-cache = []
|
2022-07-13 19:22:22 -04:00
|
|
|
|
2022-07-18 17:47:32 -04:00
|
|
|
# Be aware that this file is inside a workspace when used via the
|
|
|
|
# submodule in the rustc repo. That means there are many cargo features
|
|
|
|
# we cannot use, such as profiles.
|