ports/176206: update port: lang/urweb

[Timothy Beyer]

At Sun, 17 Feb 2013 16:52:30 GMT,
rm at FreeBSD.org wrote:
> 
> Synopsis: update port: lang/urweb
> 
> State-Changed-From-To: open->feedback
> State-Changed-By: rm
> State-Changed-When: Sun Feb 17 16:52:29 UTC 2013
> State-Changed-Why: 
> Hi Timothy. I wasn't able to test the update reliably because mlton
> cannot be built. Please see the log:
> http://people.freebsd.org/~rm/mlton-20070826_10.log Do you have any
> ideas how to fix that?
> 
> http://www.freebsd.org/cgi/query-pr.cgi?pr=176206
> 

Hi,

I get the same error on my machine with mlton; I think that lang/mlton needs a small patch to compile with the newer version of math/gmp in ports.  I will try to submit a patch (hopefully today or tomorrow) to adapt the mlton in ports to the current gmp.

I'm also interested in updating mlton to a much newer version, paticularly because newer versions work on amd64, but perhaps porting that is a larger project.

Regards,
Tim