[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: %name-prefix overrides --name-prefix?

From: Paul Eggert
Subject: Re: %name-prefix overrides --name-prefix?
Date: Sat, 09 Dec 2006 21:38:58 -0800
User-agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.4 (gnu/linux)

"Joel E. Denny" <address@hidden> writes:

> Although that logic makes sense to me, Bison doesn't follow it.  Instead, 
> for example, %name-prefix has precedence over --name-prefix.
> Which way should Bison behave?

In 'make', command-line FOO=bar has precedence over makefile FOO=bar.

In 'cc', command-line -DFOO=bar has equal precendence with source-file
"#define FOO bar"; that is, if both are specified then they must agree
or a diagnostic is generated.

In 'awk', command-line -v FOO=bar is executed before the
program (and thus las lower precedence than assignments to
FOO in the program), whereas command-line FOO=bar is executed
when it's come across.

So I don't see a clear precedent here.  Also, I don't sense
a strong preference on my own part.

So perhaps we should go the 'cc' route?  

reply via email to

[Prev in Thread] Current Thread [Next in Thread]