| [package] |
| authors = ["Miri Team"] |
| description = "An experimental interpreter for Rust MIR (core driver)." |
| license = "MIT OR Apache-2.0" |
| name = "miri" |
| repository = "https://github.com/rust-lang/miri" |
| version = "0.1.0" |
| default-run = "miri" |
| edition = "2021" |
| |
| [lib] |
| test = true # we have unit tests |
| doctest = false # but no doc tests |
| |
| [[bin]] |
| name = "miri" |
| test = false # we have no unit tests |
| doctest = false # and no doc tests |
| |
| [dependencies] |
| getrandom = { version = "0.2", features = ["std"] } |
| rand = "0.8" |
| smallvec = { version = "1.7", features = ["drain_filter"] } |
| aes = { version = "0.8.3", features = ["hazmat"] } |
| measureme = "11" |
| ctrlc = "3.2.5" |
| chrono = { version = "0.4.38", default-features = false } |
| chrono-tz = "0.10" |
| directories = "5" |
| |
| # Copied from `compiler/rustc/Cargo.toml`. |
| # But only for some targets, it fails for others. Rustc configures this in its CI, but we can't |
| # easily use that since we support of-tree builds. |
| [target.'cfg(any(target_os = "linux", target_os = "macos"))'.dependencies.jemalloc-sys] |
| version = "0.5.0" |
| features = ['unprefixed_malloc_on_supported_platforms'] |
| |
| [target.'cfg(unix)'.dependencies] |
| libc = "0.2" |
| libffi = "3.2.0" |
| libloading = "0.8" |
| |
| [target.'cfg(target_family = "windows")'.dependencies] |
| windows-sys = { version = "0.52", features = [ |
| "Win32_Foundation", |
| "Win32_System_IO", |
| "Win32_Storage_FileSystem", |
| ] } |
| |
| [dev-dependencies] |
| colored = "2" |
| ui_test = "0.26.5" |
| rustc_version = "0.4" |
| regex = "1.5.5" |
| tempfile = "3" |
| |
| [package.metadata.rust-analyzer] |
| # This crate uses #[feature(rustc_private)]. |
| # See https://github.com/rust-analyzer/rust-analyzer/pull/7891 |
| rustc_private = true |
| |
| [[test]] |
| name = "ui" |
| harness = false |
| |
| [features] |
| default = ["stack-cache"] |
| stack-cache = [] |
| stack-cache-consistency-check = ["stack-cache"] |
| |
| # 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. |