summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authormb642021-11-29 09:36:22 -0800
committermb642021-11-29 09:36:22 -0800
commit4ea3e6b44330f66c1e1eb7d0a88e2a4c77a07c13 (patch)
treeab6d3338644b6a6c2531fac6d1222fae2a7708fe
parent49e6bf32e83e214894ca3d9c4547361e06d2bb7a (diff)
downloadaur-4ea3e6b44330f66c1e1eb7d0a88e2a4c77a07c13.tar.gz
The chez-scheme package now provides it under the executable chez rather than scheme
-rw-r--r--PKGBUILD6
1 files changed, 3 insertions, 3 deletions
diff --git a/PKGBUILD b/PKGBUILD
index f68a455a3a83..3e398bdfd82d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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