aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
authorNunoSempere <nuno.sempere@protonmail.com>2023-08-19 19:37:30 +0200
committerNunoSempere <nuno.sempere@protonmail.com>2023-08-19 19:37:30 +0200
commit67b46c64200842f0de995854e5f11b9add7a013f (patch)
treec62f432889be7c9b5a04a29896039ea73ccea380 /makefile
parentaec21c71a65e68ac8488271a94fbf23f4f894f0d (diff)
Add clang-tidy linting, callable with make lint.
Diffstat (limited to 'makefile')
-rw-r--r--makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/makefile b/makefile
index 329f3f9..ee78938 100644
--- a/makefile
+++ b/makefile
@@ -72,6 +72,9 @@ build: $(SRC) $(PLUGS) $(CONFIG)
GIO_MODULE_DIR=/usr/lib/x86_64-linux-gnu/gio/modules/
$(CC) $(WARNINGS) $(OPTIMIZED) $(DEBUG) $(INCS) $(PLUGS) $(SRC) -o rose $(LIBS) $(ADBLOCK)
+lint:
+ clang-tidy $(SRC) $(PLUGS) -- -Wall -O3 `pkg-config --cflags 'webkit2gtk-4.0'` -o rose `pkg-config --libs 'webkit2gtk-4.0'`
+
inspect: build
GTK_DEBUG=interactive ./rose