diff options
author | CodingCellist | 2022-11-11 10:59:39 +0100 |
---|---|---|
committer | CodingCellist | 2022-11-11 10:59:39 +0100 |
commit | 9a2ad66b72ef4e9600c12abb31b1f83f525edf83 (patch) | |
tree | 8ba4fd82fbdd06eb48367dd7ec78874a545990e3 | |
parent | e37eacd8898fd4368d13702ec7b33e06c0e5da85 (diff) | |
download | aur-idris2.tar.gz |
Exclude base/system_info001 until next release
The base/system_info001 test has a bug that was not discovered until
recently, due to the systems we (the Idris community) have access to not
showing it. It has been fixed as of idris-lang/idris2#2754, but that
won't land in this package until the next official release.
Also removed git as a makedepends. It was likely left over from the
idris2-git package; the official release doesn't need git to build.
-rw-r--r-- | .SRCINFO | 3 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 4 insertions, 5 deletions
@@ -1,11 +1,10 @@ pkgbase = idris2 pkgdesc = Functional Programming Language with Dependent Types pkgver = 0.6.0 - pkgrel = 1 + pkgrel = 2 url = https://idris-lang.github.io/ arch = x86_64 license = custom - makedepends = git depends = chez-scheme optdepends = nodejs: for the node backend optdepends = racket: for the racket backend @@ -5,7 +5,7 @@ pkgname=idris2 pkgver=0.6.0 -pkgrel=1 +pkgrel=2 pkgdesc="Functional Programming Language with Dependent Types" url="https://idris-lang.github.io/" license=('custom') @@ -13,7 +13,6 @@ arch=('x86_64') depends=('chez-scheme') optdepends=('nodejs: for the node backend' 'racket: for the racket backend') -makedepends=('git') source=("https://www.idris-lang.org/idris2-src/idris2-${pkgver}.tgz") sha256sums=('4db59312ed954778d135c78d8e41701bb37b1c4911a8f414a2074e87b246a153') @@ -42,8 +41,9 @@ check() { unset MAKEFLAGS export SCHEME=chez + # TODO: next Idris2 release, when #2754 has been merged, re-enable all tests PATH="$srcdir/$_srcname/build/exec:$PATH" \ - make test INTERACTIVE="" + make test INTERACTIVE="" except="base/system_info001" } package() { |