comp.lang.ada
 help / color / mirror / Atom feed
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: Re: some questions on installing Ada on Linux
Date: Tue, 07 Oct 2014 20:47:40 +0200
Date: 2014-10-07T20:47:40+02:00	[thread overview]
Message-ID: <878ukrogxf.fsf@ludovic-brenta.org> (raw)
In-Reply-To: 8a9993d6-9f3f-4fb9-80b1-cbd65c6001ea@googlegroups.com

brbarkstrom@gmail.com writes:
> In my Ada coding, I deprecate the Debian package and only use gnat, gcc,
> and so on from the AdaCore download.  As I suggested, I value the consistency
> with the Ada RM specs on library configurations more than I value the ease
> of integrating with other languages or other packages.  The decision on
> what to do is complex.  It doesn't just boil down to GPL versus other
> licenses.

But as Simon pointed out, the Debian Policy for Ada ensures full
compliance with the Ada RM consistency rules.  In fact the main reason
for the existence of this Policy is to make binary packages (containing
.ali files) comply with the Ada RM consistency rules.  See in particular
the discussion of "the indirect FTBFS scenario", section 3.2.

Debian provides both ease of deployment and full compliance with Ada RM
consistency rules.  By design, no less.

-- 
Ludovic Brenta.

  reply	other threads:[~2014-10-07 18:47 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-07-04 10:16 some questions on installing Ada on Linux Nasser M. Abbasi
2014-07-04 12:22 ` Simon Clubley
2014-07-04 15:49   ` Dan'l Miller
2014-07-04 16:30     ` Simon Wright
2014-07-04 17:08     ` Simon Clubley
2014-07-04 17:30       ` Simon Clubley
2014-07-04 17:40       ` Ludovic Brenta
2014-07-04 17:22 ` Ludovic Brenta
2014-10-07 13:43 ` brbarkstrom
2014-10-07 15:58   ` Simon Wright
2014-10-07 16:56 ` brbarkstrom
2014-10-07 18:47   ` Ludovic Brenta [this message]
2014-10-07 19:06 ` brbarkstrom
2014-10-07 19:13   ` Ludovic Brenta
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox