mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-06 02:17:34 -08:00
29 lines
687 B
Bash
29 lines
687 B
Bash
# Copyright 1999-2025 Gentoo Authors
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
|
|
EAPI=8
|
|
|
|
COQ_MIN_V="8.16.0"
|
|
COQ_MAX_V="8.21.0"
|
|
|
|
DESCRIPTION="Mathematical Components for the Coq proof assistant"
|
|
HOMEPAGE="https://github.com/math-comp/math-comp/"
|
|
SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz
|
|
-> ${P}.tar.gz"
|
|
S="${WORKDIR}/math-comp-mathcomp-${PV}/mathcomp"
|
|
|
|
LICENSE="CeCILL-B"
|
|
SLOT="0/${PV}"
|
|
KEYWORDS="~amd64"
|
|
|
|
RDEPEND="
|
|
>=sci-mathematics/coq-${COQ_MIN_V}:= <sci-mathematics/coq-${COQ_MAX_V}:=
|
|
dev-lang/ocaml:=
|
|
"
|
|
DEPEND="
|
|
${RDEPEND}
|
|
"
|
|
|
|
# Do not complain about CFLAGS etc since ML projects do not use them.
|
|
QA_FLAGS_IGNORED='.*'
|