FreeBSD Port: mlton-20100608_3

Mayuresh Kathe mayuresh at
Sat Sep 2 10:33:28 UTC 2017

Hi Tim,

That's great news.

I believe that the LLVM backend isn't ready for prime-time yet.
Also, it's good to have a complete SML system written mostly in SML 
Except for that dependency on GMP (which I intend to remedy soon-ish), I 
don't think there's anything external which can be categorized as 
necessary, unless the BASIS libraries and SMLNJ libraries are considered 
as external.

Looking forward to your update.



On 2017-09-02 02:49 PM, beyert at wrote:
> Hi Mayuresh,
> I've been meaning to update that port for a really long time (same with
> lang/urweb).  I plan to update to the newest version and check to see 
> if
> the LLVM backend is mature, as well, to see if I can reduce
> dependencies.  Let me know if there are any specific options that you
> recommend to be enabled by default.
> Regards,
> Tim
> On Fri, Sep 1, 2017, at 07:32 PM, Mayuresh Kathe wrote:
>> Hi,
>> I wanted to work using SML under FreeBSD via MLton.
>> The port is obsolete as per the URL;
>> Also, there are too many dependencies as mentioned on that same page 
>> in
>> the "Requires" section.
>> Could you please update the port to the lastest version as well as
>> reduce the dependencies to only GNU MP?
>> Thanks,
>> ~Mayuresh

More information about the freebsd-ports mailing list