[m-dev.] ROTD failing to compile
jfischer at opturion.com
Sat Jun 27 20:19:55 AEST 2015
On Sat, 27 Jun 2015, Matthias Güdemann wrote:
> 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