Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 629674 - dev-util/ragel installs config.h and several generic headers in /usr/include
Summary: dev-util/ragel installs config.h and several generic headers in /usr/include
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal major (vote)
Assignee: Luca Barbato
URL:
Whiteboard:
Keywords:
: 626156 (view as bug list)
Depends on:
Blocks:
 
Reported: 2017-09-02 16:06 UTC by Mike Gilbert
Modified: 2017-12-24 22:32 UTC (History)
3 users (show)

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Mike Gilbert gentoo-dev 2017-09-02 16:06:17 UTC 
config.h should never be installed; it is bound to cause issues with various other autoconf based packages.

The rest of the headers should probably be moved to a namespaced directory under /usr/include.
Comment 1 Mike Gilbert gentoo-dev 2017-09-02 16:07:02 UTC 
It looks like this first started happening with ragel-7.x; previous versions did not install any headers.
Comment 2 Mike Gilbert gentoo-dev 2017-09-02 16:45:05 UTC 
I think this has been resolved upstream.

commit 927f380272442ae803fdccfc001b55877f25e7dc
Author: Adrian Thurston <thurston@colm.net>
Date:   Sat Dec 10 15:41:30 2016 -0500

    use pkginclude for the headers

 aapl/Makefile.am | 2 +-
 src/Makefile.am  | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)
Comment 3 Jouni Kosonen 2017-09-02 17:34:43 UTC 
(In reply to Mike Gilbert from comment #2)
> I think this has been resolved upstream.

Applying that patch by hand in src_prepare does move the installed header files under /usr/include/ragel/ as hoped for.
Comment 4 Matthias Maier gentoo-dev 2017-12-23 05:55:22 UTC 
*** Bug 626156 has been marked as a duplicate of this bug. ***
Comment 5 Mike Gilbert gentoo-dev 2017-12-24 22:32:52 UTC 
commit 3da0e31d7df42c829b18f46d9a073de8a1188d9b
Author: Luca Barbato <lu_zero@gentoo.org>
Date:   Sat Dec 23 02:40:24 2017 +0000

    dev-util/ragel: Fix the include path

    Address bug #642016.

    Package-Manager: Portage-2.3.19, Repoman-2.3.6