blob: 444b9284c857914b04b119e8b5e3e3dd88b71e29 (
plain)
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
}
|
