[gentoo-commits] repo/gentoo:master commit in: app-emacs/company-coq/

2023-03-19 Thread Maciej Barć 
commit: 426a0fdd33772628b5166ab81ebbdc964706bb91
Author: Maciej Barć  gentoo  org>
AuthorDate: Sun Mar 19 12:22:19 2023 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sun Mar 19 13:53:08 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=426a0fdd

app-emacs/company-coq: guard COMMIT hash for correct snapshots

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

 app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild | 4 ++--
 app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild| 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild 
b/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild
index e03ba27d4576..4d43b44f080d 100644
--- a/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild
+++ b/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild
@@ -3,14 +3,14 @@
 
 EAPI=8
 
-COMMIT=382db93374380e5db56f02934ee32bbe39159019
+[[ ${PV} == *_p20210708 ]] && COMMIT=382db93374380e5db56f02934ee32bbe39159019
 
 inherit elisp
 
 DESCRIPTION="Collection of extensions for Proof General's Coq mode"
 HOMEPAGE="https://github.com/cpitclaudel/company-coq/";
 SRC_URI="https://github.com/cpitclaudel/${PN}/archive/${COMMIT}.tar.gz
-   -> ${P}.tar.gz"
+   -> ${P}.tar.gz"
 S="${WORKDIR}"/${PN}-${COMMIT}
 
 LICENSE="GPL-3+"

diff --git a/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild 
b/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild
index f6cf92448147..f1c8a7e4b396 100644
--- a/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild
+++ b/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild
@@ -3,14 +3,14 @@
 
 EAPI=8
 
-COMMIT=a6e349e0131f676a885bd14c908fd26054b2df42
+[[ ${PV} == *_p20220314 ]] && COMMIT=a6e349e0131f676a885bd14c908fd26054b2df42
 
 inherit elisp
 
 DESCRIPTION="Collection of extensions for Proof General's Coq mode"
 HOMEPAGE="https://github.com/cpitclaudel/company-coq/";
 SRC_URI="https://github.com/cpitclaudel/${PN}/archive/${COMMIT}.tar.gz
-   -> ${P}.tar.gz"
+   -> ${P}.tar.gz"
 S="${WORKDIR}"/${PN}-${COMMIT}
 
 LICENSE="GPL-3+"

[gentoo-commits] repo/gentoo:master commit in: app-emacs/company-coq/

2022-08-31 Thread Maciej Barć 
commit: 4d7bb3a70562a7a8c3f1c31b28e6e9f3bad808f5
Author: Maciej Barć  gentoo  org>
AuthorDate: Wed Aug 31 19:09:18 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Wed Aug 31 19:26:04 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d7bb3a7

app-emacs/company-coq: bump to 1.0.1_p20220314

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

 app-emacs/company-coq/Manifest |  1 +
 .../company-coq/company-coq-1.0.1_p20220314.ebuild | 46 ++
 2 files changed, 47 insertions(+)

diff --git a/app-emacs/company-coq/Manifest b/app-emacs/company-coq/Manifest
index c02201ab2771..683f29a219c5 100644
--- a/app-emacs/company-coq/Manifest
+++ b/app-emacs/company-coq/Manifest
@@ -1 +1,2 @@
 DIST company-coq-1.0.1_p20210708.tar.gz 3803957 BLAKE2B 
d2bb308cc7a103d4343e914ec20cf539405062e475c7be6cd0db776490a7af35f10fc9e712733bd8f7c6667a05f8d3d6c4321820a61da0847b8bc718c182
 SHA512 
92a7d0bf8326460519e5f47fe1e9779a4cc2d2bf069898e1797fabf483535eca8244c1ea36bc525aac418e2c26036a8580076435ccbfaa5bdc2e6ee6f133b655
+DIST company-coq-1.0.1_p20220314.tar.gz 3804039 BLAKE2B 
93458da7615f7c6f4a6c96c56aa14b95abd0a738a6653c5a3564829f3182ce890fdf52d4aa02e7b5079b7dd17db46e2eb9a7dbe271c579755e12606ba001487e
 SHA512 
07b3c7f639e663ac9c114300fc53a729e2877563d9e2c4434010e12fa7ab435465a7daf6f47fc11076506f18d056c9672be4c6f4246a1b559284a0bf739dc696

diff --git a/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild 
b/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild
new file mode 100644
index ..62082bd1ee13
--- /dev/null
+++ b/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild
@@ -0,0 +1,46 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=a6e349e0131f676a885bd14c908fd26054b2df42
+
+inherit elisp
+
+DESCRIPTION="Collection of extensions for Proof General's Coq mode"
+HOMEPAGE="https://github.com/cpitclaudel/company-coq/";
+SRC_URI="https://github.com/cpitclaudel/${PN}/archive/${H}.tar.gz
+   -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${H}
+
+LICENSE="GPL-3+"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+BDEPEND="
+   app-emacs/company-math
+   app-emacs/company-mode
+   app-emacs/dash
+   app-emacs/yasnippet
+"
+RDEPEND="
+   ${BDEPEND}
+   app-emacs/proofgeneral
+"
+
+PATCHES=( "${FILESDIR}"/${PN}-refman-path.patch )
+SITEFILE="50${PN}-gentoo.el"
+
+src_prepare(){
+   default
+
+   sed -i "s|@SITEETC@|${EPREFIX}${SITEETC}|" ./company-coq.el || die
+}
+
+src_install() {
+   elisp_src_install
+   einstalldocs
+
+   insinto "${SITEETC}"
+   doins -r ./refman
+}

[gentoo-commits] repo/gentoo:master commit in: app-emacs/company-coq/, app-emacs/lean-mode/, app-emacs/math-symbol-lists/, ...

2022-03-08 Thread Maciej Barć 
commit: ff6203195be7d9c45e9ae4a67dc8b3a3ad6ba8b1
Author: Maciej Barć  gentoo  org>
AuthorDate: Tue Mar  8 14:06:36 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Tue Mar  8 14:06:58 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ff620319

app-emacs: drop xgqt (myself) from maintainers

as I am now a member of Gentoo GNU Emacs project

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

 app-emacs/company-coq/metadata.xml   | 4 
 app-emacs/company-math/metadata.xml  | 4 
 app-emacs/fennel-mode/metadata.xml   | 4 
 app-emacs/lean-mode/metadata.xml | 4 
 app-emacs/math-symbol-lists/metadata.xml | 4 
 app-emacs/racket-mode/metadata.xml   | 4 
 6 files changed, 24 deletions(-)

diff --git a/app-emacs/company-coq/metadata.xml 
b/app-emacs/company-coq/metadata.xml
index e08a1ec41ec3..cdb2a2c4917d 100644
--- a/app-emacs/company-coq/metadata.xml
+++ b/app-emacs/company-coq/metadata.xml
@@ -2,10 +2,6 @@
 https://www.gentoo.org/dtd/metadata.dtd";>
 
 
-  
-x...@gentoo.org
-Maciej Barć
-  
   
 gnu-em...@gentoo.org
 Gentoo GNU Emacs project

diff --git a/app-emacs/company-math/metadata.xml 
b/app-emacs/company-math/metadata.xml
index 3e07a7c347e9..608d30eacba2 100644
--- a/app-emacs/company-math/metadata.xml
+++ b/app-emacs/company-math/metadata.xml
@@ -2,10 +2,6 @@
 https://www.gentoo.org/dtd/metadata.dtd";>
 
 
-  
-x...@gentoo.org
-Maciej Barć
-  
   
 gnu-em...@gentoo.org
 Gentoo GNU Emacs project

diff --git a/app-emacs/fennel-mode/metadata.xml 
b/app-emacs/fennel-mode/metadata.xml
index ffed09b9267e..819627987bb1 100644
--- a/app-emacs/fennel-mode/metadata.xml
+++ b/app-emacs/fennel-mode/metadata.xml
@@ -2,10 +2,6 @@
 https://www.gentoo.org/dtd/metadata.dtd";>
 
 
-  
-x...@gentoo.org
-Maciej Barć
-  
   
 gnu-em...@gentoo.org
 Gentoo GNU Emacs project

diff --git a/app-emacs/lean-mode/metadata.xml b/app-emacs/lean-mode/metadata.xml
index 679365cf3709..d3d07efc29cb 100644
--- a/app-emacs/lean-mode/metadata.xml
+++ b/app-emacs/lean-mode/metadata.xml
@@ -2,10 +2,6 @@
 https://www.gentoo.org/dtd/metadata.dtd";>
 
 
-  
-x...@gentoo.org
-Maciej Barć
-  
   
 gnu-em...@gentoo.org
 Gentoo GNU Emacs project

diff --git a/app-emacs/math-symbol-lists/metadata.xml 
b/app-emacs/math-symbol-lists/metadata.xml
index e71ceefbb1ad..8cf72388d669 100644
--- a/app-emacs/math-symbol-lists/metadata.xml
+++ b/app-emacs/math-symbol-lists/metadata.xml
@@ -2,10 +2,6 @@
 https://www.gentoo.org/dtd/metadata.dtd";>
 
 
-  
-x...@gentoo.org
-Maciej Barć
-  
   
 gnu-em...@gentoo.org
 Gentoo GNU Emacs project

diff --git a/app-emacs/racket-mode/metadata.xml 
b/app-emacs/racket-mode/metadata.xml
index f6d885ebc654..b087f4f1e0c4 100644
--- a/app-emacs/racket-mode/metadata.xml
+++ b/app-emacs/racket-mode/metadata.xml
@@ -2,10 +2,6 @@
 https://www.gentoo.org/dtd/metadata.dtd";>
 
 
-  
-x...@gentoo.org
-Maciej Barć
-  
   
 gnu-em...@gentoo.org
 Gentoo GNU Emacs project

[gentoo-commits] repo/gentoo:master commit in: app-emacs/company-coq/files/, app-emacs/company-coq/

2022-03-06 Thread Maciej Barć 
commit: 5b14c6129c037d4191f2fcedac6837f8442dc0dc
Author: Maciej Barć  gentoo  org>
AuthorDate: Sun Mar  6 23:25:48 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sun Mar  6 23:53:31 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5b14c612

app-emacs/company-coq: add company-coq-mode hook to coq-mode

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

 ...oq-1.0.1_p20210708.ebuild => company-coq-1.0.1_p20210708-r1.ebuild} | 0
 app-emacs/company-coq/files/50company-coq-gentoo.el| 3 +++
 2 files changed, 3 insertions(+)

diff --git a/app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild 
b/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild
similarity index 100%
rename from app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild
rename to app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild

diff --git a/app-emacs/company-coq/files/50company-coq-gentoo.el 
b/app-emacs/company-coq/files/50company-coq-gentoo.el
index 431f7e90ae73..9aa96abbd125 100644
--- a/app-emacs/company-coq/files/50company-coq-gentoo.el
+++ b/app-emacs/company-coq/files/50company-coq-gentoo.el
@@ -1 +1,4 @@
 (add-to-list 'load-path "@SITELISP@")
+(autoload 'company-coq-mode "company-coq"
+  "Collection of extensions for Proof General's Coq mode" t)
+(add-hook 'coq-mode 'company-coq-mode)

[gentoo-commits] repo/gentoo:master commit in: app-emacs/company-coq/

2022-03-06 Thread Maciej Barć 
commit: 10c7e0a0e168032b41f425b23b53bfd9c24cf472
Author: Maciej Barć  gentoo  org>
AuthorDate: Sun Mar  6 23:21:23 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sun Mar  6 23:53:31 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=10c7e0a0

app-emacs/company-coq: add proofgeneral runtime dependency

because it is needed to add hook to coq-mode provided by PG

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

 app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild | 7 +--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild 
b/app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild
index 968938b2b0f6..15a3bcbd6aad 100644
--- a/app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild
+++ b/app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild
@@ -17,13 +17,16 @@ LICENSE="GPL-3+"
 SLOT="0"
 KEYWORDS="~amd64 ~x86"
 
-RDEPEND="
+BDEPEND="
app-emacs/company-math
app-emacs/company-mode
app-emacs/dash
app-emacs/yasnippet
 "
-BDEPEND="${RDEPEND}"
+RDEPEND="
+   ${BDEPEND}
+   app-emacs/proofgeneral
+"
 
 PATCHES=( "${FILESDIR}"/${PN}-refman-path.patch )
 SITEFILE="50${PN}-gentoo.el"

[gentoo-commits] repo/gentoo:master commit in: app-emacs/company-coq/

2022-03-05 Thread Maciej Barć 
commit: 70afc103e172cdbc91713e57efe76ac1d9c5c5f3
Author: Maciej Barć  gentoo  org>
AuthorDate: Sun Mar  6 03:22:42 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sun Mar  6 03:22:42 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=70afc103

app-emacs/company-coq: update metadata - add longdescription

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

 app-emacs/company-coq/metadata.xml | 8 
 1 file changed, 8 insertions(+)

diff --git a/app-emacs/company-coq/metadata.xml 
b/app-emacs/company-coq/metadata.xml
index 824f0351513e..e08a1ec41ec3 100644
--- a/app-emacs/company-coq/metadata.xml
+++ b/app-emacs/company-coq/metadata.xml
@@ -10,6 +10,14 @@
 gnu-em...@gentoo.org
 Gentoo GNU Emacs project
   
+  
+Company-Coq is a new Emacs package that extends Proof General with a
+contextual auto-completion engine for Coq proofs and many additional
+facilities to make writing proofs easier and more efficient. Beyond fuzzy
+auto-completion of tactics, options, module names, and local definitions,
+company-coq offers offline in-editor documentation, convenient snippets,
+and multiple other Coq-specific IDE features.
+  
   
 https://github.com/cpitclaudel/company-coq/issues/
 cpitclaudel/company-coq

[gentoo-commits] repo/gentoo:master commit in: app-emacs/company-coq/files/, app-emacs/company-coq/

2022-03-05 Thread Maciej Barć 
commit: 36102d4690dc9e99d550128783624dbc77b448b9
Author: Maciej Barć  gentoo  org>
AuthorDate: Sun Mar  6 02:19:59 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Sun Mar  6 02:54:33 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=36102d46

app-emacs/company-coq: new package; add 1.0.1_p20210708

2021.07.08 snapshot

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

 app-emacs/company-coq/Manifest |  1 +
 .../company-coq/company-coq-1.0.1_p20210708.ebuild | 43 ++
 .../company-coq/files/50company-coq-gentoo.el  |  1 +
 .../files/company-coq-refman-path.patch| 13 +++
 app-emacs/company-coq/metadata.xml | 17 +
 5 files changed, 75 insertions(+)

diff --git a/app-emacs/company-coq/Manifest b/app-emacs/company-coq/Manifest
new file mode 100644
index ..c02201ab2771
--- /dev/null
+++ b/app-emacs/company-coq/Manifest
@@ -0,0 +1 @@
+DIST company-coq-1.0.1_p20210708.tar.gz 3803957 BLAKE2B 
d2bb308cc7a103d4343e914ec20cf539405062e475c7be6cd0db776490a7af35f10fc9e712733bd8f7c6667a05f8d3d6c4321820a61da0847b8bc718c182
 SHA512 
92a7d0bf8326460519e5f47fe1e9779a4cc2d2bf069898e1797fabf483535eca8244c1ea36bc525aac418e2c26036a8580076435ccbfaa5bdc2e6ee6f133b655

diff --git a/app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild 
b/app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild
new file mode 100644
index ..968938b2b0f6
--- /dev/null
+++ b/app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild
@@ -0,0 +1,43 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=382db93374380e5db56f02934ee32bbe39159019
+
+inherit elisp
+
+DESCRIPTION="Collection of extensions for Proof General's Coq mode"
+HOMEPAGE="https://github.com/cpitclaudel/company-coq/";
+SRC_URI="https://github.com/cpitclaudel/${PN}/archive/${H}.tar.gz
+   -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${H}
+
+LICENSE="GPL-3+"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+RDEPEND="
+   app-emacs/company-math
+   app-emacs/company-mode
+   app-emacs/dash
+   app-emacs/yasnippet
+"
+BDEPEND="${RDEPEND}"
+
+PATCHES=( "${FILESDIR}"/${PN}-refman-path.patch )
+SITEFILE="50${PN}-gentoo.el"
+
+src_prepare(){
+   default
+
+   sed -i "s|@SITEETC@|${EPREFIX}${SITEETC}|" ./company-coq.el || die
+}
+
+src_install() {
+   elisp_src_install
+   einstalldocs
+
+   insinto "${SITEETC}"
+   doins -r ./refman
+}

diff --git a/app-emacs/company-coq/files/50company-coq-gentoo.el 
b/app-emacs/company-coq/files/50company-coq-gentoo.el
new file mode 100644
index ..431f7e90ae73
--- /dev/null
+++ b/app-emacs/company-coq/files/50company-coq-gentoo.el
@@ -0,0 +1 @@
+(add-to-list 'load-path "@SITELISP@")

diff --git a/app-emacs/company-coq/files/company-coq-refman-path.patch 
b/app-emacs/company-coq/files/company-coq-refman-path.patch
new file mode 100644
index ..96c642f1aea0
--- /dev/null
+++ b/app-emacs/company-coq/files/company-coq-refman-path.patch
@@ -0,0 +1,13 @@
+index 3a984878..9a42fed9 100644
+--- a/company-coq.el
 b/company-coq.el
+@@ -762,8 +762,7 @@ Useful as a value for `company-coq-completion-predicate'."
+   "Full path of this script.")
+ 
+ (defconst company-coq-refman-path
+-  (when company-coq-script-full-path
+-(expand-file-name "refman/" (file-name-directory 
company-coq-script-full-path)))
++  (expand-file-name "@SITEETC@/refman/")
+   "Refman (and other assets)'s directory.")
+ 
+ (defface company-coq-doc-header-face-docs-and-sources

diff --git a/app-emacs/company-coq/metadata.xml 
b/app-emacs/company-coq/metadata.xml
new file mode 100644
index ..824f0351513e
--- /dev/null
+++ b/app-emacs/company-coq/metadata.xml
@@ -0,0 +1,17 @@
+
+https://www.gentoo.org/dtd/metadata.dtd";>
+
+
+  
+x...@gentoo.org
+Maciej Barć
+  
+  
+gnu-em...@gentoo.org
+Gentoo GNU Emacs project
+  
+  
+https://github.com/cpitclaudel/company-coq/issues/
+cpitclaudel/company-coq
+  
+