<div dir="ltr"><div><div>Hi Rob, </div>Did you have any success with fixing this problem (opentheory failing to build with polyml)? </div>Cheers, Ramana </div><div class="gmail_extra"> <div class="gmail_quote"> On Thu, Aug 16, 2012 at 5:37 AM, Rob Arthan <<a href="mailto:rda@lemma-one.com" target="_blank">rda@lemma-one.com</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> 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. <div class="HOEnZb"><div class="h5"> 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 <<a href="mailto:rda@lemma-one.com">rda@lemma-one.com</a>> 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 >> <a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a> >> <a href="http://www.gilith.com/opentheory/mailing-list" target="_blank">http://www.gilith.com/opentheory/mailing-list</a> > > _______________________________________________ > opentheory-users mailing list > <a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a> > <a href="http://www.gilith.com/opentheory/mailing-list" target="_blank">http://www.gilith.com/opentheory/mailing-list</a> _______________________________________________ opentheory-users mailing list <a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a> <a href="http://www.gilith.com/opentheory/mailing-list" target="_blank">http://www.gilith.com/opentheory/mailing-list</a> </div></div></blockquote></div> </div>