-
Notifications
You must be signed in to change notification settings - Fork 37
/
Makefile
45 lines (30 loc) · 1.05 KB
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
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