Sorry for the noise - I found the problem which was related to Arch Linux's build system stripping away the .a files by default. I've set the switch for it not to do that now. If anyone wants to use Poly/ML on Arch Linux or a derivative, the package is available here: https://aur.archlinux.org/packages/polyml-svn/
On Fri, May 9, 2014 at 5:22 PM, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk>wrote:
I just tried building from 5.5.2-fixes svn and it seems like no libpolymain.a was generated - has that been removed, or did I do something wrong? I did configure with --enable-shared.
On Fri, May 9, 2014 at 4:00 PM, David Matthews < David.Matthews at prolingua.co.uk> wrote:
Since I haven't had any recent bug reports I've uploaded the current SVN snap-shot to SourceForge as version 5.5.2.
Most of the changes are bug fixes. One major fix was to the intermediate code optimiser reported back in September. Other changes are the addition of PrettyStringWithWidth and PrettyLineBreak constructors to the PolyML.pretty datatype, Thread.Thread.numPhysicalProcessors to return the number of physical processors and printing ?.t in circumstances where t is bound to a different type. The debugger has been extended to include structures and the arguments to functors.
As always, let me know if you find bugs or problems.
David _______________________________________________ polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml