diff options
-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 ../.. |