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