Github messages for voidlinux
 help / color / mirror / Atom feed
* [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
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).