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 <[email protected]>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 < > [email protected]> 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 >> [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
