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
|
PKGVERSION = $(shell git describe --always --dirty)
all build:
dune build @install bench/bm_ropes.exe bench/bench_rope.exe
test runtest:
dune runtest --force
install uninstall:
dune $@
doc:
dune build @doc
sed -e "s/0.6.2/$(PKGVERSION)/" --in-place \
_build/default/_doc/_html/rope/Rope/index.html
# Benchmarks
bench:
dune build @bench \
&& cd _build/default/bench/ && gnuplot -persist bm_ropes.plot
@echo "Bench results: SGV in _build/default/bench/"
web:
@ if [ -d $(SRC_WEB)/ ] ; then \
scp $(addprefix $(SRC_WEB)/, *.html *.css *.png) LICENSE $(WEB) \
&& echo "*** Published web site ($(SRC_WEB)/)" ; \
fi
clean::
dune clean
$(RM) $(wildcard bench/*.dat)
.PHONY: all build test runtest doc bench clean
|
