Cargo.toml

   1 [package]
   2 authors = ["Scott Olson <scott@solson.me>"]
   3 description = "An experimental interpreter for Rust MIR."
   4 license = "MIT/Apache-2.0"
   5 name = "miri"
   6 repository = "https://github.com/rust-lang/miri"
   7 version = "0.1.0"
   8 default-run = "miri"
   9 edition = "2018"
  10
  11 [lib]
  12 test = true # we have unit tests
  13 doctest = false # but no doc tests
  14
  15 [[bin]]
  16 name = "miri"
  17 test = false # we have no unit tests
  18 doctest = false # and no doc tests
  19
  20 [[bin]]
  21 name = "cargo-miri"
  22 test = false # we have no unit tests
  23 doctest = false # and no doc tests
  24 required-features = ["cargo_miri"]
  25
  26 [[bin]]
  27 name = "miri-rustc-tests"
  28 test = false # we have no unit tests
  29 doctest = false # and no doc tests
  30 required-features = ["rustc_tests"]
  31
  32 [dependencies]
  33 cargo_metadata = { version = "0.9.0", optional = true }
  34 directories = { version = "2.0", optional = true }
  35 rustc_version = { version = "0.2.3", optional = true }
  36 serde_json = { version = "1.0.40", optional = true }
  37
  38 getrandom = { version = "0.1.8", features = ["std"] }
  39 byteorder = "1.3"
  40 env_logger = "0.7.1"
  41 log = "0.4"
  42 shell-escape = "0.1.4"
  43 hex = "0.4.0"
  44 rand = "0.7"
  45
  46 # A noop dependency that changes in the Rust repository, it's a bit of a hack.
  47 # See the `src/tools/rustc-workspace-hack/README.md` file in `rust-lang/rust`
  48 # for more information.
  49 rustc-workspace-hack = "1.0.0"
  50
  51 # Some extra dependency for better feature control to avoid having to rebuild
  52 # between "cargo build" and "cargo intall".
  53 num-traits = "*"
  54 serde = { version = "*", features = ["derive"] }
  55
  56 [build-dependencies]
  57 vergen = "3"
  58
  59 [dev-dependencies]
  60 compiletest_rs = { version = "0.5", features = ["tmp"] }
  61 colored = "1.6"
  62
  63 [features]
  64 default = ["cargo_miri"]
  65 cargo_miri = ["cargo_metadata", "directories", "rustc_version", "serde_json"]
  66 rustc_tests = []