Re: [PATCH] distro: Add GNU Ed.

[Ludovic Courtès]

Hi!

It failed to build for me (in a chroot):

--8<---------------cut here---------------start------------->8---
starting phase `build'
cc  -Wall -W -O2 -c -o buffer.o buffer.c
make: cc: Command not found
make: *** [buffer.o] Error 127
--8<---------------cut here---------------end--------------->8---

So I just added this line:

    (arguments '(#:configure-flags '("CC=gcc")))

And it works.  I just pushed it.

Normally, it should have failed at your site, even if you’re not using
chroot builds, because there’s no ‘cc’ in $PATH.

Thanks!

Ludo’.