Arch Linux User Repository

Hi @CodingCellist, just noticed a typo in the package Description field: Lanugage → Language

diff --git i/PKGBUILD w/PKGBUILD
index 00dcf07..c7340d9 100644
--- i/PKGBUILD
+++ w/PKGBUILD
@@ -5,7 +5,7 @@
 pkgname=idris2
 pkgver=0.5.1
 pkgrel=2
-pkgdesc="Funtional Programming Lanugage with Dependent Types"
+pkgdesc="Funtional Programming Language with Dependent Types"
 url="https://www.idris-lang.org/"
 license=('custom')
 arch=('x86_64')

Hope that helps :) Merry xmas and happy new year

As of 2021-11-24, the aur chez-scheme package installs Chez Scheme as "chez" rather than "scheme":
https://aur.archlinux.org/packages/chez-scheme/#comment-837425

The latest release of this package (0.5.1-2) now reflects this, meaning installing with an up-to-date chez-scheme aur package should work. If there is a problem, lmk : )

The latest version includes the idris2api package in the install, as well as installing packages with their source code, with the goal of supporting the new LSP server out of the box. However, this makes the install a lot bigger: it's roughly grown from 28MB to 128MB. If this is a problem for you, LMK.

According to this line, which was modified a few mouthes ago

https://github.com/idris-lang/Idris2/blob/70ac0f41015bc4f2738df0003651665ba1f5cc0c/src/Compiler/Scheme/Chez.idr#L42

Acceptable scheme names are "chez", "chezscheme", "chezscheme9.5", "scheme".

chez-scheme is not one of them, thus result the build fails.

I think the chez package can safely change name to chezshcme or simply chez now.

I am now back to the same failing test breaking the build:

chez/chez014: FAILURE Expected: "Received: hello world!\nReceived: echo: hello world!\n1/1: Building Echo (Echo.idr)\nMain> Main> Bye for now!\n" Given: "[server] Failed to bind socket with error: 99\n1/1: Building Echo (Echo.idr)\nMain> Main> Bye for now!\n"

@KozRoss, I am a maintainer of chez-scheme package and sorry for abrupt name change. Currently I reverted the chez-scheme binary name to scheme, so please re-install chez-scheme and build idris2 again. Sorry.

@KozRoss, this is due to a recent renaming in the chez-scheme package. They renamed the executable from scheme to chez-scheme because someone complained about a clash with MIT/GNU Scheme (which also calls its executable scheme)

Simply changing the PKGBUILD to export SCHEME=chez-scheme doesn't fix the problem as the build then fails with /usr/bin/env: ‘scheme’: No such file or directory. I currently don't know what the best solution would be.

I now get a build failure:

make[1]: Entering directory '/tmp/yaourt-tmp-koz/aur-idris2/src/Idris2-0.2.1/support/c' cc -Wall -Wall -march=native -O2 -pipe -fno-plt -fPIC -fPIC -O2 -D_FORTIFY_SOURCE=2 -c -o getline.o getline.c cc -Wall -Wall -march=native -O2 -pipe -fno-plt -fPIC -fPIC -O2 -D_FORTIFY_SOURCE=2 -c -o idris_buffer.o idris_buffer.c cc -Wall -Wall -march=native -O2 -pipe -fno-plt -fPIC -fPIC -O2 -D_FORTIFY_SOURCE=2 -c -o idris_directory.o idris_directory.c cc -Wall -Wall -march=native -O2 -pipe -fno-plt -fPIC -fPIC -O2 -D_FORTIFY_SOURCE=2 -c -o idris_file.o idris_file.c cc -Wall -Wall -march=native -O2 -pipe -fno-plt -fPIC -fPIC -O2 -D_FORTIFY_SOURCE=2 -c -o idris_net.o idris_net.c cc -Wall -Wall -march=native -O2 -pipe -fno-plt -fPIC -fPIC -O2 -D_FORTIFY_SOURCE=2 -c -o idris_support.o idris_support.c ar rc libidris2_support.a getline.o idris_buffer.o idris_directory.o idris_file.o idris_net.o idris_support.o ranlib libidris2_support.a cc -shared -o libidris2_support.so getline.o idris_buffer.o idris_directory.o idris_file.o idris_net.o idris_support.o -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now make[1]: Leaving directory '/tmp/yaourt-tmp-koz/aur-idris2/src/Idris2-0.2.1/support/c' cp support/c/libidris2_support.so bootstrap/idris2_app sed s/libidris2_support.so/libidris2_support.so/g bootstrap/idris2_app/idris2.ss > bootstrap/idris2_app/idris2-boot.ss sed -i 's|PREFIX|/tmp/yaourt-tmp-koz/aur-idris2/src/Idris2-0.2.1/bootstrap|g' bootstrap/idris2_app/idris2-boot.ss sh ./bootstrap.sh bootstrapping SCHEME=scheme IDRIS2_VERSION=0.2.1 Building idris2-boot from idris2-boot.ss ./bootstrap.sh: line 20: scheme: command not found make: *** [Makefile:146: bootstrap-build] Error 127

This currently fails to build due to a failing test:

chez/chez014: FAILURE Expected: "Received: hello world!\nReceived: echo: hello world!\n1/1: Building Echo (Echo.idr)\nMain> Main> Bye for now!\n" Given: "[server] Failed to bind socket with error: 99\n1/1: Building Echo (Echo.idr)\nMain> Main> Bye for now!\n"

This patch fixes the package after upstream release 0.2.1.

diff --git i/PKGBUILD w/PKGBUILD
index f1a5ecc..d3fdc5b 100644
--- i/PKGBUILD
+++ w/PKGBUILD
@@ -3,7 +3,7 @@
 # 

 pkgname=idris2
-pkgver=0.2.0
+pkgver=0.2.1
 pkgrel=1
 pkgdesc="Funtional Programming Lanugage with Dependent Types"
 url="https://www.idris-lang.org/"
@@ -11,8 +11,8 @@ license=('custom')
 arch=('x86_64')
 depends=('chez-scheme')
 makedepends=('git')
-source=('https://www.idris-lang.org/idris2-src/idris2-latest.tgz')
-sha256sums=('03869e02cf983947c30fe66660b305114e2d21c96d3dab17efc0c7923d940db6')
+source=("https://www.idris-lang.org/idris2-src/idris2-${pkgver}.tgz")
+sha256sums=('8a32f6e93479deaf7674671ce7f06e5cc3c32afc10dccb96bd0aed34d47e9334')

 _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 ../..

The reordering of contrib and network fixes this error in package():

(toplevel):1:1--1:1:Control.Linear.LIO not found
==> ERROR: A failure occurred in package().
    Aborting...