Makefile

all: build test

build:
	@dune build @install

test:
	@dune runtest --force

clean:
	@dune clean

doc:
	@dune build @doc

example-test:
	@dune exec example/ounit/QCheck_test.exe

example-ounit-test:
	@dune exec example/ounit/QCheck_ounit_test.exe

example-runner:
	@dune exec example/QCheck_runner_test.exe -- -v --debug-shrink=log.tmp

example-alcotest:
	@dune exec example/alcotest/QCheck_alcotest_test.exe

VERSION=$(shell awk '/^version:/ {print $$2}' qcheck.opam)

update_next_tag:
	@echo "update version to $(VERSION)..."
	sed -i "s/NEXT_VERSION/$(VERSION)/g" `find src -name '*.ml' -or -name '*.mli'`
	sed -i "s/NEXT_RELEASE/$(VERSION)/g" `find src -name '*.ml' -or -name '*.mli'`

release: update_next_tag
	@echo "release version $(VERSION)..."
	git tag -f $(VERSION) ; git push origin :$(VERSION) ; git push origin $(VERSION)
	opam publish https://github.com/c-cube/qcheck/archive/$(VERSION).tar.gz
	@echo "review the release, then type 'opam publish submit qcheck.$(VERSION)/'"


watch:
	@dune build @all -w

.PHONY: benchs test examples update_next_tag watch release