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"
<[email protected]
<mailto:[email protected]>> 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 <[email protected]
<mailto:[email protected]>> 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.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
