diff options
author | mb64 | 2020-08-18 13:08:42 -0400 |
---|---|---|
committer | mb64 | 2020-08-18 13:26:11 -0400 |
commit | f382cf613051c7d6c8aebe507465bc92090c22f3 (patch) | |
tree | 178a9074a732ca792edbdd2df6b585752dd442dc | |
parent | 8728faf5bba543e53a11b8beb7b7c847f3b24397 (diff) | |
download | aur-f382cf613051c7d6c8aebe507465bc92090c22f3.tar.gz |
Bump pkgrel to have a working 0.2.0 build
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 5 insertions, 5 deletions
@@ -1,13 +1,13 @@ pkgbase = idris2 pkgdesc = Funtional Programming Lanugage with Dependent Types pkgver = 0.2.0 - pkgrel = 1 + pkgrel = 2 url = https://www.idris-lang.org/ arch = x86_64 license = custom makedepends = git depends = chez-scheme - source = https://www.idris-lang.org/idris2-src/idris2-latest.tgz + source = https://www.idris-lang.org/idris2-src/idris2-0.2.0.tgz sha256sums = 03869e02cf983947c30fe66660b305114e2d21c96d3dab17efc0c7923d940db6 pkgname = idris2 @@ -4,14 +4,14 @@ pkgname=idris2 pkgver=0.2.0 -pkgrel=1 +pkgrel=2 pkgdesc="Funtional Programming Lanugage with Dependent Types" url="https://www.idris-lang.org/" license=('custom') arch=('x86_64') depends=('chez-scheme') makedepends=('git') -source=('https://www.idris-lang.org/idris2-src/idris2-latest.tgz') +source=("https://www.idris-lang.org/idris2-src/idris2-${pkgver}.tgz") sha256sums=('03869e02cf983947c30fe66660b305114e2d21c96d3dab17efc0c7923d940db6') _srcname="Idris2-$pkgver" @@ -41,7 +41,7 @@ package() { PREFIX="$pkgdir/usr/lib" make install-idris2 PREFIX="$pkgdir/usr/lib" make install-support - for lib in prelude base network contrib ; do + for lib in prelude base contrib network ; do cd libs/$lib IDRIS2_PREFIX="$pkgdir/usr/lib" ../../build/exec/idris2 --install $lib.ipkg cd ../.. |