diff options
Diffstat (limited to 'sci-mathematics/proverif/proverif-9999.ebuild')
-rw-r--r-- | sci-mathematics/proverif/proverif-9999.ebuild | 63 |
1 files changed, 63 insertions, 0 deletions
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 +} |