[opentheory-users] Problems with Poly/ML

Rob Arthan rda at lemma-one.com
Fri Dec 28 16:29:42 UTC 2012


Raman,

David Matthews offered a workaround. See http://www.gilith.com/opentheory/mailing-list/2012-August/000260.html

Regards,

Rob.

On Dec 28, 2012, at 1:17 PM, Ramana Kumar <ramana at member.fsf.org> wrote:

> Hi Rob,
> 
> Did you have any success with fixing this problem (opentheory failing to build with polyml)?
> 
> Cheers,
> Ramana
> 
> 
> On Thu, Aug 16, 2012 at 5:37 AM, Rob Arthan <rda at lemma-one.com> wrote:
> Joe,
> 
> Thanks. I have a vested interest in keeping Poly/ML on the road, so I will delve around and see if I can isolate the problem.
> 
> Regards,
> 
> Rob.
> 
> On 15 Aug 2012, at 16:26, Joe Hurd wrote:
> 
> > Hi Rob,
> >
> > I experienced the same problem myself a while back when I started
> > using a new MacBook Air, which I solved in the simplest possible way
> > by switching in a version of Poly/ML (5.3) that I know builds
> > opentheory with no problems.
> >
> > Poly/ML compiler issues are outside my area of expertise, so I'm not
> > sure what the procedure is for fixing the problem. Any advice would be
> > welcome!
> >
> > Cheers,
> >
> > Joe
> >
> > On Wed, Aug 15, 2012 at 4:12 AM, Rob Arthan <rda at lemma-one.com> wrote:
> >>
> >> I tried to build opentheory using Poly/ML, When I do make, I see this:
> >>
> >> rda]- make polyml
> >>
> >> ***************************************
> >> * Build and test the Poly/ML programs *
> >> ***************************************
> >>
> >> cd bin/polyml ; echo "use \"selftest.sml\";" | poly  > selftest.log
> >>
> >> And then there is a process running poly that consumes 600Mb or more of memory and grows slowly but never seems to terminate. selftest.log ends with the following line:
> >>
> >> structure Thms : Thms
> >>
> >> Am I just being impatient or what?
> >>
> >> This is on a Mac running Snow Lion (10.6.8) and poly -v reports:
> >>
> >> Poly/ML 5.4.1 Release    RTS version: X86_64-5.4.1
> >>
> >> Regards,
> >>
> >> Rob.
> >> _______________________________________________
> >> opentheory-users mailing list
> >> opentheory-users at gilith.com
> >> http://www.gilith.com/opentheory/mailing-list
> >
> > _______________________________________________
> > opentheory-users mailing list
> > opentheory-users at gilith.com
> > http://www.gilith.com/opentheory/mailing-list
> 
> 
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
> 
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20121228/e03aeec9/attachment.html>


More information about the opentheory-users mailing list