On Sun, Dec 15, 2019 at 1:49 AM John Paul Adrian Glaubitz < glaub...@physik.fu-berlin.de> wrote:
> > I tried both variants as below, but autoconf is failing me when I try to > regenerate > configure. > You didn't say how. > > Can anyone remind me what the proper way of regenerating the configure > script is > these days? > bulding.md says The build system will detect if the Autoconf source files have changed, and will trigger a regeneration of the generated script if needed. You can also manually request such an update by `bash configure autogen`.