Error building linux-libre on Overdrive 1000

[Tobias Geerinckx-Rice]

Guix,

‘guix system init’ fails for me in the following way on the 
following version:

 $ guix describe
 Generation 4    Apr 08 2019 23:29:08    (current)                                 
 guix 2afb793                                                                    
   repository URL: https://git.savannah.gnu.org/git/guix.git                     
   branch: master                                                                
   commit: 2afb79392d39df05e5b285ea46dd59eafb0616d8                              

I'd attach the system configuration, but it's basically the one 
from guix-maintenance/hydra/overdrive.scm.  There's nothing custom 
about the kernel.

Kind regards,

T G-R

--- 8< ---

In file included from 
/gnu/store/im7irb1qnmvwypz53dxv5i75wy94dcz5-glibc-2.28/inc
lude/stdint.h:34:0,
                from 
                /gnu/store/7ykq1909hf7jgkvqcxdz7r0dglnbx005-gcc-7.4.0-lib/
lib/gcc/aarch64-unknown-linux-gnu/7.4.0/include/arm_neon.h:33,
In file included from 
/gnu/store/im7irb1qnmvwypz53dxv5i75wy94dcz5-glibc-2.28/inc
lude/stdint.h:34:0,
                from 
                /gnu/store/7ykq1909hf7jgkvqcxdz7r0dglnbx005-gcc-7.4.0-lib/ 
h:27:19: error: conflicting types for 'int64_t'                                   
typedef __int64_t int64_t;                                                       
                  ^~~~~~~                                                        
In file included from ./include/linux/list.h:5:0,                                 
                from ./include/linux/module.h:9,                                 
                from arch/arm64/lib/xor-neon.c:13:                               
./include/linux/types.h:114:15: note: previous declaration of 
'int64_t' was here  
typedef s64   int64_t;                                                           
              ^~~~~~~                                                            
lude/stdint.h:37:0,                                                               
lib/gcc/aarch64-unknown-linux-gnu/7.4.0/include/arm_neon.h:33,                    
                from 
                ./arch/arm64/include/asm/neon-intrinsics.h:36,              
                from arch/arm64/lib/xor-neon.c:14:                               
.h:27:20: error: conflicting types for 'uint64_t'                                 
typedef __uint64_t uint64_t;                                                     
                   ^~~~~~~~                                                      
In file included from ./include/linux/list.h:5:0,                                 
                from ./include/linux/module.h:9,                                 
                from arch/arm64/lib/xor-neon.c:13:                               
e                                                                                 
typedef u64   uint64_t;                                                          
              ^~~~~~~~                                                           
make[1]: *** [scripts/Makefile.build:283: 
arch/arm64/lib/xor-neon.o] Error 1      
make: *** [Makefile:1066: arch/arm64/lib] Error 2                                 
make: *** Waiting for unfinished jobs....

signature.asc
Description: PGP signature