Thank You for the prompt response after using ./sage -i sphinx ppl it built successfully.
On Tue 5 Mar, 2019, 9:36 PM John H Palmieri <jhpalmier...@gmail.com wrote: > 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> 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. >> > To post to this group, send email to sage-...@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. > -- 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.
