Le samedi 18 novembre 2017 14:46:14 UTC+1, John Cremona a écrit : > > Does anyone know what this is about? Building 8.1.rc1 after make > distclean. > > [dochtml] [manifolds] OSError: [manifolds] WARNING: > /home/jec/sage/local/lib/python2.7/site-packages/sage/manifolds/chart.py:docstring > > > of sage.manifolds.chart.RealChart.plot:104: (WARNING/2) Exception > occurred in plotting chart-1 > Makefile:986: recipe for target 'doc-html' failed > > Full log at http://homepages.warwick.ac.uk/staff/J.E.Cremona/dochtml.log
This could be a race error in parallel build; since from your log file: [manifolds] File "/home/jec/sage/local/lib/python2.7/site-packages/sage/interfaces/sympy.py", line 649, in sympy_init [manifolds] from sympy import Add [manifolds] ImportError: No module named sympy It could be that the documentation was being built before the sympy package is installed... Could you try again? Eric. > > On 18 November 2017 at 08:56, Jeroen Demeyer <jdem...@cage.ugent.be > <javascript:>> wrote: > > On 2017-11-18 04:47, kcrisman wrote: > >> > >> So maybe that is part of the issue. How could that be happening? > > > > > > Maybe you have more than 1 version of Sage installed? > > > > > > -- > > You received this message because you are subscribed to the Google > Groups > > "sage-release" group. > > To unsubscribe from this group and stop receiving emails from it, send > an > > email to sage-release...@googlegroups.com <javascript:>. > > To post to this group, send email to sage-r...@googlegroups.com > <javascript:>. > > Visit this group at https://groups.google.com/group/sage-release. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To post to this group, send email to sage-release@googlegroups.com. Visit this group at https://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.