Add PROFILE make flag

dspinellis · Aug 1, 2024 · 2821ac5 · 2821ac5
1 parent c33c3d1
commit 2821ac5
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/src/Makefile b/src/Makefile
@@ -98,9 +98,14 @@ CFLAGS+=-g
 CXXFLAGS+=-g
 # -D_GLIBCXX_CONCEPT_CHECKS
 else
-CPPFLAGS+=-DPRODUCTION
-CFLAGS+=-O3
-CXXFLAGS+=-O3
+	ifdef PROFILE
+		CFLAGS+=-O0 -g -pg
+		CXXFLAGS+=-O0 -g -pg
+	else
+		CPPFLAGS+=-DPRODUCTION
+		CFLAGS+=-O3
+		CXXFLAGS+=-O3
+	endif
 endif
 
 # Test coverage analysis