On Sun, Aug 4, 2024 at 7:41 AM Niranjana K M <niranjan...@gmail.com> wrote: > > I could build till sagelib with the patched flint. > Now I get an error in building doc. > > [spkg-install] [reference] WARNING: unsupported theme option > 'source_view_link' given > [spkg-install] [reference] The HTML pages are in > ../../local/share/doc/sage/html/en/reference/references. > [spkg-install] Error building the documentation. > [spkg-install] Traceback (most recent call last): > [spkg-install] File "<frozen runpy>", line 198, in _run_module_as_main > [spkg-install] File "<frozen runpy>", line 88, in _run_code > [spkg-install] File > "/mnt/vol_05/for-gentoo/sage/sage/src/sage_docbuild/__main__.py", line 530, > in <module> > [spkg-install] sys.exit(main()) > [spkg-install] ^^^^^^ > [spkg-install] File > "/mnt/vol_05/for-gentoo/sage/sage/src/sage_docbuild/__main__.py", line 526, > in main > [spkg-install] builder() > [spkg-install] File > "/mnt/vol_05/for-gentoo/sage/sage/src/sage_docbuild/builders.py", line 827, > in _wrapper > [spkg-install] getattr(DocBuilder, build_type)(self, *args, **kwds) > [spkg-install] File > "/mnt/vol_05/for-gentoo/sage/sage/src/sage_docbuild/builders.py", line 163, > in f > [spkg-install] runsphinx() > [spkg-install] File > "/mnt/vol_05/for-gentoo/sage/sage/src/sage_docbuild/sphinxbuild.py", line > 319, in runsphinx > [spkg-install] sys.stderr.raise_errors() > [spkg-install] File > "/mnt/vol_05/for-gentoo/sage/sage/src/sage_docbuild/sphinxbuild.py", line > 255, in raise_errors > [spkg-install] raise OSError(self._error) > [spkg-install] OSError: WARNING: unsupported theme option 'source_view_link' > given > > I am in `develop` branch 10.5.beta1 in Gentoo linux. The log files are > attached herewith. > > Search leads me to this link https://github.com/pradyunsg/furo/discussions/802 > According to it, it is now fixed in furo-2024.07.18 which is also the spkg > version in develop branch. > But I had furo-2024.5.6 installed through Gentoo and the build picked it up > and used the system installed furo.
for me, the build with Gentoo system furo-2024.5.6 works. (your error could be due to other sphinx-related packages - I have all the sphinx* - Sage packages coming from the system as well) Dima > May be it needs furo version restriction in build scripts to avoid picking > old furo. > > > On Sat, Aug 3, 2024 at 1:41 AM François Bissey <frp.bis...@gmail.com> wrote: >> >> >> >> On 3/08/24 08:06, Niranjana K M wrote: >> > >> > >> > On Sat, Aug 3, 2024 at 1:29 AM François Bissey <frp.bis...@gmail.com >> > <mailto:frp.bis...@gmail.com>> wrote: >> > >> > >> > >> > On 3/08/24 07:17, Michael Orlitzky wrote: >> > > On Fri, 2024-08-02 at 07:09 -0700, Niranjana K M wrote: >> > >> At first I had flint-3.1.0 from Gentoo portage. Got same errors >> > and build >> > >> failed. The I uninstalled flint and its dependents from Gentoo >> > and let the >> > >> Sage choose its flint spkg. Again it also failed with same errors. >> > >> >> > > >> > > These errors, >> > > >> > >> local/include/flint/nmod_mpoly_factor.h:366:49: error: expected >> > ')' before '__extension__' >> > > >> > > arise from flint's use of the variable name "I" in a few places. C99 >> > > technically forbids that IIRC. Our flint-3.1.3_p1 package (but no >> > > earlier versions) contain a patch from Dima to fix the issue. >> > > >> > > We were expecting people to hit this with gcc-14 which is still >> > > unstable, but I guess some of the patches that have been >> > backported to >> > > your 13.3.1_p20240614 trigger it. I've filed a stabilization request >> > > for flint-3.1.3_p1 to get ahead of the problem. >> > > >> > > >> > >> > Yes, that weirded me out in >> > https://github.com/cschwan/sage-on-gentoo/issues/789 >> > <https://github.com/cschwan/sage-on-gentoo/issues/789> >> > But not everyone with a gcc-13.3.x compiler is affected, so there maybe >> > something more subtle at play. Maybe a compiler use flag? >> > >> > May be the Gentoo Hardened gcc? >> > $ gcc --version >> > gcc (Gentoo Hardened 13.3.1_p20240614 p17) 13.3.1 20240614 >> > >> >> Yes, that kind of thing is important to mention. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-devel" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to sage-devel+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/26b301e4-d1f8-410d-b2b8-a70d3f6b7272%40gmail.com. > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/CAMcUJ1s%2BVuOTmnCDYyQZYc2n8cTNguqh_6-A7w3tjNhx65mQEQ%40mail.gmail.com. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq0Gmsw8Fs6cCrqoj9Hquv%3DnKpoq8TtJnV_xrjCtfiOv%3Dg%40mail.gmail.com.
