Add precommit hooks

romeovs · Nov 6, 2024 · 1cf3178 · 1cf3178
1 parent 3b7f4e6
commit 1cf3178
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -101,3 +101,18 @@ MAKEFLAGS += -j4
 endif
 
 check: lint formatting typecheck
+
+
+# Git hooks
+.PHONY: run-always
+
+.git/hooks/%: run-always
+	@echo "Creating $* hook"
+	@echo "make -j4 git.$*" > ".git/hooks/$*"
+	@chmod a+x ".git/hooks/$*"
+
+.PHONY: hooks
+hooks: .git/hooks/pre-commit .git/hooks/pre-push
+
+git.pre-push: check
+git.pre-commit: check