Hey Pierre,
> --8<---------------cut here---------------start------------->8---
> (define-public cross-gcc
> (package
> (inherit ((@@ (gnu packages cross-base) cross-gcc)
> "i686-unknown-linux-gnu"
> #:libc (cross-libc "i686-unknown-linux-gnu")))
> (name "cross-gcc")))
> --8<---------------cut here---------------end--------------->8---
Here if you need @@ for cross-gcc, you'll also need it for cross-libc I
guess.
But the visibility issue you have is because cross-gcc inherits from gcc
who has the property hidden? set to #t.
You can add this to your custom cross-gcc package definition:
--8<---------------cut here---------------start------------->8---
(properties (alist-delete 'hidden? (package-properties gcc)))
--8<---------------cut here---------------end--------------->8---
Mathieu
