On Thu, Jan 19, 2017 at 03:23:47PM +0100, Danny Milosavljevic wrote: > Hi, > > would it be possible to provide the GCC Ada compiler? > > I would do it myself - however, it seems that GNAT requires GNAT which is a > bootstrapping problem. > > diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm > index cfd33f85a..ef4136fa4 100644 > --- a/gnu/packages/gcc.scm > +++ b/gnu/packages/gcc.scm > @@ -861,3 +861,18 @@ to be a tutorial of the language. Rather, it outlines > all of the constructs > of the language. Library functions are not included.") > (home-page "http://www.gnu.org/software/gnu-c-manual") > (license fdl1.3+))) > + > +(define-public gnat-4.9 > + (custom-gcc gcc-4.9 "gnat" '("gnat") > + %generic-search-paths)) > + > +(define-public gnat-6 > + (custom-gcc gcc-6 "gnat" '("gnat") > + %generic-search-paths)) > + > +(define-public gnat > + ;; Note: Update this when GCC changes! We cannot use > + ;; (custom-gcc gcc "gnat" …) because that would lead to a package object > + ;; that is not 'eq?' with gnat-4.9, and thus 'fold-packages' would > + ;; report two gnat@4.9 that are in fact identical. > + gnat-4.9) >
Sometimes I have to wonder, to me that just sounds like a fun bootstrapping problem that involves diving into the annals of computing history. I found https://people.debian.org/~lbrenta/debian-ada-policy.html this, not sure if it helps any. -- Efraim Flashner <efr...@flashner.co.il> אפרים פלשנר GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted
signature.asc
Description: PGP signature