----- On 3 Aug, 2015, at 21:10, petr 976F at ingv.it wrote: > Can anyone explain me what is going on? It looks like a problem not due to the > port itself. The registry database on the lion buildbot is malformed because it ran out of disk space while building. There's nothing you can do about this at the moment, but it's not your fault. -- Clemens Lang