[Ur] Installing Ur/Web on Mac OSX (using homebrew)

[Adam Chlipala]

I just wanted to mention that we haven't gotten any replies yet from 
people sharing their experiences trying to install this package.  It 
won't be tagged as "official" until we get some sense for how well it 
works.  So, Mac users out there: could you please give it a try and let 
us know how it goes?  Thanks!

On 10/11/2015 02:56 PM, Eran Meir wrote:
> Hi all,
>
> To install Ur/Web (stable 20150819) on your mac using Homebrew 
> <http://brew.sh/>, type the following commands in a console window:
>
>  1. brew tap eranmeir/ur
>  2. brew install urweb
>
> You can add --with-mysql or --with-postgresql to the installation 
> command to get a DBMS installed (as optional dependency).
>
> Please reply on this thread whether or not you were able to install 
> successfully. If this seems to work well, it can be added to the 
> installation instructions in the website.
>
>
> Best regards,
> Eran.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20151030/823bf697/attachment.html>