| # Copyright 1999-2013 Gentoo Foundation |
| # Distributed under the terms of the GNU General Public License v2 |
| # $Id$ |
| |
| EAPI="4" |
| |
| MY_P="${PN}-${PV:0:4}+dbg${PV:5}" |
| |
| DESCRIPTION="patched version of GNU make that adds improved error reporting, tracing, and a debugger" |
| HOMEPAGE="http://bashdb.sourceforge.net/remake/" |
| SRC_URI="mirror://sourceforge/bashdb/${MY_P}.tar.bz2" |
| |
| LICENSE="GPL-1" |
| SLOT="0" |
| KEYWORDS="amd64 ~hppa ppc x86" |
| IUSE="readline" |
| |
| RDEPEND="readline? ( sys-libs/readline )" |
| DEPEND="${RDEPEND}" |
| |
| S=${WORKDIR}/${MY_P} |
| |
| src_install() { |
| default |
| # fix collide with the real make's info pages |
| rm -f "${D}"/usr/share/info/make.* |
| } |
