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-devel@googlegroups.com> 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+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. -- 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.