www.delorie.com/archives/browse.cgi   search  
Mail Archives: djgpp/2000/03/17/20:29:55

Date: Sat, 18 Mar 2000 05:18:51 +0600 (LKT)
From: Kalum Somaratna aka Grendel <kalum AT lintux DOT cx>
X-Sender: root AT darkstar DOT grendel DOT net
To: djgpp AT delorie DOT com
Subject: Re: precompiled headers and djgpp
In-Reply-To: <8atb8d$nma$1@antares.lu.erisoft.se>
Message-ID: <Pine.LNX.4.10.10003180514190.911-100000@darkstar.grendel.net>
MIME-Version: 1.0
Reply-To: djgpp AT delorie DOT com
Errors-To: dj-admin AT delorie DOT com
X-Mailing-List: djgpp AT delorie DOT com
X-Unsubscribes-To: listserv AT delorie DOT com

On 17 Mar 2000, Martin Stromberg wrote:

> Kalum Somaratna aka Grendel (kalum AT lintux DOT cx) wrote:
> : Actually it is the *compiler* which has to be able to handle prcompiled
> : headers. The compiler used by DJGPP is GCC which is developed by the folks
> : at the FSF <www.gnu.org>. So if GCC supported pre- compiled headers then
> : DJGPP would also automatically support precompiled headers.
> 
> : So the issue of adding  precompiled headers to GCC should be in the hands
> : of the guys at FSF not DJGPP. 
> 
> Not quite. In the free software world, nothing is done unless somebody
> does it (quite obvious). So why don't you add support for pre-compiled
> headers to GCC, instead of pointing the finger at FSF?

Well unfortunately I'm invovled in a project know. And besides there is
some guy who is already doing it (see the later posts). And I don't think
that adding pre compiled headers to GCC is something like writing one or
two source files ;-) So it is a bit too much IMHO asking any single guy to
write it. 

Here wait a minute, why don't you do it Martin, nothings preventing you.
If you can ask me to do it well I too can ask you to add support for
precompiled headers to gcc too ;-)
 
> 
> Right,

Wrong, as usual ;-)

> 
> 							MartinS

Grendel

Hi, I'm a signature virus. plz set me as your signature and help me spread
:)

- Raw text -


  webmaster     delorie software   privacy  
  Copyright © 2019   by DJ Delorie     Updated Jul 2019