In case others have this problem before the next beta is released: not just sphinx is missing as a dependency, but also ppl. You should do
./sage -i sphinx ppl followed by make On Tuesday, March 5, 2019 at 2:56:00 AM UTC-8, Dima Pasechnik wrote: > > Thanks, you found a bug in Sage - it's missing dependency of pplpy on > sphinx > > To work around it, do > > ./sage -i sphinx > > followed by > > make > > > On Tue, Mar 5, 2019 at 10:18 AM rajat.mittal.mat15 via sage-devel > <sage-...@googlegroups.com <javascript:>> wrote: > > > > Hello, > > I am installing sage's developer version using following > > > > [user@localhost ~]$ git clone git://github.com/sagemath/sage.git > > [user@localhost ~]$ cd sage > > [user@localhost sage]$ git checkout develop > > [user@localhost sage]$ make > > > > > > Following error occur during make: > > > > [pplpy-0.8.4] Error running the postinst script for pplpy-0.8.4. > > > > Error building Sage. > > > > The following package(s) may have failed to build (not necessarily > > during this run of 'make all-start'): > > > > * package: pplpy-0.8.4 > > log file: /home/rajat/sage/logs/pkgs/pplpy-0.8.4.log > > build directory: /home/rajat/sage/local/var/tmp/sage/build/pplpy-0.8 > > > > Attached with is the log report. > > My os is ubuntu 16.04. > > > > I have tried following: > > > > sudo apt-get install sphinxsearch > > $ sudo apt-get install libgmp-dev libmpfr-dev libmpc-dev libppl-dev > cython > > $ pip install cysignals --user > > $ pip install gmpy2==2.1.0a4 --user > > $ sudo pip install pplpy > > > > > > But still no luck. > > Can someone Help me solve this problem. > > > > Thank you, > > > > -- > > 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+...@googlegroups.com <javascript:>. > > To post to this group, send email to sage-...@googlegroups.com > <javascript:>. > > Visit this group at https://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.