dune-project 1.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081
  1. (lang dune 3.0)
  2. ; https://dune.readthedocs.io/en/latest/opam.html#generating-opam-files
  3. (name seppo)
  4. (version 0.5)
  5. (subst disabled)
  6. (implicit_transitive_deps true)
  7. (generate_opam_files true)
  8. (formatting (enabled_for dune))
  9. (license GPL-3.0-only)
  10. (maintainers "Marcus Rohrmoser <work@mro.name>")
  11. (authors "The #Seppo programmers")
  12. (homepage Seppo.Social)
  13. (bug_reports Seppo.Social/issues)
  14. (source (uri git+ssh://codeberg.org/seppo/seppo.git))
  15. (package
  16. (name seppo)
  17. (synopsis "Personal Social Web")
  18. (description "#Seppo empowers you to publish short texts and images and to network in the
  19. Social Web.
  20. By renting commodity webspace and putting a single file in place. Without being
  21. subject to terms and conditions. And without having to fret about small print
  22. or tech lore, but have a life.")
  23. (tags (Social Web Fediverse ActivityPub CGI RFC3875 RFC4287 RFC4685 RFC5005 RFC7033 RFC7565 RFC8890 RFC9116 XSLT))
  24. (depends
  25. camlp-streams
  26. cohttp-lwt-unix
  27. crunch
  28. decoders-ezjsonm
  29. lambdasoup
  30. lwt_ppx
  31. markup
  32. (mirage-crypto-rng (< 1.0))
  33. (optint (>= 0.3.0))
  34. safepass
  35. sqlite3
  36. timedesc
  37. tls-lwt
  38. tyre
  39. uri
  40. uucp
  41. uuidm
  42. uunf
  43. uutf
  44. x509
  45. xmlm
  46. (alcotest :with-test)
  47. (cstruct-unix :with-test)
  48. (decoders-ezxmlm :with-test)
  49. (markup :with-test)
  50. ocaml
  51. ; (ocaml-lsp-server (= 1.7.0) :with-doc) https://github.com/ocaml/ocaml-lsp/issues/1069#issuecomment-2376511874
  52. ; (ocp-indent :with-doc)
  53. (odig :with-doc)
  54. (odoc :with-doc)
  55. (utop :with-test)
  56. (yojson :with-test)
  57. dune
  58. lwt_ppx
  59. ))
  60. (package
  61. (name apchk)
  62. (synopsis "Webfinger & ActivityPub checker")
  63. (description "checker cgi to self-host without a hassle.")
  64. (tags (Social Web "#Fediverse" ActivityPub RFC7033 RFC3875 Checker))
  65. (authors "The #Seppo programmers")
  66. (depends
  67. dune
  68. (crunch :with-doc)
  69. (ocp-indent :with-doc)
  70. )
  71. )
  72. ; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project