I now have a segfault 
Unhandled SIGSEGV: A segmentation fault occurred in Sage.
This probably occurred because a *compiled* component of Sage has a bug
in it and is not properly wrapped with sig_on(), sig_off().
Sage will now terminate.

But I think libsingular may be the main point of failure through other 
components.

François

> On 7/10/2015, at 15:24, François Bissey <francois.bis...@canterbury.ac.nz> 
> wrote:
> 
> Hi all OS X sufferers,
> 
> I have been working about adding rpath from gcc but it
> turns out it may not be the problem or possibly not the only
> problem.
> 
> For some time there has been a known issue that a number of
> components shipped with sage do not set up proper "install_name"
> for their libraries. libsingular is one such library.
> 
> The install_name acts as an hint on where to load a library when
> linking. It looks like El Capitan has become more strict about
> this.
> 
> Concretely what to try:
> From SAGE_ROOT:
> install_name_tool -id ${SAGE_ROOT}/lib/libsingular.dylib 
> local/lib/libsingular.dylib
> Replace ${SAGE_ROOT} explicitly by its value. Once this is done
> sage itself needs to be rebuilt.
> ./sage -ba
> 
> There may be more of those lurking. I am rebuilding now.
> 
> Francois
> 
> -- 
> 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 http://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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to