From 28ba01aec6d998ffffc819458db308d691948246 Mon Sep 17 00:00:00 2001
From: Marius Bakke <mbakke@fastmail.com>
Date: Sun, 26 Jan 2020 12:49:45 +0100
Subject: gnu: cmake: Enable debugging information.

* gnu/packages/cmake.scm (cmake)[arguments]: Set #:build-type.
---
 gnu/packages/cmake.scm | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'gnu')

diff --git a/gnu/packages/cmake.scm b/gnu/packages/cmake.scm
index ecabc8a763..93a71e1d92 100644
--- a/gnu/packages/cmake.scm
+++ b/gnu/packages/cmake.scm
@@ -300,6 +300,10 @@ (define-public cmake
         (if (%current-target-system)
             cmake-minimal-cross
             cmake-minimal))
+
+       ;; Enable debugging information for convenience.
+       ((#:build-type _ #f) "RelWithDebInfo")
+
        ((#:configure-flags flags ''())
         `(append (list "-DSPHINX_INFO=ON" "-DSPHINX_MAN=ON" "-DSPHINX_HTML=ON"
                        (string-append "-DCMAKE_DOC_DIR=share/doc/cmake-"
-- 
cgit v1.2.3