public inbox for gcc@gcc.gnu.org
 help / color / mirror / Atom feed
From: Zack Weinberg <zack@codesourcery.com>
To: Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
Cc: gcc@gcc.gnu.org
Subject: Re: Ada files now checked in
Date: Sat, 06 Oct 2001 21:17:00 -0000	[thread overview]
Message-ID: <20011006211707.E9432@codesourcery.com> (raw)
In-Reply-To: <10110070059.AA04527@vlsi1.ultra.nyu.edu>

I'm responding to all your mail at once.

On Sat, Oct 06, 2001 at 08:59:14PM -0400, Richard Kenner wrote:
>     It's my contention that the FSF tree needs to support a broader range
>     of situations than the ACT internal tree does.  
> 
> True, but that doesn't mean *every possible* situation.  There is no
> long-term reason why you would have a different driver name and there
> is no point in adding extra rules for such a transitory situation.

Vendor packaging will not change until well after the release of GCC
3.1.  I would estimate at least six months before they even consider
making it their default system compiler.  Therefore, the soonest that
there is likely to be a release of Linux or *BSD with "gcc" capable of
Ada is the end of 2002.  The soonest that it will be widespread enough
that we can even *consider* ignoring earlier configurations is 2004.

It is ridiculous to speak of a situation as "transitory" when its
duration is measured in years.

> "Wrong" or "right" isn't a meaningful term here.  The point is that
> neither FSF nor ACT has ever viewed this as a configuration that
> needs to be supported.

ACT may not have.  Given RMS's comments cited by Joseph, I am not
convinced the FSF agrees.  Please provide evidence for this statement.

>     This "short period" you refer to stretches from now until GCC >=3.1
>     (including Ada) is the default system compiler on every relevant
>     platform. 
>
> No, not at all.  Just until the *first time* gnat is build from a
> gnat1 and gnatbind.  Then you can just use what you built.  You
> don't have to wait for a release.

A system integrator packaging gnat will not be willing to do any such
thing.  They will, instead, create patches similar to the one I
submitted, so that they can build gnat without manual intervention
using the software they already have installed.

>     3. You have a complete gnat provided by your system integrator.
> 
> But there are few such.  The major one is SGI, and they call the
> driver "gcc".

Debian and Red Hat both call it "gnatgcc".  FreeBSD calls it "adagcc".
(NetBSD and OpenBSD don't seem to have native packages.)

ACT can pretend they don't exist.  We can't.

>     No.  I have either to do the manual procedure *every time I build the
>     compiler*, or I am not testing with the vendor-provided packages
>     anymore, and that is the whole point.
> 
> Why is that the "whole point"?  I often do "make install" and from then on
> use that compiler (both C and Ada) for my compilations.

It's the whole point because that most closely mimics what our users
do when they install GCC.  If I am not testing the same thing they
are, my tests do not provide any confidence in what will happen when
they do it.

> As Robert says, there is no assurance that any vendor-supplied GNAT can
> be used to bootstrap GNAT 5.0.  Perhaps the SGI-version can, but I'm not
> sure and don't particularly care.  That's what the gnat1 and gnatbind
> binaries will be for.

As I've said, if the existing packaged GNATs don't work, that is fine
by me.  What I object to is refusing to even let them try because they
happen not to have the official name.

zw

  reply	other threads:[~2001-10-06 21:17 UTC|newest]

Thread overview: 214+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-10-06 17:53 Richard Kenner
2001-10-06 21:17 ` Zack Weinberg [this message]
2001-10-06 23:57   ` Richard Henderson
  -- strict thread matches above, loose matches on Subject: below --
2001-10-15 18:35 dewar
2001-10-14  8:04 dewar
2001-10-14 14:12 ` Joern Rennecke
2001-10-14 15:01   ` Diego Novillo
2001-10-15  9:50     ` Joe Buck
2001-10-15 10:40       ` Diego Novillo
2001-10-15 11:00         ` Joe Buck
2001-10-15 11:22           ` Diego Novillo
2001-10-07  5:34 dewar
2001-10-07  7:19 ` Gabriel Dos Reis
2001-10-07 11:14 ` Zack Weinberg
2001-10-07  5:26 dewar
2001-10-07  5:17 dewar
2001-10-07  5:12 Richard Kenner
2001-10-07  5:08 dewar
2001-10-07  5:07 Richard Kenner
2001-10-07  5:06 dewar
2001-10-07  5:03 dewar
2001-10-07  5:11 ` Florian Weimer
2001-10-07  5:02 dewar
2001-10-07  5:16 ` Florian Weimer
2001-10-07  4:46 Richard Kenner
2001-10-07 22:21 ` Richard Henderson
2001-10-07  4:42 Richard Kenner
2001-10-06 18:26 dewar
2001-10-06 18:25 dewar
2001-10-07  0:38 ` Diego Novillo
2001-10-07  0:59   ` Zack Weinberg
2001-10-07 10:24     ` Diego Novillo
2001-10-07 11:05       ` Daniel Berlin
2001-10-07 11:29         ` Diego Novillo
2001-10-07 11:37           ` Daniel Berlin
2001-10-14  7:53       ` Joern Rennecke
2001-10-06 18:13 Richard Kenner
2001-10-06 18:07 Richard Kenner
2001-10-06 21:18 ` Zack Weinberg
2001-10-06 18:00 Richard Kenner
2001-10-06 17:57 Richard Kenner
2001-10-06 17:55 Richard Kenner
2001-10-06 17:51 Richard Kenner
2001-10-06 19:48 ` Zack Weinberg
2001-10-06 13:40 dewar
2001-10-06 13:50 ` Diego Novillo
2001-10-06 14:07   ` Florian Weimer
2001-10-06 14:16     ` Diego Novillo
2001-10-06 19:55       ` Zack Weinberg
2001-10-06 12:58 dewar
2001-10-06 12:56 dewar
2001-10-06 14:00 ` Florian Weimer
2001-10-06 20:50 ` Zack Weinberg
2001-10-06 12:41 dewar
2001-10-06 12:37 dewar
2001-10-06 12:50 ` Joseph S. Myers
2001-10-06 11:03 dewar
2001-10-06 10:53 dewar
2001-10-06 10:37 mike stump
2001-10-06 10:08 dewar
2001-10-06 10:47 ` Zack Weinberg
2001-10-06 10:05 dewar
2001-10-06 10:03 dewar
2001-10-06 10:26 ` Joseph S. Myers
2001-10-06 10:00 dewar
2001-10-06  9:59 dewar
2001-10-06 10:46 ` Florian Weimer
2001-10-06 10:54   ` Zack Weinberg
2001-10-06 13:09     ` Florian Weimer
2001-10-06  9:56 dewar
2001-10-06 10:49 ` Zack Weinberg
2001-10-06  9:41 dewar
2001-10-06  9:40 dewar
2001-10-06 10:02 ` Zack Weinberg
2001-10-06 13:39   ` Diego Novillo
2001-10-06 13:59     ` Joseph S. Myers
2001-10-06 14:10       ` Diego Novillo
2001-10-06  9:39 dewar
2001-10-06  9:57 ` Zack Weinberg
2001-10-06 12:17 ` Kevin Handy
2001-10-06 12:26   ` Joseph S. Myers
2001-10-06 12:49     ` Kevin Handy
2001-10-07 12:05     ` Toon Moene
2001-10-06 13:27   ` Florian Weimer
2001-10-06  9:37 dewar
2001-10-06  9:48 ` Zack Weinberg
2001-10-06 13:57   ` Mark Mitchell
2001-10-06 11:38 ` Russ Allbery
2001-10-06  9:35 dewar
2001-10-06  9:29 dewar
2001-10-06  9:18 dewar
2001-10-06  9:24 ` Daniel Jacobowitz
2001-10-06  9:31 ` Zack Weinberg
2001-10-06  9:16 dewar
2001-10-06  9:19 ` Daniel Jacobowitz
2001-10-06  9:30 ` Zack Weinberg
2001-10-06 10:03   ` Daniel Jacobowitz
2001-10-06  8:20 dewar
2001-10-06  8:19 dewar
2001-10-06  8:14 dewar
2001-10-06  8:10 dewar
2001-10-06  9:33 ` Zack Weinberg
2001-10-06  8:07 dewar
2001-10-06  9:46 ` Zack Weinberg
2001-10-06  4:20 Richard Kenner
2001-10-05 15:15 Richard Kenner
2001-10-05 15:14 Richard Kenner
2001-10-05 15:07 Richard Kenner
2001-10-05 15:05 Richard Kenner
2001-10-06 10:03 ` Zack Weinberg
2001-10-05 15:00 Richard Kenner
2001-10-06  9:55 ` Zack Weinberg
2001-10-06 12:13 ` Joseph S. Myers
2001-10-05  3:51 Richard Kenner
2001-10-04 21:10 dewar
2001-10-04 12:15 Richard Kenner
2001-10-04 12:31 ` Geert Bosch
2001-10-05 13:48   ` Zack Weinberg
2001-10-05 14:10     ` Geert Bosch
2001-10-05 14:16     ` Florian Weimer
2001-10-05 14:55       ` Florian Weimer
2001-10-05 15:06         ` Laurent Guerby
2001-10-05 15:15         ` Geert Bosch
2001-10-04 12:14 Richard Kenner
2001-10-04 12:19 ` Geert Bosch
2001-10-05 13:44   ` Zack Weinberg
2001-10-05 13:59     ` Geert Bosch
2001-10-05 14:23       ` Zack Weinberg
2001-10-05 14:55         ` Florian Weimer
2001-10-05 13:39 ` Zack Weinberg
2001-10-05 13:55   ` Geert Bosch
2001-10-05 14:16     ` Florian Weimer
2001-10-05 14:25       ` Zack Weinberg
2001-10-05 14:22     ` Zack Weinberg
2001-10-05 15:18       ` Geert Bosch
2001-10-06  9:38         ` Zack Weinberg
2001-10-06  3:27   ` Joseph S. Myers
2001-10-06  9:11   ` Daniel Jacobowitz
2001-10-04 11:18 Richard Kenner
2001-10-04 11:42 ` Zack Weinberg
2001-10-04 12:10   ` Geert Bosch
2001-10-05 13:48     ` Zack Weinberg
2001-10-05 14:27     ` Florian Weimer
2001-10-05 14:29       ` Geert Bosch
2001-10-04 11:55 ` Zack Weinberg
2001-10-06  4:17 ` Florian Weimer
2001-10-06 23:35   ` Richard Henderson
2001-10-04 10:26 Richard Kenner
2001-10-04 10:23 Richard Kenner
2001-10-04 11:09 ` Zack Weinberg
2001-10-04 10:16 dewar
2001-10-04  9:49 dewar
2001-10-04 10:16 ` Geert Bosch
2001-10-04  9:24 Richard Kenner
2001-10-04  9:59 ` Zack Weinberg
2001-10-04 10:20   ` Geert Bosch
2001-10-03  5:29 dewar
2001-10-02 21:33 dewar
2001-10-02 21:20 dewar
2001-10-02 20:42 dewar
2001-10-02 20:37 dewar
2001-10-02 19:19 mike stump
2001-10-02 18:44 Richard Kenner
2001-10-02 16:53 mike stump
2001-10-02 15:43 Richard Kenner
2001-10-02 14:23 Richard Kenner
2001-10-02 14:30 ` Laurent Guerby
2001-10-02 14:55 ` Laurent Guerby
2001-10-02 15:37   ` Laurent Guerby
2001-10-02 16:01     ` Joseph S. Myers
2001-10-02 16:04       ` Geert Bosch
2001-10-03  6:46     ` Florian Weimer
2001-10-02 15:46 ` Joseph S. Myers
2001-10-03  0:01   ` Laurent Guerby
2001-10-02 14:08 Richard Kenner
2001-10-02 13:42 Richard Kenner
2001-10-02 13:58 ` Laurent Guerby
2001-10-02 13:13 Richard Kenner
2001-10-02 13:33 ` Laurent Guerby
2001-10-02 13:46   ` Laurent Guerby
2001-10-02 14:03   ` Laurent Guerby
2001-10-02 14:19 ` Laurent Guerby
2001-10-02 12:38 Richard Kenner
2001-10-02 12:59 ` Joseph S. Myers
2001-10-02 19:22 ` Zack Weinberg
2001-10-02 19:47   ` Geert Bosch
2001-10-02 20:37     ` Zack Weinberg
2001-10-03  3:39       ` Joseph S. Myers
2001-10-03  4:39       ` Geert Bosch
2001-10-04  9:20         ` Zack Weinberg
2001-10-02 11:20 dewar
2001-10-02 11:16 Richard Kenner
2001-10-02 11:16 dewar
2001-10-02 10:51 Richard Kenner
2001-10-02 10:56 ` Geoff Keating
2001-10-02 14:01   ` Florian Weimer
2001-10-02 10:07 Richard Kenner
2001-10-02 10:42 ` Joseph S. Myers
2001-10-02 10:03 Richard Kenner
2001-10-02 12:31 ` Zack Weinberg
2001-10-02  9:49 Richard Kenner
2001-10-02 10:04 ` Joseph S. Myers
2001-10-02 10:46   ` Geoff Keating
2001-10-02  8:50 dewar
2001-10-02  8:10 Richard Kenner
2001-10-02  8:22 ` Gerald Pfeifer
2001-10-02  8:36   ` Gerald Pfeifer
2001-10-02  8:38   ` Geert Bosch
2001-10-02  8:46 ` Zack Weinberg
2001-10-02 12:05 ` Laurent Guerby
2001-10-02 13:09   ` Laurent Guerby
2001-10-02 17:24 ` Joseph S. Myers
2001-10-02 17:37 ` Joseph S. Myers
2001-10-02 18:56   ` Geert Bosch

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20011006211707.E9432@codesourcery.com \
    --to=zack@codesourcery.com \
    --cc=gcc@gcc.gnu.org \
    --cc=kenner@vlsi1.ultra.nyu.edu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).