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 <[email protected]>: > 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 > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
