Hi Ricardo,

On Mon 08 Apr 2019 at 15:30 Ricardo Wurmus wrote:

> Hi Gabriel,
>
>
> Is the problem here that GNUmakefile exists?  Could we simply remove
> that file instead of replacing the phases?  When replacing the phases
> you should also pass the default make-flags and ensure that parallel
> building is enabled.
>
> Removing the other makefile seems to be the better option.

Yes it was, but after inspecting downloaded sources, I realised that
there was no GNUmakefile, so I removed all the -f business, and it
works.