Very straightforward, with one bump - the supplied Parma Polyhedron
Library libppl.so.9.0.0 confused the linker, so a single unresolved
symbol was found. The compilation failed. At that point, I pointed the
symbolic links in sagedir/local/lib to the version of libppl that
comes with the SuSE distrubution in /usr/lib. After that everything
was smooth. I was impressed.