On 2012-07-11 16:15, Jan Groenewald wrote: > I don't know how. I could not find out in reasonable time. > It is in fact a modified makefile, with some additional debian syntax. But didn't you already have to create such a file for the PPA you currently have? Changing that to build from source on the Ubuntu buildfarm should be easy.
-- -- 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
