Date: Sat, 02 Sep 2017 02:19:10 -0700 From: beyert@cs.ucr.edu To: Mayuresh Kathe <mayuresh@kathe.in> Cc: ports@freebsd.org Subject: Re: FreeBSD Port: mlton-20100608_3 Message-ID: <1504343950.983333.1093014808.01246160@webmail.messagingengine.com> In-Reply-To: <4d1c7fbe02578c4983002210649f186c@kathe.in> References: <4d1c7fbe02578c4983002210649f186c@kathe.in>
next in thread | previous in thread | raw e-mail | index | archive | help
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 >
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?1504343950.983333.1093014808.01246160>