These are the channel logs matching your query gnat
| 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 :-/ |
| 2021-04-14 | [14:26:44] <rekado> Even as far back as GCC 2.95.3 GNAT was available only as Ada source files. |
| 2021-04-14 | [14:39:37] <civodul> rekado: i remember discussions around FOSDEM 2019 (?) where Danny explained a plan to bootstrap GNAT, in particular using an Ada parser written in Python |
| 2021-04-14 | [15:05:19] <nckx> I'm not aware of anyone bootstrapping a full Ada/GNAT compiler but it's been a while since I last looked. |
| 2021-04-14 | [17:04:44] <rekado> actually… the newer langkit depends on GNAT |
| 2021-04-13 | [08:24:27] <rekado_> we don’t have a package for GNAT (the Ada compiler). Is this due to bootstrapping problems…? |
| 2021-02-21 | [14:28:26] <smartineng> Hello, is guix has gnat/gcc-ada compiler in the package repository? |
| 2021-02-21 | [14:39:48] <janneke> smartineng: no, i don't think gnat/ada has not been bootstrapped yet |
| 2021-02-21 | [15:52:27] <nckx> smartineng: You need an Ada compiler to build GNAT, and I failed to find an Ada compiler that can do so that can be built from source... |
| 2021-02-21 | [15:55:48] <nckx> Others have shown interest: http://logs.guix.gnu.org/guix/search?query=gnat |
| 2021-02-21 | [16:43:13] <smartineng> Daymn this GNAT lack of boostrappability by force is really ridiculous but maybe there is a hope with some older versions https://gcc.gnu.org/legacy-ml/gcc/2007-11/msg00087.html |
| 2021-02-21 | [19:27:34] <nckx> smartineng: Sorry, but <https://gcc.gnu.org/legacy-ml/gcc/2007-11/msg00097.html> still sounds like you're expected to "bootstrap" from some older GNAT binary you're assumed to find lying around, not [from (say) a different Ada compiler that can itself be bootstrapped] from (say) C. |
| 2021-02-21 | [19:35:20] <leoprikler> nckx: not quite. I read this as "if you somehow manage to bootstrap ancient GNAT, you can probably jump to modern GNAT easily", which is an interesting proposal at least (*cough* rust *cough*) |
| 2021-02-21 | [19:37:04] <nckx> Well, hm, no: that just leaves ‘manage to bootstrap ancient GNAT’ as the original begged question. |
| 2021-02-21 | [19:38:05] <nckx> I read ‘not worth it’ as ‘we never bootstrapped from C’, so GNAT 0.1 isn't going to be better. That said, I haven't found it yet ☺ |
| 2021-02-21 | [19:38:06] <leoprikler> of course, but I'd imagine that a sufficiently ancient GNAT can be compiled with a different Ada and some spit. |
| 2021-02-21 | [19:38:53] <nckx> The only Ada we have conforms to a standard that predates GNAT, is the problem. |
| 2021-02-21 | [19:40:18] <nckx> I'll give looking for the oldest surviving GNAT another go, so we're not just slinging hypotheticals at each other. |
| 2021-02-06 | [14:19:34] <nckx> sneek: later tell daphnis: Guix doesn't have any relevant Ada compilers, and I'm not aware of any that could be packaged (GNU GNAT isn't currently an option as it needs another GNAT to compile itself). The only Ada compiler in Guix is Ada/Ed, which is too old to be useful in practice. It could be useful to bootstrap an ancient -- and very hypothetical -- Ada '83 version of GNU GNAT, if any exist. |
| 2021-02-06 | [22:00:12] <sneek> daphnis, nckx says: Guix doesn't have any relevant Ada compilers, and I'm not aware of any that could be packaged (GNU GNAT isn't currently an option as it needs another GNAT to compile itself). The only Ada compiler in Guix is Ada/Ed, which is too old to be useful in practice. It could be useful to bootstrap an ancient -- and very hypothetical -- Ada '83 version of GNU GNAT, if any exist. |
| 2021-01-29 | [19:59:30] <daphnis> i can't find any gnat package (needed for coreboot) |
| 2021-01-29 | [20:01:49] <mdevos> daphnis: you mean GNAT, the Ada compiler? https://www.gnu.org/software/gnat/ |
| 2021-01-29 | [20:15:26] <argylelabcoat> daphnis, I don't see any mention of GNAT in guix either, so my assumption would be that the ada interpreter defined in gnu/packages/ada.scm is the only thing really available |
| 2020-11-08 | [12:56:14] <PotentialUser-87> vits-test: i see, are you able to package gnat? |
| 2020-11-08 | [12:59:14] <PotentialUser-87> vits-test: https://www.gnu.org/software/gnat/ |
| 2020-11-08 | [13:06:29] <nckx> PotentialUser-87: Am I correct that GNAT itself is written in ADA? We'd need an ADA compiler written in C (or so) that's able to build GNAT in order to bootstrap it. |
| 2020-11-08 | [13:09:44] <PotentialUser-87> unfortunately gnat is the only libre ada compiler that exists, i wonder how other distros bootstraped it |
| 2020-11-08 | [13:10:18] <nckx> ‘In order to build GNAT, the Ada compiler, you need a working GNAT compiler (GCC version 4.0 or later).’ Blurf. |
| 2020-11-08 | [13:12:13] <nckx> PotentialUser-87: I suspect they just used an existing GNAT binary they ‘got elsewhere’. We can't really get away with that. |
| 2020-11-08 | [13:16:33] <leoprikler> Is there a historical version of gnat built just on GCC? |
| 2020-11-08 | [14:32:22] <nckx> Now, to watch it fail to compile GNAT because it's not at all equivalent to GCC... |
| 2020-11-08 | [22:03:01] <nckx> efraim: <Sources everywhere> Ooh, where?? In theory GNAT predates Ada 95, but I can't find any ancient source releases. The oldest I can find is the ‘famous’ 3.15p, the last stand-alone version without GCC, and that's already written in Ada 95. |
| 2020-11-08 | [22:05:21] <efraim> nckx: Debian has a 3.10p3 https://sources.debian.org/src/gnat/3.10p-3/ |
| 2020-11-08 | [22:06:17] <efraim> quick search shows standalone source tarball for 3.14p http://archive.debian.org/debian/pool/main/g/gnat/ |
| 2020-11-08 | [22:31:58] <nckx> Yep, one (if you quote) it, thanks! I found that somehow but don't remember how. Good to have a back-up URL. However, what I'm really looking for is *older* versions of GNAT, the older the better. |
| 2020-09-30 | [03:46:39] <PotentialUser-80> hello, is gnat; the ada compiler; provided by the gcc toolchain package? |
| 2020-09-14 | [04:27:01] <PotentialUser-84> hello, which package if any provide gnat; the ada compiler; gcc's description isn't explicit that it contains an ada frontend from what I've read, correct me if I'm wrong on this |
| 2020-09-14 | [04:28:48] <guixy> It doesn't look like gnat is provided in guix... |
| 2020-05-11 | [13:45:16] <nikita`> at least it's not gnats, which made me figure out how to deal with decoding attachments |
| 2019-09-26 | [19:03:09] <idnull> it seems that there is no gnat for me |
| 2019-05-06 | [02:30:26] <samplet> davexunit, nckx: It looks like I built coreboot by building their special toolchain and just building outside of the store. I did try to build it in the store, but parts of it use Ada. I made a GNAT package, but it is very ugly, and GNAT is not bootstrappable, so I never sent it in. |
| 2019-05-06 | [02:31:44] <nckx> samplet: Yeah, that libgfx GNAT dependency… seems like you got about as far as I did. |
| 2019-05-06 | [02:38:07] <davexunit> but yeah, the lack of a gnat package is a blocker so I'll just build their toolchain. |
| 2019-04-15 | [23:54:32] <nckx> We don't seem to provide the GCC Ada compiler (GNAT) at all, or am I wrong? |
| 2019-03-02 | [19:33:54] <raingloom> heyy people, I'm trying out GuixSD and I wanna install GNAT for university stuff, I've `guix edit`-ed gcc and made an entry based on the Fortran ones, but i'm getting a nondescriptive error when I try to install it |
| 2018-12-01 | [14:02:43] <ng0> I find 'support.py' in (not Guix): virt-manager, jython, gnat, python3.5, 3to2, alabaster, Babel, future, and so on |
| 2018-09-23 | [21:21:15] <civodul> verisimilitude: i think someone (dannym) was working on getting Gnat |
| 2018-09-04 | [16:55:34] <samplet> In other news, I have an GNAT (GCC Ada compiler) package for Guix, but I’m not sure if it is acceptable. GNAT is not bootstrappable, so I use a binary from Debian. |
| 2018-09-04 | [17:00:56] <samplet> efraim: No. Ada Core Technologies provides a GNAT binary, but it is not static and there are license issues. |
| 2018-02-07 | [11:38:33] <rekado_> efraim: when you wrote “Ada”: did you mean a particular compiler? I’d like to get GNAT installed. |
| 2016-12-09 | [19:46:08] <quigonjinn> to my understanding, there is currently no way to bootstrap gnat, as mentioned in https://lists.gnu.org/archive/html/guix-devel/2013-10/msg00188.html , right? |
| 2016-08-19 | [12:58:00] <specing> Does GuixSD run on top of grsecurity patches & does it support Ada (GNAT toolchain) as a first class citizen? |
| 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-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-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-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> |