<br><br><div><span class="gmail_quote">On 3/1/06, <b class="gmail_sendername">Julien Fischer</b> <<a href="mailto:juliensf@cs.mu.oz.au">juliensf@cs.mu.oz.au</a>> wrote:</span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
> * `mmc --make' does not work with MinGW<br>><br>> It does on my version of MinGW, built with MSYS - there it is mmake that<br>> does not work.<br><br>I've had the opposite experience.</blockquote><div><br>I haven't tried it, but since the binaries built for the website do not include mmake, I assume that they have mmc --make working?
<br></div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">> * fix up .NET backend<br>> >         - it generates invalid code for library/injection.m
<br>> >         - make it work with .NET 2.0<br>> >         - Portable.NET/Mono(?)<br>><br>><br>> I'll try to get .NET 2.0 and test (on mercury-0.12.2).  I will generate a<br>> few samples as Peter suggested and post them to Mono/DotGnu lists.  However,
<br>> I think mid-March is much too soon to expect results.<br><br>As far as the .NET backend goes, I don't want it to hold the release of 0.13,<br>so if it works great, if not, then I'm not intending to worry too much about
<br>it (which is essentially what we did for 0.12).</blockquote><div><br>Fair enough.<br><br>Jon</div></div>