sci-mathematics/verifpal/verifpal-0.27.0.ebuild


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
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
}