Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 637004 - app-shell/bash: install headers and pkg-config file
Summary: app-shell/bash: install headers and pkg-config file
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo's Team for Core System packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-11-09 20:32 UTC by Christoph Junghans (RETIRED)
Modified: 2024-04-30 11:33 UTC (History)
1 user (show)

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


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Christoph Junghans (RETIRED) gentoo-dev 2017-11-09 20:32:43 UTC
Can we do something like:

diff --git a/app-shells/bash/bash-4.4_p12.ebuild b/app-shells/bash/bash-4.4_p12.ebuild
index d1139561d78..d2df7c8b4b0 100644
--- a/app-shells/bash/bash-4.4_p12.ebuild
+++ b/app-shells/bash/bash-4.4_p12.ebuild
@@ -175,6 +175,7 @@ src_install() {
        local d f

        default
+       emake install-headers DESTDIR="${D}"

        dodir /bin
        mv "${ED}"/usr/bin/bash "${ED}"/bin/ || die
@@ -207,8 +208,6 @@ src_install() {
        if use plugins ; then
                exeinto /usr/$(get_libdir)/bash
                doexe $(echo examples/loadables/*.o | sed 's:\.o::g')
-               insinto /usr/include/bash-plugins
-               doins *.h builtins/*.h include/*.h lib/{glob/glob.h,tilde/tilde.h}
        fi

        if use examples ; then