mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-06 02:17:34 -08:00
2c473cc94c
install the .sh version so we don't have to go through the dynamic selector code Signed-off-by: Fabian Groffen <grobian@gentoo.org>
46 lines
1014 B
Bash
46 lines
1014 B
Bash
# Copyright 1999-2022 Gentoo Authors
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
|
|
EAPI=8
|
|
|
|
inherit git-r3
|
|
|
|
DESCRIPTION="Gnulib is a library of common routines intended to be shared at the source level"
|
|
HOMEPAGE="https://www.gnu.org/software/gnulib"
|
|
|
|
EGIT_REPO_URI="https://git.savannah.gnu.org/r/${PN}.git"
|
|
LICENSE="GPL-3+ LGPL-2.1+ FDL-1.3+"
|
|
SLOT="0"
|
|
KEYWORDS=""
|
|
IUSE="doc"
|
|
|
|
src_compile() {
|
|
if use doc; then
|
|
emake -C doc info html
|
|
fi
|
|
}
|
|
|
|
src_install() {
|
|
dodoc README ChangeLog
|
|
|
|
insinto /usr/share/${PN}
|
|
doins -r build-aux
|
|
doins -r doc
|
|
doins -r lib
|
|
doins -r m4
|
|
doins -r modules
|
|
doins -r tests
|
|
doins -r top
|
|
|
|
# install the real script
|
|
exeinto /usr/share/${PN}
|
|
doexe gnulib-tool.sh
|
|
|
|
# we cannot use the .py impl because it python-exec badly interacts,
|
|
# so we drop it, and force the .sh version; it's not that it matters
|
|
# a whole lot, since this is supposed to be run occasionally
|
|
|
|
# create and install the wrapper
|
|
dosym ../share/${PN}/gnulib-tool.sh /usr/bin/gnulib-tool
|
|
}
|