[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.