nv/Makefile at master · NetworkVerification/nv · 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
.PHONY: test clean

default:
	dune build src/exe/main.exe
	cp _build/default/src/exe/main.exe nv

release:
	dune build --profile release src/exe/main.exe
	cp _build/default/src/exe/main.exe nv.opt

debug:
	dune build --profile debug src/exe/main.exe
	cp _build/default/src/exe/main.exe nv.debug

#install: default
#	cp _build/default/src/exe/main.exe nv

nvgen: default $(wildcard src/nvgen/*.ml)
	dune build src/nvgen/nvgen.exe
	cp _build/default/src/nvgen/nvgen.exe nvgen

test: default
	dune runtest -f --no-buffer

doc:
	dune build @doc

format:
	find src -type f -regex ".*\.mli*" -exec ocamlformat --inplace {} \;
	find test -type f -regex ".*\.mli*" -exec ocamlformat --inplace {} \;

clean:
	dune clean
	rm -f nv
	rm -f nvgen