blob: 0bc1a33676942172c582135e1a6710a2d8b34735 (
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
40
|
# Maintainer: <philipp.classen@posteo.de>
pkgname=verifpal
pkgver=0.19.1
pkgrel=1
pkgdesc="Cryptographic protocol analysis for students and engineers."
arch=('x86_64')
url="https://verifpal.com/"
license=('GPL')
depends=(glibc)
makedepends=('go')
source=("https://source.symbolic.software/verifpal/verifpal/-/archive/v${pkgver}/verifpal-v${pkgver}.tar.bz2")
sha256sums=('406f57dc3ae8c354b3a46b1aa1fbe9ae6eea2146f1ab407859e88500961f56e8')
prepare() {
cd "$srcdir/${pkgname}-v${pkgver}"
}
build() {
cd "$srcdir/${pkgname}-v${pkgver}"
export CGO_CPPFLAGS="${CPPFLAGS}"
export CGO_CXXFLAGS="${CXXFLAGS}"
export CGO_CFLAGS="${CFLAGS}"
export CGO_LDFLAGS="${LDFLAGS}"
export GOFLAGS="-buildmode=pie -trimpath -mod=readonly -modcacherw"
make dep
make linux
}
package() {
cd "$srcdir/${pkgname}-v${pkgver}"
make DESTDIR="$pkgdir/" install
}
package() {
cd "$srcdir/${pkgname}-v${pkgver}"
install -Dm755 build/linux/$pkgname "$pkgdir"/usr/bin/$pkgname
}
|