Subject: Re: bug#60358: [PATCH] gnu: Add gnulib.

From: Ludovic Courtès <[email-masked]>
Date: Mon, 16 Jan 2023 12:59:31 +0100

Hi Vivien,

Vivien Kraus <[email-masked]> 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’.