summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorFethbita2023-08-17 12:34:40 +0300
committerFethbita2023-08-17 12:34:40 +0300
commitf23f49f9a83da86e80b4692c10105d52e6fa6642 (patch)
tree8c3beda261f62030f467024726b1157e0d3fc495
parentc9c89cac54fb25a6725542f9adc23a7503bade39 (diff)
downloadaur-f23f49f9a83da86e80b4692c10105d52e6fa6642.tar.gz
update to version 0.27.0
-rw-r--r--.SRCINFO11
-rw-r--r--PKGBUILD63
2 files changed, 30 insertions, 44 deletions
diff --git a/.SRCINFO b/.SRCINFO
index bbba8d1c15a4..1b90c3ed3ccd 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,13 +1,12 @@
pkgbase = verifpal
- pkgdesc = Cryptographic protocol analysis for students and engineers.
- pkgver = 0.26.1
+ pkgdesc = Cryptographic protocol analysis for real-world protocols.
+ pkgver = 0.27.0
pkgrel = 1
- url = https://verifpal.com/
+ url = https://verifpal.com
arch = x86_64
license = GPL3
makedepends = go
- depends = glibc
- source = verifpal-0.26.1.tar.bz2::https://source.symbolic.software/verifpal/verifpal/-/archive/v0.26.1/verifpal-v0.26.1.tar.bz2
- sha256sums = c3da52c1d9a2cceff14abc69a213343701b2e75f4867bad92e202809e63c4a7b
+ source = https://source.symbolic.software/verifpal/verifpal/-/archive/v0.27.0/verifpal-v0.27.0.tar.bz2
+ sha256sums = a1a024e271c9364f3076278c2fc3fd0da93b9d5cd75468691d86787fbd61e8c0
pkgname = verifpal
diff --git a/PKGBUILD b/PKGBUILD
index d0112ce255a8..a70001f3e765 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,55 +1,42 @@
-# Maintainer: Luis Martinez <luis dot martinez at disroot dot org>
-# Contributor: <philipp.classen@posteo.de>
+# Maintainer: Fethbita <aur AT fethbita DOT com>
pkgname=verifpal
-pkgver=0.26.1
+pkgver=0.27.0
pkgrel=1
-pkgdesc="Cryptographic protocol analysis for students and engineers."
+pkgdesc="Cryptographic protocol analysis for real-world protocols."
arch=('x86_64')
-url="https://verifpal.com/"
+url="https://verifpal.com"
license=('GPL3')
-depends=('glibc')
makedepends=('go')
-source=("$pkgname-$pkgver.tar.bz2::https://source.symbolic.software/verifpal/verifpal/-/archive/v${pkgver}/verifpal-v${pkgver}.tar.bz2")
-sha256sums=('c3da52c1d9a2cceff14abc69a213343701b2e75f4867bad92e202809e63c4a7b')
+source=("https://source.symbolic.software/verifpal/verifpal/-/archive/v${pkgver}/verifpal-v${pkgver}.tar.bz2")
+sha256sums=('a1a024e271c9364f3076278c2fc3fd0da93b9d5cd75468691d86787fbd61e8c0')
-prepare() {
- export CGO_CPPFLAGS="${CPPFLAGS}"
- export CGO_CXXFLAGS="${CXXFLAGS}"
- export CGO_CFLAGS="${CFLAGS}"
- export CGO_LDFLAGS="${LDFLAGS}"
- export GOFLAGS="-buildmode=pie -trimpath -ldflags=-linkmode=external -mod=readonly -modcacherw"
-
- cd "$pkgname-v$pkgver"
- make dep
+prepare(){
+ cd "$pkgname-v$pkgver"
+ mkdir -p build/linux
}
build() {
- export CGO_CPPFLAGS="${CPPFLAGS}"
- export CGO_CXXFLAGS="${CXXFLAGS}"
- export CGO_CFLAGS="${CFLAGS}"
- export CGO_LDFLAGS="${LDFLAGS}"
- export GOFLAGS="-buildmode=pie -trimpath -mod=readonly -modcacherw"
-
- cd "$pkgname-v$pkgver"
- ## godawful hack to make building work
- PATH=$PATH:$(go env GOPATH)/bin
- make linux
+ cd "$pkgname-v$pkgver"
+ export CGO_CPPFLAGS="${CPPFLAGS}"
+ export CGO_CFLAGS="${CFLAGS}"
+ export CGO_CXXFLAGS="${CXXFLAGS}"
+ export CGO_LDFLAGS="${LDFLAGS}"
+ export GOFLAGS="-buildmode=pie -trimpath -ldflags=-linkmode=external -mod=readonly -modcacherw"
+ go build -o build/linux ./cmd/...
}
check() {
- export CGO_CPPFLAGS="${CPPFLAGS}"
- export CGO_CXXFLAGS="${CXXFLAGS}"
- export CGO_CFLAGS="${CFLAGS}"
- export CGO_LDFLAGS="${LDFLAGS}"
- export GOFLAGS="-buildmode=pie -trimpath -mod=readonly -modcacherw"
-
- cd "$pkgname-v$pkgver"
- make test
+ cd "$pkgname-v$pkgver"
+ go clean -testcache
+ go test ./...
}
package() {
- cd "$pkgname-v$pkgver"
- install -Dm755 build/linux/$pkgname "$pkgdir"/usr/bin/$pkgname
- install -Dm644 README.md -t "$pkgdir/usr/share/doc/$pkgname/"
+ cd "$pkgname-v$pkgver"
+ install -Dm755 "build/linux/${pkgname}" "${pkgdir}/usr/bin/${pkgname}"
+ install -Dm644 LICENSE "${pkgdir}/usr/share/licenses/${_pkgname}/LICENSE"
+ install -Dm644 README.md "${pkgdir}/usr/share/doc/${_pkgname}/README.md"
+ install -dm755 "${pkgdir}/usr/share/doc/${_pkgname}/examples"
+ cp -r examples/* "${pkgdir}/usr/share/doc/${_pkgname}/examples/"
}