[m-dev.] ROTD failing to compile

Julien Fischer jfischer at opturion.com
Sat Jun 27 20:19:55 AEST 2015


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.


More information about the developers mailing list