[m-users.] Mercury packages on Debian 8 (jessie)
paul at bone.id.au
Wed Jan 16 23:53:02 AEDT 2019
On Wed, Jan 16, 2019 at 11:30:02PM +1100, Paul Bone wrote:
> On Thu, Jan 17, 2019 at 01:05:42AM +1300, Richard O'Keefe wrote:
> > I'm using Ubuntu 18, and the GCC version is 7.3.0-3ubuntu2.1.
> > Clang is 6.0-41~exp5~ubuntu1 and
> > pgcc is pgcc 18.10-1 64-bit target on x86-64 Linux -tp gh
> > Should I expect any difficulty building Mercury with these?
> With Ubuntu 18 your options are:
> + Build from source.
> + Use the mercury packages on that page. That'll give you Mercury 14.04.1
> but with slower grades (it uses the reg grades not asm_fast grades).
> + Use the mercury-rotd packages on that page. That'll give you a snapshot
> from November 14th last year, everything should work.
To clarify, Since you're using Ubuntu 18 (and don't have gcc-4.8) this
doesn't affect my decision to not support Debian 8 / Ubuntu 16.
More information about the users