From 4a4f6fbdd01292b3de5b976e3d4dc4dd0bb68e90 Mon Sep 17 00:00:00 2001 From: Simon Boehm Date: Wed, 1 Mar 2023 21:03:43 +0000 Subject: [PATCH] Makefile debug --- Makefile | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 9f76ea3..7d4306c 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -.PHONY: all build clean profile bench +.PHONY: all build debug clean profile bench CMAKE := cmake NINJA := ninja @@ -10,8 +10,13 @@ all: build build: @mkdir -p $(BUILD_DIR) - @cd $(BUILD_DIR) && $(CMAKE) .. -G Ninja - @$(NINJA) -C $(BUILD_DIR) + @cd $(BUILD_DIR) && $(CMAKE) -DCMAKE_BUILD_TYPE=Release .. + @$(MAKE) -C $(BUILD_DIR) + +debug: + @mkdir -p $(BUILD_DIR) + @cd $(BUILD_DIR) && $(CMAKE) -DCMAKE_BUILD_TYPE=Debug .. + @$(MAKE) -C $(BUILD_DIR) clean: @rm -rf $(BUILD_DIR)