summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq-mathcomp
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics/coq-mathcomp')
-rw-r--r--sci-mathematics/coq-mathcomp/Manifest3
-rw-r--r--sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild26
-rw-r--r--sci-mathematics/coq-mathcomp/metadata.xml14
3 files changed, 43 insertions, 0 deletions
diff --git a/sci-mathematics/coq-mathcomp/Manifest b/sci-mathematics/coq-mathcomp/Manifest
new file mode 100644
index 000000000000..4637b00c1a30
--- /dev/null
+++ b/sci-mathematics/coq-mathcomp/Manifest
@@ -0,0 +1,3 @@
+DIST coq-mathcomp-1.14.0.tar.gz 1352989 BLAKE2B 475ca9725a7868d592fc289223f468c6703cca1574d878568d7faaa2725fc204155320c915c75861d5f122acc0cf6aaad9f324656f9a7dae030d37fee93bec27 SHA512 49821492016e75fe32d22557b6b2de4bc0a3d924e2a38a13f2759aeb87095417a27e274737d0dcc01448899c3ebb50c284e9eb96fd1d4c22fb5d101dc6d290bf
+EBUILD coq-mathcomp-1.14.0.ebuild 604 BLAKE2B c40cb3f909d150fa3166e57d2f8a894086f6f17f0409b4626d223624cd53a77047e62c803067dd2dd245722f2d04d69f458e3a6037ebebaf5e7453e9bd6a0960 SHA512 c44bc20bcb101a506d1aedc264429b624f0e67e9a6908ad6ee7ad2eaa17f84406186dea2518675f68cbeff1cd5504421606c460872a4410c15aa3d66b4bc7bbf
+MISC metadata.xml 511 BLAKE2B 3936f96cbf938fb9de97b080566d7fdde222d7dd303ccf842c76e7bd113b31c05136aea043c354bbd2ac6d4f61e2cba4e738f9f325059d36b7bae4feaed1ae89 SHA512 af2a4cfded0990d95e0a4b77ba69aebea09dee075f9eb4023b14c4788cd4118a78b3b5a4349fed11fff347061ab4bf59a4c63c8f43b22f8513054f1b3817af2f
diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild
new file mode 100644
index 000000000000..2197f1aa5dd9
--- /dev/null
+++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild
@@ -0,0 +1,26 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+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-8.13.0:="
+DEPEND="${RDEPEND}"
+
+# > make jobserver unavailable
+src_compile() {
+ emake -j1
+}
+
+src_install() {
+ emake -j1 install DESTDIR="${D}"
+}
diff --git a/sci-mathematics/coq-mathcomp/metadata.xml b/sci-mathematics/coq-mathcomp/metadata.xml
new file mode 100644
index 000000000000..b379637e4ab6
--- /dev/null
+++ b/sci-mathematics/coq-mathcomp/metadata.xml
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+ <maintainer type="project">
+ <email>sci-mathematics@gentoo.org</email>
+ <name>Gentoo Mathematics Project</name>
+ </maintainer>
+ <upstream>
+ <changelog>https://github.com/math-comp/math-comp/releases/</changelog>
+ <bugs-to>https://github.com/math-comp/math-comp/issues/</bugs-to>
+ <remote-id type="github">math-comp/math-comp</remote-id>
+ </upstream>
+</pkgmetadata>