xcp-idl/Makefile at master · idruzhinin/xcp-idl · GitHub

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

.PHONY: build release install uninstall clean test doc reindent

PROFILE=release

release:
	dune build @install  --profile=$(PROFILE)

build:
	dune build @install

install:
	dune install --profile=$(PROFILE)

uninstall:
	dune uninstall --profile=$(PROFILE)

clean:
	dune clean

test:
	dune runtest  --profile=$(PROFILE)

test-quick:
	dune build @runtest-quick  --profile=$(PROFILE)

all:
	dune build @all --profile=$(PROFILE)

# requires odoc
doc:
	dune build @doc --profile=$(PROFILE)

gh-pages:
	bash .docgen.sh

reindent:
	git ls-files '*.ml' '*.mli' | xargs ocp-indent --syntax cstruct -i

runtime-coverage:
	BISECT_RUNTIME=YES make

.DEFAULT_GOAL := release