[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/, sci-mathematics/coq-serapi/files/

2024-03-04 Thread Maciej Barć 
commit: 01872ba01f3aaefe3e951ebaedeaa3364db42ae0
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Mar  4 18:54:26 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Mar  4 21:56:45 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=01872ba0

sci-mathematics/coq-serapi: drop old 0.18.1

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/Manifest|  1 -
 .../coq-serapi/coq-serapi-0.18.1.ebuild| 72 --
 .../files/coq-serapi-sertop.el-path.patch  | 12 
 3 files changed, 85 deletions(-)

diff --git a/sci-mathematics/coq-serapi/Manifest 
b/sci-mathematics/coq-serapi/Manifest
index 9329b3bb17ba..11247d765a45 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,2 +1 @@
-DIST coq-serapi-0.18.1.tar.gz 275040 BLAKE2B 
9224505da004ff54c3d21c394e6049b5e15b91c3531cd0d80aae89ee6ce9e92bb626a43fdef8fad58fea4d017b3ed3f13d5d1735e7cfc1ae3bcebed2c70ce332
 SHA512 
a8eca10734a5b1aa5c6a890998f18d673050ca1e975b5e88643176bfd627b4c0d05cf0be1b75ccfd155b9e74f357ee61bf8225fd144b6a624a3bdd359396428c
 DIST coq-serapi-0.19.0.tar.gz 180779 BLAKE2B 
27083a851139e983158b4cb251d37971d0eec61dd91303a0d09512e690c56a75624dab8c5120eebaed1e7bb168d0b2b889d538854812506c4d0a804f7bee7423
 SHA512 
e01706beb957315011682f2f74448e66c7a8a077418eeaf7d3fa21414bdf88950b75adbfe2392656e4d6036ce6585d4d53b1dadfd8379249b2943ea389c9c83e

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.18.1.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.18.1.ebuild
deleted file mode 100644
index c98dfba0d296..
--- a/sci-mathematics/coq-serapi/coq-serapi-0.18.1.ebuild
+++ /dev/null
@@ -1,72 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COQ_MIN_V=8.18.0
-COQ_MAX_V=8.19.0
-
-inherit elisp-common dune
-
-DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
-HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
-
-# The tarball in SRC_URI is comprised of +
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz
-   -> ${P}.tar.gz"
-S="${WORKDIR}/${PN}-${COQ_MIN_V}-${PV}"
-
-LICENSE="GPL-3+"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="emacs +ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-   >=sci-mathematics/coq-${COQ_MIN_V}:= =dev-ml/ppx_sexp_conv-0.13.0:=
-   dev-ml/cmdliner:=
-   dev-ml/ppx_compare:=
-   dev-ml/ppx_deriving:=
-   dev-ml/ppx_deriving_yojson:=
-   dev-ml/ppx_hash:=
-   dev-ml/ppx_import:=
-   dev-ml/sexplib:=
-   dev-ml/yojson:=
-"
-DEPEND="
-   ${RDEPEND}
-"
-BDEPEND="
-   emacs? ( >=app-editors/emacs-23.1:* )
-   test? ( sci-mathematics/coq-mathcomp )
-"
-
-SITEFILE="50sertop-gentoo.el"
-
-PATCHES=( "${FILESDIR}/${PN}-sertop.el-path.patch" )
-
-src_compile() {
-   dune_src_compile
-
-   use emacs && elisp-compile sertop.el
-}
-
-src_install() {
-   dune_src_install
-
-   rm -r "${ED}/usr/share/emacs" || die
-
-   if use emacs ; then
-   elisp-install "${PN}" sertop.el{,c}
-   elisp-site-file-install "${FILESDIR}/${SITEFILE}"
-   fi
-}
-
-pkg_postinst() {
-   use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
-   use emacs && elisp-site-regen
-}

diff --git a/sci-mathematics/coq-serapi/files/coq-serapi-sertop.el-path.patch 
b/sci-mathematics/coq-serapi/files/coq-serapi-sertop.el-path.patch
deleted file mode 100644
index 628ed22a64ff..
--- a/sci-mathematics/coq-serapi/files/coq-serapi-sertop.el-path.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-index 300a22f..63f7dcc 100644
 a/sertop.el
-+++ b/sertop.el
-@@ -37,7 +37,7 @@
-(buffer-file-name
- 
- (defvar sertop-executable-path
--  (or (expand-file-name "sertop.native" sertop--root)
-+  (or (executable-find "sertop.native")
-   (executable-find "sertop"))
-   "Path to sertop.")
-

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/files/, sci-mathematics/coq-serapi/

2024-02-05 Thread Maciej Barć 
commit: f341ccb06a0a80151bb81e544986d4c7e42e3625
Author: Maciej Barć  gentoo  org>
AuthorDate: Sun Feb  4 19:29:32 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Feb  5 11:28:31 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f341ccb0

sci-mathematics/coq-serapi: bump to 0.19.0

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/Manifest|  1 +
 .../coq-serapi/coq-serapi-0.19.0.ebuild| 76 ++
 .../files/coq-serapi-0.19.0-sertop-el.patch| 11 
 3 files changed, 88 insertions(+)

diff --git a/sci-mathematics/coq-serapi/Manifest 
b/sci-mathematics/coq-serapi/Manifest
index 31b560b4f01e..9329b3bb17ba 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1 +1,2 @@
 DIST coq-serapi-0.18.1.tar.gz 275040 BLAKE2B 
9224505da004ff54c3d21c394e6049b5e15b91c3531cd0d80aae89ee6ce9e92bb626a43fdef8fad58fea4d017b3ed3f13d5d1735e7cfc1ae3bcebed2c70ce332
 SHA512 
a8eca10734a5b1aa5c6a890998f18d673050ca1e975b5e88643176bfd627b4c0d05cf0be1b75ccfd155b9e74f357ee61bf8225fd144b6a624a3bdd359396428c
+DIST coq-serapi-0.19.0.tar.gz 180779 BLAKE2B 
27083a851139e983158b4cb251d37971d0eec61dd91303a0d09512e690c56a75624dab8c5120eebaed1e7bb168d0b2b889d538854812506c4d0a804f7bee7423
 SHA512 
e01706beb957315011682f2f74448e66c7a8a077418eeaf7d3fa21414bdf88950b75adbfe2392656e4d6036ce6585d4d53b1dadfd8379249b2943ea389c9c83e

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.19.0.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.19.0.ebuild
new file mode 100644
index ..ed213e2d76e6
--- /dev/null
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.19.0.ebuild
@@ -0,0 +1,76 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COQ_MIN_V=8.19.0
+COQ_MAX_V=8.20.0
+
+inherit dune elisp-common
+
+DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
+
+# The tarball in SRC_URI is comprised of +
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz
+   -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-${COQ_MIN_V}-${PV}"
+
+LICENSE="GPL-3+"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="emacs +ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+   >=sci-mathematics/coq-${COQ_MIN_V}:= =dev-ml/ppx_sexp_conv-0.13.0:=
+   dev-ml/cmdliner:=
+   dev-ml/ppx_compare:=
+   dev-ml/ppx_deriving:=
+   dev-ml/ppx_deriving_yojson:=
+   dev-ml/ppx_hash:=
+   dev-ml/ppx_import:=
+   dev-ml/sexplib:=
+   dev-ml/yojson:=
+"
+DEPEND="
+   ${RDEPEND}
+"
+BDEPEND="
+   emacs? (
+   >=app-editors/emacs-23.1:*
+   )
+   test? (
+   sci-mathematics/coq-mathcomp
+   )
+"
+
+PATCHES=( "${FILESDIR}/${PN}-0.19.0-sertop-el.patch" )
+
+SITEFILE="50sertop-gentoo.el"
+
+src_compile() {
+   dune_src_compile
+
+   use emacs && elisp-compile sertop/*.el
+}
+
+src_install() {
+   dune_src_install
+
+   rm -r "${ED}/usr/share/emacs" || die
+
+   if use emacs ; then
+   elisp-install "${PN}" sertop/*.el{,c}
+   elisp-site-file-install "${FILESDIR}/${SITEFILE}"
+   fi
+}
+
+pkg_postinst() {
+   use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+   use emacs && elisp-site-regen
+}

diff --git a/sci-mathematics/coq-serapi/files/coq-serapi-0.19.0-sertop-el.patch 
b/sci-mathematics/coq-serapi/files/coq-serapi-0.19.0-sertop-el.patch
new file mode 100644
index ..b6aa6c1784ca
--- /dev/null
+++ b/sci-mathematics/coq-serapi/files/coq-serapi-0.19.0-sertop-el.patch
@@ -0,0 +1,11 @@
+--- a/sertop/sertop.el
 b/sertop/sertop.el
+@@ -37,7 +37,7 @@
+(buffer-file-name
+ 
+ (defvar sertop-executable-path
+-  (or (expand-file-name "sertop.native" sertop--root)
++  (or (executable-find "sertop.native")
+   (executable-find "sertop"))
+   "Path to sertop.")
+

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2024-01-15 Thread Maciej Barć 
commit: 7da37463eb3bf098fc760b1d1faecb48e2351229
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Jan 15 19:19:53 2024 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Jan 15 21:20:39 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7da37463

sci-mathematics/coq-serapi: drop old 0.17.0

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/Manifest|  1 -
 .../coq-serapi/coq-serapi-0.17.0.ebuild| 70 --
 2 files changed, 71 deletions(-)

diff --git a/sci-mathematics/coq-serapi/Manifest 
b/sci-mathematics/coq-serapi/Manifest
index 880c01bd85ec..31b560b4f01e 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,2 +1 @@
-DIST coq-serapi-0.17.0.tar.gz 273903 BLAKE2B 
155d865650f773d71e0ddd10869852916de5e539b3b3f4d03d58259790482be45d668035975d5be768776f7ef5947f0d7227f0f6624bc7f64cefd009e9a83ecb
 SHA512 
d9085b4215c233c47f78386d8771348768c9cbbf0716dfa4da3ff8c8c96d2e78b203098314175ef2bb9959096f8b0ec03a9fb5d696d04510713bd48afa2b
 DIST coq-serapi-0.18.1.tar.gz 275040 BLAKE2B 
9224505da004ff54c3d21c394e6049b5e15b91c3531cd0d80aae89ee6ce9e92bb626a43fdef8fad58fea4d017b3ed3f13d5d1735e7cfc1ae3bcebed2c70ce332
 SHA512 
a8eca10734a5b1aa5c6a890998f18d673050ca1e975b5e88643176bfd627b4c0d05cf0be1b75ccfd155b9e74f357ee61bf8225fd144b6a624a3bdd359396428c

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.17.0.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.17.0.ebuild
deleted file mode 100644
index 2485ac135a10..
--- a/sci-mathematics/coq-serapi/coq-serapi-0.17.0.ebuild
+++ /dev/null
@@ -1,70 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COQ_MIN_V=8.17.0
-COQ_MAX_V=8.18.0
-
-inherit elisp-common dune
-
-DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
-HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
-
-# The tarball in SRC_URI is comprised of +
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz
-   -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COQ_MIN_V}-${PV}
-
-LICENSE="GPL-3+"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="emacs +ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-   >=sci-mathematics/coq-${COQ_MIN_V}:= =dev-ml/ppx_sexp_conv-0.13.0:=
-   dev-ml/cmdliner:=
-   dev-ml/ppx_compare:=
-   dev-ml/ppx_deriving:=
-   dev-ml/ppx_deriving_yojson:=
-   dev-ml/ppx_hash:=
-   dev-ml/ppx_import:=
-   dev-ml/sexplib:=
-   dev-ml/yojson:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
-   emacs? ( >=app-editors/emacs-23.1:* )
-   test? ( sci-mathematics/coq-mathcomp )
-"
-
-SITEFILE="50sertop-gentoo.el"
-
-PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
-
-src_compile() {
-   dune_src_compile
-
-   use emacs && elisp-compile sertop.el
-}
-
-src_install() {
-   dune_src_install
-
-   rm -r "${D}"/usr/share/emacs || die
-
-   if use emacs ; then
-   elisp-install ${PN} sertop.el{,c}
-   elisp-site-file-install "${FILESDIR}/${SITEFILE}"
-   fi
-}
-
-pkg_postinst() {
-   use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
-   use emacs && elisp-site-regen
-}

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2023-10-23 Thread Maciej Barć 
commit: 3f7751adfbf87dc0d59ba8d60dd0ce604c0a3a17
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Oct 23 20:17:28 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Oct 23 20:38:57 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3f7751ad

sci-mathematics/coq-serapi: bump to 0.18.1

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/Manifest|  1 +
 .../coq-serapi/coq-serapi-0.18.1.ebuild| 72 ++
 2 files changed, 73 insertions(+)

diff --git a/sci-mathematics/coq-serapi/Manifest 
b/sci-mathematics/coq-serapi/Manifest
index c332540725bc..880c01bd85ec 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1 +1,2 @@
 DIST coq-serapi-0.17.0.tar.gz 273903 BLAKE2B 
155d865650f773d71e0ddd10869852916de5e539b3b3f4d03d58259790482be45d668035975d5be768776f7ef5947f0d7227f0f6624bc7f64cefd009e9a83ecb
 SHA512 
d9085b4215c233c47f78386d8771348768c9cbbf0716dfa4da3ff8c8c96d2e78b203098314175ef2bb9959096f8b0ec03a9fb5d696d04510713bd48afa2b
+DIST coq-serapi-0.18.1.tar.gz 275040 BLAKE2B 
9224505da004ff54c3d21c394e6049b5e15b91c3531cd0d80aae89ee6ce9e92bb626a43fdef8fad58fea4d017b3ed3f13d5d1735e7cfc1ae3bcebed2c70ce332
 SHA512 
a8eca10734a5b1aa5c6a890998f18d673050ca1e975b5e88643176bfd627b4c0d05cf0be1b75ccfd155b9e74f357ee61bf8225fd144b6a624a3bdd359396428c

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.18.1.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.18.1.ebuild
new file mode 100644
index ..c98dfba0d296
--- /dev/null
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.18.1.ebuild
@@ -0,0 +1,72 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COQ_MIN_V=8.18.0
+COQ_MAX_V=8.19.0
+
+inherit elisp-common dune
+
+DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
+
+# The tarball in SRC_URI is comprised of +
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz
+   -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-${COQ_MIN_V}-${PV}"
+
+LICENSE="GPL-3+"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="emacs +ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+   >=sci-mathematics/coq-${COQ_MIN_V}:= =dev-ml/ppx_sexp_conv-0.13.0:=
+   dev-ml/cmdliner:=
+   dev-ml/ppx_compare:=
+   dev-ml/ppx_deriving:=
+   dev-ml/ppx_deriving_yojson:=
+   dev-ml/ppx_hash:=
+   dev-ml/ppx_import:=
+   dev-ml/sexplib:=
+   dev-ml/yojson:=
+"
+DEPEND="
+   ${RDEPEND}
+"
+BDEPEND="
+   emacs? ( >=app-editors/emacs-23.1:* )
+   test? ( sci-mathematics/coq-mathcomp )
+"
+
+SITEFILE="50sertop-gentoo.el"
+
+PATCHES=( "${FILESDIR}/${PN}-sertop.el-path.patch" )
+
+src_compile() {
+   dune_src_compile
+
+   use emacs && elisp-compile sertop.el
+}
+
+src_install() {
+   dune_src_install
+
+   rm -r "${ED}/usr/share/emacs" || die
+
+   if use emacs ; then
+   elisp-install "${PN}" sertop.el{,c}
+   elisp-site-file-install "${FILESDIR}/${SITEFILE}"
+   fi
+}
+
+pkg_postinst() {
+   use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+   use emacs && elisp-site-regen
+}

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2023-07-15 Thread Maciej Barć 
commit: ed12505a109bd632f5836e18d282746cb9225594
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Jul 15 21:55:45 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Jul 15 22:17:05 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ed12505a

sci-mathematics/coq-serapi: drop old 0.16.2-r1

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/Manifest|  1 -
 .../coq-serapi/coq-serapi-0.16.2-r1.ebuild | 67 --
 2 files changed, 68 deletions(-)

diff --git a/sci-mathematics/coq-serapi/Manifest 
b/sci-mathematics/coq-serapi/Manifest
index 10b4969ae59e..f55e4732d1e8 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,3 +1,2 @@
-DIST coq-serapi-0.16.2.tar.gz 272807 BLAKE2B 
20a04ae8b18fba7c6d8346515d4f610750e32e6a521dc65afd7a624ae07ddea75b4f8aed237ba95ed16667f3867b35dd914b35eab966187f6f41f547f3bac8d6
 SHA512 
f7aba7009f14302246eabe595af7cb72103b8904e45c647783326f46d51b1331b30dd515364c4b909f02c42c5bf7bd367dc0fe64eb9c88b062cd79113b53306b
 DIST coq-serapi-0.16.3.tar.gz 272910 BLAKE2B 
e3e5e070e98d9dd41d3b7ef589abcb57137925ed637be7c94aaa387dbe996ce72d4c98f37b6e8ee9ca196af6deb291afbb326ac6aeb8c1809331bbc1824a0786
 SHA512 
fccc946d87de4fbe797df6a898704ead04708323bdf3b799ced074ba1539d7d5b54d3cc439f7641fe3bf289069ca42278137a10c8de211b1563df9b6a61ad8c5
 DIST coq-serapi-0.17.0.tar.gz 273903 BLAKE2B 
155d865650f773d71e0ddd10869852916de5e539b3b3f4d03d58259790482be45d668035975d5be768776f7ef5947f0d7227f0f6624bc7f64cefd009e9a83ecb
 SHA512 
d9085b4215c233c47f78386d8771348768c9cbbf0716dfa4da3ff8c8c96d2e78b203098314175ef2bb9959096f8b0ec03a9fb5d696d04510713bd48afa2b

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild
deleted file mode 100644
index 44a2d0a9b186..
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild
+++ /dev/null
@@ -1,67 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COQV=8.16.0
-
-inherit elisp-common dune
-
-DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
-HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
-
-# The tarball in SRC_URI is comprised of +
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
-   -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COQV}-${PV}
-
-LICENSE="GPL-3+"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="emacs +ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-   >=sci-mathematics/coq-${COQV}:= =dev-ml/ppx_sexp_conv-0.13.0:=
-   dev-ml/cmdliner:=
-   dev-ml/ppx_compare:=
-   dev-ml/ppx_deriving:=
-   dev-ml/ppx_deriving_yojson:=
-   dev-ml/ppx_hash:=
-   dev-ml/ppx_import:=
-   dev-ml/sexplib:=
-   dev-ml/yojson:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
-   emacs? ( >=app-editors/emacs-23.1:* )
-   test? ( sci-mathematics/coq-mathcomp )
-"
-
-PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
-SITEFILE="50sertop-gentoo.el"
-
-src_compile() {
-   dune_src_compile
-
-   use emacs && elisp-compile sertop.el
-}
-
-src_install() {
-   dune_src_install
-
-   rm -r "${D}"/usr/share/emacs || die
-   if use emacs ; then
-   elisp-install ${PN} sertop.el{,c}
-   elisp-site-file-install "${FILESDIR}/${SITEFILE}"
-   fi
-}
-
-pkg_postinst() {
-   use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
-   use emacs && elisp-site-regen
-}

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2023-07-15 Thread Maciej Barć 
commit: c47d637abc18174ac81f3dd2cbd0d53b2d0dc225
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Jul 15 21:55:56 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Jul 15 22:17:05 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c47d637a

sci-mathematics/coq-serapi: drop old 0.16.3

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/Manifest|  1 -
 .../coq-serapi/coq-serapi-0.16.3.ebuild| 70 --
 2 files changed, 71 deletions(-)

diff --git a/sci-mathematics/coq-serapi/Manifest 
b/sci-mathematics/coq-serapi/Manifest
index f55e4732d1e8..c332540725bc 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,2 +1 @@
-DIST coq-serapi-0.16.3.tar.gz 272910 BLAKE2B 
e3e5e070e98d9dd41d3b7ef589abcb57137925ed637be7c94aaa387dbe996ce72d4c98f37b6e8ee9ca196af6deb291afbb326ac6aeb8c1809331bbc1824a0786
 SHA512 
fccc946d87de4fbe797df6a898704ead04708323bdf3b799ced074ba1539d7d5b54d3cc439f7641fe3bf289069ca42278137a10c8de211b1563df9b6a61ad8c5
 DIST coq-serapi-0.17.0.tar.gz 273903 BLAKE2B 
155d865650f773d71e0ddd10869852916de5e539b3b3f4d03d58259790482be45d668035975d5be768776f7ef5947f0d7227f0f6624bc7f64cefd009e9a83ecb
 SHA512 
d9085b4215c233c47f78386d8771348768c9cbbf0716dfa4da3ff8c8c96d2e78b203098314175ef2bb9959096f8b0ec03a9fb5d696d04510713bd48afa2b

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
deleted file mode 100644
index 1c0727491cf7..
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
+++ /dev/null
@@ -1,70 +0,0 @@
-# Copyright 1999-2023 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.17.0
-
-inherit elisp-common dune
-
-DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
-HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
-
-# The tarball in SRC_URI is comprised of +
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz
-   -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COQ_MIN_V}-${PV}
-
-LICENSE="GPL-3+"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="emacs +ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-   >=sci-mathematics/coq-${COQ_MIN_V}:= =dev-ml/ppx_sexp_conv-0.13.0:=
-   dev-ml/cmdliner:=
-   dev-ml/ppx_compare:=
-   dev-ml/ppx_deriving:=
-   dev-ml/ppx_deriving_yojson:=
-   dev-ml/ppx_hash:=
-   dev-ml/ppx_import:=
-   dev-ml/sexplib:=
-   dev-ml/yojson:=
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
-   emacs? ( >=app-editors/emacs-23.1:* )
-   test? ( sci-mathematics/coq-mathcomp )
-"
-
-SITEFILE="50sertop-gentoo.el"
-
-PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
-
-src_compile() {
-   dune_src_compile
-
-   use emacs && elisp-compile sertop.el
-}
-
-src_install() {
-   dune_src_install
-
-   rm -r "${D}"/usr/share/emacs || die
-
-   if use emacs ; then
-   elisp-install ${PN} sertop.el{,c}
-   elisp-site-file-install "${FILESDIR}/${SITEFILE}"
-   fi
-}
-
-pkg_postinst() {
-   use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
-   use emacs && elisp-site-regen
-}

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2023-07-15 Thread Maciej Barć 
commit: abbb7f41bc9912de890db2cfc8eff0f41ded3850
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Jul 15 21:55:33 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Jul 15 22:17:04 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=abbb7f41

sci-mathematics/coq-serapi: drop old 0.16.1

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/Manifest|  1 -
 .../coq-serapi/coq-serapi-0.16.1.ebuild| 66 --
 2 files changed, 67 deletions(-)

diff --git a/sci-mathematics/coq-serapi/Manifest 
b/sci-mathematics/coq-serapi/Manifest
index 427eaa5dae04..10b4969ae59e 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,4 +1,3 @@
-DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 
5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18
 SHA512 
348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756
 DIST coq-serapi-0.16.2.tar.gz 272807 BLAKE2B 
20a04ae8b18fba7c6d8346515d4f610750e32e6a521dc65afd7a624ae07ddea75b4f8aed237ba95ed16667f3867b35dd914b35eab966187f6f41f547f3bac8d6
 SHA512 
f7aba7009f14302246eabe595af7cb72103b8904e45c647783326f46d51b1331b30dd515364c4b909f02c42c5bf7bd367dc0fe64eb9c88b062cd79113b53306b
 DIST coq-serapi-0.16.3.tar.gz 272910 BLAKE2B 
e3e5e070e98d9dd41d3b7ef589abcb57137925ed637be7c94aaa387dbe996ce72d4c98f37b6e8ee9ca196af6deb291afbb326ac6aeb8c1809331bbc1824a0786
 SHA512 
fccc946d87de4fbe797df6a898704ead04708323bdf3b799ced074ba1539d7d5b54d3cc439f7641fe3bf289069ca42278137a10c8de211b1563df9b6a61ad8c5
 DIST coq-serapi-0.17.0.tar.gz 273903 BLAKE2B 
155d865650f773d71e0ddd10869852916de5e539b3b3f4d03d58259790482be45d668035975d5be768776f7ef5947f0d7227f0f6624bc7f64cefd009e9a83ecb
 SHA512 
d9085b4215c233c47f78386d8771348768c9cbbf0716dfa4da3ff8c8c96d2e78b203098314175ef2bb9959096f8b0ec03a9fb5d696d04510713bd48afa2b

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild
deleted file mode 100644
index fed96a12b2dc..
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild
+++ /dev/null
@@ -1,66 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COQV=8.16.0
-
-inherit elisp-common dune
-
-DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
-HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
-# The tarball in SRC_URI is comprised of +
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
-   -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COQV}-${PV}
-
-LICENSE="GPL-3+"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="emacs +ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-   >=sci-mathematics/coq-${COQV}:= =dev-ml/ppx_sexp_conv-0.13.0:=

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2023-04-10 Thread Maciej Barć 
commit: d11706013713929a25850c2afe7544d13633fd92
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Apr 10 17:47:59 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Apr 10 18:49:23 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d1170601

sci-mathematics/coq-serapi: bump to 0.17.0

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/Manifest|  1 +
 .../coq-serapi/coq-serapi-0.17.0.ebuild| 70 ++
 2 files changed, 71 insertions(+)

diff --git a/sci-mathematics/coq-serapi/Manifest 
b/sci-mathematics/coq-serapi/Manifest
index bb04f4922260..427eaa5dae04 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,3 +1,4 @@
 DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 
5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18
 SHA512 
348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756
 DIST coq-serapi-0.16.2.tar.gz 272807 BLAKE2B 
20a04ae8b18fba7c6d8346515d4f610750e32e6a521dc65afd7a624ae07ddea75b4f8aed237ba95ed16667f3867b35dd914b35eab966187f6f41f547f3bac8d6
 SHA512 
f7aba7009f14302246eabe595af7cb72103b8904e45c647783326f46d51b1331b30dd515364c4b909f02c42c5bf7bd367dc0fe64eb9c88b062cd79113b53306b
 DIST coq-serapi-0.16.3.tar.gz 272910 BLAKE2B 
e3e5e070e98d9dd41d3b7ef589abcb57137925ed637be7c94aaa387dbe996ce72d4c98f37b6e8ee9ca196af6deb291afbb326ac6aeb8c1809331bbc1824a0786
 SHA512 
fccc946d87de4fbe797df6a898704ead04708323bdf3b799ced074ba1539d7d5b54d3cc439f7641fe3bf289069ca42278137a10c8de211b1563df9b6a61ad8c5
+DIST coq-serapi-0.17.0.tar.gz 273903 BLAKE2B 
155d865650f773d71e0ddd10869852916de5e539b3b3f4d03d58259790482be45d668035975d5be768776f7ef5947f0d7227f0f6624bc7f64cefd009e9a83ecb
 SHA512 
d9085b4215c233c47f78386d8771348768c9cbbf0716dfa4da3ff8c8c96d2e78b203098314175ef2bb9959096f8b0ec03a9fb5d696d04510713bd48afa2b

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.17.0.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.17.0.ebuild
new file mode 100644
index ..2485ac135a10
--- /dev/null
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.17.0.ebuild
@@ -0,0 +1,70 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COQ_MIN_V=8.17.0
+COQ_MAX_V=8.18.0
+
+inherit elisp-common dune
+
+DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
+
+# The tarball in SRC_URI is comprised of +
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz
+   -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${COQ_MIN_V}-${PV}
+
+LICENSE="GPL-3+"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="emacs +ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+   >=sci-mathematics/coq-${COQ_MIN_V}:= =dev-ml/ppx_sexp_conv-0.13.0:=
+   dev-ml/cmdliner:=
+   dev-ml/ppx_compare:=
+   dev-ml/ppx_deriving:=
+   dev-ml/ppx_deriving_yojson:=
+   dev-ml/ppx_hash:=
+   dev-ml/ppx_import:=
+   dev-ml/sexplib:=
+   dev-ml/yojson:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+   emacs? ( >=app-editors/emacs-23.1:* )
+   test? ( sci-mathematics/coq-mathcomp )
+"
+
+SITEFILE="50sertop-gentoo.el"
+
+PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
+
+src_compile() {
+   dune_src_compile
+
+   use emacs && elisp-compile sertop.el
+}
+
+src_install() {
+   dune_src_install
+
+   rm -r "${D}"/usr/share/emacs || die
+
+   if use emacs ; then
+   elisp-install ${PN} sertop.el{,c}
+   elisp-site-file-install "${FILESDIR}/${SITEFILE}"
+   fi
+}
+
+pkg_postinst() {
+   use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+   use emacs && elisp-site-regen
+}

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2023-04-10 Thread Maciej Barć 
commit: b9dda4f82433fcab98bdb4c5870320e7a1948817
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Apr 10 16:41:22 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Apr 10 18:49:22 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b9dda4f8

sci-mathematics/coq-serapi: fix SRC_URI

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
index 45e829121219..1c0727491cf7 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
@@ -12,7 +12,7 @@ DESCRIPTION="Serialization library and protocol for 
interaction with the Coq pro
 HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
 
 # The tarball in SRC_URI is comprised of +
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQ_MIN_V}+${PV}.tar.gz
-> ${P}.tar.gz"
 S="${WORKDIR}"/${PN}-${COQ_MIN_V}-${PV}

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2023-03-14 Thread Maciej Barć 
commit: aaa95b088ca9506c9634f68c62fa1ec0af7fd89e
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Mar 14 23:54:31 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Mar 15 00:25:40 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aaa95b08

sci-mathematics/coq-serapi: introduce COQ_MIN_V

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild | 7 ---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
index 9b4f5a4653a6..45e829121219 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
@@ -3,7 +3,8 @@
 
 EAPI=8
 
-COQV=8.16.0
+COQ_MIN_V=8.16.0
+COQ_MAX_V=8.17.0
 
 inherit elisp-common dune
 
@@ -13,7 +14,7 @@ HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
 # The tarball in SRC_URI is comprised of +
 SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
-> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COQV}-${PV}
+S="${WORKDIR}"/${PN}-${COQ_MIN_V}-${PV}
 
 LICENSE="GPL-3+"
 SLOT="0/${PV}"
@@ -22,7 +23,7 @@ IUSE="emacs +ocamlopt test"
 RESTRICT="!test? ( test )"
 
 RDEPEND="
-   >=sci-mathematics/coq-${COQV}:= =sci-mathematics/coq-${COQ_MIN_V}:= =dev-ml/ppx_sexp_conv-0.13.0:=
dev-ml/cmdliner:=
dev-ml/ppx_compare:=

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2023-02-16 Thread Maciej Barć 
commit: 256bbdf201fa87180d36af5d6ada9ac36ca116fe
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Feb 17 00:52:16 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Feb 17 01:22:11 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=256bbdf2

sci-mathematics/coq-serapi: drop old 0.16.0-r1

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/Manifest|  1 -
 .../coq-serapi/coq-serapi-0.16.0-r1.ebuild | 66 --
 2 files changed, 67 deletions(-)

diff --git a/sci-mathematics/coq-serapi/Manifest 
b/sci-mathematics/coq-serapi/Manifest
index cf02f40b480b..bb04f4922260 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,4 +1,3 @@
-DIST coq-serapi-0.16.0.tar.gz 270647 BLAKE2B 
8189e70bfa4208a613ec7a89d6fc72c15a9c1c29ed49cd53a561b72b4b9e55196bcb92d5e962309d8843036c30ec177588e2db7dd091443947b02e78f2df1880
 SHA512 
56cc74e9d2b1e13c7ffb94b32e206671ac904f6d7e633c830175eed6f7cb75a2b212be916316784dc7d697c6e5779e27ed402d5e7edbee8b7d84d2c533dc38c3
 DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 
5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18
 SHA512 
348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756
 DIST coq-serapi-0.16.2.tar.gz 272807 BLAKE2B 
20a04ae8b18fba7c6d8346515d4f610750e32e6a521dc65afd7a624ae07ddea75b4f8aed237ba95ed16667f3867b35dd914b35eab966187f6f41f547f3bac8d6
 SHA512 
f7aba7009f14302246eabe595af7cb72103b8904e45c647783326f46d51b1331b30dd515364c4b909f02c42c5bf7bd367dc0fe64eb9c88b062cd79113b53306b
 DIST coq-serapi-0.16.3.tar.gz 272910 BLAKE2B 
e3e5e070e98d9dd41d3b7ef589abcb57137925ed637be7c94aaa387dbe996ce72d4c98f37b6e8ee9ca196af6deb291afbb326ac6aeb8c1809331bbc1824a0786
 SHA512 
fccc946d87de4fbe797df6a898704ead04708323bdf3b799ced074ba1539d7d5b54d3cc439f7641fe3bf289069ca42278137a10c8de211b1563df9b6a61ad8c5

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild
deleted file mode 100644
index fed96a12b2dc..
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild
+++ /dev/null
@@ -1,66 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COQV=8.16.0
-
-inherit elisp-common dune
-
-DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
-HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
-# The tarball in SRC_URI is comprised of +
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
-   -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COQV}-${PV}
-
-LICENSE="GPL-3+"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="emacs +ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-   >=sci-mathematics/coq-${COQV}:= =dev-ml/ppx_sexp_conv-0.13.0:=

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2023-02-16 Thread Maciej Barć 
commit: 9ff81ed4382bff314e98719044d5bd489c730495
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Feb 17 00:49:21 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Feb 17 01:22:11 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9ff81ed4

sci-mathematics/coq-serapi: bump to 0.16.3

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/Manifest|  1 +
 .../coq-serapi/coq-serapi-0.16.3.ebuild| 69 ++
 2 files changed, 70 insertions(+)

diff --git a/sci-mathematics/coq-serapi/Manifest 
b/sci-mathematics/coq-serapi/Manifest
index 2f41795b411e..cf02f40b480b 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,3 +1,4 @@
 DIST coq-serapi-0.16.0.tar.gz 270647 BLAKE2B 
8189e70bfa4208a613ec7a89d6fc72c15a9c1c29ed49cd53a561b72b4b9e55196bcb92d5e962309d8843036c30ec177588e2db7dd091443947b02e78f2df1880
 SHA512 
56cc74e9d2b1e13c7ffb94b32e206671ac904f6d7e633c830175eed6f7cb75a2b212be916316784dc7d697c6e5779e27ed402d5e7edbee8b7d84d2c533dc38c3
 DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 
5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18
 SHA512 
348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756
 DIST coq-serapi-0.16.2.tar.gz 272807 BLAKE2B 
20a04ae8b18fba7c6d8346515d4f610750e32e6a521dc65afd7a624ae07ddea75b4f8aed237ba95ed16667f3867b35dd914b35eab966187f6f41f547f3bac8d6
 SHA512 
f7aba7009f14302246eabe595af7cb72103b8904e45c647783326f46d51b1331b30dd515364c4b909f02c42c5bf7bd367dc0fe64eb9c88b062cd79113b53306b
+DIST coq-serapi-0.16.3.tar.gz 272910 BLAKE2B 
e3e5e070e98d9dd41d3b7ef589abcb57137925ed637be7c94aaa387dbe996ce72d4c98f37b6e8ee9ca196af6deb291afbb326ac6aeb8c1809331bbc1824a0786
 SHA512 
fccc946d87de4fbe797df6a898704ead04708323bdf3b799ced074ba1539d7d5b54d3cc439f7641fe3bf289069ca42278137a10c8de211b1563df9b6a61ad8c5

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
new file mode 100644
index ..9b4f5a4653a6
--- /dev/null
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
@@ -0,0 +1,69 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COQV=8.16.0
+
+inherit elisp-common dune
+
+DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
+
+# The tarball in SRC_URI is comprised of +
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
+   -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${COQV}-${PV}
+
+LICENSE="GPL-3+"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="emacs +ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+   >=sci-mathematics/coq-${COQV}:= =dev-ml/ppx_sexp_conv-0.13.0:=
+   dev-ml/cmdliner:=
+   dev-ml/ppx_compare:=
+   dev-ml/ppx_deriving:=
+   dev-ml/ppx_deriving_yojson:=
+   dev-ml/ppx_hash:=
+   dev-ml/ppx_import:=
+   dev-ml/sexplib:=
+   dev-ml/yojson:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+   emacs? ( >=app-editors/emacs-23.1:* )
+   test? ( sci-mathematics/coq-mathcomp )
+"
+
+SITEFILE="50sertop-gentoo.el"
+
+PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
+
+src_compile() {
+   dune_src_compile
+
+   use emacs && elisp-compile sertop.el
+}
+
+src_install() {
+   dune_src_install
+
+   rm -r "${D}"/usr/share/emacs || die
+
+   if use emacs ; then
+   elisp-install ${PN} sertop.el{,c}
+   elisp-site-file-install "${FILESDIR}/${SITEFILE}"
+   fi
+}
+
+pkg_postinst() {
+   use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+   use emacs && elisp-site-regen
+}

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2023-01-27 Thread Maciej Barć 
commit: f82a0ccd1ec627e46d64547495ec328895456dc5
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Jan 27 11:26:26 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Jan 27 13:01:59 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f82a0ccd

sci-mathematics/coq-serapi: remove ppx_sexp_conv restriction

Signed-off-by: Maciej Barć  gentoo.org>

 .../{coq-serapi-0.16.2.ebuild => coq-serapi-0.16.2-r1.ebuild}  | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild
similarity index 95%
rename from sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild
rename to sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild
index 3c68fbf69d0d..44a2d0a9b186 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild
@@ -9,6 +9,7 @@ inherit elisp-common dune
 
 DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
 HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
+
 # The tarball in SRC_URI is comprised of +
 SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
-> ${P}.tar.gz"
@@ -22,7 +23,7 @@ RESTRICT="!test? ( test )"
 
 RDEPEND="
>=sci-mathematics/coq-${COQV}:= =dev-ml/ppx_sexp_conv-0.13.0:= =dev-ml/ppx_sexp_conv-0.13.0:=
dev-ml/cmdliner:=
dev-ml/ppx_compare:=
dev-ml/ppx_deriving:=

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2023-01-11 Thread Maciej Barć 
commit: 185fe2f36d6aa2df299937218aed7b40ca05fcd5
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Jan 11 23:59:39 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu Jan 12 01:23:40 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=185fe2f3

sci-mathematics/coq-serapi: bump to 0.16.2

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/Manifest|  1 +
 .../coq-serapi/coq-serapi-0.16.2.ebuild| 66 ++
 2 files changed, 67 insertions(+)

diff --git a/sci-mathematics/coq-serapi/Manifest 
b/sci-mathematics/coq-serapi/Manifest
index 61f749d71918..24094f6656d1 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,3 +1,4 @@
 DIST coq-serapi-0.15.0.tar.gz 268083 BLAKE2B 
aeea2cb8ed0f648f307715c464f2da90585718aa8afedf69b4e1c282265a12a3937044397787404e43286cebaaf1f48efde93d845cd71c1c97cc1b2e9a2a8835
 SHA512 
3ba1b63002d36a4c0e64f86170d31c4131dc02e8cb8573b39f03ed44d1e5f29c064c472bebad367b875b02e36ced6bfe8c5fb2023bd798b3b79f74a5a2f54189
 DIST coq-serapi-0.16.0.tar.gz 270647 BLAKE2B 
8189e70bfa4208a613ec7a89d6fc72c15a9c1c29ed49cd53a561b72b4b9e55196bcb92d5e962309d8843036c30ec177588e2db7dd091443947b02e78f2df1880
 SHA512 
56cc74e9d2b1e13c7ffb94b32e206671ac904f6d7e633c830175eed6f7cb75a2b212be916316784dc7d697c6e5779e27ed402d5e7edbee8b7d84d2c533dc38c3
 DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 
5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18
 SHA512 
348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756
+DIST coq-serapi-0.16.2.tar.gz 272807 BLAKE2B 
20a04ae8b18fba7c6d8346515d4f610750e32e6a521dc65afd7a624ae07ddea75b4f8aed237ba95ed16667f3867b35dd914b35eab966187f6f41f547f3bac8d6
 SHA512 
f7aba7009f14302246eabe595af7cb72103b8904e45c647783326f46d51b1331b30dd515364c4b909f02c42c5bf7bd367dc0fe64eb9c88b062cd79113b53306b

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild
new file mode 100644
index ..3c68fbf69d0d
--- /dev/null
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild
@@ -0,0 +1,66 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COQV=8.16.0
+
+inherit elisp-common dune
+
+DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
+# The tarball in SRC_URI is comprised of +
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
+   -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${COQV}-${PV}
+
+LICENSE="GPL-3+"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="emacs +ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+   >=sci-mathematics/coq-${COQV}:= =dev-ml/ppx_sexp_conv-0.13.0:=

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2023-01-11 Thread Maciej Barć 
commit: 561aaf46a67201c35a083921576d2af2a38e9e70
Author: Maciej Barć  gentoo  org>
AuthorDate: Thu Jan 12 00:14:37 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Thu Jan 12 01:23:40 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=561aaf46

sci-mathematics/coq-serapi: drop old 0.15.0-r3

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/Manifest|  1 -
 .../coq-serapi/coq-serapi-0.15.0-r3.ebuild | 64 --
 2 files changed, 65 deletions(-)

diff --git a/sci-mathematics/coq-serapi/Manifest 
b/sci-mathematics/coq-serapi/Manifest
index 24094f6656d1..2f41795b411e 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,4 +1,3 @@
-DIST coq-serapi-0.15.0.tar.gz 268083 BLAKE2B 
aeea2cb8ed0f648f307715c464f2da90585718aa8afedf69b4e1c282265a12a3937044397787404e43286cebaaf1f48efde93d845cd71c1c97cc1b2e9a2a8835
 SHA512 
3ba1b63002d36a4c0e64f86170d31c4131dc02e8cb8573b39f03ed44d1e5f29c064c472bebad367b875b02e36ced6bfe8c5fb2023bd798b3b79f74a5a2f54189
 DIST coq-serapi-0.16.0.tar.gz 270647 BLAKE2B 
8189e70bfa4208a613ec7a89d6fc72c15a9c1c29ed49cd53a561b72b4b9e55196bcb92d5e962309d8843036c30ec177588e2db7dd091443947b02e78f2df1880
 SHA512 
56cc74e9d2b1e13c7ffb94b32e206671ac904f6d7e633c830175eed6f7cb75a2b212be916316784dc7d697c6e5779e27ed402d5e7edbee8b7d84d2c533dc38c3
 DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 
5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18
 SHA512 
348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756
 DIST coq-serapi-0.16.2.tar.gz 272807 BLAKE2B 
20a04ae8b18fba7c6d8346515d4f610750e32e6a521dc65afd7a624ae07ddea75b4f8aed237ba95ed16667f3867b35dd914b35eab966187f6f41f547f3bac8d6
 SHA512 
f7aba7009f14302246eabe595af7cb72103b8904e45c647783326f46d51b1331b30dd515364c4b909f02c42c5bf7bd367dc0fe64eb9c88b062cd79113b53306b

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild
deleted file mode 100644
index ddda9b6a1dce..
--- a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild
+++ /dev/null
@@ -1,64 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COQV=8.15.0
-
-inherit elisp-common dune
-
-DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
-HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
-# The tarball in SRC_URI is comprised of +
-SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
-   -> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COQV}-${PV}
-
-LICENSE="GPL-3+"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="emacs +ocamlopt test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-   >=sci-mathematics/coq-${COQV}:= =dev-ml/ppx_sexp_conv-0.13.0:=

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2022-10-30 Thread Maciej Barć 
commit: 4b55615587fff8d0a6f297929cd3e101676f59ea
Author: Maciej Barć  gentoo  org>
AuthorDate: Mon Oct 31 03:40:06 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Mon Oct 31 03:44:24 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4b556155

sci-mathematics/coq-serapi: bump to 0.16.1

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/Manifest|  1 +
 .../coq-serapi/coq-serapi-0.16.1.ebuild| 66 ++
 2 files changed, 67 insertions(+)

diff --git a/sci-mathematics/coq-serapi/Manifest 
b/sci-mathematics/coq-serapi/Manifest
index d5754b91dac0..61f749d71918 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1,2 +1,3 @@
 DIST coq-serapi-0.15.0.tar.gz 268083 BLAKE2B 
aeea2cb8ed0f648f307715c464f2da90585718aa8afedf69b4e1c282265a12a3937044397787404e43286cebaaf1f48efde93d845cd71c1c97cc1b2e9a2a8835
 SHA512 
3ba1b63002d36a4c0e64f86170d31c4131dc02e8cb8573b39f03ed44d1e5f29c064c472bebad367b875b02e36ced6bfe8c5fb2023bd798b3b79f74a5a2f54189
 DIST coq-serapi-0.16.0.tar.gz 270647 BLAKE2B 
8189e70bfa4208a613ec7a89d6fc72c15a9c1c29ed49cd53a561b72b4b9e55196bcb92d5e962309d8843036c30ec177588e2db7dd091443947b02e78f2df1880
 SHA512 
56cc74e9d2b1e13c7ffb94b32e206671ac904f6d7e633c830175eed6f7cb75a2b212be916316784dc7d697c6e5779e27ed402d5e7edbee8b7d84d2c533dc38c3
+DIST coq-serapi-0.16.1.tar.gz 271068 BLAKE2B 
5e832f4b2d2627938f2399b3eff111a15987d7733e30ba6f6328dc0110631a1c42a212c5ed464037f8c521c11c46bf8bb8665bfdd93b5969949cdec584a42e18
 SHA512 
348a984897f99dd4f08a409251eaf50f792aa1fe96d71d5f895f3153c05131b2d6b15f10a18cf704e978676562547d0869a310e8d6969ffe69d5bdf1c212b756

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild
new file mode 100644
index ..fed96a12b2dc
--- /dev/null
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild
@@ -0,0 +1,66 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COQV=8.16.0
+
+inherit elisp-common dune
+
+DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
+# The tarball in SRC_URI is comprised of +
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
+   -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${COQV}-${PV}
+
+LICENSE="GPL-3+"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="emacs +ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+   >=sci-mathematics/coq-${COQV}:= =dev-ml/ppx_sexp_conv-0.13.0:=

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2022-10-26 Thread Maciej Barć 
commit: 57e2f456368e0651bd4211f1ace49d35497cb0d6
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Oct 26 21:52:29 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Oct 26 22:04:34 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=57e2f456

sci-mathematics/coq-serapi: remove seq dependency

Signed-off-by: Maciej Barć  gentoo.org>

 .../coq-serapi/{coq-serapi-0.16.0.ebuild => coq-serapi-0.16.0-r1.ebuild} | 1 -
 1 file changed, 1 deletion(-)

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild
similarity index 98%
rename from sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild
rename to sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild
index 1c0a68608d2c..fed96a12b2dc 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild
@@ -23,7 +23,6 @@ RESTRICT="!test? ( test )"
 RDEPEND="
>=sci-mathematics/coq-${COQV}:= =dev-ml/ppx_sexp_conv-0.13.0:= =dev-ml/seq-0.3:=
dev-ml/cmdliner:=
dev-ml/ppx_compare:=
dev-ml/ppx_deriving:=

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2022-10-01 Thread Maciej Barć 
commit: 384078eb058ca2044290bff23dcf9b409867e0fc
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Oct  1 22:15:08 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Oct  1 23:34:57 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=384078eb

sci-mathematics/coq-serapi: bump to 0.16.0

Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/Manifest|  1 +
 .../coq-serapi/coq-serapi-0.16.0.ebuild| 67 ++
 2 files changed, 68 insertions(+)

diff --git a/sci-mathematics/coq-serapi/Manifest 
b/sci-mathematics/coq-serapi/Manifest
index 512540a49757..d5754b91dac0 100644
--- a/sci-mathematics/coq-serapi/Manifest
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -1 +1,2 @@
 DIST coq-serapi-0.15.0.tar.gz 268083 BLAKE2B 
aeea2cb8ed0f648f307715c464f2da90585718aa8afedf69b4e1c282265a12a3937044397787404e43286cebaaf1f48efde93d845cd71c1c97cc1b2e9a2a8835
 SHA512 
3ba1b63002d36a4c0e64f86170d31c4131dc02e8cb8573b39f03ed44d1e5f29c064c472bebad367b875b02e36ced6bfe8c5fb2023bd798b3b79f74a5a2f54189
+DIST coq-serapi-0.16.0.tar.gz 270647 BLAKE2B 
8189e70bfa4208a613ec7a89d6fc72c15a9c1c29ed49cd53a561b72b4b9e55196bcb92d5e962309d8843036c30ec177588e2db7dd091443947b02e78f2df1880
 SHA512 
56cc74e9d2b1e13c7ffb94b32e206671ac904f6d7e633c830175eed6f7cb75a2b212be916316784dc7d697c6e5779e27ed402d5e7edbee8b7d84d2c533dc38c3

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild
new file mode 100644
index ..1c0a68608d2c
--- /dev/null
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild
@@ -0,0 +1,67 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COQV=8.16.0
+
+inherit elisp-common dune
+
+DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
+# The tarball in SRC_URI is comprised of +
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
+   -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${COQV}-${PV}
+
+LICENSE="GPL-3+"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="emacs +ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+   >=sci-mathematics/coq-${COQV}:= =dev-ml/ppx_sexp_conv-0.13.0:= =dev-ml/seq-0.3:=
+   dev-ml/cmdliner:=
+   dev-ml/ppx_compare:=
+   dev-ml/ppx_deriving:=
+   dev-ml/ppx_deriving_yojson:=
+   dev-ml/ppx_hash:=
+   dev-ml/ppx_import:=
+   dev-ml/sexplib:=
+   dev-ml/yojson:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+   emacs? ( >=app-editors/emacs-23.1:* )
+   test? ( sci-mathematics/coq-mathcomp )
+"
+
+PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
+SITEFILE="50sertop-gentoo.el"
+
+src_compile() {
+   dune_src_compile
+
+   use emacs && elisp-compile sertop.el
+}
+
+src_install() {
+   dune_src_install
+
+   rm -r "${D}"/usr/share/emacs || die
+   if use emacs ; then
+   elisp-install ${PN} sertop.el{,c}
+   elisp-site-file-install "${FILESDIR}/${SITEFILE}"
+   fi
+}
+
+pkg_postinst() {
+   use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+   use emacs && elisp-site-regen
+}

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2022-10-01 Thread Maciej Barć 
commit: 4069d63856f17a2765b5c24a17449dbf161d9ab1
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Oct  1 20:59:38 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Oct  1 23:34:56 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4069d638

sci-mathematics/coq-serapi: restrict coq version

Closes: https://bugs.gentoo.org/873604
Signed-off-by: Maciej Barć  gentoo.org>

 .../{coq-serapi-0.15.0-r2.ebuild => coq-serapi-0.15.0-r3.ebuild}| 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild
similarity index 95%
rename from sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild
rename to sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild
index 2290f780d192..ddda9b6a1dce 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild
@@ -21,7 +21,7 @@ IUSE="emacs +ocamlopt test"
 RESTRICT="!test? ( test )"
 
 RDEPEND="
-   >=sci-mathematics/coq-${COQV}:=
+   >=sci-mathematics/coq-${COQV}:= =dev-ml/ppx_sexp_conv-0.13.0:=

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2022-04-19 Thread Maciej Barć 
commit: cb7871f4b3699944a992cf4e62afc7a7515d542f
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Apr 19 22:30:38 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Apr 19 22:32:56 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cb7871f4

sci-mathematics/coq-serapi: fix elisp libraries installation

Signed-off-by: Maciej Barć  gentoo.org>

 .../{coq-serapi-0.15.0-r1.ebuild => coq-serapi-0.15.0-r2.ebuild}| 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild
similarity index 97%
rename from sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild
rename to sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild
index 7f817ddb486a..2290f780d192 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild
@@ -50,7 +50,7 @@ src_install() {
 
rm -r "${D}"/usr/share/emacs || die
if use emacs ; then
-   elisp-install sertop sertop.el{,c}
+   elisp-install ${PN} sertop.el{,c}
elisp-site-file-install "${FILESDIR}/${SITEFILE}"
fi
 }

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/

2022-04-16 Thread Maciej Barć 
commit: 1aeb41df7cda12870e550f0ba1f171e5f9dc8d06
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Apr 16 17:14:19 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Apr 16 17:14:19 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1aeb41df

sci-mathematics/coq-serapi: add ppx_sexp_conv version constraints

Signed-off-by: Maciej Barć  gentoo.org>

 .../{coq-serapi-0.15.0.ebuild => coq-serapi-0.15.0-r1.ebuild}   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.15.0.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild
similarity index 95%
rename from sci-mathematics/coq-serapi/coq-serapi-0.15.0.ebuild
rename to sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild
index 2733c490f747..7f817ddb486a 100644
--- a/sci-mathematics/coq-serapi/coq-serapi-0.15.0.ebuild
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild
@@ -22,11 +22,11 @@ RESTRICT="!test? ( test )"
 
 RDEPEND="
>=sci-mathematics/coq-${COQV}:=
+   >=dev-ml/ppx_sexp_conv-0.13.0:=

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/, sci-mathematics/coq-serapi/files/

2022-03-04 Thread Maciej Barć 
commit: f6f7c1b270ceb94292a91628505bdfe5b6cebcb4
Author: Maciej Barć  gentoo  org>
AuthorDate: Sat Mar  5 02:38:53 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sat Mar  5 04:40:57 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f6f7c1b2

sci-mathematics/coq-serapi: new package; add 0.15.0

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć  gentoo.org>

 sci-mathematics/coq-serapi/Manifest|  1 +
 .../coq-serapi/coq-serapi-0.15.0.ebuild| 64 ++
 .../coq-serapi/files/50sertop-gentoo.el|  2 +
 .../files/coq-serapi-sertop.el-path.patch  | 12 
 sci-mathematics/coq-serapi/metadata.xml| 21 +++
 5 files changed, 100 insertions(+)

diff --git a/sci-mathematics/coq-serapi/Manifest 
b/sci-mathematics/coq-serapi/Manifest
new file mode 100644
index ..512540a49757
--- /dev/null
+++ b/sci-mathematics/coq-serapi/Manifest
@@ -0,0 +1 @@
+DIST coq-serapi-0.15.0.tar.gz 268083 BLAKE2B 
aeea2cb8ed0f648f307715c464f2da90585718aa8afedf69b4e1c282265a12a3937044397787404e43286cebaaf1f48efde93d845cd71c1c97cc1b2e9a2a8835
 SHA512 
3ba1b63002d36a4c0e64f86170d31c4131dc02e8cb8573b39f03ed44d1e5f29c064c472bebad367b875b02e36ced6bfe8c5fb2023bd798b3b79f74a5a2f54189

diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.15.0.ebuild 
b/sci-mathematics/coq-serapi/coq-serapi-0.15.0.ebuild
new file mode 100644
index ..2733c490f747
--- /dev/null
+++ b/sci-mathematics/coq-serapi/coq-serapi-0.15.0.ebuild
@@ -0,0 +1,64 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COQV=8.15.0
+
+inherit elisp-common dune
+
+DESCRIPTION="Serialization library and protocol for interaction with the Coq 
proof assistant"
+HOMEPAGE="https://github.com/ejgallego/coq-serapi/;
+# The tarball in SRC_URI is comprised of +
+SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
+   -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${COQV}-${PV}
+
+LICENSE="GPL-3+"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="emacs +ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+   >=sci-mathematics/coq-${COQV}:=
+   dev-ml/cmdliner:=
+   dev-ml/ppx_deriving:=
+   dev-ml/ppx_deriving_yojson:=
+   dev-ml/ppx_import:=
+   dev-ml/ppx_sexp_conv:=
+   dev-ml/sexplib:=
+   dev-ml/yojson:=
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+   emacs? ( >=app-editors/emacs-23.1:* )
+   test? ( sci-mathematics/coq-mathcomp )
+"
+
+PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch )
+SITEFILE="50sertop-gentoo.el"
+
+src_compile() {
+   dune_src_compile
+
+   use emacs && elisp-compile sertop.el
+}
+
+src_install() {
+   dune_src_install
+
+   rm -r "${D}"/usr/share/emacs || die
+   if use emacs ; then
+   elisp-install sertop sertop.el{,c}
+   elisp-site-file-install "${FILESDIR}/${SITEFILE}"
+   fi
+}
+
+pkg_postinst() {
+   use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+   use emacs && elisp-site-regen
+}

diff --git a/sci-mathematics/coq-serapi/files/50sertop-gentoo.el 
b/sci-mathematics/coq-serapi/files/50sertop-gentoo.el
new file mode 100644
index ..b630f718aa19
--- /dev/null
+++ b/sci-mathematics/coq-serapi/files/50sertop-gentoo.el
@@ -0,0 +1,2 @@
+(add-to-list 'load-path "@SITELISP@")
+(autoload 'sertop "sertop" "Launch sertop." t)

diff --git a/sci-mathematics/coq-serapi/files/coq-serapi-sertop.el-path.patch 
b/sci-mathematics/coq-serapi/files/coq-serapi-sertop.el-path.patch
new file mode 100644
index ..628ed22a64ff
--- /dev/null
+++ b/sci-mathematics/coq-serapi/files/coq-serapi-sertop.el-path.patch
@@ -0,0 +1,12 @@
+index 300a22f..63f7dcc 100644
+--- a/sertop.el
 b/sertop.el
+@@ -37,7 +37,7 @@
+(buffer-file-name
+ 
+ (defvar sertop-executable-path
+-  (or (expand-file-name "sertop.native" sertop--root)
++  (or (executable-find "sertop.native")
+   (executable-find "sertop"))
+   "Path to sertop.")
+ 

diff --git a/sci-mathematics/coq-serapi/metadata.xml 
b/sci-mathematics/coq-serapi/metadata.xml
new file mode 100644
index ..fd440ed6e397
--- /dev/null
+++ b/sci-mathematics/coq-serapi/metadata.xml
@@ -0,0 +1,21 @@
+
+https://www.gentoo.org/dtd/metadata.dtd;>
+
+
+  
+sci-mathemat...@gentoo.org
+Gentoo Mathematics Project
+  
+  
+SerAPI is a library for machine-to-machine interaction with the Coq proof
+assistant, with particular emphasis on applications in IDEs, code analysis
+tools, and machine learning. SerAPI provides automatic serialization of
+Coq's internal OCaml datatypes from/to JSON or S-expressions (sexps).
+SerAPI is a proof-of-concept and should be considered alpha-quality.
+  
+  
+https://github.com/ejgallego/coq-serapi/releases/
+https://github.com/ejgallego/coq-serapi/issues/
+ejgallego/coq-serapi
+  
+