On 25 June 2014 13:58, David Chisnall <David.Chisnall at cl.cam.ac.uk> wrote: > Our experience with the FreeBSD ports tree is that things that require changing a build system are difficult. I know... :( --renato