These are the channel logs matching your query gnat
| 2025-10-17 | [23:36:58] <csantosb> Looking forward to gnat bootstraping ! |
| 2025-07-20 | [23:24:32] <Noisytoot> How come there's an exception for GHC but not for GNAT? |
| 2025-07-20 | [23:25:08] <Noisytoot> GNAT is important as it's required to build coreboot (specifically libgfxinit), which is required for a fully free system |
| 2025-07-20 | [23:35:40] <vagrantc> Noisytoot: for GNAT that is ... |
| 2025-06-11 | [15:59:30] <sneek> civodul, csantosb says: could you please have a look at #140 in science ? the source tarball being gone, all dependencies on gnat break; guix linting apparently doesn't compute the swh backup of tarballs, I'm afraid |
| 2025-06-10 | [10:11:03] <csantosb> sneek later tell civodul, could you please have a look at #140 in science ? the source tarball being gone, all dependencies on gnat break; guix linting apparently doesn't compute the swh backup of tarballs, I'm afraid |
| 2025-02-26 | [02:54:30] <theruran> RavenJoad: you should get in touch with Irvise. many of us want to solve the bootstrap problem. we tracked down the GNAT lineage and it could theoretically be bootstrapped from GCC ~3.19 up to current. FreeBSD Ports tries to bootstrap it from GCC 6 |
| 2025-02-26 | [02:57:46] <theruran> I learned that it was a big discussion in GCC dev back in the day, and somehow the maintainers were convinced that writing GNAT in Ada was gonna be OK. but the bootstrap is completely lost, done with a proprietary compiler no doubt |
| 2025-02-26 | [02:58:28] <theruran> GNAT is Ada95 with some source files in UTF-8 |
| 2025-02-26 | [03:18:28] <chipb> huh. how does debian build gnat? |
| 2025-02-26 | [03:20:41] <theruran> I think they bootstrapped from old version of GNAT. Irvise had a suggested Guix path based on the Debian packaging, but I forget exactly |
| 2025-02-26 | [03:35:32] <theruran> we are tired of GNAT shenanigans but it is the only option right now. |
| 2025-01-08 | [00:02:13] <RavenJoad> Does Guix have GCC's Ada compiler (gnat) already? I cannot seem to find it and need it to build GHDL. |
| 2025-01-08 | [17:10:12] <RavenJoad> Does Guix have gnat (GCC's Ada compiler) packaged somewhere? I went looking and didn't find anything. |
| 2025-01-08 | [17:18:06] <Kolev> RavenJoad, I'm not finding anything either. Also, "ada" and "gnat" are actually quite difficult to search for. |
| 2025-01-08 | [17:19:13] <Rutherther> RavenJoad: yes, in guix-science channel - https://toys.whereis.social/?search=gnat |
| 2025-01-08 | [17:20:56] <RavenJoad> That's a solid stop-gap. I'd like to upstream Ada & gnat to Guix though. I mean, it's part of GCC. |
| 2024-10-26 | [23:42:31] <x8dcc> Hello, I couldn't find any packages related to Ada (appart from ada-ed). I am looking for a compiler like GNAT. I even checked https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/ada.scm |
| 2024-07-12 | [00:01:17] <spenc> that was my original problem in debian, though im looking now to show you , and i think maybe the original problem was caused by not upgrading gnat correctly |
| 2024-07-12 | [16:39:55] <spenc> specifically trying to find gnat |
| 2024-07-12 | [16:49:23] <efraim> oh, I didn't see about gnat |
| 2024-07-12 | [16:50:09] <efraim> the guixrus search only lists my channel when searching for gnat, but I can tell you I don't have it |
| 2024-07-12 | [16:50:35] <efraim> I know there was a patch posted to the mailing list using debian's gnat as a bootstrap, I'd have to search for the bug number |
| 2024-07-12 | [16:50:41] <jackhill> IIRC, gnat has a bootstrapping problem |
| 2024-07-12 | [17:00:21] <spenc> i was trying to expose the apt gnat and gcc using --expose=/usr/bin/gnat --expose/usr/bin/g++ and it gave |
| 2024-07-12 | [18:23:32] <spenc> so far i've tried adding it to guix/gnu/packages as gnat.scm , running guix shell -- make , and then ./pre-inst-env guix shell gnat |
| 2024-07-12 | [18:28:37] <ieure> spenc, That's not a patch, it's a standalone package definition. Easiest is to slap a (define-module) call at the top and stick it in your source tree somewhere. gnu/packages/gnat.scm would be my suggestion, which gives the (gnu packages gnat) module. |
| 2024-07-12 | [18:41:49] <spenc> obv the one i need right now is gnat, but presumably there will be others later |
| 2024-07-11 | [23:50:57] <spenc> one needed a new version of g++, and one needed g++ and gnat to be the same version, and gnat was lower |
| 2024-01-04 | [11:03:21] <csantosb> Hi guixers, I have a question related to a code I'm trying to package, and which relies on gnat (yes, that gnat) |
| 2024-01-04 | [11:03:46] <csantosb> Based on this, https://guix.gnu.org/en/blog/2023/the-filesystem-hierarchy-standard-comes-to-guix-containers/, I manage to create a package including the gnat binaries |
| 2024-01-04 | [11:12:49] <csantosb> Problem is that, when I create another package with depends on gnat, and try to build it, it simply cannot find the gnat/gnatmake binaries. |
| 2024-01-04 | [11:15:47] <csantosb> The gnat package is here, by the way: https://paste.sr.ht/~csantosb/9a5c2b37a25a03f10e175d15a6ae4ccc87eb98c8 |
| 2024-01-04 | [11:15:48] <peanuts> "guix-gnat ? paste.sr.ht" https://paste.sr.ht/~csantosb/9a5c2b37a25a03f10e175d15a6ae4ccc87eb98c8 |
| 2024-01-04 | [11:20:10] <futurile> csantosb: so I guess you have another package, that 'depends' on this to run - but when you 'guix install' that it can't find the gnat compiler? |
| 2024-01-04 | [11:22:17] <csantosb> futurile: exactly, ghdl depends on gnat: https://paste.sr.ht/~csantosb/4fb4317a88f2a49ee2b8a47966bb902fda2c3b00 |
| 2024-01-04 | [11:24:45] <futurile> csantosb: that paste isn't working for me - but anyway assuming the first package (gnat) actually works then I think you you should read up on 'propagated inputs' and that ghd1 would then have gnats as a propagated input. I would start there and/or look at other packages in the archive that have a similar dependency on a compiler/run-time |
| 2024-01-04 | [11:30:02] <csantosb> futurile: the problem is that "guix shell -C --emulate-fhs -L /tmp/guix-channels gnat -- gnatmake" works; but "guix shell -C -L /tmp/guix-channels gnat" doesn't. And guix-daemon uses the later. |
| 2024-01-04 | [11:33:38] <futurile> csantosb: so if you create a normal `guix shell` with your gnat package installed, do you see the gnat binaries in the GUIX_ENVIRONMENT/bin - so can you actually use them when you source that in etc? |
| 2024-01-04 | [11:34:53] <csantosb> typing gnat or gnatmake works as expected: both binaries know where to find their linked libraries |
| 2023-12-29 | [21:41:15] <csantosb`> Hi ! I have just created a little package to get gnat/gnatmake, downloading binaries from alire/gnat-fsf. Here it is: https://paste.sr.ht/blob/4495bedd9ed46e6157b6cf071de12db1dfbb85c7 |
| 2023-12-29 | [21:41:59] <csantosb`> Now, when I try to package 'ghdl', I cannot find gnat/gnatmake, |
| 2023-12-14 | [12:43:14] <PotentialUser-23> would it be acceptable to use a binary blob to bootstrap gnu gnat? (there is no bootstrappable ada compiler) |
| 2023-09-21 | [01:29:23] <GNUtoo> (I was told that during a discussion about adding the ada GNAT compiler) |
| 2023-08-22 | [16:49:17] <MatoHota-Tmp> I had to package the compiler in a "gnat" package that install fine (I can even use it) |
| 2023-07-16 | [11:14:37] <Irvise_> nckx: hi! I sent the email regarding GCC-Ada/GNAT to the guix-devel ML. However, some time has passed and I have still not received it and it does not show in the archives. Maybe my email is being blocked (not the first time this has happened). Could you take a look? The email also had a few links, but they are from well-known websites plus my personal one... |
| 2023-07-15 | [20:59:48] <Irvise_> nckx: if the ones provided by Alire are accepted, then about 250MB https://github.com/alire-project/GNAT-FSF-builds/releases/tag/gnat-12.2.0-1 |
| 2023-07-15 | [21:00:31] <nckx> The GNAT situation is so sad. |
| 2023-07-15 | [21:02:23] <Irvise_> Just the GNAT part in Debian is 18 MB, 95 decompressed. Source: https://packages.debian.org/sid/gnat-12 |
| 2023-07-15 | [21:12:46] <nckx> I added ada-ed a long time ago in a naive hope that $omeone skilled might be able to use it to bootstrap GNAT. I still don't know whether that's a foolish thought. |
| 2023-07-02 | [09:33:53] <Irvise> Hi! One question. GCC-Ada (GNAT) is not in Guix yet. And there seems to be no open issue for it https://issues.guix.gnu.org/search?query=ada+is%3Aopen |
| 2023-05-31 | [15:14:48] <sneek> gabber, mirai says: Looks like it was done with a Ada95 subset, see 1.2 of <https://www.adacore.com/uploads/books/pdf/gnat-book.pdf> |
| 2023-05-30 | [14:12:51] <MatoHota-work> If I do a guix install gnat@22.1 |
| 2023-05-30 | [14:13:07] <MatoHota-work> if I do a guix shell --container gnat@22.1 : nope |
| 2023-05-30 | [16:41:25] <MatoHota-work> As far as I remember the first gcc version of gnat is about Ada 95 |
| 2023-05-30 | [16:49:17] <gabber> ACTION is wondering in what language the first GNATs were written |
| 2023-05-30 | [20:24:32] <efraim> wait, gnat has a thank-you to the people who contributed the initial gccgnat code. I wonder if they also had their own compiler floating around |
| 2023-05-30 | [20:34:32] <efraim> I'm just going to dump this here: https://sources.debian.org/src/gnat/3.10p-3/debian/README.debian/ |
| 2023-05-30 | [22:32:15] <mirai> sneek, later tell gabber: Looks like it was done with a Ada95 subset, see 1.2 of <https://www.adacore.com/uploads/books/pdf/gnat-book.pdf> |
| 2023-05-30 | [22:33:54] <mirai> so GNAT was ���bootstrapped��� with I presume was a competitor's Ada compiler |
| 2023-05-17 | [18:18:42] <festerdam> Hi, all. I noticed there's currently no GNAT package for Guix (as far as I know, since I'm currently not using guix). And it seems, from reading previous logs of #guix, it is due to the fact that gnat itself is written in Ada, which makes GNAT ��the bootstrap nightmare��. I thought GCC is also written in C how come it and all the software that depends on it is available on guix? I then read chapter 20 |
| 2023-05-17 | [18:18:48] <festerdam> from the Guix Reference Manual (Bootstrapping). Am I correct in my assumption that the reason GNAT isn't shipped as a bootstrap binary is due to the aim of keeping those "bootstrap binaries" to the smallest size possible (hence a simple c compiler rather than gcc is used for bootstrapping)? So this means that a GNAT package for guix would require a simple Ada compiler for bootstrapping? |
| 2023-05-07 | [12:54:54] <oriansj> I thought guix had gcc-gnat but I can't find the GCC Ada compiler???? |
| 2023-05-07 | [13:16:02] <efraim> oriansj: we don't have gnat yet |
| 2023-01-15 | [13:24:45] <neox> Hello there ! I'm trying to find a gnat version suitable for guix. It seems there is no package for this, and I'm trying to bootstrap but no success at this moment. Did anyone succeeded to have gnat in guix ? |
| 2023-01-15 | [13:31:32] <jlicht> IWBN to have gnat packaged. Perhaps we could have {core,libre}boot builds |
| 2023-01-15 | [13:36:24] <neox> jlicht, that's exactly why I need gnat x) |
| 2022-12-26 | [01:35:32] <lechner> omlet[m] / the GNU project arguably pioneered the GCC compiler collection, which formed the basis of all free Linuxes for a long time. The languages are, as of May 2021, C (gcc), C++ (g++), Objective-C, Fortran (gfortran), Ada (GNAT), Go (gccgo) and D https://en.wikipedia.org/wiki/GNU_Compiler_Collection#History |
| 2022-11-13 | [14:41:24] <sterni> do I have it correct that you don't have GNAT packaged? currently looking for a better way to bootstrap it in nixpkgs |
| 2022-11-13 | [14:46:41] <sterni> oh, it's slightly better now than I remember it, we seem to use binaries from https://github.com/alire-project/GNAT-FSF-builds |
| 2022-11-13 | [14:47:19] <sterni> before that we used a gnat 6 bootstrap seed published by Gentoo, but seems that they switched to using AdaCore's gnat-gpl fork over the gcc gnat proper |
| 2022-10-23 | [17:22:04] <two[m]> is there a package for gnat? |
| 2022-10-23 | [18:34:06] <nckhexen> two[m]: No. GNAT is unbootstrappable, but please prove us wrong. |
| 2022-10-23 | [18:49:02] <lilyp> gnat is written in ada, which is the bootstrap nightmare, right? |
| 2021-12-20 | [00:02:35] <Christoph[m]> Maybe they can help with bootstrapping gnat? |
| 2021-12-19 | [23:19:31] <taterbase> I've been doing some reading around bootstrapping with Guix and I'm blown away by what's happened and what's in store. Initially I chose Guix because I like lisp and the idea of functional reproducible package managers. But the work with Mes and Hex0 is incredibly exciting! The reason I even started going down this rabbit hole is because I was doing research around what it would take to get Gnat as a package for Guix |
| 2021-12-19 | [23:19:31] <taterbase> requires... Gnat to be compiled). Is anyone aware of progress around an ada compiler for Guix? |
| 2021-12-19 | [23:20:17] <nckx> I couldn't find an old enough version of GNAT to compile with anything other than GNAT. |
| 2021-12-19 | [23:25:37] <nckx> Not with the earliest copies of GNAT I could find, that is. |
| 2021-12-19 | [23:25:47] <samplet> Even old versions of GNAT need Ada 95. |
| 2021-12-19 | [23:26:04] <samplet> I believe that GNAT and Ada 95 were developed in tandem. |
| 2021-12-19 | [23:26:15] <nckx> Yeah, I packaged it as a might-limp-just-far-enough-to-bootstrap-GNAT-0.001 option, not as a useful package in itself (although it still is a nice package). |
| 2021-12-19 | [23:27:23] <nckx> I sorely miss GNAT for Coreboot, which is probably why anyone ever asks about it today. |
| 2021-12-19 | [23:27:35] <taterbase> Guile certainly feels more approachable. I just worry the scope of ada's std lib and what gnat does these days |
| 2021-12-19 | [23:29:11] <rekado_> ah yes, coreboot. That���s also why I wanted GNAT. |
| 2021-12-19 | [23:30:23] <samplet> I thought that maybe with the lexer and parser you could write a compatibility shim that translates the new Ada features needed for early GNAT to stuff that Ada Ed could handle. |
| 2021-12-19 | [23:36:45] <taterbase> I wonder if/how gnat diverges from the std ada |
| 2021-12-19 | [23:38:21] <taterbase> do we have a definitive oldest known version of gnat source in ada? |
| 2021-12-19 | [23:42:55] <samplet> taterbase: I have a file called ���gnat-1.64-sparc-src.tar.gz��� full of files from 1993-12-09. That���s the oldest one I found when looking. |
| 2021-12-19 | [23:52:29] <samplet> taterbase: Not sure where I got any of it from anymore, but here are three early GNAT tarballs that might be interesting: https://files.ngyro.com/tmp/early-gnat-stuff.tar.gz |
| 2021-09-06 | [02:24:29] <bsturmfels> I'm just attempting to build coreboot on Guix, but it's complaining about a missing Ada compiler "gnat". Does anyone know if this is available in Guix under another name? I can't seem to find it by grepping the sources |
| 2021-09-06 | [02:41:43] <roptat> bsturmfels, I think gnat has a bootstrapping issue: it's partially written in ada |
| 2021-09-06 | [02:46:23] <oriansj> roptat: guix also has a Ada compiler written in C, which could be used to bootstrap gnat if I remember correctly. which was the original Ada compiler used in GCC, so it does have a valid bootstrap path in GCC. I can't however speak to if someone has done that work yet. |
| 2021-06-18 | [23:14:40] <thrilleratplay[m> I am trying to bootstrap Gnat/ada with debian binaries and am making a mess of it. In the IRC logs samplet mentioned doing this with a total of 26 deb packages. Does anyone know where a copy of that script is? |
| 2021-06-03 | [15:29:47] <Noisytoot> Does Guix have GNAT? |
| 2021-06-03 | [15:33:06] <jackhill> I believe GNAT needs to be bootstrapped with and Ada compiler, so work is needed to be done. |
| 2021-06-03 | [15:43:02] <jackhill> civodul: are you surprised? It seems like the common way to implement languages these days (even if GNAT is older) |
| 2021-04-19 | [17:37:23] <boomerchad> Is gnat packaged for guix? I'm trying to build coreboot for my machine. |
| 2021-04-19 | [17:44:35] <nckx> Seems log search is ���paused��� again but here's the gist: https://logs.guix.gnu.org/guix/search?query=gnat |
| 2021-04-14 | [13:00:41] <rekado> so, I naively tried to build gnat (GCC Ada compiler), but ��� I need an Ada compiler :-/ |