diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-08-14 00:11:33 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-08-14 00:11:33 +0100 |
commit | 1013bb04a30c552ec7ff5e3fe97074b0531a024d (patch) | |
tree | a94f2330bae429402db01020da9c60782e27af89 /sci-mathematics/proverif | |
parent | 40c113c340752d507394d37cd6b60abb741daed0 (diff) |
gentoo auto-resync : 14:08:2023 - 00:11:33
Diffstat (limited to 'sci-mathematics/proverif')
-rw-r--r-- | sci-mathematics/proverif/Manifest | 5 | ||||
-rw-r--r-- | sci-mathematics/proverif/files/50proverif-gentoo.el | 13 | ||||
-rw-r--r-- | sci-mathematics/proverif/metadata.xml | 33 | ||||
-rw-r--r-- | sci-mathematics/proverif/proverif-2.04.ebuild | 63 | ||||
-rw-r--r-- | sci-mathematics/proverif/proverif-9999.ebuild | 63 |
5 files changed, 177 insertions, 0 deletions
diff --git a/sci-mathematics/proverif/Manifest b/sci-mathematics/proverif/Manifest new file mode 100644 index 000000000000..ea85697f9072 --- /dev/null +++ b/sci-mathematics/proverif/Manifest @@ -0,0 +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 +MISC metadata.xml 1638 BLAKE2B 61f7bbf62117942baa127c9cabb9f15ea797b8ea8b313ed720a15a6d96dba1e78e8ad9921739a277175eb008b8c697bdd4b424f472e984d9a01ee63e75ced6f2 SHA512 9bbd77f4247eb5c210e0f1424100541b16235701dc048c2a7ca1485fcdbcbf5a5ab598c8f5a11e234c77f74560e2312f4496af598f07cb504561f60acc2558f9 diff --git a/sci-mathematics/proverif/files/50proverif-gentoo.el b/sci-mathematics/proverif/files/50proverif-gentoo.el new file mode 100644 index 000000000000..2e2da4d3b3bf --- /dev/null +++ b/sci-mathematics/proverif/files/50proverif-gentoo.el @@ -0,0 +1,13 @@ +(add-to-list 'load-path "@SITELISP@") +(autoload 'proverif-horn-mode "proverif" + "Major mode for editing ProVerif code." t) +(autoload 'proverif-horntype-mode "proverif" + "Major mode for editing ProVerif code." t) +(autoload 'proverif-pi-mode "proverif" + "Major mode for editing ProVerif code." t) +(autoload 'proverif-pv-mode "proverif" + "Major mode for editing ProVerif code." t) +(add-to-list 'auto-mode-alist '("\\.horn$" . proverif-horn-mode)) +(add-to-list 'auto-mode-alist '("\\.horntype$" . proverif-horntype-mode)) +(add-to-list 'auto-mode-alist '("\\.pi$" . proverif-pi-mode)) +(add-to-list 'auto-mode-alist '("\\.pv[l]?$" . proverif-pv-mode)) diff --git a/sci-mathematics/proverif/metadata.xml b/sci-mathematics/proverif/metadata.xml new file mode 100644 index 000000000000..e388e8201c2b --- /dev/null +++ b/sci-mathematics/proverif/metadata.xml @@ -0,0 +1,33 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> + ProVerif is an automatic cryptographic protocol verifier, in the formal + model (so called Dolev-Yao model). This protocol verifier is based on a + representation of the protocol by Horn clauses. Its main features are: 1) + It can handle many different cryptographic primitives, including shared- + and public-key cryptography (encryption and signatures), hash functions, + and Diffie-Hellman key agreements, specified both as rewrite rules or as + equations. 2) It can handle an unbounded number of sessions of the protocol + (even in parallel) and an unbounded message space. This result has been + obtained thanks to some well-chosen approximations. This means that the + verifier can give false attacks, but if it claims that the protocol + satisfies some property, then the property is actually satisfied. The + considered resolution algorithm terminates on a large class of protocols + (the so-called "tagged" protocols). When the tool cannot prove a property, + it tries to reconstruct an attack, that is, an execution trace of the + protocol that falsifies the desired property. + </longdescription> + <upstream> + <bugs-to>https://gitlab.inria.fr/bblanche/proverif/-/issues/</bugs-to> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/proverif/proverif-2.04.ebuild b/sci-mathematics/proverif/proverif-2.04.ebuild new file mode 100644 index 000000000000..248a70edb9d2 --- /dev/null +++ b/sci-mathematics/proverif/proverif-2.04.ebuild @@ -0,0 +1,63 @@ +# 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://gitlab.inria.fr/bblanche/${PN}/-/archive/v${PV}/${PN}-v${PV}.tar.bz2" + KEYWORDS="~amd64 ~x86" + S="${WORKDIR}/${PN}-v${PV}/${PN}" +fi + +LICENSE="GPL-2+" +SLOT="0" +IUSE="emacs" + +RDEPEND=" + emacs? ( >=app-editors/emacs-25:* ) +" +BDEPEND=" + ${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 +} diff --git a/sci-mathematics/proverif/proverif-9999.ebuild b/sci-mathematics/proverif/proverif-9999.ebuild new file mode 100644 index 000000000000..248a70edb9d2 --- /dev/null +++ b/sci-mathematics/proverif/proverif-9999.ebuild @@ -0,0 +1,63 @@ +# 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://gitlab.inria.fr/bblanche/${PN}/-/archive/v${PV}/${PN}-v${PV}.tar.bz2" + KEYWORDS="~amd64 ~x86" + S="${WORKDIR}/${PN}-v${PV}/${PN}" +fi + +LICENSE="GPL-2+" +SLOT="0" +IUSE="emacs" + +RDEPEND=" + emacs? ( >=app-editors/emacs-25:* ) +" +BDEPEND=" + ${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 +} |