guix pull fails on raspberry

2020-08-31 Thread Vittorio Malaguti
Hi, I installed guix on the raspberry os as a secondary package manager (the hardware is the raspberry pi 3B+). I used the script to install it, after installing the hello package to make sure everything was working, I make 'guix pull'. I tried many different options: guix pull --fallback guix pu

Re: guix pull fails on raspberry

2020-08-31 Thread Julien Lepiller
I think you're not using the correct architecture. From what I see on the internet, the raspberry pi 3 is an aarch64 board. armhf (armv7) and aarch64 (armv8) are somewhat compatible, but some instructions are not the same, so you can get this kind of segfaults by using the wrong arch. HTH! Le

Re: guix pull fails on raspberry

2020-08-31 Thread Vagrant Cascadian
On 2020-08-31, Julien Lepiller wrote: > I think you're not using the correct architecture. From what I see on > the internet, the raspberry pi 3 is an aarch64 board. armhf (armv7) > and aarch64 (armv8) are somewhat compatible, but some instructions are > not the same, so you can get this kind of se