diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-11-02 16:59:08 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-11-02 23:11:18 +0100 |
| commit | 49db8fda121c048515f6801689438f4ba94cd83f (patch) | |
| tree | 62d3f35361983e6cd68756b8c2a4c0dd60046d61 /sci-mathematics | |
| parent | sys-apps/openrazer: bump to 3.7.0 (diff) | |
| download | gentoo-49db8fda121c048515f6801689438f4ba94cd83f.tar.gz gentoo-49db8fda121c048515f6801689438f4ba94cd83f.tar.bz2 gentoo-49db8fda121c048515f6801689438f4ba94cd83f.zip | |
sci-mathematics/proverif: require ocamlopt
Closes: https://bugs.gentoo.org/916717
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/proverif/proverif-2.04-r1.ebuild (renamed from sci-mathematics/proverif/proverif-2.04.ebuild) | 9 | ||||
| -rw-r--r-- | 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 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} " |