[gentoo-commits] repo/proj/guru:dev commit in: dev-util/coq-lsp/

[gentoo-commits] repo/proj/guru:dev commit in: dev-util/coq-lsp/

[Hiroki Tokunaga]

commit:     878c7516f5dab76f7aff52d2699219720944c887
Author:     Hiroki Tokunaga <tokusan441 <AT> gmail <DOT> com>
AuthorDate: Tue Jul 16 03:11:05 2024 +0000
Commit:     Hiroki Tokunaga <tokusan441 <AT> gmail <DOT> com>
CommitDate: Tue Jul 16 03:11:12 2024 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=878c7516

dev-util/coq-lsp: new package, add 0.1.9

Signed-off-by: Hiroki Tokunaga <tokusan441 <AT> gmail.com>

 dev-util/coq-lsp/Manifest             |  1 +
 dev-util/coq-lsp/coq-lsp-0.1.9.ebuild | 48 +++++++++++++++++++++++++++++++++++
 dev-util/coq-lsp/metadata.xml         | 12 +++++++++
 3 files changed, 61 insertions(+)

diff --git a/dev-util/coq-lsp/Manifest b/dev-util/coq-lsp/Manifest
new file mode 100644
index 000000000..e51544e36
--- /dev/null
+++ b/dev-util/coq-lsp/Manifest
@@ -0,0 +1 @@
+DIST coq-lsp-0.1.9.tar.gz 25388271 BLAKE2B 8f1e49bdadfd792b96fda835b906e3b0d72f29eedaa3d4ef3825b1e92de03de2ec451c355adbc5d73a795173119761392cbfba8e9caf3d0de1035b2b3ddce942 SHA512 d452ae4598204abe8366fb72478e1d554e2a8de03a3ecc471392355a63c4992f41d891ef33cb913b52adba098d470121122d9fae85456eb8ce81204278ae5e18

diff --git a/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild b/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild
new file mode 100644
index 000000000..91ed69240
--- /dev/null
+++ b/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild
@@ -0,0 +1,48 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+COQ_MIN_V=8.19
+COQ_MAX_V=8.20
+
+DESCRIPTION="Visual Studio Code Extension and Language Server Protocol for Coq"
+HOMEPAGE="https://github.com/ejgallego/coq-lsp"
+SRC_URI="https://github.com/ejgallego/coq-lsp/archive/${PV}+${COQ_MIN_V}.tar.gz -> ${P}.tar.gz"
+
+S="${WORKDIR}/${P}-${COQ_MIN_V}"
+
+LICENSE="LGPL-2.1"
+
+SLOT="0"
+
+KEYWORDS="~amd64"
+IUSE="ocamlopt test"
+
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+	>=sci-mathematics/coq-${COQ_MIN_V}.0:= <sci-mathematics/coq-${COQ_MAX_V}.0:=
+	sci-mathematics/coq-serapi:=
+
+	dev-ml/cmdliner:=
+	dev-ml/yojson:=
+	dev-ml/uri:=
+	dev-ml/dune-build-info:=
+
+	dev-ml/menhir:=
+
+	dev-ml/ppx_inline_test:=
+"
+
+DEPEND="
+	${RDEPEND}
+"
+
+BEPEND="
+	test? (
+		dev-ml/alcotest:=
+	)
+"

diff --git a/dev-util/coq-lsp/metadata.xml b/dev-util/coq-lsp/metadata.xml
new file mode 100644
index 000000000..be9429698
--- /dev/null
+++ b/dev-util/coq-lsp/metadata.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<maintainer type="person">
+		<email>tokusan441@gmail.com</email>
+		<name>Hiroki Tokunaga</name>
+	</maintainer>
+	<upstream>
+		<bugs-to>https://github.com/ejgallego/coq-lsp/issues</bugs-to>
+		<remote-id type="github">ejgallego/coq-lsp</remote-id>
+	</upstream>
+</pkgmetadata>

[gentoo-commits] repo/proj/guru:dev commit in: dev-util/coq-lsp/

[Hiroki Tokunaga]

commit:     07b42b34909b56e2f70569c4e9e62a69dae9c39d
Author:     Hiroki Tokunaga <tokusan441 <AT> gmail <DOT> com>
AuthorDate: Mon Jul 22 09:24:31 2024 +0000
Commit:     Hiroki Tokunaga <tokusan441 <AT> gmail <DOT> com>
CommitDate: Mon Jul 22 09:24:31 2024 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=07b42b34

dev-util/coq-lsp: Use `*` to specify the deps version

Signed-off-by: Hiroki Tokunaga <tokusan441 <AT> gmail.com>

 dev-util/coq-lsp/coq-lsp-0.1.9.ebuild | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild b/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild
index 91ed69240..fe157ddf8 100644
--- a/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild
+++ b/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild
@@ -5,14 +5,13 @@ EAPI=8
 
 inherit dune
 
-COQ_MIN_V=8.19
-COQ_MAX_V=8.20
+COQ_V=8.19
 
 DESCRIPTION="Visual Studio Code Extension and Language Server Protocol for Coq"
 HOMEPAGE="https://github.com/ejgallego/coq-lsp"
-SRC_URI="https://github.com/ejgallego/coq-lsp/archive/${PV}+${COQ_MIN_V}.tar.gz -> ${P}.tar.gz"
+SRC_URI="https://github.com/ejgallego/coq-lsp/archive/${PV}+${COQ_V}.tar.gz -> ${P}.tar.gz"
 
-S="${WORKDIR}/${P}-${COQ_MIN_V}"
+S="${WORKDIR}/${P}-${COQ_V}"
 
 LICENSE="LGPL-2.1"
 
@@ -24,7 +23,7 @@ IUSE="ocamlopt test"
 RESTRICT="!test? ( test )"
 
 RDEPEND="
-	>=sci-mathematics/coq-${COQ_MIN_V}.0:= <sci-mathematics/coq-${COQ_MAX_V}.0:=
+	=sci-mathematics/coq-${COQ_V}*:=
 	sci-mathematics/coq-serapi:=
 
 	dev-ml/cmdliner:=