From 32deb8356cb1cf3772085e511d28c6e84fad3822 Mon Sep 17 00:00:00 2001 From: Leonardo Vencovsky Date: Mon, 28 Aug 2023 09:09:01 +0200 Subject: [PATCH] Add install dev deps target --- Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 0f70c3f..c4b4e2e 100644 --- a/Makefile +++ b/Makefile @@ -8,6 +8,7 @@ help: @echo - bench: runs benchmarks @echo - docbuild: builds documentation to ./docs @echo - docserve: serves mdbook docs + @echo - install_dev_deps: install dev dependencies tests: make -C ./tests @@ -27,4 +28,7 @@ docbuild: docserve: mdbook serve documentation -.PHONY: tests tests_dev format bench docbuild docserve +install_dev_deps: + sudo apt install gcc valgrind lcov clang-format + +.PHONY: tests tests_dev format bench docbuild docserve install_dev_deps