<div dir="ltr"><div class="gmail_default" style="font-family:monospace,monospace">What version of Mercury?</div><div class="gmail_default" style="font-family:monospace,monospace">mercury-srcdist-rotd-2018-04-02<br></div><div class="gmail_default" style="font-family:monospace,monospace">Off to install a more recent one...</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 1 Aug 2019 at 18:16, Julien Fischer <<a href="mailto:jfischer@opturion.com">jfischer@opturion.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
On Thu, 1 Aug 2019, Richard O'Keefe wrote:<br>
<br>
> On the subject of --output-libgrades<br>
> <br>
> % mmc --output-libgrades<br>
> mercury_compile:<br>
> `--host-env-type posix' is incompatible with `--csharp-compiler-type<br>
>   microsoft'.<br>
> % csc /help<br>
> Microsoft (R) Visual C# Compiler version 3.100.19.26603 (9d80dea7)<br>
> Copyright (C) Microsoft Corporation. All rights reserved.<br>
> <br>
> This is Ubuntu 18.04, and the C# compiler is definitely the Microsoft<br>
> one, and they are quite compatible with each other.  Not even a home-<br>
> brew installation:<br>
> libmono-csharp4.0c-cil/stable-bionic,stable-bionic,now 6.0.0.313-0xamarin3+ubuntu1804b1 all [installed,automatic]<br>
> libmono-microsoft-csharp4.0-cil/stable-bionic,stable-bionic,now 6.0.0.313-0xamarin3+ubuntu1804b1 all [installed,automatic]<br>
> mono-csharp-shell/stable-bionic,stable-bionic,now 6.0.0.313-0xamarin3+ubuntu1804b1 all [installed,automatic]<br>
> <br>
> So why is mmc unhappy?<br>
<br>
What version of Mercury is it?   Older versions of Mercury assumed that<br>
the Microsoft C# compiler only ran on Windows (which was true at the<br>
time).  That was fixed in the rotds some time ago.<br>
<br>
Julien.</blockquote></div>