Yes, I am pretty sure this is the problem too, now that you've explained it.
Here is the output of readelf: wbhart@ASUS:~/SageMath/local/bin$ readelf -d gp | grep RPATH 0x000000000000000f (RPATH) Library rpath: [/home/buildbot/slave/binary_pkg/build/source/SageMath/jc4b6yulaujayb9sr94ia88eourzeqip0oidmas391yaj2/local/lib:/home/buildbot/slave/binary_pkg/build/source/SageMath/jc4b6yulaujayb9sr94ia88eourzeqip0oidmas391yaj2/local/lib:/home/buildbot/slave/binary_pkg/build/source/SageMath/jc4b6yulaujayb9sr94ia88eourzeqip0oidmas391yaj2/local/lib:/usr/lib] Those don't look like directories on my machine. I'll try all this next time Sage tarballs are put up. Bill. On Thursday, 4 August 2016 16:32:40 UTC+2, Nils Bruin wrote: > > On Thursday, August 4, 2016 at 5:46:04 AM UTC-7, Bill Hart wrote: >> >> In particular, the ticket says the problem was fixed 2 months ago, and I >> downloaded the tarball just yesterday. >> > > Yes, but it was resolved as "wontfix", because the patch was added to a > repository that Volker keeps outside of the sage tree. I can easily imagine > that whoever rolled the new tarball might not have updated the relevant > script: there wasn't a particular cue for that, other than the resolution > of the ticket (and why would one be following that?). In any case, the > binaries I can see are still just 7.2 and are from May, so they would > predate the fix. Apparently people using binaries are quite happy with gp > not working (indeed, gp only gets used for some rather specialist jobs) > > If you check: > > readelf -d gp | grep RPATH > > you might be able to see if there is still some bad path hanging around. > I'm almost certain you're running into this problem. > -- 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.
