* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/proverif/
@ 2023-11-02 22:11 Maciej Barć
0 siblings, 0 replies; 4+ messages in thread
From: Maciej Barć @ 2023-11-02 22:11 UTC (permalink / raw
To: gentoo-commits
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}
"
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/proverif/
@ 2023-12-10 19:16 Maciej Barć
0 siblings, 0 replies; 4+ messages in thread
From: Maciej Barć @ 2023-12-10 19:16 UTC (permalink / raw
To: gentoo-commits
commit: 4be39a23beeaf0727666a2119cf04859c684ffc6
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Dec 10 19:15:47 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Dec 10 19:16:34 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4be39a23
sci-mathematics/proverif: bump to 2.05
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/proverif/proverif-2.05.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/proverif/proverif-2.05.ebuild b/sci-mathematics/proverif/proverif-2.05.ebuild
index 16f222d7eaa0..3a6c80ee509e 100644
--- a/sci-mathematics/proverif/proverif-2.05.ebuild
+++ b/sci-mathematics/proverif/proverif-2.05.ebuild
@@ -33,7 +33,7 @@ DEPEND="
${RDEPEND}
"
-DOCS=( CHANGES README docs/dev docs/manual )
+DOCS=( CHANGES README )
SITEFILE="50${PN}-gentoo.el"
src_compile() {
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/proverif/
@ 2023-12-10 19:16 Maciej Barć
0 siblings, 0 replies; 4+ messages in thread
From: Maciej Barć @ 2023-12-10 19:16 UTC (permalink / raw
To: gentoo-commits
commit: 0e78b666b7705cfa32d5ce5d560f734014cb3cb4
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Dec 10 18:56:18 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Dec 10 19:16:34 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0e78b666
sci-mathematics/proverif: bump to 2.05
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/proverif/Manifest | 1 +
sci-mathematics/proverif/proverif-2.05.ebuild | 66 +++++++++++++++++++++++++++
2 files changed, 67 insertions(+)
diff --git a/sci-mathematics/proverif/Manifest b/sci-mathematics/proverif/Manifest
index 7c7ae0993907..1fff6166bc40 100644
--- a/sci-mathematics/proverif/Manifest
+++ b/sci-mathematics/proverif/Manifest
@@ -1 +1,2 @@
DIST proverif-v2.04.tar.bz2 61001112 BLAKE2B 03364d315bfa3d6cc8dfb68819be6b92301f554cf7ae4db0c4b9d8190a7d7576b79295dd536bf1356e12679028c100e6040d8c4e4299cf137c15114caf0216d2 SHA512 dbfafa62f4df72044b05563e10219b034ad49dd972598bf72eba616f2a88ff1cb85c3ee7bb9235050d0f35dbde750bffddbc93897b9ca2101dc6d153d3ea5575
+DIST proverif2.05.tar.gz 980879 BLAKE2B 738531d34249f1837a93c6897d7249e326213940cc9a8fc378a25912a4de4c122a6ce536a429f17c1ef7fae5dd5e1673cdf439d7bad2dd0f44826b33363dbc8a SHA512 e20d6dc40b0e4957590b9ce019ef654361f3514f53e0a5c3240a40d296ff2a50093630982b7a230c2277eadf4ed22ba1b6d09b48764c2ad3ec0e102033d1c486
diff --git a/sci-mathematics/proverif/proverif-2.05.ebuild b/sci-mathematics/proverif/proverif-2.05.ebuild
new file mode 100644
index 000000000000..16f222d7eaa0
--- /dev/null
+++ b/sci-mathematics/proverif/proverif-2.05.ebuild
@@ -0,0 +1,66 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit edo elisp-common findlib
+
+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
+ inherit git-r3
+
+ EGIT_REPO_URI="https://gitlab.inria.fr/bblanche/${PN}.git"
+ S="${WORKDIR}/${P}/${PN}"
+else
+ SRC_URI="https://bblanche.gitlabpages.inria.fr/proverif/${PN}${PV}.tar.gz"
+ S="${WORKDIR}/${PN}${PV}"
+
+ KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="GPL-2+"
+SLOT="0"
+IUSE="emacs"
+
+RDEPEND="
+ dev-lang/ocaml:=[ocamlopt]
+ emacs? ( >=app-editors/emacs-25:* )
+"
+DEPEND="
+ ${RDEPEND}
+"
+
+DOCS=( CHANGES README docs/dev docs/manual )
+SITEFILE="50${PN}-gentoo.el"
+
+src_compile() {
+ edob sh ./build -nointeract
+
+ if use emacs ; then
+ cd "${S}/emacs" || die
+
+ elisp-compile *.el
+ fi
+}
+
+src_test() {
+ edob sh ./test
+}
+
+src_install() {
+ findlib_src_preinst
+
+ exeinto /usr/bin
+ doexe proverif
+ doexe proveriftotex
+
+ if use emacs ; then
+ elisp-install "${PN}" "${S}/emacs"/*.el{,c}
+ elisp-site-file-install "${FILESDIR}/${SITEFILE}"
+ fi
+
+ einstalldocs
+}
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/proverif/
@ 2024-05-23 22:08 Maciej Barć
0 siblings, 0 replies; 4+ messages in thread
From: Maciej Barć @ 2024-05-23 22:08 UTC (permalink / raw
To: gentoo-commits
commit: 3c32aebedf8c9f1903afa239dccd3fa65758974a
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu May 23 21:25:45 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu May 23 22:08:07 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3c32aebe
sci-mathematics/proverif: use edo instead of edob
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/proverif/proverif-2.04-r1.ebuild | 6 +++---
sci-mathematics/proverif/proverif-2.05.ebuild | 6 +++---
sci-mathematics/proverif/proverif-9999.ebuild | 6 +++---
3 files changed, 9 insertions(+), 9 deletions(-)
diff --git a/sci-mathematics/proverif/proverif-2.04-r1.ebuild b/sci-mathematics/proverif/proverif-2.04-r1.ebuild
index a70d69a747de..9f2156ce655e 100644
--- a/sci-mathematics/proverif/proverif-2.04-r1.ebuild
+++ b/sci-mathematics/proverif/proverif-2.04-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -37,7 +37,7 @@ DOCS=( CHANGES README docs/dev docs/manual )
SITEFILE="50${PN}-gentoo.el"
src_compile() {
- edob sh ./build -nointeract
+ edo sh ./build -nointeract
if use emacs ; then
cd "${S}/emacs" || die
@@ -47,7 +47,7 @@ src_compile() {
}
src_test() {
- edob sh ./test
+ edo sh ./test
}
src_install() {
diff --git a/sci-mathematics/proverif/proverif-2.05.ebuild b/sci-mathematics/proverif/proverif-2.05.ebuild
index 3a6c80ee509e..a537929ab036 100644
--- a/sci-mathematics/proverif/proverif-2.05.ebuild
+++ b/sci-mathematics/proverif/proverif-2.05.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -37,7 +37,7 @@ DOCS=( CHANGES README )
SITEFILE="50${PN}-gentoo.el"
src_compile() {
- edob sh ./build -nointeract
+ edo sh ./build -nointeract
if use emacs ; then
cd "${S}/emacs" || die
@@ -47,7 +47,7 @@ src_compile() {
}
src_test() {
- edob sh ./test
+ edo sh ./test
}
src_install() {
diff --git a/sci-mathematics/proverif/proverif-9999.ebuild b/sci-mathematics/proverif/proverif-9999.ebuild
index a70d69a747de..9f2156ce655e 100644
--- a/sci-mathematics/proverif/proverif-9999.ebuild
+++ b/sci-mathematics/proverif/proverif-9999.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -37,7 +37,7 @@ DOCS=( CHANGES README docs/dev docs/manual )
SITEFILE="50${PN}-gentoo.el"
src_compile() {
- edob sh ./build -nointeract
+ edo sh ./build -nointeract
if use emacs ; then
cd "${S}/emacs" || die
@@ -47,7 +47,7 @@ src_compile() {
}
src_test() {
- edob sh ./test
+ edo sh ./test
}
src_install() {
^ permalink raw reply related [flat|nested] 4+ messages in thread
end of thread, other threads:[~2024-05-23 22:08 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-12-10 19:16 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/proverif/ Maciej Barć
-- strict thread matches above, loose matches on Subject: below --
2024-05-23 22:08 Maciej Barć
2023-12-10 19:16 Maciej Barć
2023-11-02 22:11 Maciej Barć
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox