blob: ef77d4f235f9b5fca705d18a6dce4ad04b576ba6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=0
MY_P="${PN}-${PV:0:4}+dbg-${PV:5}"
DESCRIPTION="patched version of GNU make with improved error reporting, tracing and debugging"
HOMEPAGE="http://bashdb.sourceforge.net/remake/"
SRC_URI="mirror://sourceforge/bashdb/${MY_P}.tar.bz2"
LICENSE="GPL-1"
SLOT="0"
KEYWORDS="~amd64 ~ppc ~x86"
IUSE=""
S=${WORKDIR}/${MY_P}
src_install() {
emake install DESTDIR="${D}" || die "make install failed"
dodoc AUTHORS INSTALL NEWS README
# fix collide with the real make's info pages
rm -f "${D}"/usr/share/info/make.*
}
|
