gentoo auto-resync : 14:08:2023 - 00:11:33

4 files changed, 73 insertions, 0 deletions

diff --git a/sci-mathematics/verifpal/Manifest b/sci-mathematics/verifpal/Manifest
new file mode 100644
index 000000000000..b447392d3610
--- /dev/null
+++ b/sci-mathematics/verifpal/Manifest
@@ -0,0 +1,5 @@
+AUX verifpal-0.27.0-no-external-generate.patch 477 BLAKE2B 6265de9f552ee15c5b16c132d1b3dab6ad65c99e08f85b56b4d6fe3521ddcb3f08f07b1d98b6ca253579b504b347968b6ace2b8a8eb9d0ed10349cdfb61c8d0e SHA512 b2c10d9aa3ef4687e2f758f344a9df4bc7348bae363cab164c67201c3829b23cae72df6a73ad7c142e349fcff450a91d3f19ed0344339e5cb1fbb25b2bd8dbac
+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
+EBUILD verifpal-0.27.0.ebuild 829 BLAKE2B 635d5b233042755490a7065813a63ff07bd0fdd9ce0ae701c85170f65c7420be74b3f581845c2755aac0ef51a998e7a4895800e10963b31242ab7de03360ce23 SHA512 b789c9c512b27b7ae0061b24dfe9ca084747275dcde1f0c787ff354a7b89ba3c463065c315d6ff669e906e159c34ec4d0988c1df8984d8f35a9832190078e761
+MISC metadata.xml 643 BLAKE2B 85d50a769514d2e97a898e810506037b189adbe38efc48b59defedb0452e254481d71d2dcdb43d4afec2b39a27d25fb8c0728a6a94f6db444f8c961a66049b26 SHA512 e1012777464282b20c0a33c70ebdf6d7917ed802d532acfbe132aefb2a43226e1032407d4860f50d17ef6986c4142a8c0257ab3527c53c845f4c07cfc1b48e52
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>sci-mathematics@gentoo.org</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
+}