[opentheory-users] Problems with Poly/ML

[Ramana Kumar]

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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20121228/bbe6b64a/attachment.html>