From ac0351585dba08f091f8b58fcd82b00e7a453a32 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Sun, 1 Jan 2023 23:28:51 +0100
Subject: [PATCH] package/archlinux: include also RelWithDebInfo in the dev
 PKGBUILD.

Not built by default, but handy for profiling.
---
 package/archlinux/PKGBUILD | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/package/archlinux/PKGBUILD b/package/archlinux/PKGBUILD
index 81f0af2aca..8b54503144 100644
--- a/package/archlinux/PKGBUILD
+++ b/package/archlinux/PKGBUILD
@@ -18,9 +18,12 @@ build() {
     mkdir -p "$_rootdir/build"
     cd "$_rootdir/build"
 
+    # RelWithDebInfo is enabled but not built -- it's meant for profiling from
+    # within the build dir
     cmake .. \
-        -DCMAKE_CONFIGURATION_TYPES="Debug;Release" \
+        -DCMAKE_CONFIGURATION_TYPES="Debug;Release;RelWithDebInfo" \
         -DCMAKE_CROSS_CONFIGS=all \
+        -DCMAKE_CXX_FLAGS_RELWITHDEBINFO="-O2 -g -DNDEBUG -fno-omit-frame-pointer" \
         -DCMAKE_INSTALL_PREFIX=/usr \
         -DMAGNUM_WITH_AUDIO=ON \
         -DMAGNUM_WITH_VK=ON \
@@ -57,7 +60,7 @@ build() {
         -DMAGNUM_BUILD_GL_TESTS=ON \
         -DMAGNUM_BUILD_VK_TESTS=ON \
         -G "Ninja Multi-Config"
-    ninja all:all
+    ninja all:Debug all:Release
 }
 
 check() {