summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authormb642021-01-25 18:18:00 -0800
committermb642021-01-25 18:18:00 -0800
commitb109b76b9e133d7acdb2397ba172e70686298fab (patch)
tree7aa313641ed891937c861a6ad47ca1019267a44c
parent55784f92127b1be90bc5d7c478b04a1378fcbc3a (diff)
downloadaur-b109b76b9e133d7acdb2397ba172e70686298fab.tar.gz
Fix calculating the version number
0.3.0 used a different kind of git tag, so git describe needed the --tags argument.
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD4
2 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index c6273b7e19a..4129c82f4ba 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = idris2-git
pkgdesc = Funtional Programming Lanugage with Dependent Types
- pkgver = 0.2.0.r404.g31b486c
+ pkgver = 0.3.0.r154.g37a4c6f1
pkgrel = 1
url = https://www.idris-lang.org/
arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index 0126970d866..91476946912 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
#
pkgname=idris2-git
-pkgver=0.2.0.r404.g31b486c
+pkgver=0.3.0.r154.g37a4c6f1
pkgrel=1
pkgdesc="Funtional Programming Lanugage with Dependent Types"
url="https://www.idris-lang.org/"
@@ -20,7 +20,7 @@ _srcname="Idris2"
pkgver() {
cd $_srcname
- git describe --long | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g'
+ git describe --long --tags | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g'
}
build() {