Re: Goodbye to GNU make's "build.sh" ... ?

[Paul Smith]

On Sat, 2022-06-25 at 17:47 -0400, Paul Smith wrote:
> This leaves me with two options:
> 
>    1. Stop using gnulib, or at least sharply limit the modules we
> will include to those with trivial-enough configurations.
>    2. Abandon the build.sh script and require an existing make
> program in order to build a new version of GNU make.

What I ended up doing is importing parts of gnulib, but customizing the
imports to avoid explosions of secondary-effect modules being pulled in
and not needing a lot of extra machinery in the Makefiles.

I created a separate branch gnulib-port which contains unmodified
versions of gnulib modules, then merged them in and modified them. 
This should allow us to make use of git's merge facilities to import
newer gnulib versions more easily.

So far so good.