<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    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.<br>
    <br>
    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.<br>
    <br>
    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.)<br>
    <br>
    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?<br>
    <br>
    <div class="moz-cite-prefix">On 09/14/2015 01:03 PM, Eran Meir
      wrote:<br>
    </div>
    <blockquote
cite="mid:CAEQ6Z0x4_eWMAhZUbSrn5NXA3GHvZSW4RbcWx=50aKhEQP_8mg@mail.gmail.com"
      type="cite">
      <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 moz-do-not-send="true"
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 moz-do-not-send="true"
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 moz-do-not-send="true"
            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
              moz-do-not-send="true" href="mailto:adamc@csail.mit.edu"
              target="_blank"><a class="moz-txt-link-abbreviated" href="mailto:adamc@csail.mit.edu">adamc@csail.mit.edu</a></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>
          </blockquote>
        </div>
      </div>
    </blockquote>
  </body>
</html>