diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2020-01-25 12:50:57 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-01-25 12:50:57 +0100 |
| commit | fa8e0a5387419ba1edd17722329cdb27b1371ccf (patch) | |
| tree | 1c072f0313bda3886d9dae9fc0815958251dc25e /gnu | |
| parent | 8c81210ed0422522627f87f43f404e38c8bea8cf (diff) | |
| download | patches-fa8e0a5387419ba1edd17722329cdb27b1371ccf.tar patches-fa8e0a5387419ba1edd17722329cdb27b1371ccf.tar.gz | |
gnu: cmake: Build an optimized executable.
* gnu/packages/cmake.scm (cmake-bootstrap)[arguments]: Pass
"-DCMAKE_BUILD_TYPE" in #:configure-flags.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/cmake.scm | 6 |
1 files changed, 5 insertions, 1 deletions
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. |