On 11/11/22 13:52, Gerald Pfeifer wrote:
On Tue, 8 Nov 2022, Martin Liška wrote:
After the migration, people should be able to build (and install) GCC
even if they miss Sphinx (similar happens now if you miss makeinfo).
My nightly *install* (not build) on amd64-unknown-freebsd12.2 broke
(from what I can tell due to this - it's been working fine most of
the last several 1000 days):
if [ -f doc/g++.1 ]; then rm -f
/home/gerald/gcc-ref12-amd64/share/man/man1/g++.1; /usr/bin/install -c -m 644
doc/g++.1 /home/gerald/gcc-ref12-amd64/share/man/man1/g++.1; chmod a-x
/home/gerald/gcc-ref12-amd64/share/man/man1/g++.1; fimake -C
/scratch/tmp/gerald/GCC-HEAD/gcc/../doc man
SOURCEDIR=/scratch/tmp/gerald/GCC-HEAD/gcc/fortran/doc/gfortran
BUILDDIR=/scratch/tmp/gerald/OBJ-1111-0954/gcc/doc/gfortran/man SPHINXBUILD=
make[3]: make[3]: don't know how to make w. Stop
make[3]: stopped in /scratch/tmp/gerald/GCC-HEAD/doc
gmake[2]: *** [/scratch/tmp/gerald/GCC-HEAD/gcc/fortran/Make-lang.in:164:
doc/gfortran/man/man/gfortran.1] Error 2
gmake[2]: Leaving directory '/scratch/tmp/gerald/OBJ-1111-0954/gcc'
gmake[1]: *** [Makefile:5310: install-strip-gcc] Error 2
gmake[1]: Leaving directory '/scratch/tmp/gerald/OBJ-1111-0954'
gmake: *** [Makefile:2734: install-strip] Error 2
(This appears to be the case with "make -j1 install-strip". Not sure where
that "w" target is coming from?)
I've seen something similar: "make install" seems to be passing an
empty SPHINXBUILD= option to the docs Makefile which is not equipped to
handle that. I know the fix is to get a recent-enough version of Sphinx
installed (and I'm going to work on that over the weekend), but it ought
to fail more gracefully, or not try to install docs that cannot be built
without Sphinx.
-Sandra