Re: Adding GNAT/GCC-Ada to Guix

2023-07-26 Thread Timothy Sample
Hi Fernando, Fernando Oleo Blanco writes: > I have talked with some people over at IRC and they recommended the use > of the smaller GCC-Ada/GNAT binaries from Debian (even from older > releases) and try to build an up-to-date Ada compiler toolchain with it. > > However, that would be a lot of w

Re: Adding GNAT/GCC-Ada to Guix

2023-07-20 Thread Fernando Oleo Blanco
Thank you Denis and Ricardo for your input. Denis, regarding the existence of low-level Ada libraries for hardware development, we do have quite a few! And I would be interested in packaging a couple of them. One would be the very well-known BareBones Runtimes [1] and also SweetAda [2]. Having

Re: Adding GNAT/GCC-Ada to Guix

2023-07-17 Thread Ricardo Wurmus
Denis 'GNUtoo' Carikli writes: > - The haskell is not and was never bootstrapped from source. Though > the binaries used to bootstrap it changed over time. We do, however, build GHC 4 from source; there is only a small amount of *generated* C files that we currently can’t avoid. We build up

Re: Adding GNAT/GCC-Ada to Guix

2023-07-16 Thread Denis 'GNUtoo' Carikli
On Sun, 16 Jul 2023 08:47:41 + Fernando Oleo Blanco wrote: > Dear Guix community, Hi, > Why did I tell all of this? > Because I would like to add GCC-Ada to Guix and I am fully aware of > the work that the Guix and the #bootstrappable people are doing > towards a fully transparent compilatio

Adding GNAT/GCC-Ada to Guix

2023-07-16 Thread Fernando Oleo Blanco
Dear Guix community, I would like to bring once again [1] the discussion regarding the addition of a modern Ada compiler to Guix. In this case, GCC-Ada, aka GNAT. TL;DR: GCC-Ada/GNAT cannot be bootstrapped. I would like to package a binary up until a bootstrap path is available; which is alread