<div dir="ltr"><p>Hi,</p><p dir="ltr">There's a formula in homebrew-boneyard [1], but IIRC it had some issues with MLton dependencies (I guess that's why it was moved there in the first place). </p><p>I hacked a local copy when I installed version 20150520. I'm not a brew expert, but maybe it can serve as a baseline. FWIW, I pushed it to a fork of homebrew-boneyard [2].</p><p>Either way, I'd be happy to help further.</p>







<p>Regards,<br>Eran.</p><p>[1] <a href="https://github.com/Homebrew/homebrew-boneyard/blob/master/urweb.rb" target="_blank">https://github.com/Homebrew/homebrew-boneyard/blob/master/urweb.rb</a><br>[2] <a href="https://github.com/eranmeir/homebrew-boneyard/blob/master/urweb.rb">https://github.com/eranmeir/homebrew-boneyard/blob/master/urweb.rb</a></p><p><br></p><p><br></p>
<div class="gmail_quote">On Sep 14, 2015 6:08 PM, "Chris Wilson" <<a href="mailto:christopher.j.wilson@gmail.com" target="_blank">christopher.j.wilson@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">I have some experience with the Homebrew package manager (written in Ruby). And I could take this on. I'd also welcome any assistance.<br>
<br>
Thanks.<br>
<br>
<br>
<br>
> On Sep 14, 2015, at 10:01, Adam Chlipala <<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>> wrote:<br>
><br>
> We're in the official package systems of Debian and Ubuntu now (thanks to Benjamin Barenblat).  Mac OS X seems to be the other big platform popular among Ur/Web users.  Does anyone have experience producing easy-to-install binary packages for OS X?  I remember hearing that there are several competing packaging systems.<br>
><br>
> If someone wants to take on the task of producing and distributing official packages there, I'd be grateful.<br>
><br>
> _______________________________________________<br>
> Ur mailing list<br>
> <a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
> <a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
<br>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div>
</div>