slean

Lean port of SDC

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
name = "slean"
version = "0.1.0"
defaultTargets = ["slean"]

[[lean_lib]]
name = "Fenwick"

[[lean_exe]]
name = "slean"
root = "Main"
moreLinkArgs = ["-Wl,--unresolved-symbols=ignore-all"]

[[require]]
name = "sqlite"
scope = "BRonen"