Er, never mind, I had looked into the makefile and gotten the impression I needed to set DESTDIR to some suitable value. If I don't do that, the build seems to proceed without trouble. (I get the impression I am not supposed to install this thing at all, but just run it from the source directory?)
Well, sorry about the noise and all that. - Harald -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
