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.

Reply via email to