2018-09-30 03:35:44 -05:00
|
|
|
cargo-features = ["profile-overrides"]
|
|
|
|
|
2018-06-17 11:05:11 -05:00
|
|
|
[package]
|
2018-07-14 04:59:42 -05:00
|
|
|
name = "rustc_codegen_cranelift"
|
2018-06-17 11:05:11 -05:00
|
|
|
version = "0.1.0"
|
|
|
|
authors = ["bjorn3 <bjorn3@users.noreply.github.com>"]
|
2018-07-30 09:57:40 -05:00
|
|
|
edition = "2018"
|
2018-06-17 11:05:11 -05:00
|
|
|
|
|
|
|
[lib]
|
|
|
|
crate-type = ["dylib"]
|
|
|
|
|
|
|
|
[dependencies]
|
2019-03-08 10:55:51 -06:00
|
|
|
# These have to be in sync with each other
|
2018-08-03 10:44:32 -05:00
|
|
|
cranelift = { git = "https://github.com/CraneStation/cranelift.git" }
|
|
|
|
cranelift-module = { git = "https://github.com/CraneStation/cranelift.git" }
|
|
|
|
cranelift-simplejit = { git = "https://github.com/CraneStation/cranelift.git" }
|
|
|
|
cranelift-faerie = { git = "https://github.com/CraneStation/cranelift.git" }
|
2019-04-05 12:42:23 -05:00
|
|
|
target-lexicon = "0.4.0"
|
|
|
|
faerie = "0.10.0"
|
2019-03-08 10:55:51 -06:00
|
|
|
|
2018-07-24 07:10:53 -05:00
|
|
|
#goblin = "0.0.17"
|
2019-05-04 09:23:53 -05:00
|
|
|
ar = "0.7.0"
|
2018-08-09 03:46:56 -05:00
|
|
|
bitflags = "1.0.3"
|
2019-01-17 11:07:27 -06:00
|
|
|
byteorder = "1.2.7"
|
2019-05-01 06:13:31 -05:00
|
|
|
libc = "0.2.53"
|
2019-02-18 02:42:27 -06:00
|
|
|
tempfile = "3.0.7"
|
2018-12-29 05:04:35 -06:00
|
|
|
env_logger = "0.6"
|
2019-01-17 11:07:27 -06:00
|
|
|
gimli = { git = "https://github.com/gimli-rs/gimli.git" }
|
2019-01-19 05:18:39 -06:00
|
|
|
indexmap = "1.0.2"
|
2018-08-13 14:39:18 -05:00
|
|
|
|
|
|
|
# Uncomment to use local checkout of cranelift
|
|
|
|
#[patch."https://github.com/CraneStation/cranelift.git"]
|
2019-03-02 13:24:39 -06:00
|
|
|
#cranelift = { path = "../cranelift/cranelift-umbrella" }
|
|
|
|
#cranelift-module = { path = "../cranelift/cranelift-module" }
|
|
|
|
#cranelift-simplejit = { path = "../cranelift/cranelift-simplejit" }
|
|
|
|
#cranelift-faerie = { path = "../cranelift/cranelift-faerie" }
|
2018-09-30 03:35:44 -05:00
|
|
|
|
2019-01-19 05:00:51 -06:00
|
|
|
#[patch."https://github.com/gimli-rs/gimli.git"]
|
|
|
|
#gimli = { path = "../" }
|
2019-01-17 11:07:27 -06:00
|
|
|
|
2018-09-30 03:35:44 -05:00
|
|
|
[profile.dev.overrides."*"]
|
|
|
|
opt-level = 3
|