diff options
author | Mikle Kolyada <zlogene@gentoo.org> | 2019-05-11 19:45:04 +0300 |
---|---|---|
committer | Mikle Kolyada <zlogene@gentoo.org> | 2019-05-11 19:45:04 +0300 |
commit | 3a16691021032350757d9585c586b6f87b77ac1e (patch) | |
tree | 5139a14bf94d4341e3820f1ce757d16fd7744346 /dev-lang/mozart-stdlib | |
parent | dev-lang/mozart-stdlib: mark stable (diff) | |
download | gentoo-3a16691021032350757d9585c586b6f87b77ac1e.tar.gz gentoo-3a16691021032350757d9585c586b6f87b77ac1e.tar.bz2 gentoo-3a16691021032350757d9585c586b6f87b77ac1e.zip |
dev-lang/mozart-stdlib: Drop old
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
Package-Manager: Portage-2.3.62, Repoman-2.3.11
Diffstat (limited to 'dev-lang/mozart-stdlib')
-rw-r--r-- | dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r1.ebuild | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r1.ebuild b/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r1.ebuild deleted file mode 100644 index 898c3bfdbede..000000000000 --- a/dev-lang/mozart-stdlib/mozart-stdlib-1.4.0-r1.ebuild +++ /dev/null @@ -1,40 +0,0 @@ -# Copyright 1999-2019 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI="2" - -inherit eutils - -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" -IUSE="" - -DEPEND="dev-lang/mozart" -RDEPEND="${DEPEND}" - -S="${WORKDIR}"/${MY_P} - -src_prepare() { - epatch "${FILESDIR}"/${P}-ozload.patch - epatch "${FILESDIR}"/${P}-docroot.patch -} - -src_install() { - emake \ - PREFIX="${D}"/usr/lib/mozart \ - DOCROOT="${D}"/usr/share/doc/${PF} \ - install || die "emake install failed" - - dosym /usr/lib/mozart/bin/ozmake /usr/bin/ozmake || die - - doman ozmake/ozmake.1 || die - docinto mozart-ozmake - dodoc ozmake/{DESIGN,NOTES,README} || die -} |