[patch #9617] extra_header_prefix to avoid name clashes in generated headers

[Frank Heckenbach]

URL:
  <http://savannah.gnu.org/patch/?9617>

                 Summary: extra_header_prefix to avoid name clashes in
generated headers
                 Project: bison
            Submitted by: frank
            Submitted on: Sat 14 Apr 2018 05:32:15 AM UTC
                Category: None
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
             Assigned to: None
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

Bugfix as posted in:

http://lists.gnu.org/archive/html/bug-bison/2018-03/msg00058.html

Fixes the following bug:

when using "%defines" or "--defines", bison generates the normal C++ file, the
header (whose name can be set with "--defines") and 3 more files, position.hh,
location.hh and stack.hh whose names apparently cannot be changed. [This may
cause] an actual conflict if using multiple parsers with different namespaces.



    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Sat 14 Apr 2018 05:32:15 AM UTC  Name: extra_header_prefix.patch  Size:
3KiB   By: frank

<http://savannah.gnu.org/patch/download.php?file_id=43923>

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/patch/?9617>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/