Re: [PATCHES] gnu: linux-libre: Update to 4.16

2018-05-09 Thread Ricardo Wurmus
Chris Marusich writes: > l...@gnu.org (Ludovic Courtès) writes: > >> Hello, >> >> Chris Marusich skribis: >> >>> Mark H Weaver writes: >>> So, we still have a decision to make: whether to delete these generated files (possibly in a snippet) to avoid using pre-generated non-source >>>

Re: [PATCHES] gnu: linux-libre: Update to 4.16

2018-05-08 Thread Chris Marusich
l...@gnu.org (Ludovic Courtès) writes: > Hello, > > Chris Marusich skribis: > >> Mark H Weaver writes: >> >>> So, we still have a decision to make: whether to delete these generated >>> files (possibly in a snippet) to avoid using pre-generated non-source >>> files in our build. I would be in f

Re: [PATCHES] gnu: linux-libre: Update to 4.16

2018-04-09 Thread Ludovic Courtès
Hello, Chris Marusich skribis: > Mark H Weaver writes: > >> So, we still have a decision to make: whether to delete these generated >> files (possibly in a snippet) to avoid using pre-generated non-source >> files in our build. I would be in favor of it. >> >> I'd like to hear opinions on this

Re: [PATCHES] gnu: linux-libre: Update to 4.16

2018-04-08 Thread Chris Marusich
Mark H Weaver writes: > So, we still have a decision to make: whether to delete these generated > files (possibly in a snippet) to avoid using pre-generated non-source > files in our build. I would be in favor of it. > > I'd like to hear opinions on this. Perhaps we can consider our existing pa

Re: [PATCHES] gnu: linux-libre: Update to 4.16

2018-04-08 Thread Mark H Weaver
Hi Vincent, Vincent Legoll writes: > On Sun, Apr 8, 2018 at 3:10 AM, Mark H Weaver wrote: >> Leo Famulari writes: >> >>> On Sat, Apr 07, 2018 at 02:36:04PM -0400, Mark H Weaver wrote: One more thing: I had to add 'flex' and 'bison' as native-inputs because the build system in 4.16 no

Re: [PATCHES] gnu: linux-libre: Update to 4.16

2018-04-08 Thread Vincent Legoll
Hello, On Sun, Apr 8, 2018 at 3:10 AM, Mark H Weaver wrote: > Leo Famulari writes: > >> On Sat, Apr 07, 2018 at 02:36:04PM -0400, Mark H Weaver wrote: >>> One more thing: I had to add 'flex' and 'bison' as native-inputs because >>> the build system in 4.16 now concludes that they need to be re-r

Re: [PATCHES] gnu: linux-libre: Update to 4.16

2018-04-07 Thread Mark H Weaver
Leo Famulari writes: > On Sat, Apr 07, 2018 at 02:36:04PM -0400, Mark H Weaver wrote: >> One more thing: I had to add 'flex' and 'bison' as native-inputs because >> the build system in 4.16 now concludes that they need to be re-run for >> some reason. This could perhaps be avoided by adding a ph

Re: [PATCHES] gnu: linux-libre: Update to 4.16

2018-04-07 Thread Leo Famulari
On Sat, Apr 07, 2018 at 02:36:04PM -0400, Mark H Weaver wrote: > One more thing: I had to add 'flex' and 'bison' as native-inputs because > the build system in 4.16 now concludes that they need to be re-run for > some reason. This could perhaps be avoided by adding a phase to touch > the generated

[PATCHES] gnu: linux-libre: Update to 4.16

2018-04-07 Thread Mark H Weaver
Hello Guix, Here are preliminary patches to update to linux-libre-4.16. It works well on my x86_64 GuixSD system on the 'core-updates' branch, but it's not convenient for me to test it on 'master'. I would be grateful to hear reports of testing this on 'master', and also on 'armhf' systems. One