You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
36 lines
800 B
36 lines
800 B
# 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}
|
|
}
|