The port lang/mlton is marked BROKEN because its bootstrap file uses an old libgmp (.6) rather than the newer libgmp (.7). This means dynamic link errors when trying to execute the bootstrap image to build mlton. Fix: We are 3 maintainers all in all, but the FreeBSD ports systems MAINTAINER Makefile variable only seems to support a single name. Therefore, I have added other maintainers as comments. Please do check with the original maintainer that this is the intended behaviour. Patch follows: How-To-Repeat: cd /usr/ports/lang/mlton && make build Should report "marked as BROKEN"
Class Changed From-To: maintainer-update->change-request Fix category (submitter is not maintainer)
State Changed From-To: open->feedback Awaiting maintainers feedback
I approve the patch.
State Changed From-To: feedback->open Maintainer approved.
State Changed From-To: open->closed Committed. Thanks!