Re: [PATCH] gnu: grep: Fix for gnulib library.

[Ludovic Courtès]

Hi!

address@hidden skribis:

> From f76585a44afdc41187df768eec79fb723713cf0c Mon Sep 17 00:00:00 2001
> From: rennes <address@hidden>
> Date: Tue, 21 Feb 2017 23:21:49 -0600
> Subject: [PATCH] gnu: grep: Fix for gnulib library.
>
> * gnu/packages/patches/grep-gnulib-lock.patch: New file.                      
>                             
> * gnu/local.mk (dist_patch_DATA): Add it.

Looks like we missed this ‘core-updates’ cycle.  :-/

To apply it without triggering a full rebuild, you could instead add a
phase that invokes ‘patch’ to apply it, only when the cross-compilation
target or system is GNU/Hurd.

Like:

  ,@(if (gnu/hurd?)
        `((add-before 'configure 'patch …))
        '())  ;nothing

Could you try that?

Also please avoid reindenting the package at the same time as it makes
the patch a bit noisier.  :-)

Thanks,
Ludo’.