wehub-resource-sync
19 lines
338 B
Makefile
19 lines
338 B
Makefile
INSTALL_ARGS := $(if $(PREFIX),--prefix $(PREFIX),)
|
|
BUILD_ARGS := $(if $(PROFILE),--profile $(PROFILE),)
|
|
|
|
default:
|
|
dune build $(BUILD_ARGS)
|
|
|
|
install:
|
|
dune install $(INSTALL_ARGS) magic-trace
|
|
|
|
uninstall:
|
|
dune uninstall $(INSTALL_ARGS)
|
|
|
|
reinstall: uninstall install
|
|
|
|
clean:
|
|
dune clean
|
|
|
|
.PHONY: default install uninstall reinstall clean
|