diff options
author | Brent Carmer | 2016-03-31 10:23:44 -0700 |
---|---|---|
committer | Brent Carmer | 2016-03-31 10:23:44 -0700 |
commit | 779e18bdeb4f2fc2960cdf31f6193fe1fb423827 (patch) | |
tree | e87b4847c33b2644d611aee7f591ac22ad49530a /PKGBUILD | |
parent | c8f4963200fab6574cdb22b6be3c9bdab8d8f5fd (diff) | |
download | aur-779e18bdeb4f2fc2960cdf31f6193fe1fb423827.tar.gz |
Fix pkgbuild
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -1,11 +1,12 @@ # Maintainer: Brent Carmer <bcarmer@gmail.com> pkgname=cvc4-git +_pkgname=CVC4 pkgver=v1.4 pkgver() { - cd "$_pkgname" - git describe --long --tags | sed -r 's/([^-]*-g)/r\1/;s/-/./g' - } + cd "$_pkgname" + git describe --long --tags | sed -r 's/([^-]*-g)/r\1/;s/-/./g' +} pkgrel=1 pkgdesc="An automatic theorem prover for SMT problems." |