Skip to content
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
Cannot retrieve contributors at this time
PKGVERSION = $(shell git describe --always)
all build byte native:
dune build @install @examples
dune build @runtest --force
install uninstall:
dune $@
doc: all
sed -e 's/%%VERSION%%/$(PKGVERSION)/' src/lpd.mli \
> _build/default/src/lpd.mli
dune build @doc
@opam lint lpd.opam
dune clean
.PHONY: all build byte native install uninstall doc lint clean