Move back to a normal folder structure

This commit is contained in:
Oliver Schneider 2018-05-09 14:37:00 +02:00
parent e1013e011c
commit 27fe263669
No known key found for this signature in database
GPG key ID: 1D5CB4FC597C3004
13 changed files with 2 additions and 5 deletions

View file

@ -10,17 +10,14 @@ build = "build.rs"
[[bin]]
doc = false
name = "miri"
path = "miri/bin/miri.rs"
path = "src/bin/miri.rs"
[[bin]]
doc = false
name = "cargo-miri"
path = "miri/bin/cargo-miri.rs"
path = "src/bin/cargo-miri.rs"
required-features = ["cargo_miri"]
[lib]
path = "miri/lib.rs"
[dependencies]
byteorder = { version = "1.1", features = ["i128"]}
cargo_metadata = { version = "0.5", optional = true }