Hello! Ricardo Wurmus <rek...@elephly.net> skribis:
> Ludovic Courtès <l...@gnu.org> writes: > >> Ricardo Wurmus <rek...@elephly.net> skribis: >> >>> I still think that we should hide the plain gcc packages on the command >>> line. >> >> Agreed. > > Is this the right way to hide the package (see patch)? I searched for > GCC on the command line with “guix package --search=gcc” and the results > did not include the plain gcc packages. It still includes the ‘gcc-toolchain’ packages, right? > From 8cbb0b446930264b7f2a771cc95534e14dde9edd Mon Sep 17 00:00:00 2001 > From: Ricardo Wurmus <rek...@elephly.net> > Date: Tue, 12 Feb 2019 23:21:48 +0100 > Subject: [PATCH] gnu: gcc-4.7: Hide package. > > * gnu/packages/gcc.scm (gcc-4.7): Wrap in "hidden-package" expression. Alternately you could simply add a ‘properties’ field (with a comment), which would make the diff smaller. Go for it! Thanks, Ludo’.