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

Julien Fischer jfischer at opturion.com
Tue Jun 23 01:00:03 AEST 2015

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.


More information about the developers mailing list