2017-02-27 15:54:03 +00:00
|
|
|
INSTALL_ARGS := $(if $(PREFIX),--prefix $(PREFIX),)
|
2016-01-12 17:20:06 +00:00
|
|
|
|
|
|
|
# Default rule
|
2016-12-15 11:20:46 +00:00
|
|
|
default:
|
2017-03-02 18:31:33 +00:00
|
|
|
jbuilder build @install
|
2016-01-12 17:20:06 +00:00
|
|
|
|
2016-12-15 11:20:46 +00:00
|
|
|
install:
|
2017-02-27 15:54:03 +00:00
|
|
|
jbuilder install $(INSTALL_ARGS)
|
2016-01-12 17:20:06 +00:00
|
|
|
|
2016-12-15 11:20:46 +00:00
|
|
|
uninstall:
|
2017-02-27 15:54:03 +00:00
|
|
|
jbuilder uninstall $(INSTALL_ARGS)
|
2016-01-12 17:20:06 +00:00
|
|
|
|
2016-12-15 11:20:46 +00:00
|
|
|
reinstall: uninstall reinstall
|
2016-01-12 17:20:06 +00:00
|
|
|
|
2016-12-15 11:20:46 +00:00
|
|
|
clean:
|
|
|
|
rm -rf _build
|
2016-01-12 17:20:06 +00:00
|
|
|
|
2016-12-15 11:20:46 +00:00
|
|
|
.PHONY: default install uninstall reinstall clean
|