diff options
author | Alex J. Malozemoff | 2018-11-28 10:12:45 -0800 |
---|---|---|
committer | Alex J. Malozemoff | 2018-11-28 10:12:45 -0800 |
commit | cc55546f4d024ebc7f29eeff01bfa25089d9bc92 (patch) | |
tree | c82f4f9ee6f3d106a028b3808303e94cdffcada0 | |
parent | 4f70b9ec6076d210b726a322b6b93d954cecf057 (diff) | |
download | aur-cc55546f4d024ebc7f29eeff01bfa25089d9bc92.tar.gz |
fix versioning
-rw-r--r-- | .SRCINFO | 8 | ||||
-rw-r--r-- | PKGBUILD | 19 |
2 files changed, 12 insertions, 15 deletions
@@ -1,8 +1,8 @@ pkgbase = saw-script-git - pkgdesc = The SAW scripting language. - pkgver = ef1f6549 + pkgdesc = The Software Analysis Workbench + pkgver = r2688.75c7fd76 pkgrel = 1 - url = http://saw.galois.com/ + url = https://saw.galois.com/ arch = x86_64 license = noncommercial makedepends = stack @@ -12,7 +12,7 @@ pkgbase = saw-script-git provides = saw-script conflicts = saw-script source = git://github.com/GaloisInc/saw-script.git - md5sums = SKIP + sha1sums = SKIP pkgname = saw-script-git @@ -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}" |