[m-dev.] ROTD failing to compile

[Matthias Güdemann]

Hi Julien,

> This issue has been fixed as of rotd-2015-07-01.

great! I just tested this ROTD and had no problem on 64Bit Debian, gcc
4.9.3 without any mmc in the PATH.

btw. on the website[1], it says "borken" for
mercury-srcdist-rotd-2015-06-22.tar.gz

Best regards,
Matthias

Footnotes: 
[1]  http://dl.mercurylang.org/index.html