[m-dev.] ROTD failing to compile

[Julien Fischer]

Hi,

On Sat, 27 Jun 2015, Matthias Güdemann wrote:

> Hi,
>
> I had such a problem with newer ROTDs from May/June when trying to
> compile with 14.01.1 or without any mmc in PATH.
>
> For me, there was a problem with the generated "mercury_compile"
> program, for the same file as for you.

I've reproduced the problem on a Linux machine.  At a guess, I think the
issue is related to the fact that the pre-generated C files in the
source distribution are now built with --smart-indexing enabled.  (It
was enabled for the ROTD builds several months ago; previously we didn't
use it for the ROTDs as it resulted in code that wasn't portable.)

I will need to investigate this further.

Cheers,
Julien.