diff options
-rw-r--r-- | .SRCINFO | 14 | ||||
-rw-r--r-- | PKGBUILD | 40 |
2 files changed, 54 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..d567ac241069 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = verifpal + pkgdesc = Cryptographic protocol analysis for students and engineers. + pkgver = 0.14.1 + pkgrel = 1 + url = https://verifpal.com/ + arch = x86_64 + license = GPL + makedepends = go + depends = glibc + source = https://source.symbolic.software/verifpal/verifpal/-/archive/v0.14.1/verifpal-v0.14.1.tar.bz2 + sha256sums = c25862af0d562efc6e49f28dda6e442eac328ef8e0d3f12748ac06eb952ea0df + +pkgname = verifpal + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..c53066255905 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,40 @@ +# Maintainer: <philipp.classen@posteo.de> +pkgname=verifpal +pkgver=0.14.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=('c25862af0d562efc6e49f28dda6e442eac328ef8e0d3f12748ac06eb952ea0df') + +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 +} |