Disabling a port

[Ryan Schmidt]

On Apr 2, 2012, at 11:37, vincent habchi wrote:

> the pgRouting port I maintain is out of date, but the newest version is two years old and requires an obsolete version of boost which is incompatible with the present distribution (some headers have moved, other have disappeared).
> 
> I’d like to disable this port while I try to contact the upstream team to look for a more modern version. How am I supposed to do this?

You could add a block like this:

pre-fetch {
    ui_error "This port is broken and cannot currently be installed"
    return -code error "broken port"
}