On Feb 9, 2025, at 15:14, Mircea Trandafir wrote: > > It was indeed this error. Ok, thanks for confirming. Then I would consider that to be a bug in the portfile that should ideally be fixed. The port should not fail just because you happen to have some other port installed.