Oh you're right - thanks David.
(I think this is because 5.6 is the stable Debian package for the
regression machines. On my personal machine I use 5.7.1)
On 15 Jan 2018 20:35, "David Matthews"
wrote:
> Are you running an old version of Poly/ML? This looks
Phil,
I've now added -lpolymain to polyml.pc.in so that should handle your
specific problem. Can you check it? I'd be happy if you could produce
an improved version of this. It's not something I use or have any
familiarity with.
Regards,
David
On 19/12/2017 21:47, Phil Clayton wrote:
Are you running an old version of Poly/ML? This looks familiar and the
location of the assertion fault would suggest that it's 5.6. There have
been two releases since then.
Regards,
David
On 15/01/2018 07:47, Ramana Kumar wrote:
I got this error building the CakeML regression test (