<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Apr 30, 2014 at 3:54 PM, Julien Fischer <span dir="ltr"><<a href="mailto:jfischer@opturion.com" target="_blank">jfischer@opturion.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
Hi Peter,<div><div class="h5"><br>
<br>
On Thu, 20 Mar 2014, Peter Wang wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On Thu, 20 Mar 2014 13:07:42 +1100 (EST), Julien Fischer <<a href="mailto:jfischer@opturion.com" target="_blank">jfischer@opturion.com</a>> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
I suggest --strip-executable-command (for consistency with<br>
--link-executable-command), rather than --strip-command.<br>
<br>
Also, the option should be publicly documented.<br>
</blockquote>
<br>
Done.<br>
</blockquote>
<br></div></div>
Actually, doing this breaks dynamically linked executables on Mac OS X<br>
in some cases.  Specifically, if a program contains a runtime trace goal<br>
condition and you strip the executable, then dyld cannot find the symbol<br>
corresponding to the global variable emitted in the _init.c file for<br>
that runtime condition.<br>
<br>
I'm going to disable this until I find a way of stripping executables<br>
that doesn't break them.  (If you *really* want to strip exectuables<br>
on Mac OS X you'll have to do so manually for now.)<br></blockquote><div><br></div><div>It seems that if --mercury-linkage=shared we need to pass -x to strip,</div><div>otherwise if --mercury-linkage=static we can just pass no flags as before.</div>
<div><br></div><div>Cheers.</div><div>Julien.</div><div><br></div><div> </div></div><br></div></div>