# Frontend to dune. # No implicit rules MAKEFLAGS += --no-builtin-rules .SUFFIXES: DIRS=$(shell ls */README.org | sed "s|/README.org||g") DOCS=$(patsubst %, docs/%.html, $(DIRS)) docs/index.html .PHONY: default build install uninstall test clean doc default: doc build docs/index.html: docs/index.org - ./bin/build_doc.sh docs docs/%.html: %/*.org %/lib/*.ml %/lib/*.mli %/test/*.ml - ./bin/tangle.sh $* - ./bin/build_doc.sh $* doc: $(DOCS) build: doc dune build test: dune runtest -f install: dune install uninstall: dune uninstall clean: dune clean # Optionally, remove all files/folders ignored by git as defined # in .gitignore (-X). git clean -dfXq