* [ISSUE] `chez-scheme` can't be used to build `idris2` on `musl` Void
@ 2020-12-23 16:50 VoidNoire
2020-12-23 16:59 ` leahneukirchen
` (7 more replies)
0 siblings, 8 replies; 9+ messages in thread
From: VoidNoire @ 2020-12-23 16:50 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 2995 bytes --]
New 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) fails.
### Actual behavior
Step 4 succeeds.
### 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
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: `chez-scheme` can't be used to build `idris2` on `musl` Void
2020-12-23 16:50 [ISSUE] `chez-scheme` can't be used to build `idris2` on `musl` Void VoidNoire
@ 2020-12-23 16:59 ` leahneukirchen
2020-12-23 17:20 ` leahneukirchen
` (6 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: leahneukirchen @ 2020-12-23 16:59 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 272 bytes --]
New comment by leahneukirchen on void-packages repository
https://github.com/void-linux/void-packages/issues/27378#issuecomment-750388299
Comment:
Please post the error messages, and if you try to reproduce on another system, also do the same steps there (i.e. step 2).
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: `chez-scheme` can't be used to build `idris2` on `musl` Void
2020-12-23 16:50 [ISSUE] `chez-scheme` can't be used to build `idris2` on `musl` Void VoidNoire
2020-12-23 16:59 ` leahneukirchen
@ 2020-12-23 17:20 ` leahneukirchen
2020-12-23 17:41 ` leahneukirchen
` (5 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: leahneukirchen @ 2020-12-23 17:20 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 192 bytes --]
New comment by leahneukirchen on void-packages repository
https://github.com/void-linux/void-packages/issues/27378#issuecomment-750396056
Comment:
I already get reordering errors on step 2.
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: `chez-scheme` can't be used to build `idris2` on `musl` Void
2020-12-23 16:50 [ISSUE] `chez-scheme` can't be used to build `idris2` on `musl` Void VoidNoire
2020-12-23 16:59 ` leahneukirchen
2020-12-23 17:20 ` leahneukirchen
@ 2020-12-23 17:41 ` leahneukirchen
2020-12-23 17:45 ` VoidNoire
` (4 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: leahneukirchen @ 2020-12-23 17:41 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 202 bytes --]
New comment by leahneukirchen on void-packages repository
https://github.com/void-linux/void-packages/issues/27378#issuecomment-750404037
Comment:
We pass thread support via the machine name already.
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: `chez-scheme` can't be used to build `idris2` on `musl` Void
2020-12-23 16:50 [ISSUE] `chez-scheme` can't be used to build `idris2` on `musl` Void VoidNoire
` (2 preceding siblings ...)
2020-12-23 17:41 ` leahneukirchen
@ 2020-12-23 17:45 ` VoidNoire
2020-12-23 17:55 ` leahneukirchen
` (3 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: VoidNoire @ 2020-12-23 17:45 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 473 bytes --]
New comment by VoidNoire on void-packages repository
https://github.com/void-linux/void-packages/issues/27378#issuecomment-750405681
Comment:
> Please post the error messages, and if you try to reproduce on another system, also do the same steps there (i.e. step 2).
Ah sorry, will do. I'm currently trying to reproduce step 2 with the `nix` set up.
> We pass thread support via the machine name already.
Ah yeah, you're right. That's the "t" in `ta6le`, right?
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: `chez-scheme` can't be used to build `idris2` on `musl` Void
2020-12-23 16:50 [ISSUE] `chez-scheme` can't be used to build `idris2` on `musl` Void VoidNoire
` (3 preceding siblings ...)
2020-12-23 17:45 ` VoidNoire
@ 2020-12-23 17:55 ` leahneukirchen
2020-12-23 18:13 ` VoidNoire
` (2 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: leahneukirchen @ 2020-12-23 17:55 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 216 bytes --]
New comment by leahneukirchen on void-packages repository
https://github.com/void-linux/void-packages/issues/27378#issuecomment-750409407
Comment:
> Ah yeah, you're right. That's the "t" in `ta6le`, right?
Yes.
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: `chez-scheme` can't be used to build `idris2` on `musl` Void
2020-12-23 16:50 [ISSUE] `chez-scheme` can't be used to build `idris2` on `musl` Void VoidNoire
` (4 preceding siblings ...)
2020-12-23 17:55 ` leahneukirchen
@ 2020-12-23 18:13 ` VoidNoire
2020-12-23 18:13 ` [ISSUE] [CLOSED] " VoidNoire
2020-12-23 18:19 ` leahneukirchen
7 siblings, 0 replies; 9+ messages in thread
From: VoidNoire @ 2020-12-23 18:13 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 389 bytes --]
New comment by VoidNoire on void-packages repository
https://github.com/void-linux/void-packages/issues/27378#issuecomment-750415986
Comment:
> I already get reordering errors on step 2.
Ah it's the same for me with the `nix` set up. I guess it's an issue with the `idris2` build process and not with Void's `chez-scheme` package then. Sorry for the hassle! I'll close the issue now.
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: [ISSUE] [CLOSED] `chez-scheme` can't be used to build `idris2` on `musl` Void
2020-12-23 16:50 [ISSUE] `chez-scheme` can't be used to build `idris2` on `musl` Void VoidNoire
` (5 preceding siblings ...)
2020-12-23 18:13 ` VoidNoire
@ 2020-12-23 18:13 ` VoidNoire
2020-12-23 18:19 ` leahneukirchen
7 siblings, 0 replies; 9+ messages in thread
From: VoidNoire @ 2020-12-23 18:13 UTC (permalink / raw)
To: ml
[-- 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
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: `chez-scheme` can't be used to build `idris2` on `musl` Void
2020-12-23 16:50 [ISSUE] `chez-scheme` can't be used to build `idris2` on `musl` Void VoidNoire
` (6 preceding siblings ...)
2020-12-23 18:13 ` [ISSUE] [CLOSED] " VoidNoire
@ 2020-12-23 18:19 ` leahneukirchen
7 siblings, 0 replies; 9+ messages in thread
From: leahneukirchen @ 2020-12-23 18:19 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 238 bytes --]
New comment by leahneukirchen on void-packages repository
https://github.com/void-linux/void-packages/issues/27378#issuecomment-750417730
Comment:
I think it's related to stdio buffering differences, but yes, this is an upstream topic.
^ permalink raw reply [flat|nested] 9+ messages in thread
end of thread, other threads:[~2020-12-23 18:19 UTC | newest]
Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-12-23 16:50 [ISSUE] `chez-scheme` can't be used to build `idris2` on `musl` Void VoidNoire
2020-12-23 16:59 ` leahneukirchen
2020-12-23 17:20 ` leahneukirchen
2020-12-23 17:41 ` leahneukirchen
2020-12-23 17:45 ` VoidNoire
2020-12-23 17:55 ` leahneukirchen
2020-12-23 18:13 ` VoidNoire
2020-12-23 18:13 ` [ISSUE] [CLOSED] " VoidNoire
2020-12-23 18:19 ` leahneukirchen
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).