Re: MLton Homebrew package (Mac OS X)?
Matthew Fluet <[email protected]> Fri, 1 Jan 2016 13:31:57 -0500
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <CAMrhFL6_otpeLLX1GWBZ4OduB11wdb3yK3SUd_2B1nZ-A9pKcQ@mail.gmail.com> |
On Fri, Jan 1, 2016 at 9:07 AM, Christopher Cramer <[email protected]> wrote: > On Thu, Dec 31, 2015 at 06:13:18PM -0500, Adam Chlipala wrote: >> 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. > > I don't think anyone has successfully built MLton from SML/NJ in many > years. The only way to do it these days is use an already-built MLton > (if it's an entirely new platform, cross-compiling will work fine). > > But MLton is hardly unusual in this respect. SML/NJ requires SML/NJ > to build. GCC requires GCC to build. How does Homebrew deal with those? Agreed; we've struggled with the same argument with respect to Debian packaging. -- 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]. ------------------------------------------------------------------------------