diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2019-03-06 19:57:28 +0100 |
|---|---|---|
| committer |   Patrice Clement <monsieurp@gentoo.org> | 2019-04-10 00:21:24 +0200 |
| commit | 1607416ed0580c71878c25e28ad2c3814b1ac4bb (patch) | |
| tree | 8a2a4de44d703b82f5e3b9aac7354f260182aed1 | |
| parent | dev-lang/mozart-stdlib: fix HOMEPAGE and SRC_URI. (diff) | |
| download | gentoo-1607416e.tar.gz gentoo-1607416e.tar.bz2 gentoo-1607416e.zip | |
dev-lang/mozart-stdlib: EAPI7, improve ebuild.
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
| -rw-r--r-- | dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild b/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild new file mode 100644 index 000000000000..5ea3d580e6ae --- /dev/null +++ b/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild @@ -0,0 +1,35 @@ +# Copyright 1999-2019 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +MY_P="mozart-${PV}.20080704-std" + +DESCRIPTION="The Mozart Standard Library" +HOMEPAGE="https://mozart.github.io/ https://github.com/mozart/mozart" +SRC_URI="mirror://sourceforge/project/mozart-oz/v1/1.4.0-2008-07-02-tar/${MY_P}.tar.gz" +LICENSE="Mozart" + +SLOT="0" +KEYWORDS="-amd64 ~ppc -ppc64 ~x86" + +DEPEND="dev-lang/mozart" +RDEPEND="${DEPEND}" + +S="${WORKDIR}"/${MY_P} + +PATCHES=( "${FILESDIR}"/${P}-ozload.patch + "${FILESDIR}"/${P}-docroot.patch ) + +src_install() { + emake \ + PREFIX="${D}"/usr/lib/mozart \ + DOCROOT="${D}"/usr/share/doc/${PF} \ + install + + dosym /usr/lib/mozart/bin/ozmake /usr/bin/ozmake + + doman ozmake/ozmake.1 + docinto mozart-ozmake + dodoc ozmake/{DESIGN,NOTES,README} +} |