-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
33 lines (25 loc) · 692 Bytes
/
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
# This Makefile is intended for developers. Users simply use dune.
PKGVERSION = $(shell git describe --always --dirty)
build byte native:
dune build @install
test runtest: build
dune runtest --force
install uninstall:
dune $@
pin:
opam pin add -k path root1d.dev .
unpin:
opam pin remove root1d
doc:
sed -e 's/%%VERSION%%/$(PKGVERSION)/' src/Root1D.mli \
> _build/default/src/Root1D.mli
dune build @doc
echo '.def { background: #f9f9de; }' >> _build/default/_doc/odoc.css
lint:
opam lint root1d.opam
clean:
dune clean
$(RM) $(PKG_TARBALL)
$(RM) $(wildcard *~ *.pdf *.ps *.png *.svg)
.PHONY: build byte native test runtest install uninstall pin unpin \
doc lint clean