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.
46 lines
853 B
46 lines
853 B
# Copyright 1999-2022 Gentoo Authors
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
|
|
EAPI=8
|
|
|
|
H=99d707bc3c600a9d6052a46a7c85f05b74c589a2
|
|
|
|
DESCRIPTION="Sample databases for Metamath"
|
|
HOMEPAGE="http://us.metamath.org/mpeuni/mmset.html"
|
|
|
|
if [[ "${PV}" == *9999* ]] ; then
|
|
inherit git-r3
|
|
EGIT_REPO_URI="https://github.com/metamath/set.mm.git"
|
|
else
|
|
SRC_URI="https://github.com/metamath/set.mm/archive/${H}.tar.gz
|
|
-> ${P}.tar.gz"
|
|
KEYWORDS="~amd64 ~x86"
|
|
S="${WORKDIR}"/set.mm-${H}
|
|
fi
|
|
|
|
LICENSE="CC0-1.0"
|
|
SLOT="0"
|
|
IUSE="doc"
|
|
|
|
RDEPEND="sci-mathematics/metamath"
|
|
|
|
DOCS=(
|
|
CONTRIBUTING.md README.md
|
|
discouraged iset-discouraged
|
|
mmnotes.txt
|
|
other-databases.md verifiers.md
|
|
)
|
|
|
|
src_install() {
|
|
insinto /usr/share/metamath
|
|
doins *.mm *.mmts
|
|
|
|
einstalldocs
|
|
|
|
if use doc ; then
|
|
docinto html
|
|
dodoc -r people
|
|
dodoc *.html *.svg
|
|
fi
|
|
}
|