From 8bd6fe23c469b3d0044c0d86e7c9d177081bc746 Mon Sep 17 00:00:00 2001 From: "Dirk-Jan C. Binnema" Date: Tue, 11 Apr 2023 20:49:31 +0300 Subject: [PATCH] build: add 'uninstall' target to make --- Makefile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 844f54fa..49d4e6e8 100644 --- a/Makefile +++ b/Makefile @@ -37,7 +37,7 @@ endif .PHONY: all .PHONY: check test test-verbose-if-fail test-valgrind test-helgrind .PHONY: benchmark coverage -.PHONY: dist install clean distclean +.PHONY: dist install uninstall clean distclean .PHONY: mu4e-doc-html # MESON_FLAGS, e.g. "-Dreadline=enabled" @@ -57,14 +57,15 @@ check: test test: all @$(MESON) test $(VERBOSE) -C $(BUILDDIR) - install: $(BUILDDIR) @cd $(BUILDDIR); $(MESON) install +uninstall: $(BUILDDIR) + @$(NINJA) -C $(BUILDDIR) uninstall + clean: @rm -rf $(BUILDDIR) $(COVERAGE_BUILDDIR) - # # below targets are just for development/testing/debugging. They may or # may not work on your system.