2017-02-27 19:54:03 +04:00
|
|
|
INSTALL_ARGS := $(if $(PREFIX),--prefix $(PREFIX),)
|
2016-01-12 21:20:06 +04:00
|
|
|
|
2016-12-15 15:20:46 +04:00
|
|
|
default:
|
2019-01-16 14:57:51 +04:00
|
|
|
dune build
|
2016-01-12 21:20:06 +04:00
|
|
|
|
2016-12-15 15:20:46 +04:00
|
|
|
install:
|
2019-01-16 14:57:51 +04:00
|
|
|
dune install $(INSTALL_ARGS)
|
2016-01-12 21:20:06 +04:00
|
|
|
|
2016-12-15 15:20:46 +04:00
|
|
|
uninstall:
|
2019-01-16 14:57:51 +04:00
|
|
|
dune uninstall $(INSTALL_ARGS)
|
2016-01-12 21:20:06 +04:00
|
|
|
|
2018-05-23 20:00:52 +04:00
|
|
|
reinstall: uninstall install
|
2016-01-12 21:20:06 +04:00
|
|
|
|
2016-12-15 15:20:46 +04:00
|
|
|
clean:
|
2019-01-16 14:57:51 +04:00
|
|
|
dune clean
|
2016-01-12 21:20:06 +04:00
|
|
|
|
2016-12-15 15:20:46 +04:00
|
|
|
.PHONY: default install uninstall reinstall clean
|
