Makefile

.PHONY: celan \
	lib ppx syntax package \
	test promote discover-tests clean-test \
	regression samples clean-samples watch \
	install uninstall

.DEFAULT_GOAL: all

all: package

package: lib ppx syntax

lib:
	dune build src

ppx:
	dune build ppx

syntax:
	dune build camlp5/pa_ocanren.cma

regression:
	dune build regression

test: regression samples
	./test.sh all

promote:
	./test.sh --promote all

discover-tests:
	dune build @discover-tests

samples:
	dune build samples

clean-test:
	rm -f regression/*.log regression/*.diff

clean-samples:
	rm -f samples/*.log samples/*.diff

celan: clean
clean: clean-test clean-samples
	dune clean

watch:
	dune build -w camlp5/pa_ocanren.cma ppx/ src/

install:
	dune build @install
	dune install

uninstall:
	dune build @install
	dune uninstall