Ada compiler

Ada compiler

[Danny Milosavljevic]

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)

Re: Ada compiler

[Efraim Flashner]

[-- Attachment #1: Type: text/plain, Size: 1672 bytes --]

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   <efraim@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

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]