GNU bug report logs - #60358
[PATCH] gnu: Add gnulib.

Previous Next

Package: guix-patches;

Reported by: Vivien Kraus <vivien <at> planete-kraus.eu>

Date: Tue, 27 Dec 2022 17:05:01 UTC

Severity: normal

Tags: patch

Done: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

Message #268 received at 60358 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Vivien Kraus <vivien <at> planete-kraus.eu>
Cc: 60358 <at> debbugs.gnu.org
Subject: Re: bug#60358: [PATCH] gnu: Add gnulib.
Date: Mon, 16 Jan 2023 12:59:31 +0100

Hi Vivien,

Vivien Kraus <vivien <at> planete-kraus.eu> skribis:

> +    (native-search-paths
> +     (list (search-path-specification
> +            (variable "GNULIB_SRCDIR")
> +            (files (list "src/gnulib")))))

Perhaps you need (separator #f) if it’s meant to contain a single
directory name (as opposed to a colon-separate search path)?

Thanks,
Ludo’.
This bug report was last modified 2 years and 131 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.