Re: [ISSUE] [CLOSED] `chez-scheme` can't be used to build `idris2` on `musl` Void

[VoidNoire <VoidNoire@users.noreply.github.com>]

[-- Attachment #1: Type: text/plain, Size: 2998 bytes --]

Closed issue by VoidNoire on void-packages repository

https://github.com/void-linux/void-packages/issues/27378

Description:
<!-- Don't request update of package. We have a script for that. https://alpha.de.repo.voidlinux.org/void-updates/void-updates.txt . However, a quality pull request may help. -->
### System

* xuname:  
  *output of ``xuname`` (part of xtools)*
Void 5.9.14_1 x86_64-musl AuthenticAMD uptodate rF
  
* package:  
  *affected package(s) including the version*: ``xbps-query -p pkgver <pkgname>``
chez-scheme-9.5.4_1

### Expected behavior
Step 4 of [these steps](https://github.com/idris-lang/Idris2/blob/master/INSTALL.md) to [build `idris2` from source](https://www.idris-lang.org/idris2-src/idris2-latest.tgz) succeeds.

### Actual behavior
Step 4 fails.

### Steps to reproduce the behavior
```Shell
sudo xbps-install -S chez-scheme
curl -O https://www.idris-lang.org/idris2-src/idris2-latest.tgz
tar xf idris2-latest.tgz
cd Idris2-0.2.1
# Step 1 of the `idris2` build steps.
export PATH="$HOME/.idris2/bin:$PATH"
export LD_LIBRARY_PATH="$HOME/.idris2/lib:$LD_LIBRARY_PATH"
# Step 2 of the `idris2` build steps.
make bootstrap SCHEME=scheme
make install
# Step 4 of the `idris2` build steps. Step 3 was skipped since that only applies when step 2 isn't done.
make clean
make all && make install
```
### Other  information
We can confirm that the issue is caused by Void's `chez-scheme` package by using the `chez` package from `nix` instead, which works:

```Shell
sudo xbps-install -S nix
sudo ln -s /etc/sv/nix-daemon /var/service/
sudo sv start nix-daemon
# Add the unstable channel for `nix`.
nix-channel --add https://nixos.org/channels/nixpkgs-unstable
# Get the nix expressions from the channel.
nix-channel --update
# Install the `chez` package with `musl` compatibility.
nix-env -f channel:nixos-unstable -iA pkgsCross.musl64.chez
# Install the `idris2` package with `musl` compatibility.
nix-env -f channel:nixos-unstable -iA pkgsCross.musl64.idris2
curl -O https://www.idris-lang.org/idris2-src/idris2-latest.tgz
tar xf idris2-latest.tgz
cd Idris2-0.2.1
# Step 1 of the `idris2` build steps.
export PATH="$HOME/.idris2/bin:$PATH"
export LD_LIBRARY_PATH="$HOME/.idris2/lib:$LD_LIBRARY_PATH"
# Step 3 of the `idris2` build steps. Step 2 was skipped since we're building with an existing `idris2`.
make all
make install
# Step 4 of the `idris2` build steps.
make clean
make all && make install
```
For convenience, [here's a link to the `chez` nix expression](https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/development/compilers/chez/default.nix). One difference I can see between that and [Void's `chez-scheme` xbps template](https://github.com/void-linux/void-packages/blob/master/srcpkgs/chez-scheme/template) is that the latter's `configure` step doesn't use the `--threads` flag, whereas the former's does, although I'm unsure if that's the cause of the failure.

@leahneukirchen