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
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
How-To-Repeat: cd /usr/ports/lang/mlton && make build
Should report "marked as BROKEN"
Fix category (submitter is not maintainer)
Awaiting maintainers feedback
I approve the patch.