Re: Ada compiler

[Efraim Flashner]

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