[polyml] 5.7 Release

I think polyc is little broken. "polyc_CFLAGS" macro do not replaced on "-O3":

git pull && ./configure && make && make compiler && make install

...

grep polyc_CFLAGS ./polyc

CFLAGS="@polyc_CFLAGS@"

2017-02-21 14:48 GMT+02:00 David Matthews <David.Matthews at prolingua.co.uk>:

The latest version, provisionally called 5.6.1, has had very little change for several months. I'm not aware of any show-stoppers so I think it would be a good time to make a release. Because there have been some major changes I was planning to call it 5.7. This is the last chance to do any last tests before the release.

David _______________________________________________ polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml