Re: MLton Homebrew package (Mac OS X)?

On Sun, Jan 3, 2016 at 6:07 AM, Adam Chlipala <[email protected]> wrote:
> On 01/02/2016 09:40 PM, Matthew Fluet wrote:
>> On Fri, Jan 1, 2016 at 4:17 PM, Adam Chlipala <[email protected]> wrote:
>>> Yeah, that sounds like a good plan.  I think it needs someone
>>> representing the MLton community and starting a conversation with the
>>> Homebrew maintainers, maybe as a GitHub issue.  I would be willing to
>>> take the lead there, though it feels a little funny for me to do it, as
>>> someone who is not involved with developing MLton. What do you think
>>> would be the best way to proceed?
>> I'm not sure, as I'm not familiar with Homebrew (neither the technical
>> aspects nor the development culture).  If you have some experience
>> working with Homebrew maintainers, then I would think that it makes
>> sense for you to take the lead.
>
> No, I don't actually have experience working with the Homebrew
> maintainers.  Some users of Ur/Web volunteered to create an Ur/Web tap,
> which required creating a new MLton package (still binary) within it.
> See here:
>      https://github.com/urweb/homebrew-ur
>
> The best connection I have to exercise is to ask the creators of that
> package transitively to start a conversation with the Homebrew team, but
> I think they have minimal experience using MLton for anything but
> building Ur/Web.
>
>> In any case, perhaps it might make sense to create a
>> MLton/homebrew-mlton GitHub repository to work out some proof of
>> concept formulas.  Placing it under the MLton organization should help
>> to demonstrate that the work is "blessed" by the upstream MLton
>> project.
>
> Yeah, I imagine that couldn't hurt.  'urweb' is a funny organization for
> MLton packages to live under.  I presume the formula from the Ur/Web
> repo could mostly be copied.

I created a repository for experimenting with Homebrew formulae for MLton:
  https://github.com/MLton/homebrew-mlton
The history of the mlton.rb formula shows some different ways of
handling things, such as patching the bin/mlton script; the current
version is simple because I spun up a new MLton 20130705 tarball that
fixes the script.

I was able to use this "official" MLton/homebrew-mlton tap to build
urweb via its .travis.yml configuration:
  https://travis-ci.org/MatthewFluet/urweb/builds/101736139

-- 
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].


------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=267308311&iu=/4140