On Mon, Nov 30, 2015 at 06:43:37PM +0100, Ludovic Courtès wrote: > Could you check the value of ‘host_cpu’ in config.log? The pattern use > in guix.m4 is supposed to allow ‘armv7l’.
Yes, that is what surprises me also. An excerpt of config.log: guix_system='armv7l-linux' host='armv7l-unknown-linux-gnueabihf' host_alias='' host_cpu='armv7l' host_os='linux-gnueabihf' host_vendor='unknown' Andreas
