summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD22
1 files changed, 11 insertions, 11 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 8be3336077d2..2cdd5ae9e0e9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,27 +3,27 @@
# Contributor: <philipp.classen@posteo.de>
pkgname=verifpal
-pkgver=0.27.0
-pkgrel=2
+pkgver=0.27.2
+pkgrel=1
pkgdesc="Cryptographic protocol analysis for real-world protocols."
arch=('x86_64')
url="https://verifpal.com"
license=('GPL3' 'custom:cc-by-nc-nd-4.0')
makedepends=('go')
-source=("https://source.symbolic.software/verifpal/verifpal/-/archive/v${pkgver}/verifpal-v${pkgver}.tar.bz2"
+source=("https://github.com/symbolicsoft/verifpal/archive/refs/tags/v${pkgver}.tar.gz"
"$pkgname-$pkgver-manual.pdf::https://verifpal.com/res/pdf/manual.pdf"
- "$pkgname-$pkgver-manual-license::https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.txt")
-sha256sums=('a1a024e271c9364f3076278c2fc3fd0da93b9d5cd75468691d86787fbd61e8c0'
- '13154a262636c1dabf8427e282233f9f642681e518a02241152c723a6de657ab'
+ "$pkgname-$pkgver-manual-license.txt::https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.txt")
+sha256sums=('c79ad450dd28429f4ef20020e063aa8f333433f92f3d148332cd8a5363d0368d'
+ '767d202fe82323a25ac2cd72bb91261c681df05633aa0e79b09ef6b5603e43de'
'38762e3777f4ec00a6f769062a7c3f704fb78ce08303ecff88558da4c49cf9ea')
prepare(){
- cd "$pkgname-v$pkgver"
+ cd "$pkgname-$pkgver"
mkdir -p build/linux
}
build() {
- cd "$pkgname-v$pkgver"
+ cd "$pkgname-$pkgver"
export CGO_CPPFLAGS="${CPPFLAGS}"
export CGO_CFLAGS="${CFLAGS}"
export CGO_CXXFLAGS="${CXXFLAGS}"
@@ -33,15 +33,15 @@ build() {
}
check() {
- cd "$pkgname-v$pkgver"
+ cd "$pkgname-$pkgver"
go clean -testcache
go test ./...
}
package() {
install -Dm644 "$pkgname-$pkgver-manual.pdf" "${pkgdir}/usr/share/doc/${pkgname}/manual.pdf"
- install -Dm644 "$pkgname-$pkgver-manual-LICENSE" "${pkgdir}/usr/share/licenses/${_pkgname}/manual-LICENSE"
- cd "$pkgname-v$pkgver"
+ install -Dm644 "$pkgname-$pkgver-manual-license.txt" "${pkgdir}/usr/share/licenses/${_pkgname}/manual-LICENSE"
+ cd "$pkgname-$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"