This is yet another one of those cases where setting LD_LIBRARY_PATH bites us. We compiled our own PPL library, but gcc requires a slightly different version. A workaround is to delete $SAGE_LOCAL/lib/libppl.* and then run make again.
-- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
