commit: 49db8fda121c048515f6801689438f4ba94cd83f Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Thu Nov 2 15:59:08 2023 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Thu Nov 2 22:11:18 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=49db8fda
sci-mathematics/proverif: require ocamlopt Closes: https://bugs.gentoo.org/916717 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> .../proverif/{proverif-2.04.ebuild => proverif-2.04-r1.ebuild} | 9 ++++++--- sci-mathematics/proverif/proverif-9999.ebuild | 9 ++++++--- 2 files changed, 12 insertions(+), 6 deletions(-) diff --git a/sci-mathematics/proverif/proverif-2.04.ebuild b/sci-mathematics/proverif/proverif-2.04-r1.ebuild similarity index 93% rename from sci-mathematics/proverif/proverif-2.04.ebuild rename to sci-mathematics/proverif/proverif-2.04-r1.ebuild index 248a70edb9d2..a70d69a747de 100644 --- a/sci-mathematics/proverif/proverif-2.04.ebuild +++ b/sci-mathematics/proverif/proverif-2.04-r1.ebuild @@ -9,14 +9,16 @@ DESCRIPTION="Cryptographic protocol verifier in the formal model" HOMEPAGE="https://bblanche.gitlabpages.inria.fr/proverif/ https://gitlab.inria.fr/bblanche/proverif/"; -if [[ ${PV} == *9999* ]] ; then +if [[ "${PV}" == *9999* ]] ; then inherit git-r3 + EGIT_REPO_URI="https://gitlab.inria.fr/bblanche/${PN}.git"; S="${WORKDIR}/${P}/${PN}" else SRC_URI="https://gitlab.inria.fr/bblanche/${PN}/-/archive/v${PV}/${PN}-v${PV}.tar.bz2"; - KEYWORDS="~amd64 ~x86" S="${WORKDIR}/${PN}-v${PV}/${PN}" + + KEYWORDS="~amd64 ~x86" fi LICENSE="GPL-2+" @@ -24,9 +26,10 @@ SLOT="0" IUSE="emacs" RDEPEND=" + dev-lang/ocaml:=[ocamlopt] emacs? ( >=app-editors/emacs-25:* ) " -BDEPEND=" +DEPEND=" ${RDEPEND} " diff --git a/sci-mathematics/proverif/proverif-9999.ebuild b/sci-mathematics/proverif/proverif-9999.ebuild index 248a70edb9d2..a70d69a747de 100644 --- a/sci-mathematics/proverif/proverif-9999.ebuild +++ b/sci-mathematics/proverif/proverif-9999.ebuild @@ -9,14 +9,16 @@ DESCRIPTION="Cryptographic protocol verifier in the formal model" HOMEPAGE="https://bblanche.gitlabpages.inria.fr/proverif/ https://gitlab.inria.fr/bblanche/proverif/"; -if [[ ${PV} == *9999* ]] ; then +if [[ "${PV}" == *9999* ]] ; then inherit git-r3 + EGIT_REPO_URI="https://gitlab.inria.fr/bblanche/${PN}.git"; S="${WORKDIR}/${P}/${PN}" else SRC_URI="https://gitlab.inria.fr/bblanche/${PN}/-/archive/v${PV}/${PN}-v${PV}.tar.bz2"; - KEYWORDS="~amd64 ~x86" S="${WORKDIR}/${PN}-v${PV}/${PN}" + + KEYWORDS="~amd64 ~x86" fi LICENSE="GPL-2+" @@ -24,9 +26,10 @@ SLOT="0" IUSE="emacs" RDEPEND=" + dev-lang/ocaml:=[ocamlopt] emacs? ( >=app-editors/emacs-25:* ) " -BDEPEND=" +DEPEND=" ${RDEPEND} "
