FreeBSD Port: mlton-20100608_3
Mayuresh Kathe
mayuresh at kathe.in
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
itself.
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.
Thanks,
~Mayuresh
On 2017-09-02 02:49 PM, beyert at cs.ucr.edu 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;
>> https://www.freebsd.org/cgi/ports.cgi?query=mlton&stype=all
>> 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