From owner-freebsd-ports@freebsd.org Sat Sep 2 10:33:28 2017 Return-Path: Delivered-To: freebsd-ports@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 575ABE0C04C for ; Sat, 2 Sep 2017 10:33:28 +0000 (UTC) (envelope-from mayuresh@kathe.in) Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org [IPv6:2001:1900:2254:206a::50:5]) by mx1.freebsd.org (Postfix) with ESMTP id 418BD812B0 for ; Sat, 2 Sep 2017 10:33:28 +0000 (UTC) (envelope-from mayuresh@kathe.in) Received: by mailman.ysv.freebsd.org (Postfix) id 3DD2FE0C04B; Sat, 2 Sep 2017 10:33:28 +0000 (UTC) Delivered-To: ports@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 3D6D7E0C04A for ; Sat, 2 Sep 2017 10:33:28 +0000 (UTC) (envelope-from mayuresh@kathe.in) Received: from relay6-d.mail.gandi.net (relay6-d.mail.gandi.net [IPv6:2001:4b98:c:538::198]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 0E236812AF for ; Sat, 2 Sep 2017 10:33:27 +0000 (UTC) (envelope-from mayuresh@kathe.in) Received: from webmail.gandi.net (webmail6-d.mgt.gandi.net [10.58.1.146]) (Authenticated sender: mayuresh@kathe.in) by relay6-d.mail.gandi.net (Postfix) with ESMTPA id 38AE5FB881; Sat, 2 Sep 2017 12:33:23 +0200 (CEST) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Sat, 02 Sep 2017 16:03:23 +0530 From: Mayuresh Kathe To: beyert@cs.ucr.edu Cc: ports@freebsd.org Subject: Re: FreeBSD Port: mlton-20100608_3 Reply-To: mayuresh@kathe.in Mail-Reply-To: mayuresh@kathe.in In-Reply-To: <1504343950.983333.1093014808.01246160@webmail.messagingengine.com> References: <4d1c7fbe02578c4983002210649f186c@kathe.in> <1504343950.983333.1093014808.01246160@webmail.messagingengine.com> Message-ID: <043abc5d6dea7065a0b1cb37968258ec@kathe.in> X-Sender: mayuresh@kathe.in User-Agent: Roundcube Webmail/1.1.2 X-BeenThere: freebsd-ports@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Porting software to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 02 Sep 2017 10:33:28 -0000 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@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 >>