Re: core-updates: flex is broken [was: GRUB fails to build]

2017-03-08 Thread Ludovic Courtès
Leo Famulari skribis: > On Mon, Mar 06, 2017 at 11:14:37AM +0100, Ludovic Courtès wrote: >> Any idea how many packages aside from GRUB are affected? Would it work >> to simply provide the old Flex in addition to the new one, and have GRUB >> use it? > > I don't have a good

Re: core-updates: flex is broken [was: GRUB fails to build]

2017-03-07 Thread Leo Famulari
On Mon, Mar 06, 2017 at 11:14:37AM +0100, Ludovic Courtès wrote: > Any idea how many packages aside from GRUB are affected? Would it work > to simply provide the old Flex in addition to the new one, and have GRUB > use it? I don't have a good idea yet. When reconfiguring my headless GuixSD

Re: core-updates: flex is broken [was: GRUB fails to build]

2017-03-06 Thread Ludovic Courtès
Leo Famulari skribis: > On Sat, Mar 04, 2017 at 01:42:34PM -0500, Leo Famulari wrote: >> On core-updates, GRUB fails to build like this: > >> ./grub-core/script/yylex.l:34:0: error: "yyalloc" redefined [-Werror] >> #define yyalloc(size, scanner) (grub_malloc((size))) >> ^

Re: core-updates: flex is broken [was: GRUB fails to build]

2017-03-04 Thread Leo Famulari
On Sat, Mar 04, 2017 at 01:42:34PM -0500, Leo Famulari wrote: > On core-updates, GRUB fails to build like this: > ./grub-core/script/yylex.l:34:0: error: "yyalloc" redefined [-Werror] > #define yyalloc(size, scanner) (grub_malloc((size))) > ^ > grub_script.yy.c:104:0: note: this is the