keel/Cargo.toml at main · horacehoff/keel · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
[package]
name = "keel"
version = "0.3.0"
edition = "2024"
authors = ["Horace Hoff <horace.hoff@gmail.com>"]
readme = "README.md"
repository = "https://github.com/horacehoff/keel"
homepage = "https://keel-lang.com"
license = "Apache-2.0"
documentation = "https://docs.keel-lang.com"

[lints.clippy]
pedantic = { level = "warn", priority = -1 }
nursery = { level = "warn", priority = -1 }
perf = { level = "warn", priority = 1 }
implicit_clone = "warn"
str_to_string = "warn"
format_push_string = "warn"
verbose_file_reads = "warn"
mem_forget = "warn"
cast_possible_truncation = "allow"
cast_possible_wrap = "allow"
cast_sign_loss = "allow"
cast_lossless = "allow"
too_many_lines = "allow"
redundant_closure_for_method_calls = "allow"
doc_markdown = "allow"
option_if_let_else = "allow"
inline_always = "allow"
similar_names = "allow"
many_single_char_names = "allow"
clone_on_ref_ptr = "allow"
wildcard_imports = "allow"
items_after_statements = "allow"
ref_as_ptr = "allow"
ptr_as_ptr = "allow"
too_many_arguments = "allow"
type_complexity = "allow"
redundant_clone = "warn"
redundant_else = "allow"

[features]
# default = ["embed"]
embed = []

[dependencies]
smol_strc = "0.3.6"
ariadne = "0.6.0"
memchr = "2.8.3"
lexical-core = "1.0.6"
zmij = "1.0.21"
logos = "0.16.1"
rustc-hash = "2.1.3"

[target.'cfg(not(target_arch = "wasm32"))'.dependencies]
libloading = "0.9.0"
libffi = "5.1.1"
mimalloc = "0.1.52"

[target.'cfg(target_arch = "wasm32")'.dependencies]
wasm-bindgen = "*"
getrandom = { version = "0.3.4", features = ["wasm_js"] }

[package.metadata.wasm-pack.profile.release]
wasm-opt = ["-O", "--enable-bulk-memory", "--enable-nontrapping-float-to-int"]

[lib]
name = "keel"
crate-type = ["cdylib", "rlib"]
path = "src/lib.rs"

[profile.dev]
opt-level = 1
debug = false
strip = true

[profile.release]
opt-level = 3
lto = "fat"
codegen-units = 1
panic = 'abort'
debug = false
rpath = false
strip = true
debug-assertions = false
incremental = false

[profile.release.package."*"]
opt-level = 3
debug = false
codegen-units = 1
incremental = false
strip = true

[profile.debugrelease]
inherits = "release"
lto = true
strip = false
codegen-units = 1
opt-level = 3
debug = 2
debug-assertions = false
panic = "abort"
rpath = true
incremental = false

[profile.debugrelease.package."*"]
opt-level = 3
debug = 2
codegen-units = 1

[profile.embed]
inherits = "release"
panic = "unwind"

[profile.embed.package."*"]
opt-level = 3
debug = false
codegen-units = 1
incremental = false
strip = true