From 356ca40c8980c8d4eea4d211955e21c8de35e8fd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Sat, 14 Oct 2023 17:21:26 +0200 Subject: [PATCH] =?UTF-8?q?gnu:=20cmake-minimal:=20Remove=20=E2=80=98hidde?= =?UTF-8?q?n=E2=80=99=20property.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This makes ‘cmake-minimal’ accessible to users and additionally allows for input rewriting, as discussed at . * gnu/packages/cmake.scm (cmake-minimal)[properties]: New field. --- gnu/packages/cmake.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/gnu/packages/cmake.scm b/gnu/packages/cmake.scm index bc14286070..1592703f8d 100644 --- a/gnu/packages/cmake.scm +++ b/gnu/packages/cmake.scm @@ -263,6 +263,7 @@ and workspaces that can be used in the compiler environment of your choice.") (package (inherit cmake-bootstrap) (name "cmake-minimal") + (properties (alist-delete 'hidden? (package-properties cmake-bootstrap))) (source (origin (inherit (package-source cmake-bootstrap)) ;; Purge CMakes bundled dependencies as they are no longer needed.