<div dir="ltr">Hi Julien,<div><br><div class="gmail_extra"><div class="gmail_quote"><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">
That would be a significant amount of work, and certainly not possible<br>
without radically restructing Mercury's runtime and standard libraries.<span class=""><br>
<br></span></blockquote><div> </div><div>Still, I would be interested to look into it. I use a small embedded OS with a Posix-compliant API. It requires a bare metal toolchain.</div><div> </div><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">
Were the shared versions of the Mercury libraries installed?</blockquote><div><br></div><div>I think it's not related to shared Mercury libraries but rather to Mercury not using the system shared libraries. Configure output:</div><div><br></div><div>"checking whether Mercury supports shared libraries on this system... no"</div><div><br></div><div>--Vladimir</div></div></div></div></div>