Initial commit

Basic build infrastructure, license, and readme files.
This commit is contained in:
2025-08-30 10:10:13 +01:00
commit e919ffe06a
12 changed files with 286 additions and 0 deletions

36
dune-project Normal file
View File

@@ -0,0 +1,36 @@
(lang dune 3.20)
(name partridge)
(generate_opam_files true)
(source
(uri git+https://gitea.gretton-dann.org.uk/mgrettondann/triangle-square-cubes.git))
(authors "Matthew Gretton-Dann <matt@gretton-dann.org.uk>")
(maintainers "Matthew Gretton-Dann <matt@gretton-dann.org.uk>")
(license Apache-2.0)
(homepage https://gitea.gretton-dann.org.uk/mgrettondann/triangle-square-cubes)
(bug_reports https://gitea.gretton-dann.org.uk/mgrettondann/triangle-square-cubes/issues)
(documentation https://gitea.gretton-dann.org.uk/mgrettondann/triangle-square-cubes)
(package
(name partridge)
(synopsis "Generate solutions to the Partridge problem")
(description "Generates solutions to Partidge problems of various sizes. See README.md for more details")
(depends
(ocaml (>= 5.3))
(ocaml-lsp-server :dev)
(utop :dev)
(odoc :with-doc)
(ocamlformat (= 0.27.0))
(ounit2 :with-test)
dune
ppx_inline_test
ppx_expect
)
(tags
("partridge-problem" "triangular-numbers")))