bug-bison
[Top][All Lists]
Advanced

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

Re: Generated headers


From: Hans Åberg
Subject: Re: Generated headers
Date: Sat, 17 Mar 2018 22:50:48 +0100

> On 17 Mar 2018, at 22:24, Frank Heckenbach <address@hidden> wrote:
> 
> To answer my own question, I wrote:
> 
>> So, isn't there some way to rename those files, either based on the
>> bison source file name, or by a command-line option or directive, or
>> at least, if still hard coded, in a way that clearly marks them as
>> bison outputs, e.g. bison-generated-foo.hh?
> 
> Indeed, there was no way.
> 
> I made some changes (see attached patch) to make it possible to add
> a prefix to those headers with a directive like this:
> 
> %define extra_header_prefix {myparser-}

This seems good, in case would would want to use more than one parser. There 
are other possibilities, but that is for any future Bison developer to 
consider, I gather.






reply via email to

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