[poldi] build fails with missing file version.texi
Closed, InvalidPublic


The build fails with:

rm -rf $backupdir && mkdir $backupdir && \
if (/bin/sh /tmp/poldi/missing makeinfo --version) >/dev/null 2>&1; then \
  for f in poldi.info poldi.info-[0-9] poldi.info-[0-9][0-9] poldi.i[0-9] poldi.i[0-9][0-9]; do \
    if test -f $f; then mv $f $backupdir; restore=mv; else :; fi; \
  done; \
else :; fi && \
cd "$am__cwd"; \
if /bin/sh /tmp/poldi/missing makeinfo   -I . \
 -o poldi.info poldi.texi; \
then \
  rc=0; \
  CDPATH="${ZSH_VERSION+.}:" && cd .; \
else \
  rc=$?; \
  CDPATH="${ZSH_VERSION+.}:" && cd . && \
  $restore $backupdir/* `echo "./poldi.info" | sed 's|[^/]*$||'`; \
fi; \
rm -rf $backupdir; exit $rc
poldi.texi:21: @include: version.texi konnte nicht gefunden werden
poldi.texi:26: warning: undefiniertes Flag: EDITION
poldi.texi:26: warning: undefiniertes Flag: UPDATED
poldi.texi:27: warning: undefiniertes Flag: VERSION
poldi.texi:41: warning: undefiniertes Flag: EDITION
poldi.texi:43: warning: undefiniertes Flag: UPDATED
poldi.texi:45: warning: undefiniertes Flag: VERSION
poldi.texi:63: warning: undefiniertes Flag: EDITION
poldi.texi:63: warning: undefiniertes Flag: UPDATED
poldi.texi:65: warning: undefiniertes Flag: VERSION
make[2]: *** [Makefile:386: poldi.info] Fehler 1
make[2]: Verzeichnis „/tmp/poldi/doc“ wird verlassen
make[1]: *** [Makefile:427: all-recursive] Fehler 1
make[1]: Verzeichnis „/tmp/poldi“ wird verlassen
make: *** [Makefile:368: all] Fehler 2

It looks the file is not generated or missing in the git repo. I have no idea for the source of the file.


werner edited projects, added poldi, Support; removed Bug Report.Dec 28 2020, 5:56 PM
werner added a subscriber: werner.

When building from git make sure that you have all tools installed and use
./autogen.sh --force
before running configure. Do not use autoreconf etc.

werner closed this task as Invalid.Dec 28 2020, 5:59 PM