summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorAlex J. Malozemoff2018-11-28 10:12:45 -0800
committerAlex J. Malozemoff2018-11-28 10:12:45 -0800
commitcc55546f4d024ebc7f29eeff01bfa25089d9bc92 (patch)
treec82f4f9ee6f3d106a028b3808303e94cdffcada0 /PKGBUILD
parent4f70b9ec6076d210b726a322b6b93d954cecf057 (diff)
downloadaur-saw-script-git.tar.gz
fix versioning
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD19
1 files changed, 8 insertions, 11 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 0d5d34561eb..df6531c8a8c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,29 +1,26 @@
# Maintainer: Brent Carmer <bcarmer@gmail.com>
+# Co-maintainer: Alex J. Malozemoff <amaloz@galois.com>
+
pkgname=saw-script-git
_pkgname=saw-script
-pkgver=ef1f6549
+pkgver=r2688.75c7fd76
pkgver() {
- cd "$_pkgname"
- git describe --long --tags --always | sed -r 's/([^-]*-g)/r\1/;s/-/./g'
+ cd "$_pkgname"
+ printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}
pkgrel=1
-pkgdesc="The SAW scripting language."
-url="http://saw.galois.com/"
+pkgdesc="The Software Analysis Workbench"
+url="https://saw.galois.com/"
arch=('x86_64')
license=('noncommercial')
depends=('ncurses' 'z3')
makedepends=('stack' 'perl')
-optdepends=()
-conflicts=()
-replaces=()
-backup=()
conflicts=('saw-script')
provides=('saw-script')
-md5sums=('SKIP')
-
source=('git://github.com/GaloisInc/saw-script.git')
+sha1sums=('SKIP')
build() {
cd "$srcdir/${_pkgname}"