On Sun, Mar 1, 2026 at 11:19 AM Marc Culler <[email protected]> wrote:
> There is really only one file reported as > missing:: sage/local/var/lib/sage/scripts/sagelib/spkg-requirements.txt. > The other one is the directory containing that file. > > I did run ./bootstrap, of course. And it created the directory and the > file. Moreover, both the directory and the file still exist and are both > readable. > Does /var/tmp/sage-10.9/local/var/lib/sage/scripts/sagelib exist? (but you see "Directory /var/tmp/sage-10.9/local/var/lib/sage/scripts/sagelib not found" ?) /var/tmp doesn't sound like something our build system uses normally. IMHO all happens in SAGEROOT/build/sage-distro/ Dima > But if I verify that they exist, and then run make doc-html, it reports > them both as missing. There is something wrong with the test. I wish I > knew where the test was. > > - Marc > > > > On Saturday, February 28, 2026 at 2:21:55 PM UTC-6 [email protected] wrote: > >> some of these are generated by ./bootstrap >> You need to run it either directly, or via make (the latter might be >> flaky) >> >> >> On February 28, 2026 1:08:10 PM CST, Marc Culler <[email protected]> >> wrote: >> >>> I just tried make doc-html. I get: >>> >>> [sagelib-10.9.beta7] Warning: File >>> /var/tmp/sage-10.9/local/var/lib/sage/scripts/sagelib/spkg-requirements.txt >>> not found >>> [sagelib-10.9.beta7] Warning: Directory >>> /var/tmp/sage-10.9/local/var/lib/sage/scripts/sagelib not found >>> [sagelib-10.9.beta7] Removing stamp file >>> /var/tmp/sage-10.9/local/var/lib/sage/installed/sagelib-10.9.beta7 >>> [sagelib-10.9.beta7] [spkg-install] Installing sagelib-10.9.beta7 >>> [sagelib-10.9.beta7] [spkg-install] * Building wheel... >>> >>> Are the missing files in sage/scripts treated as missing dependencies? >>> Why would they be missing? I did not delete them. >>> >>> - Marc >>> >>> On Sat, Feb 28, 2026 at 1:03 PM Dima Pasechnik <[email protected]> wrote: >>> >>>> For me, >>>> >>>> make doc-html >>>> >>>> does the right thing, building html docs, without extra work (after >>>> `make` is done). >>>> If one needs the docs, it makes sense to run >>>> the above straight away, it's a bit quicker, as it avoids extra >>>> regeneration of docs ninja targets by meson. >>>> >>>> Dima >>>> >>>> >>>> >>>> >>>> >>>> >>>> >>>> On February 28, 2026 11:13:44 AM CST, Marc Culler <[email protected]> >>>> wrote: >>>> >>>>> When I build sage with make the last step is to build sagelib. If I >>>>> then run >>>>> make sagemath_doc_html >>>>> it rebuilds the sagelib that it just finished building before starting >>>>> to build the documentation. >>>>> >>>>> Why? >>>>> >>>>> - Marc >>>>> >>>>> -- >>>> You received this message because you are subscribed to a topic in the >>>> Google Groups "sage-devel" group. >>>> To unsubscribe from this topic, visit >>>> https://groups.google.com/d/topic/sage-devel/dVVleHx0xP0/unsubscribe. >>>> To unsubscribe from this group and all its topics, send an email to >>>> [email protected]. >>>> To view this discussion visit >>>> https://groups.google.com/d/msgid/sage-devel/FEA68B7E-8D2F-4957-A43A-D2FA9A0263BA%40gmail.com >>>> <https://groups.google.com/d/msgid/sage-devel/FEA68B7E-8D2F-4957-A43A-D2FA9A0263BA%40gmail.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>> -- > 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 [email protected]. > To view this discussion visit > https://groups.google.com/d/msgid/sage-devel/48b8a758-b896-40ca-ac56-6fccfcef31fcn%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/48b8a758-b896-40ca-ac56-6fccfcef31fcn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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 [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq1C_mknt91WdDi6QcOuz5RhhUmOzP0PyD1oAGNbPBs49Q%40mail.gmail.com.
