Disabling a port

[vincent habchi]

Ryan,

> 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"
> }

Thanks! That’s what I did. pgRouting seems to be alive, but the development team is almost diaphanous, so it takes a lot of time to get things done.

Vincent