X-Authentication-Warning: delorie.com: mail set sender to djgpp-workers-bounces using -f
Date: Thu, 13 Jan 2005 22:39:12 +0200
From: "Eli Zaretskii" <eliz AT gnu DOT org>
Sender: halo1 AT zahav DOT net DOT il
To: djgpp-workers AT delorie DOT com
Message-ID: <01c4f9b0$Blat.v2.2.2$16036ca0@zahav.net.il>
Content-Transfer-Encoding: 7BIT
Content-Type: text/plain; charset=ISO-8859-1
X-Mailer: emacs 21.3.50 (via feedmail 8 I) and Blat ver 2.2.2
CC: bug-bison AT gnu DOT org
In-reply-to: <87fz15kzqw.fsf@penguin.cs.ucla.edu> (message from Paul Eggert on
	Thu, 13 Jan 2005 09:25:27 -0800)
Subject: Re: ANNOUNCE: port of alpha bison-2.0
References: <41E44BA6 DOT 16849 DOT 47FF9F7 AT localhost>
	<01c4f871$Blat.v2.2.2$89afa8c0 AT zahav DOT net DOT il>
	<87is62o3io DOT fsf AT penguin DOT cs DOT ucla DOT edu>
	<01c4f8e7$Blat.v2.2.2$7e7754a0 AT zahav DOT net DOT il>
	<87wtuitdu2 DOT fsf AT penguin DOT cs DOT ucla DOT edu>
	<200501122346 DOT j0CNkles013309 AT envy DOT delorie DOT com>
	<87k6qitc5m DOT fsf AT penguin DOT cs DOT ucla DOT edu>
	<01c4f92c$Blat.v2.2.2$03f54760 AT zahav DOT net DOT il>
	<87fz15kzqw DOT fsf AT penguin DOT cs DOT ucla DOT edu>
Reply-To: djgpp-workers AT delorie DOT com
Errors-To: nobody AT delorie DOT com
X-Mailing-List: djgpp-workers AT delorie DOT com
X-Unsubscribes-To: listserv AT delorie DOT com
Precedence: bulk

> Cc: djgpp-workers AT delorie DOT com, bug-bison AT gnu DOT org
> From: Paul Eggert <eggert AT CS DOT UCLA DOT EDU>
> Date: Thu, 13 Jan 2005 09:25:27 -0800
> 
> "Eli Zaretskii" <eliz AT gnu DOT org> writes:
> 
> > what is the machinery available to us to have config.h override the
> > default definition?
> 
> One possibility is for you to define a script in djgpp/* that will do
> the right thing.  For example, the script might append to config.h.

This is a bit ugly, but if there's no better way, it's doable.

> Or it might even replace "configure".

That would mean we will have to maintain a separate copy of the
configure script (currently, the DJGPP build uses the supplied
configure script, by applying small changes to it, see
djgpp/config.sed).