summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Woffinden2020-09-08 22:20:44 +0100
committerDaniel Woffinden2020-09-08 22:24:49 +0100
commit103012be2d3ea62d6e05477d850778fa23797348 (patch)
tree124093b4af9c521e36933e9d88dab5695a93c04b
parent06c7ba20004f6bc73dbb1cbd84f90ac056ae9af9 (diff)
downloadaur-103012be2d3ea62d6e05477d850778fa23797348.tar.gz
Fix pkgver() for unannotated tags
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD8
2 files changed, 6 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index e1163ff0200..c43d63da288 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = z3-git
- pkgdesc = Z3 is a high-performance theorem prover being developed at Microsoft Research
- pkgver = 4.5.0.r1325.g05c4ea82
+ pkgdesc = Z3 is a theorem prover from Microsoft Research
+ pkgver = 4.8.8.r706.g1c7d27bdf
pkgrel = 1
url = https://github.com/Z3Prover/z3
arch = i686
diff --git a/PKGBUILD b/PKGBUILD
index 01c57ef6a47..2d97f83ad52 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,10 +1,10 @@
# Maintainer: d.woffinden
pkgname=z3-git
-pkgver=4.5.0.r1325.g05c4ea82
+pkgver=4.8.8.r706.g1c7d27bdf
pkgrel=1
-pkgdesc="Z3 is a high-performance theorem prover being developed at Microsoft Research"
+pkgdesc='Z3 is a theorem prover from Microsoft Research'
arch=('i686' 'x86_64')
-url="https://github.com/Z3Prover/z3"
+url='https://github.com/Z3Prover/z3'
license=('MIT')
depends=('gcc-libs')
makedepends=('git' 'python')
@@ -16,7 +16,7 @@ md5sums=('SKIP')
pkgver() {
cd "$pkgname"
- git describe --long | sed 's/z3-//;s/-/.r/;s/-/./'
+ git describe --long --tags --match 'z3-*.*.*' | sed 's/z3-//;s/-/.r/;s/-/./'
}
build() {