[Ur] Anyone want to produce OS X binary packages for Ur/Web?

[Adam Chlipala]

OK, so I've been sitting back and waiting for OS X packaging experts to 
come out of the woodwork.  I will assume that that process is largely 
done now, but please do let me know, on-list or off-list, if you would 
also like to be involved in such a process.

The highly scientific method of this thread tells us that Homebrew seems 
to be the right package manager for Ur/Web, probably based on 
assumptions about how technically sophisticated successful Ur/Web 
programmers will be, when it comes to their OS environments.

Thanks, Chris and Eran, for volunteering to produce an official 
package.  It is probably ideal to have associated code in a public 
GitHub repo.  (I still plan to move Ur/Web to GitHub soon-ish, at which 
point it would be natural to have a repo under the urweb organization.)

It sounds like Eran has created a first cut at packaging Ur/Web, but 
there are still some issues to iron out.  Eran, would you be comfortable 
leading the process of solving remaining problems, with help from Chris 
and others, based on what you ask them to help with?

On 09/14/2015 01:03 PM, Eran Meir wrote:
>
> Hi,
>
> 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).
>
> 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].
>
> Either way, I'd be happy to help further.
>
> Regards,
> Eran.
>
> [1] https://github.com/Homebrew/homebrew-boneyard/blob/master/urweb.rb
> [2] https://github.com/eranmeir/homebrew-boneyard/blob/master/urweb.rb
>
>
>
> On Sep 14, 2015 6:08 PM, "Chris Wilson" 
> <christopher.j.wilson at gmail.com 
> <mailto:christopher.j.wilson at gmail.com>> wrote:
>
>     I have some experience with the Homebrew package manager (written
>     in Ruby). And I could take this on. I'd also welcome any assistance.
>
>     Thanks.
>
>
>
>     > On Sep 14, 2015, at 10:01, Adam Chlipala <adamc at csail.mit.edu
>     <mailto:adamc at csail.mit.edu>> wrote:
>     >
>     > 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.
>     >
>     > If someone wants to take on the task of producing and
>     distributing official packages there, I'd be grateful.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150916/e1aeb7e7/attachment.html>