diff options
author | mb64 | 2021-11-29 09:36:22 -0800 |
---|---|---|
committer | mb64 | 2021-11-29 09:36:22 -0800 |
commit | 4ea3e6b44330f66c1e1eb7d0a88e2a4c77a07c13 (patch) | |
tree | ab6d3338644b6a6c2531fac6d1222fae2a7708fe | |
parent | 49e6bf32e83e214894ca3d9c4547361e06d2bb7a (diff) | |
download | aur-4ea3e6b44330f66c1e1eb7d0a88e2a4c77a07c13.tar.gz |
The chez-scheme package now provides it under the executable chez rather than scheme
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -3,7 +3,7 @@ # pkgname=idris2-git -pkgver=0.5.1.r2.ga0846af5 +pkgver=0.5.1.r146.g10b9685e pkgrel=1 pkgdesc="Funtional Programming Lanugage with Dependent Types" url="https://www.idris-lang.org/" @@ -29,7 +29,7 @@ build() { # Parallel builds cause problems unset MAKEFLAGS - export SCHEME=scheme + export SCHEME=chez mkdir -p "$srcdir/bootstrap" PREFIX="$srcdir/bootstrap" make bootstrap @@ -46,7 +46,7 @@ package() { cd "$srcdir/$_srcname" unset MAKEFLAGS - export SCHEME=scheme + export SCHEME=chez # Install compiler and runtime PREFIX="$pkgdir/usr/lib" make install-idris2 |