Hi Peter,<br><br><div class="gmail_quote">On Thu, Oct 14, 2010 at 2:40 AM, Peter Ross <span dir="ltr"><<a href="mailto:pro@missioncriticalit.com">pro@missioncriticalit.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Hi Vladimir,<br>
<div class="im"><br>
On Thu, Oct 14, 2010 at 2:07 AM, Vladimir Gubarkov <<a href="mailto:xonixx@gmail.com">xonixx@gmail.com</a>> wrote:<br>
> Hi, Robert<br>
> I agree with you that mercury compiler compilation is too slow. I remember<br>
> when I tried to build it from sources on my AMD 3000+ Ghz 2 Gb box it took<br>
> nearly 4-5 hours.<br>
> However if you are a Windows user, you can get already compiled binaries of<br>
> mercury from<br>
> <a href="http://code.google.com/p/winmercury/" target="_blank">http://code.google.com/p/winmercury/</a><br>
><br>
</div>Do you maintain this site?<br></blockquote><div><br>No, I'm not the maintainer of the site. The maintainer is Sergey Khorev. <br><br>Just in case: you coud find his email here: <br><a href="http://code.google.com/u/@UxBXRVBTBBFCWAN8/">http://code.google.com/u/@UxBXRVBTBBFCWAN8/</a><br>
<br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<br>
If others publish binary builds, let us know and we will link to them<br>
from the Mercury web site.<br>
<br>
Pete<br>
<div><div></div><div class="h5">--------------------------------------------------------------------------<br>
mercury-users mailing list<br>
Post messages to:       <a href="mailto:mercury-users@csse.unimelb.edu.au">mercury-users@csse.unimelb.edu.au</a><br>
Administrative Queries: <a href="mailto:owner-mercury-users@csse.unimelb.edu.au">owner-mercury-users@csse.unimelb.edu.au</a><br>
Subscriptions:          <a href="mailto:mercury-users-request@csse.unimelb.edu.au">mercury-users-request@csse.unimelb.edu.au</a><br>
--------------------------------------------------------------------------<br>
</div></div></blockquote></div><br>