[m-rev.] diff: workaround seg. fault in srcdist on 64-bit machines

[Zoltan Somogyi]

On 29-Jun-2010, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> A proper fix would be to disable the generation of non-portable code for
> switches when --cross-compiling is enabled.

That should be trivial to do: add an option implication from cross_compiling to
not smart_indexing in handle_options.m. There are already many other such
implications there.

However, we should definitely find out what the actual problem is, since
this may not be it.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------