coq-mathcomp-1.16.0-r1.ebuild
Загрузить (627 байта)
# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 COQ_MIN_V=8.16.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}:= dev-lang/ocaml:= " DEPEND="${RDEPEND}" # Do not complain about CFLAGS etc since ML projects do not use them. QA_FLAGS_IGNORED='.*' | ||