* [gentoo-commits] repo/gentoo:master commit in: dev-ml/coq-menhirlib/
@ 2022-12-23 22:46 Maciej Barć
0 siblings, 0 replies; 3+ messages in thread
From: Maciej Barć @ 2022-12-23 22:46 UTC (permalink / raw
To: gentoo-commits
commit: d9fe66b2052fae9473fa7abc1a00b338b63d8e00
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Dec 23 22:35:13 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Dec 23 22:35:13 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d9fe66b2
dev-ml/coq-menhirlib: new package; add 20220210
Closes: https://bugs.gentoo.org/888075
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-ml/coq-menhirlib/Manifest | 1 +
dev-ml/coq-menhirlib/coq-menhirlib-20220210.ebuild | 34 ++++++++++++++++++++++
dev-ml/coq-menhirlib/metadata.xml | 8 +++++
3 files changed, 43 insertions(+)
diff --git a/dev-ml/coq-menhirlib/Manifest b/dev-ml/coq-menhirlib/Manifest
new file mode 100644
index 000000000000..f8257d7817bc
--- /dev/null
+++ b/dev-ml/coq-menhirlib/Manifest
@@ -0,0 +1 @@
+DIST menhir-20220210.tar.bz2 1160357 BLAKE2B a9401b50db4dfdfe56c5c10919d4d385cbb7bf27d1518932e55d6757c08989407cda17c65f72d20e21738618e4f97f20b10098c9185f3882b3391aab7f9f8bc9 SHA512 8a852e995cab57b16adc1b7708d3acdf5f8b65d13dbf907a4155ff45d71dccc65868fe369590b48a3f06d8319f74777ce2e9be05caa9dbe060c0ae3a2b37943f
diff --git a/dev-ml/coq-menhirlib/coq-menhirlib-20220210.ebuild b/dev-ml/coq-menhirlib/coq-menhirlib-20220210.ebuild
new file mode 100644
index 000000000000..f0f543ec6276
--- /dev/null
+++ b/dev-ml/coq-menhirlib/coq-menhirlib-20220210.ebuild
@@ -0,0 +1,34 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="A support library for verified Coq parsers produced by Menhir"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="https://gitlab.inria.fr/fpottier/menhir/-/archive/${PV}/menhir-${PV}.tar.bz2"
+S="${WORKDIR}"/menhir-${PV}
+
+LICENSE="GPL-2 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
+
+RDEPEND="
+ >=dev-ml/menhir-${PV}:=
+ sci-mathematics/coq:=
+"
+DEPEND="${RDEPEND}"
+
+src_compile() {
+ emake -C ${PN}
+ dune build @install --profile release -p ${PN} || die
+}
+
+src_install() {
+ emake -C ${PN} DESTDIR="${D}" install
+ dune_src_install ${PN}
+
+ dodoc ${PN}/CHANGES.md ${PN}/README.md
+}
diff --git a/dev-ml/coq-menhirlib/metadata.xml b/dev-ml/coq-menhirlib/metadata.xml
new file mode 100644
index 000000000000..ff5a0cd1ae3d
--- /dev/null
+++ b/dev-ml/coq-menhirlib/metadata.xml
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
+</pkgmetadata>
^ permalink raw reply related [flat|nested] 3+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/coq-menhirlib/
@ 2024-08-01 13:07 Maciej Barć
0 siblings, 0 replies; 3+ messages in thread
From: Maciej Barć @ 2024-08-01 13:07 UTC (permalink / raw
To: gentoo-commits
commit: 07287b99b166a8b660cfadf84a51e7336b66537d
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Aug 1 11:21:02 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Aug 1 13:07:42 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=07287b99
dev-ml/coq-menhirlib: bump to 20231231
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-ml/coq-menhirlib/Manifest | 1 +
dev-ml/coq-menhirlib/coq-menhirlib-20231231.ebuild | 44 ++++++++++++++++++++++
2 files changed, 45 insertions(+)
diff --git a/dev-ml/coq-menhirlib/Manifest b/dev-ml/coq-menhirlib/Manifest
index f8257d7817bc..0b5871c9537f 100644
--- a/dev-ml/coq-menhirlib/Manifest
+++ b/dev-ml/coq-menhirlib/Manifest
@@ -1 +1,2 @@
DIST menhir-20220210.tar.bz2 1160357 BLAKE2B a9401b50db4dfdfe56c5c10919d4d385cbb7bf27d1518932e55d6757c08989407cda17c65f72d20e21738618e4f97f20b10098c9185f3882b3391aab7f9f8bc9 SHA512 8a852e995cab57b16adc1b7708d3acdf5f8b65d13dbf907a4155ff45d71dccc65868fe369590b48a3f06d8319f74777ce2e9be05caa9dbe060c0ae3a2b37943f
+DIST menhir-20231231.tar.bz2 1245465 BLAKE2B 4ac27f693c9b0f34cf6f9c60343cba6c81cc5b4dc278df4da5c16de8484438238efc6e3e985b9f03676f72cc74a0153ea81fd93d057dd2914b86fe1f558d1f9f SHA512 6bcc3d32b9085e407d7ed7abc87bbbb7dcde52da7f5f343cbcf136df4aa2a9b640a94c3b809a125773d186d03bf9b806f9430dbc4a39ded7dd8ef685b1b1a65d
diff --git a/dev-ml/coq-menhirlib/coq-menhirlib-20231231.ebuild b/dev-ml/coq-menhirlib/coq-menhirlib-20231231.ebuild
new file mode 100644
index 000000000000..dbad929b5119
--- /dev/null
+++ b/dev-ml/coq-menhirlib/coq-menhirlib-20231231.ebuild
@@ -0,0 +1,44 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="A support library for verified Coq parsers produced by Menhir"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+
+if [[ "${PV}" == *9999* ]] ; then
+ inherit git-r3
+
+ EGIT_REPO_URI="https://gitlab.inria.fr/fpottier/menhir.git"
+else
+ SRC_URI="https://gitlab.inria.fr/fpottier/menhir/-/archive/${PV}/menhir-${PV}.tar.bz2"
+ S="${WORKDIR}/menhir-${PV}"
+
+ KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="GPL-2 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+IUSE="+ocamlopt"
+
+RDEPEND="
+ >=dev-ml/menhir-${PV}:=
+ sci-mathematics/coq:=
+"
+DEPEND="
+ ${RDEPEND}
+"
+
+src_compile() {
+ emake -C "${PN}"
+ edune build @install --profile release -p "${PN}" || die
+}
+
+src_install() {
+ emake -C "${PN}" DESTDIR="${D}" install
+ dune_src_install
+
+ dodoc "${PN}/CHANGES.md" "${PN}/README.md"
+}
^ permalink raw reply related [flat|nested] 3+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/coq-menhirlib/
@ 2024-11-19 19:59 Maciej Barć
0 siblings, 0 replies; 3+ messages in thread
From: Maciej Barć @ 2024-11-19 19:59 UTC (permalink / raw
To: gentoo-commits
commit: 6463bc79f49c4f73f648fb510a867faec74c5e0e
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Nov 19 19:47:00 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Nov 19 19:52:08 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6463bc79
dev-ml/coq-menhirlib: drop old 20231231-r1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-ml/coq-menhirlib/Manifest | 1 -
.../coq-menhirlib/coq-menhirlib-20231231-r1.ebuild | 44 ----------------------
2 files changed, 45 deletions(-)
diff --git a/dev-ml/coq-menhirlib/Manifest b/dev-ml/coq-menhirlib/Manifest
index 9d973d98196d..63133d2a85ce 100644
--- a/dev-ml/coq-menhirlib/Manifest
+++ b/dev-ml/coq-menhirlib/Manifest
@@ -1,2 +1 @@
-DIST menhir-20231231.tar.bz2 1245465 BLAKE2B 4ac27f693c9b0f34cf6f9c60343cba6c81cc5b4dc278df4da5c16de8484438238efc6e3e985b9f03676f72cc74a0153ea81fd93d057dd2914b86fe1f558d1f9f SHA512 6bcc3d32b9085e407d7ed7abc87bbbb7dcde52da7f5f343cbcf136df4aa2a9b640a94c3b809a125773d186d03bf9b806f9430dbc4a39ded7dd8ef685b1b1a65d
DIST menhir-20240715.tar.bz2 1245971 BLAKE2B b5f1a1fb234dd53e1d3f77b095e2721f8d2af354a3aa36da2b993dc9f699767bb7c98aae13316ff3405b8bcf80f9ba3addc824ace59f5548613f0f93d105adf7 SHA512 b18da35517702dbdab0d9f5819ad711f61f2ed13ec9e51db71b92fa2d6604cbf28aa6d684c36a41364324694ebbc5dc6aaed4dbb3779c14b399e49ded6fd5db6
diff --git a/dev-ml/coq-menhirlib/coq-menhirlib-20231231-r1.ebuild b/dev-ml/coq-menhirlib/coq-menhirlib-20231231-r1.ebuild
deleted file mode 100644
index c4426fec14fc..000000000000
--- a/dev-ml/coq-menhirlib/coq-menhirlib-20231231-r1.ebuild
+++ /dev/null
@@ -1,44 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="A support library for verified Coq parsers produced by Menhir"
-HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
-
-if [[ "${PV}" == *9999* ]] ; then
- inherit git-r3
-
- EGIT_REPO_URI="https://gitlab.inria.fr/fpottier/menhir.git"
-else
- SRC_URI="https://gitlab.inria.fr/fpottier/menhir/-/archive/${PV}/menhir-${PV}.tar.bz2"
- S="${WORKDIR}/menhir-${PV}"
-
- KEYWORDS="~amd64 ~x86"
-fi
-
-LICENSE="GPL-2 LGPL-2-with-linking-exception"
-SLOT="0/${PV}"
-IUSE="+ocamlopt"
-
-RDEPEND="
- <sci-mathematics/coq-8.20.0:=
- >=dev-ml/menhir-${PV}:=
-"
-DEPEND="
- ${RDEPEND}
-"
-
-src_compile() {
- emake -C "${PN}"
- edune build @install --profile release -p "${PN}" || die
-}
-
-src_install() {
- emake -C "${PN}" DESTDIR="${D}" install
- dune_src_install
-
- dodoc "${PN}/CHANGES.md" "${PN}/README.md"
-}
^ permalink raw reply related [flat|nested] 3+ messages in thread
end of thread, other threads:[~2024-11-19 20:00 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-11-19 19:59 [gentoo-commits] repo/gentoo:master commit in: dev-ml/coq-menhirlib/ Maciej Barć
-- strict thread matches above, loose matches on Subject: below --
2024-08-01 13:07 Maciej Barć
2022-12-23 22:46 Maciej Barć
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox