> On 17 Mar 2018, at 22:24, Frank Heckenbach <f.heckenb...@fh-soft.de> 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.
