[package]
authors = ["Stefan O'Rear <sorear2@gmail.com>"]
license = "MIT"
name = "smetamath"
readme = "README.md"
version = "3.0.0"
description = "A parallel and incremental verifier for Metamath databases"
repository = "https://github.com/sorear/smetamath-rs"

[dependencies]
clap = "2.5.2"
filetime = "0.1.10"
fnv = "1.0.2"

[features]
sysalloc = []

[profile]

[profile.release]
codegen-units = 1
debug = true

[profile.dev]
opt-level = 1
codegen-units = 4