Re: Cross-building GuixSD (and maybe using pre-built toolchains)

2016-08-30 Thread Paul Boddie
Hello, (Quoting a discussion on the development list, which proved rather too active for me to follow. Sending to this list at Ludo's suggestion.) > Paul Boddie skribis: > > I was looking at the documentation, which is rather more helpful than > > most distributions when it

Re: Cross-building GuixSD (and maybe using pre-built toolchains)

2016-08-31 Thread Paul Boddie
On Wednesday 31. August 2016 22.04.35 Ludovic Courtès wrote: > > Paul Boddie skribis: > > > > OK. I tend to run things in chroots for basic protection against things > > deciding to install stuff in places I would rather keep "clean", and to > > us

Re: Cross-building GuixSD (and maybe using pre-built toolchains)

2016-09-01 Thread Paul Boddie
On Thursday 1. September 2016 10.10.15 Ludovic Courtès wrote: > Paul Boddie skribis: > > [Offloading] > > But this seems like the opposite of the approach in Arch/Parabola: there, > > the target machine (mips64el) coordinates the build, with the farm > > machines (

Bootstrapping on a new platform

2017-12-02 Thread Paul Boddie
Hello, I finally got round to trying to build Guix again, this time doing a native build rather than a cross-build. However, I'm attempting this on an unsupported platform (mipsel), and it isn't clear what I need to do to make the bootstrap binaries and thus attempt a source build. What I've f

Re: Bootstrapping on a new platform

2017-12-04 Thread Paul Boddie
On Sunday 3. December 2017 07.46.56 Manolis Ragkousis wrote: > > First I would suggest checking out my talk in FOSDEM 17 which I tried to > explain how bootstrapping in Guix works, along with how I did it for > Hurd. [1] I'll have a look at that, thanks! Thanks also to Efraim for some other advic

Re: Bootstrapping on a new platform

2017-12-08 Thread Paul Boddie
On Friday 8. December 2017 11.28.38 Ludovic Courtès wrote: > > Paul Boddie skribis: > > These steps are what I thought might be needed. So, I did the following > > on my i386-linux-gnu system: > > > > tar zxf guix-0.13.0.tar.gz > > 0.14.0 was released yeste

Re: Bootstrapping on a new platform

2017-12-08 Thread Paul Boddie
On Friday 8. December 2017 14.40.14 Paul Boddie wrote: > On Friday 8. December 2017 11.28.38 Ludovic Courtès wrote: > > > > Could you search in the strace output for the ‘clone’ call that failed > > with EINVAL? It’s probably the one from nix/libstore/build.cc. [...] >

Guile-Git, bytestructures, libgit2 and Guix 0.14.0

2017-12-08 Thread Paul Boddie
Hello, I thought I'd try and see if the latest Guix release might help with the problems I described a few days ago, but it looks like there are a few additional dependencies, and I am struggling to install them. I'm using Debian Jessie, but have also been trying with Debian Stretch. Guile-Git

Re: Bootstrapping on a new platform

2017-12-11 Thread Paul Boddie
On Monday 11. December 2017 12.03.56 Ludovic Courtès wrote: > > Paul Boddie skribis: > > This resembling what I showed before. Meanwhile in the child process log > > (/tmp/guix.797) the clone call with EINVAL is this one: > > > > clone(child_stack=0xbffedfa4, >

Re: Bootstrapping on a new platform

2017-12-12 Thread Paul Boddie
On Tuesday 12. December 2017 17.10.59 Ludovic Courtès wrote: > Paul Boddie skribis: > > > > Sorry for the noise, but I guess this is what happens when someone tries > > to do things the hard way. Thanks for identifying the cause of the > > problem! > > Great t

Re: Guile-Git, bytestructures, libgit2 and Guix 0.14.0

2017-12-12 Thread Paul Boddie
On Tuesday 12. December 2017 17.29.43 Ludovic Courtès wrote: > > Paul Boddie skribis: > > I also found that the packaged version of libgit2 on Debian Jessie > > doesn't export the git_libgit2_init symbol for some reason: > > > > ice-9/boot-9.scm:106:20: In pr

Re: Guile-Git, bytestructures, libgit2 and Guix 0.14.0

2017-12-14 Thread Paul Boddie
(I hope it's OK to send this to the list given that one of the recipients was - presumably by mistake - the "request" address for the list, not the list address.) On Wednesday 13. December 2017 01.35.57 ren...@openmailbox.org wrote: > Hello, > > >> I?m pretty sure we solved it recently but I fo

Re: Guix and sel4

2018-01-14 Thread Paul Boddie
On Sunday 14. January 2018 22.16.39 rados...@chmielarz.xyz wrote: > > In 2016 David Craven has sent an email about his attempt in using sel4 > (genode with sel4 to be exact) with guix > (https://lists.gnu.org/archive/html/help-guix/2016-12/msg00058.html). Do > You know if he succeeded or not? And

Re: Guix and sel4

2018-01-15 Thread Paul Boddie
On Monday 15. January 2018 21.44.08 rados...@chmielarz.xyz wrote: > > It wasn't entirely what I was hoping for but thank You for answering. So > to dig a little deeper how closely is guix connected to linux kernel? Some people are using Guix with the Hurd, so maybe they can explain the relations