Arch Linux User Repository

With this package I had same problem as ElkCloner but his solution worked.

Build fails right at the end 🥲

make[3]: Entering directory '/home/phlimy/.cache/yay/idris2/src/Idris2-0.7.0/libs/prelude'
/home/phlimy/.cache/yay/idris2/src/Idris2-0.7.0/build/exec/idris2 --build prelude.ipkg
/home/phlimy/.cache/yay/idris2/src/Idris2-0.7.0/build/exec/idris2: line 15: /home/phlimy/.cache/yay/idris2/src/Idris2-0.7.0/build/exec/idris2_app/idris2.so: Permission denied

Yeah, install is borked for me, too (bad symlink).

After installing the package the idris2 command doesn't work for me, because /usr/bin/idris2 ends up being a symlink to /home/elk/.cache/yay/idris2/pkg/idris2/usr/lib/bin/idris2. Shouldn't the last line in package() be ln -s "/usr/lib/bin/idris2" "$pkgdir/usr/bin/idris2"?

@zarakshR: I noticed a similar thing last time I tried building, but it seems to have fixed itself? Maybe some glibc update changed things? Could you please try the newly packaged 0.7.0-1 PKGBUILD and let me know if it succeeds on your system?

@micwoj92: sorry about the long out of date. There were some issues with simply updating the PKGBUILD to point at the latest release tag, and I didn't have time to look more into it (there are 0 full-time Idris2 devs). I finally took a look and believe 0.7.0-1 should build successfully. Please let me know if it doesn't. I suspect what's happening is that with pack (and recently the corresponding AUR idris2-pack-git package), many have moved to using pack as their Idris2 version manager. Especially as it also provides the niceties of being able to install any 3rd-party library from pack-db. Anyhow, the AUR package should now be on the latest release : )

I have these tests failing (expected output not matching output) during build. Could this be a problem with my machine, and if not, how would I go about fixing this? -

idris2/interactive034

idris2/literate003

uname -a: Linux thinkpad 6.7.6-arch1-2 #1 SMP PREEMPT_DYNAMIC Thu, 29 Feb 2024 19:08:51 +0000 x86_64 GNU/Linux

/usr/lib/libc.so.6: GNU C Library (GNU libc) stable release version 2.39. Copyright (C) 2024 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Compiled by GNU CC version 13.2.1 20230801. libc ABIs: UNIQUE IFUNC ABSOLUTE Minimum supported kernel: 4.4.0 For bug reporting instructions, please see: https://gitlab.archlinux.org/archlinux/packaging/packages/glibc/-/issues.

EDIT: I managed to "fix" it by adding: except="base/system_info001 idris2/interactive034 idris2/literate003" to check() in the PKGBUILD

I've created a new release of this package, excluding base/system_info001 from the check() in order to allow people experiencing the issue to hopefully build and install. The underlying problem has been fixed upstream, but won't land here until the next official release : )

@gyscos interesting! Could you please open an issue at https://github.com/idris-lang/Idris2/issues detailing your processor, OS, and the output of the nproc and/or sysctl -n hw.ncpu command(s)? : )

I am getting consistent test failures for base/system_info001. It says it found 32 processors but expected 24 (indeed I have a ryzen 5900x with 24 threads). All other tests pass fine.

The pkgdesc also says "Funtional" which I'm guessing should be spelled with a 'c'. :)