The 5.7.1 candidate appears to work for HOL4 and CakeML - I haven't done extensive tests, but normal builds seem fine.
On 21 November 2017 at 08:41, Makarius <makarius at sketis.net> wrote:
On 20/11/17 14:23, David Matthews wrote:
Thanks to everyone who sent in bug reports. We're almost ready to release 5.7.1. I've updated Git master ( 44b7b88 ) with pre-built compilers for 5.7.1. This is the last chance check it before the release which will probably happen at the end of the week.
I have successfully built this version on Linux, Windows, mac OS, and ran vorious manual tests of Isabelle + AFP. It all looks fine.
Note that I will be on travel on Wed--Fri this week, so if there are any last-minute issues, I cannot do any tests during these days.
Makarius
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml