Re: 'CONFIG_HEADER not defined' during sed compile during 'guix pull'

[Ricardo Wurmus]

Hi Nathan,

> I have all of the available selinux devel packages installed: […]

What you have installed on your system does not affect the build.
That’s by design.  All builds happen in isolated environments where only
declared packages are available.  Your system files are not available
during the build.

> I'm trying to ease into GuixSD by first installing Guix on top of Fedora29. 
> Following through the docs for 'Binary installation', when I do a 'guix pull' 
> I'm eventually getting this error during the sed compile:
>
> inplace-selinux.sh: set-up failure: CONFIG_HEADER not defined
> ERROR: testsuite/inplace-selinux.sh
>
> which causes the pull to fail.

That’s not good but I cannot reproduce this as of Guix
ba123b6dda3afb84c457f9e68c20eeff61e2c740.  I ran “guix build --check
sed” to build sed.  (Are you running the daemon on a system where
SELinux is enabled?)

I also wonder why you’re building things from source when you can get
binaries from the build farm instead.  Did you forget to authorize the
build farm public key or are you purposefully building everything from
source?

--
Ricardo