From 5598ea80735a51cb7b3690837b2b7d4240331b2d Mon Sep 17 00:00:00 2001 From: Murilo Ijanc Date: Sun, 26 Jul 2026 12:21:46 -0300 Subject: Initial import --- Makefile | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 Makefile (limited to 'Makefile') diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..6430738 --- /dev/null +++ b/Makefile @@ -0,0 +1,34 @@ +DUNE ?= dune + +.DEFAULT_GOAL := help +.PHONY: help test lint format build check clean doc + +help: + @echo 'Targets:' + @echo ' test run the test suite' + @echo ' lint check formatting with ocamlformat (read-only)' + @echo ' format apply ocamlformat (writes)' + @echo ' build build the library' + @echo ' check lint + test + build, in that order' + @echo ' doc build the odoc documentation' + @echo ' clean remove build artefacts' + +test: + $(DUNE) runtest --force --no-buffer + +lint: + $(DUNE) build @fmt + +format: + $(DUNE) fmt + +build: + $(DUNE) build @install + +check: lint test build + +doc: + $(DUNE) build @doc + +clean: + $(DUNE) clean -- cgit v1.3