diff options
Diffstat (limited to 'dev-lang')
-rw-r--r-- | dev-lang/maude/maude-2.5.0.ebuild | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/dev-lang/maude/maude-2.5.0.ebuild b/dev-lang/maude/maude-2.5.0.ebuild index b80b8825ba99..13c628d526a9 100644 --- a/dev-lang/maude/maude-2.5.0.ebuild +++ b/dev-lang/maude/maude-2.5.0.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2010 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/maude-2.5.0.ebuild,v 1.1 2010/06/23 14:24:31 jlec Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/maude-2.5.0.ebuild,v 1.2 2010/06/23 14:28:14 jlec Exp $ EAPI="3" @@ -36,6 +36,10 @@ src_prepare() { eautoreconf } +src_configure() { + econf --datadir="${EPREFIX}/usr/share/${PN}" +} + src_install() { make install DESTDIR="${D}" || die "make install failed" dodoc AUTHORS ChangeLog NEWS README |