[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Ada compiler
From: |
Efraim Flashner |
Subject: |
Re: Ada compiler |
Date: |
Thu, 19 Jan 2017 21:03:59 +0200 |
User-agent: |
Mutt/1.7.2 (2016-11-26) |
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 address@hidden 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 <address@hidden> אפרים פלשנר
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
- Ada compiler, Danny Milosavljevic, 2017/01/19
- Re: Ada compiler,
Efraim Flashner <=