diff options
Diffstat (limited to 'app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild')
| -rw-r--r-- | app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild | 7 |
1 files 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" |