From fa8e0a5387419ba1edd17722329cdb27b1371ccf Mon Sep 17 00:00:00 2001
From: Marius Bakke <mbakke@fastmail.com>
Date: Sat, 25 Jan 2020 12:50:57 +0100
Subject: gnu: cmake: Build an optimized executable.

* gnu/packages/cmake.scm (cmake-bootstrap)[arguments]: Pass
"-DCMAKE_BUILD_TYPE" in #:configure-flags.
---
 gnu/packages/cmake.scm | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/cmake.scm b/gnu/packages/cmake.scm
index cf542f12e4..913317b25f 100644
--- a/gnu/packages/cmake.scm
+++ b/gnu/packages/cmake.scm
@@ -97,7 +97,11 @@
                ;; to --mandir and --docdir.
                "--mandir=share/man"
                ,(string-append "--docdir=share/doc/cmake-"
-                               (version-major+minor version))))
+                               (version-major+minor version))
+
+               ;; By default CMake is built without any optimizations.  Use
+               ;; the recommended Release target for a ~2.5x speedup.
+               "--" "-DCMAKE_BUILD_TYPE=Release"))
        #:make-flags
        (let ((skipped-tests
               (list "BundleUtilities" ; This test fails on Guix.
-- 
cgit v1.2.3