MLton Homebrew package (Mac OS X)?

As I understand the situation, (1) there does exist a MLton package for 
Mac OS X's popular package system Homebrew, but (2) the package has some 
major problems keeping it from becoming official.  As a result, any 
other package that depends on MLton (e.g., Ur/Web, which I'm involved 
with maintaining) can never be official, either.

The problems that I'm aware of:
(1) No one has built a package that builds from source, probably through 
SML/NJ.  Some Homebrew rule prevents binary-only packages from being 
blessed to the full degree, so that users can install them easily with 
single command lines.
(2) The existing binary MLton package hardcodes a path to libgmp that 
apparently is quite nonstandard.  As a result, what I'm told is a 
standard Travis Continuous Integration script based on Homebrew fails to 
run MLton successfully.  See this log: 
https://travis-ci.org/urweb/urweb/jobs/99660971

Is there any hope to invest in getting a fully proper MLton package for 
Homebrew?  Until that point, using MLton is a serious liability for any 
project that itself wants to get into the mainline of Homebrew.

-- 
You received this message because you are subscribed to the Google Groups "MLton-user" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].


------------------------------------------------------------------------------