[m-dev.] Version of Mercury to Compile Mercury

[Julien Fischer]

Hi Charles,

On Mon, 22 Jun 2015, Charles Shuller wrote:

> Hello all,
> 
> What version of mercury do I need to have installed to build the
> current development branch.   I've currently got 14.01.1 installed.

You'll require a recent rotd -- 14.01.X is too old.  I suggest using the
current rotd, 2015-06-22.

Cheers,
Julien.