diff options
| author | Murilo Ijanc <[email protected]> | 2026-07-26 12:21:46 -0300 |
|---|---|---|
| committer | Murilo Ijanc <[email protected]> | 2026-07-26 12:21:46 -0300 |
| commit | 5598ea80735a51cb7b3690837b2b7d4240331b2d (patch) | |
| tree | 5ff0927a035ebe521c1b8d6a91fc547c81604631 /Makefile | |
| download | ocaml-819a961de95ccdc309779d0cbca809bfe67b84c3.tar.gz | |
Initial importv0.1.0
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 34 |
1 files changed, 34 insertions, 0 deletions
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 |