summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorLuis Martinez2021-08-17 12:27:39 -0500
committerLuis Martinez2021-08-17 12:27:39 -0500
commit4588af2f62ab29532589b5d9f45b397369c92655 (patch)
tree519f907f24d0c83593f0a92f092f7dac30583875
parent8d9878b41a1206807d31147f56aa63ac1a3c7542 (diff)
downloadaur-4588af2f62ab29532589b5d9f45b397369c92655.tar.gz
update to 0.26.0
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD66
2 files changed, 36 insertions, 36 deletions
diff --git a/.SRCINFO b/.SRCINFO
index eb4b146f540d..1e7c5db84a2a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,13 +1,13 @@
pkgbase = verifpal
pkgdesc = Cryptographic protocol analysis for students and engineers.
- pkgver = 0.25.0
+ pkgver = 0.26.0
pkgrel = 1
url = https://verifpal.com/
arch = x86_64
license = GPL3
makedepends = go
depends = glibc
- source = https://source.symbolic.software/verifpal/verifpal/-/archive/v0.25.0/verifpal-v0.25.0.tar.bz2
- sha256sums = 46109a6e9f7e2e25ac594542f0ce79aecce1704cd9874a5fe7e8cb5f4df5783e
+ source = https://source.symbolic.software/verifpal/verifpal/-/archive/v0.26.0/verifpal-v0.26.0.tar.bz2
+ sha256sums = 4b0bc1f1e56fd7d9583b43a915ac45a554519d4030786cfd058e8972013f4589
pkgname = verifpal
diff --git a/PKGBUILD b/PKGBUILD
index 0617ddcfe186..eb39a23a42f1 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,8 +1,8 @@
-# Maintainer: Luis Martinez <luis dot martinez at tuta dot io>
-# Contributor: <philipp.classen@posteo.de>
+# Maintainer: Luis Martinez <luis dot martinez at disroot dot org>
+# Contributor: <philipp.classen@posteo.de>
pkgname=verifpal
-pkgver=0.25.0
+pkgver=0.26.0
pkgrel=1
pkgdesc="Cryptographic protocol analysis for students and engineers."
arch=('x86_64')
@@ -11,45 +11,45 @@ license=('GPL3')
depends=('glibc')
makedepends=('go')
source=("https://source.symbolic.software/verifpal/verifpal/-/archive/v${pkgver}/verifpal-v${pkgver}.tar.bz2")
-sha256sums=('46109a6e9f7e2e25ac594542f0ce79aecce1704cd9874a5fe7e8cb5f4df5783e')
+sha256sums=('4b0bc1f1e56fd7d9583b43a915ac45a554519d4030786cfd058e8972013f4589')
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
+ 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
}
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
+ 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
}
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
+ 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
}
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 README.md -t "$pkgdir/usr/share/doc/$pkgname/"
}