commit: f5770fff2fb5fbbf1858672ddce3533c4ea4df6c Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Sun Aug 13 19:19:37 2023 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Sun Aug 13 19:26:09 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f5770fff
sci-mathematics/verifpal: new package; add 0.27.0 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/verifpal/Manifest | 2 ++ .../verifpal-0.27.0-no-external-generate.patch | 13 ++++++++ sci-mathematics/verifpal/metadata.xml | 16 +++++++++ sci-mathematics/verifpal/verifpal-0.27.0.ebuild | 39 ++++++++++++++++++++++ 4 files changed, 70 insertions(+) diff --git a/sci-mathematics/verifpal/Manifest b/sci-mathematics/verifpal/Manifest new file mode 100644 index 000000000000..035cca097f6f --- /dev/null +++ b/sci-mathematics/verifpal/Manifest @@ -0,0 +1,2 @@ +DIST verifpal-0.27.0-deps.tar.xz 11658240 BLAKE2B 6d4f433311177874acbe4df1367c82ea2c69d5d54708384e1bd6f341bb8b5546629cd2b9f822381cbdcd0bd25f63f77f426c44a1337f69cd813869f16bfbd8dd SHA512 397a7ebf68110f69c90d02aabc3c05d3f169b29d40fc5aca7b6c697b7179bb033d783e7b369c60714facb8dc83908c503bcefe938d2e9af95a75a334f23220e5 +DIST verifpal-v0.27.0.tar.bz2 251067 BLAKE2B 25b0f03366555c98928f2cadd3fcc21c3bd5539ea9bd31e66b0868f5be48ac7b664538535b59ce44305f024a7f192e7c4caf1c15054d269995ffff2704d22429 SHA512 f350e362d892ac5179224be102fd7537b19d9eb571b5ff4c84a673e7f996b2741ed965a23aaa249ca9e33c68f24ee7541b31e52cd5fe5990f4ca1e9283f8930b diff --git a/sci-mathematics/verifpal/files/verifpal-0.27.0-no-external-generate.patch b/sci-mathematics/verifpal/files/verifpal-0.27.0-no-external-generate.patch new file mode 100644 index 000000000000..7286b81359f3 --- /dev/null +++ b/sci-mathematics/verifpal/files/verifpal-0.27.0-no-external-generate.patch @@ -0,0 +1,13 @@ +--- a/cmd/verifpal/main.go ++++ b/cmd/verifpal/main.go +@@ -3,10 +3,8 @@ + // 8e05848fe7fc3fb8ed3ba50a825c5493 + + //go:generate go run ../../internal/libcoq/libcoqgen.go +-//go:generate pigeon -o ../../cmd/vplogic/libpeg.go ../../internal/libpeg/libpeg.peg + //go:generate gofmt -s -w ../../cmd/vplogic/libcoq.go + //go:generate gofmt -s -w ../../cmd/vplogic/libpeg.go +-//go:generate goversioninfo -64=true -icon=../../assets/icon.ico ../../assets/versioninfo.json + + package main + diff --git a/sci-mathematics/verifpal/metadata.xml b/sci-mathematics/verifpal/metadata.xml new file mode 100644 index 000000000000..53f63e5b4c26 --- /dev/null +++ b/sci-mathematics/verifpal/metadata.xml @@ -0,0 +1,16 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> + +<pkgmetadata> + <maintainer type="project"> + <email>[email protected]</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> + Verifpal is new software for verifying the security of cryptographic + protocols. Building upon contemporary research in symbolic formal + verification, Verifpal’s main aim is to appeal more to real-world + practitioners, students and engineers without sacrificing comprehensive + formal verification features. + </longdescription> +</pkgmetadata> diff --git a/sci-mathematics/verifpal/verifpal-0.27.0.ebuild b/sci-mathematics/verifpal/verifpal-0.27.0.ebuild new file mode 100644 index 000000000000..444b9284c857 --- /dev/null +++ b/sci-mathematics/verifpal/verifpal-0.27.0.ebuild @@ -0,0 +1,39 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit go-module + +DESCRIPTION="Cryptographic protocol analysis for real-world protocols" +HOMEPAGE="https://verifpal.com/ + https://source.symbolic.software/verifpal/verifpal/"; +SRC_URI=" + https://source.symbolic.software/${PN}/${PN}/-/archive/v${PV}/${PN}-v${PV}.tar.bz2 + https://dev.gentoo.org/~xgqt/distfiles/deps/${P}-deps.tar.xz +" +S="${WORKDIR}/${PN}-v${PV}" + +LICENSE="GPL-3+" +SLOT="0" +KEYWORDS="~amd64 ~x86" + +PATCHES=( "${FILESDIR}"/${PN}-0.27.0-no-external-generate.patch ) + +DOCS=( README.md examples ) + +src_compile() { + local -a go_buildargs=( + -trimpath + -gcflags="-e" + -ldflags="-s -w" + ) + ego build "${go_buildargs[@]}" ./cmd/verifpal +} + +src_install() { + exeinto /usr/bin + doexe "${PN}" + + einstalldocs +}
