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

["Maciej Barć" <xgqt@gentoo.org>]

commit:     10c7e0a0e168032b41f425b23b53bfd9c24cf472
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Mar  6 23:21:23 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Mar  6 23:53:31 2022 +0000
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ć <xgqt <AT> 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"