summaryrefslogtreecommitdiff
path: root/sci-mathematics/proverif
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-11-03 03:56:37 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-11-03 03:56:37 +0000
commit54e9f9704b37e05c561eadb37d89d30ee7dda9ee (patch)
treebb03a8b10fc448608096c5e872d62b366fc2c93c /sci-mathematics/proverif
parent1615d14d4de4360b2241ce5cd8a84157cc86cde0 (diff)
gentoo auto-resync : 03:11:2023 - 03:56:37
Diffstat (limited to 'sci-mathematics/proverif')
-rw-r--r--sci-mathematics/proverif/Manifest4
-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.ebuild9
3 files changed, 14 insertions, 8 deletions
diff --git a/sci-mathematics/proverif/Manifest b/sci-mathematics/proverif/Manifest
index ea85697f9072..58872446201a 100644
--- a/sci-mathematics/proverif/Manifest
+++ b/sci-mathematics/proverif/Manifest
@@ -1,5 +1,5 @@
AUX 50proverif-gentoo.el 650 BLAKE2B d31acd5c6aeeb2b938b0a475c896f0345149abc500bc98e889a89b2b241b8e59890544b64997eb7f029fe048de3fc696a2290bf1a707d9898b166458065f4d22 SHA512 44e6058ffc609a6475b21350148d677dfc0cd8846b7441541ed33b9f10bc789c4f1177ad517e684cc19f9e1ac34066a023cb003197be8c376f3c3cf99e7ff937
DIST proverif-v2.04.tar.bz2 61001112 BLAKE2B 03364d315bfa3d6cc8dfb68819be6b92301f554cf7ae4db0c4b9d8190a7d7576b79295dd536bf1356e12679028c100e6040d8c4e4299cf137c15114caf0216d2 SHA512 dbfafa62f4df72044b05563e10219b034ad49dd972598bf72eba616f2a88ff1cb85c3ee7bb9235050d0f35dbde750bffddbc93897b9ca2101dc6d153d3ea5575
-EBUILD proverif-2.04.ebuild 1184 BLAKE2B d160905bd90e94312dac9d5ba1964cec592cdab92b4f07dea474975134f9e10b5b60c4f512b5addf2e1a29a98064cbe762ca0b7c25d72e160697352fbaadd396 SHA512 b60d6a944a92f35c1768f0539357bf964c5e3418c1cd9886d208156735e1d16767256b49a5d55eb65e1172017dec0d6662dd6bbd5ecc17e4acc4d91de4e65600
-EBUILD proverif-9999.ebuild 1184 BLAKE2B d160905bd90e94312dac9d5ba1964cec592cdab92b4f07dea474975134f9e10b5b60c4f512b5addf2e1a29a98064cbe762ca0b7c25d72e160697352fbaadd396 SHA512 b60d6a944a92f35c1768f0539357bf964c5e3418c1cd9886d208156735e1d16767256b49a5d55eb65e1172017dec0d6662dd6bbd5ecc17e4acc4d91de4e65600
+EBUILD proverif-2.04-r1.ebuild 1215 BLAKE2B 96842c9a3971326e7dbe1d49060a0bd6f1449375b0a4054153ad23922978084711b78f4a595cc578b2a6015ea7e6a0da128917e36f3d784cdcf07adba7d03475 SHA512 bb68fb16e894a32ad8d1071b63fcd98b2697e2cc2745dd843dc66f7c3cfe45d00a1f6c393d0a86c576fc97f430a465e26c68b9029fdfcf644132667a2a9d15ca
+EBUILD proverif-9999.ebuild 1215 BLAKE2B 96842c9a3971326e7dbe1d49060a0bd6f1449375b0a4054153ad23922978084711b78f4a595cc578b2a6015ea7e6a0da128917e36f3d784cdcf07adba7d03475 SHA512 bb68fb16e894a32ad8d1071b63fcd98b2697e2cc2745dd843dc66f7c3cfe45d00a1f6c393d0a86c576fc97f430a465e26c68b9029fdfcf644132667a2a9d15ca
MISC metadata.xml 1638 BLAKE2B 61f7bbf62117942baa127c9cabb9f15ea797b8ea8b313ed720a15a6d96dba1e78e8ad9921739a277175eb008b8c697bdd4b424f472e984d9a01ee63e75ced6f2 SHA512 9bbd77f4247eb5c210e0f1424100541b16235701dc048c2a7ca1485fcdbcbf5a5ab598c8f5a11e234c77f74560e2312f4496af598f07cb504561f60acc2558f9
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}
"