# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[package]
edition = "2021"
rust-version = "1.75.0"
name = "kodept"
version = "0.2.3"
authors = ["Владимир Никитин <potyras85@mail.ru>"]
build = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Simple compiler with dependent types support in mind"
readme = "README.md"
categories = ["compilers"]
license = "Apache-2.0"
repository = "https://github.com/ITesserakt/Kodept/"

[profile.bench]
opt-level = 3

[profile.dev]
opt-level = 0
debug = 2
rpath = false
panic = "unwind"

[profile.profiler]
debug = 2
inherits = "release"

[profile.release]
opt-level = 3
lto = true
panic = "abort"
strip = true

[lib]
name = "kodept"
path = "src/lib.rs"

[[bin]]
name = "kodept"
path = "src/main.rs"

[[test]]
name = "infrastructure"
path = "tests/infrastructure.rs"

[dependencies.anyhow]
version = "1"

[dependencies.clap]
version = "4.5"
features = [
    "derive",
    "env",
]

[dependencies.codespan-reporting]
version = "0.11.1"

[dependencies.derive_more]
version = "1.0.0-beta.7"
features = [
    "display",
    "into",
    "from",
    "deref",
    "deref_mut",
    "constructor",
    "try_into",
    "is_variant",
    "unwrap",
]

[dependencies.dhat]
version = "0.3"
optional = true

[dependencies.extend]
version = "1.2"

[dependencies.gag]
version = "1.0.0"
optional = true

[dependencies.itertools]
version = "0.13"

[dependencies.kodept-ast]
version = "0.4"

[dependencies.kodept-core]
version = "0.2"

[dependencies.kodept-interpret]
version = "0.1"

[dependencies.kodept-macros]
version = "0.1"

[dependencies.kodept-parse]
version = "0.3"
features = ["peg"]

[dependencies.rayon]
version = "1.10.0"
optional = true

[dependencies.replace_with]
version = "0.1.7"

[dependencies.thiserror]
version = "1.0"

[dependencies.tracing]
version = "0.1.40"

[dependencies.tracing-subscriber]
version = "0.3.17"
features = [
    "fmt",
    "ansi",
]
default-features = false

[dev-dependencies.insta]
version = "1.39.0"

[dev-dependencies.kodept-inference]
version = "0.2"

[dev-dependencies.tempfile]
version = "3.7.0"

[features]
parallel = [
    "dep:rayon",
    "kodept-parse/parallel",
]
profiler = ["dep:dhat"]
trace = [
    "dep:gag",
    "kodept-parse/trace",
    "kodept-parse/pest",
]