[gentoo-commits] repo/gentoo:master commit in: dev-lang/mozart-stdlib/

[Patrice Clement]

commit:     1607416ed0580c71878c25e28ad2c3814b1ac4bb
Author:     Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com>
AuthorDate: Wed Mar  6 18:57:28 2019 +0000
Commit:     Patrice Clement <monsieurp <AT> gentoo <DOT> org>
CommitDate: Tue Apr  9 22:21:24 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1607416e

dev-lang/mozart-stdlib: EAPI7, improve ebuild.

Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail.com>
Signed-off-by: Patrice Clement <monsieurp <AT> gentoo.org>

 .../mozart-stdlib/mozart-stdlib-1.4.0-r2.ebuild    | 35 ++++++++++++++++++++++
 1 file changed, 35 insertions(+)

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 00000000000..5ea3d580e6a
--- /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}
+}