[m-users.] Mercury packages on Debian 8 (jessie)

[Paul Bone]

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.


-- 
Paul Bone
http://paul.bone.id.au