diff options
| author |   Heath Caldwell <hncaldwell@gentoo.org> | 2009-11-10 16:40:54 +0000 |
|---|---|---|
| committer | Heath Caldwell <hncaldwell@gentoo.org> | 2009-11-10 16:40:54 +0000 |
| commit | 8a00f96a51eb0552d88aa6a0f7bc18a1707ec86f (patch) | |
| tree | 1ad225f34f57162e2b937c2257452ea05cac27dd /dev-lang/mlton | |
| parent | Version bump, thanks to David Voge <davidvoge@gmail.com> (bug #292564) (diff) | |
| download | gentoo-2-8a00f96a51eb0552d88aa6a0f7bc18a1707ec86f.tar.gz gentoo-2-8a00f96a51eb0552d88aa6a0f7bc18a1707ec86f.tar.bz2 gentoo-2-8a00f96a51eb0552d88aa6a0f7bc18a1707ec86f.zip | |
Make man pages install to proper location. Fixes bug #292616.
(Portage version: 2.1.7.4/cvs/Linux x86_64)
Diffstat (limited to 'dev-lang/mlton')
| -rw-r--r-- | dev-lang/mlton/ChangeLog | 10 | ||||
| -rw-r--r-- | dev-lang/mlton/mlton-20070826-r1.ebuild (renamed from dev-lang/mlton/mlton-20070826.ebuild) | 13 |
2 files changed, 18 insertions, 5 deletions
diff --git a/dev-lang/mlton/ChangeLog b/dev-lang/mlton/ChangeLog index ecd671ba2d45..55e435d08edc 100644 --- a/dev-lang/mlton/ChangeLog +++ b/dev-lang/mlton/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for dev-lang/mlton -# Copyright 2000-2009 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/mlton/ChangeLog,v 1.9 2009/03/22 17:01:52 hkbst Exp $ +# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-lang/mlton/ChangeLog,v 1.10 2009/11/10 16:40:54 hncaldwell Exp $ + +*mlton-20070826-r1 (10 Nov 2009) + + 10 Nov 2009; Heath Caldwell <hncaldwell@gentoo.org> + -mlton-20070826.ebuild, +mlton-20070826-r1.ebuild: + Make man pages install to proper location. Fixes bug #292616. 22 Mar 2009; Marijn Schouten <hkBst@gentoo.org> -mlton-20040227.ebuild: rm old ebuild diff --git a/dev-lang/mlton/mlton-20070826.ebuild b/dev-lang/mlton/mlton-20070826-r1.ebuild index eb0b7e1aaef6..53b3a5b3e1b6 100644 --- a/dev-lang/mlton/mlton-20070826.ebuild +++ b/dev-lang/mlton/mlton-20070826-r1.ebuild @@ -1,6 +1,6 @@ -# Copyright 1999-2008 Gentoo Foundation +# Copyright 1999-2009 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/mlton/mlton-20070826.ebuild,v 1.2 2008/08/06 14:50:56 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-lang/mlton/mlton-20070826-r1.ebuild,v 1.1 2009/11/10 16:40:54 hncaldwell Exp $ inherit eutils @@ -27,6 +27,10 @@ src_compile() { if use !binary; then has_version dev-lang/mlton || die "emerge with binary use flag first" + # Fix location in which to install man pages + sed -i 's@^MAN_PREFIX_EXTRA :=.*@MAN_PREFIX_EXTRA := /share@' \ + Makefile || die 'sed Makefile failed' + # Does not support parallel make emake -j1 all-no-docs || die if use doc; then @@ -38,7 +42,10 @@ src_compile() { src_install() { if use binary; then - mv "${WORKDIR}/usr" "${D}" + # Fix location in which to install man pages + mv "${WORKDIR}/usr/man" "${WORKDIR}/usr/share" || die "mv man failed" + + mv "${WORKDIR}/usr" "${D}" || die "mv failed" else emake DESTDIR="${D}" install-no-docs || die if use doc; then emake DESTDIR="${D}" TDOC="${D}"/usr/share/doc/${P} install-docs || die; fi |