import Lake
open Lake DSL

package «HyperKitty» where
  version := v"1.0.0"
  description := "Lean 4 Constraint DSL Parser and Formal Validator"
  authors := ["Sovereign Formal Verification Team"]
  homepage := "https://github.com/SNAPKITTYWEST/hyperkitty"
  repository := "https://github.com/SNAPKITTYWEST/hyperkitty.git"
  keywords := ["formal-verification", "constraint", "dsl", "xml", "parser"]
  licence := "MIT"

lean_lib HyperKitty where
  globs := #[.submodules "HyperKitty"]

lean_exe test_validator where
  root := "HyperKitty"
  supportInterp := true

lean_exe run_examples where
  root := "HyperKitty"
  supportInterp := true