+ cp -a gcc/libgccjit.so gcc/libgccjit.so.0 gcc/libgccjit.so.0.0.1 ../gcc/ + cd ../gcc/ + ln -sf xgcc x86_64-redhat-linux-gcc-13 + cp -a Makefile Makefile.orig + sed -i -e '/^CHECK_TARGETS/s/$/ check-jit/' Makefile + touch -r Makefile.orig Makefile + rm Makefile.orig + make jit.sphinx.html /bin/sh ../../gcc/../mkinstalldirs jit/sphinx-build mkdir -p -- jit/sphinx-build (cd ../../gcc/jit/docs && \ make html BUILDDIR=/root/rpmbuild/BUILD/gcc-13.1.1-20230426/obj-x86_64-redhat-linux/gcc/jit/sphinx-build ) make[1]: Entering directory '/root/rpmbuild/BUILD/gcc-13.1.1-20230426/gcc/jit/docs' sphinx-build -b html -d /root/rpmbuild/BUILD/gcc-13.1.1-20230426/obj-x86_64-redhat-linux/gcc/jit/sphinx-build/doctrees . /root/rpmbuild/BUILD/gcc-13.1.1-20230426/obj-x86_64-redhat-linux/gcc/jit/sphinx-build/html Running Sphinx v1.7.6 Sphinx version error: This project needs at least Sphinx v3.0 and therefore cannot be built with this version. # rpm -q python3-sphinx python3-sphinx-1.7.6-3.el8.noarch This was possible in gcc-toolset-12.
I've disabled libgccjit-docs. The users can look up the upstream documentation.