rust/Cargo.toml

cargo-features = ["default-run"]

[package]
authors = ["Scott Olson <scott@solson.me>"]
description = "An experimental interpreter for Rust MIR."
license = "MIT/Apache-2.0"
name = "miri"
repository = "https://github.com/solson/miri"
version = "0.1.0"
build = "build.rs"
default-run = "miri"

[[bin]]
doc = false
name = "miri"
path = "src/bin/miri.rs"

[[bin]]
doc = false
name = "cargo-miri"
path = "src/bin/cargo-miri.rs"
required-features = ["cargo_miri"]

[dependencies]
byteorder = { version = "1.1", features = ["i128"]}
cargo_metadata = { version = "0.6", optional = true }
env_logger = "0.5"
log = "0.4"

[features]
cargo_miri = ["cargo_metadata"]

[dev-dependencies]
compiletest_rs = { version = "0.3.12", features = ["tmp"] }
colored = "1.6"
Revert "Disable blood letting edge features" This reverts commit 305d8aeafe4ab53d7809ec6a1b9227166bd4fa63. 2018-08-01 09:34:39 -05:00			`cargo-features = ["default-run"]`

Split up miri into the librustc_mir and bin parts 2017-07-21 06:39:06 -05:00			`[package]`
			`authors = ["Scott Olson <scott@solson.me>"]`
			`description = "An experimental interpreter for Rust MIR."`
			`license = "MIT/Apache-2.0"`
			`name = "miri"`
			`repository = "https://github.com/solson/miri"`
			`version = "0.1.0"`
Add a build script to inform the binary about its profile, and use that in the test suite 2017-08-03 13:36:58 -05:00			`build = "build.rs"`
Revert "Disable blood letting edge features" This reverts commit 305d8aeafe4ab53d7809ec6a1b9227166bd4fa63. 2018-08-01 09:34:39 -05:00			`default-run = "miri"`
Split up miri into the librustc_mir and bin parts 2017-07-21 06:39:06 -05:00
			`[[bin]]`
			`doc = false`
			`name = "miri"`
Move back to a normal folder structure 2018-05-09 07:37:00 -05:00			`path = "src/bin/miri.rs"`
Split up miri into the librustc_mir and bin parts 2017-07-21 06:39:06 -05:00
			`[[bin]]`
			`doc = false`
			`name = "cargo-miri"`
Move back to a normal folder structure 2018-05-09 07:37:00 -05:00			`path = "src/bin/cargo-miri.rs"`
Make cargo_miri a feature 1. Speeds up the common compilation path (no serde in the dependency tree) 2. Stage 1 rustc is enough (no serde -> no custom derive) 2017-08-09 09:12:27 -05:00			`required-features = ["cargo_miri"]`
Split up miri into the librustc_mir and bin parts 2017-07-21 06:39:06 -05:00
			`[dependencies]`
			`byteorder = { version = "1.1", features = ["i128"]}`
bump dependencies 2018-07-12 03:17:50 -05:00			`cargo_metadata = { version = "0.6", optional = true }`
remove dependency on lazy_static and regex by getting rid of some dead validation hack 2018-08-02 05:16:02 -05:00			`env_logger = "0.5"`
update log deps 2018-01-06 09:21:24 -06:00			`log = "0.4"`
Split up miri into the librustc_mir and bin parts 2017-07-21 06:39:06 -05:00
Make cargo_miri a feature 1. Speeds up the common compilation path (no serde in the dependency tree) 2. Stage 1 rustc is enough (no serde -> no custom derive) 2017-08-09 09:12:27 -05:00			`[features]`
			`cargo_miri = ["cargo_metadata"]`

Split up miri into the librustc_mir and bin parts 2017-07-21 06:39:06 -05:00			`[dev-dependencies]`
Bump min dependency version 2018-07-26 07:37:43 -05:00			`compiletest_rs = { version = "0.3.12", features = ["tmp"] }`
colored test output! 2018-07-12 04:26:09 -05:00			`colored = "1.6"`