content: # Copyright Kani Contributors
  # SPDX-License-Identifier: Apache-2.0 OR MIT
  
  [package]
  name = "kani-compiler"
  version = "0.65.0"
  edition = "2024"
  license = "MIT OR Apache-2.0"
  publish = false
  
  [dependencies]
  cbmc = { path = "../cprover_bindings", package = "cprover_bindings", optional = true }
  charon = { path = "../charon/charon", optional = true, default-features = false } 
  clap = { version = "4.4.11", features = ["derive", "cargo"] }
  itertools = "0.14"
  kani_metadata = { path = "../kani_metadata" }
  lazy_static = "1.5.0"
  num = { version = "0.4.0", optional = true }
  quote = "1.0.36"
  regex = "1.11.1"
  serde = { version = "1", optional = true }
  serde_json = "1"
  sha1-checked = "0.10.0"
  strum = "0.27.1"
  strum_macros = "0.27.1"
  syn = { version = "2.0.72", features = ["parsing", "extra-traits"] }
  tracing = {version = "0.1", features = ["max_level_trace", "release_max_level_debug"]}
  tracing-subscriber = {version = "0.3.20", features = ["env-filter", "json", "fmt"]}
  tracing-tree = "0.4.0"
  
  # Future proofing: enable backend dependencies using feature.
  [features]
  default = ['cprover']
  llbc = ['charon']
  cprover = ['cbmc', 'num', 'serde']
  
  [package.metadata.rust-analyzer]
  # This package uses rustc crates.
  rustc_private = true
  
  [lints]
  workspace = true
  