truth-table.asd 972 B

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  1. (defsystem #:truth-table
  2. :version "0.0.1"
  3. :description "Tools for working with logical propositions and truth tables"
  4. :author "Alexander Rosenberg <zanderpkg@pm.me>"
  5. :license "AGPL3"
  6. :depends-on ())
  7. (defsystem #:truth-table/base
  8. :depends-on ()
  9. :serial t
  10. :components
  11. ((:file "base-packages")
  12. (:file "parse")
  13. (:file "eval")
  14. (:file "table")
  15. (:file "typeset")))
  16. (defsystem #:truth-table/args
  17. :depends-on (#:uiop)
  18. :serial t
  19. :components
  20. ((:file "base-packages")
  21. (:file "arguments")))
  22. (defsystem #:truth-table/cli
  23. :depends-on (#:uiop
  24. #:with-user-abort
  25. #:truth-table/base
  26. #:truth-table/args)
  27. :serial t
  28. :components
  29. ((:file "cli")))
  30. (defsystem #:truth-table/web
  31. :depends-on (#:uiop
  32. #:reblocks
  33. #:reblocks-ui
  34. #:reblocks-lass
  35. #:truth-table/base
  36. #:truth-table/args)
  37. :serial t
  38. :components
  39. ((:file "web")))