I'm a bit confused as to what Suse is shipping, the latest ppl release is 11.2
As a workaround, you can delete $SAGE_LOCAL/lib/libppl.so.9.0.0 and replace it with a symlink to your system libppl (/usr/lib64/libppl.so or somesuch). Then re-run make. Volker -- 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
