<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Raman,<div><br></div><div>David Matthews offered a workaround. See <a href="http://www.gilith.com/opentheory/mailing-list/2012-August/000260.html">http://www.gilith.com/opentheory/mailing-list/2012-August/000260.html</a></div><div><br></div><div>Regards,</div><div><br></div><div>Rob.</div><div><br><div><div>On Dec 28, 2012, at 1:17 PM, Ramana Kumar <<a href="mailto:ramana@member.fsf.org">ramana@member.fsf.org</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr"><div><div>Hi Rob,<br><br></div>Did you have any success with fixing this problem (opentheory failing to build with polyml)?<br><br></div>Cheers,<br>Ramana<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Thu, Aug 16, 2012 at 5:37 AM, Rob Arthan <span dir="ltr"><<a href="mailto:rda@lemma-one.com" target="_blank">rda@lemma-one.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Joe,<br>
<br>
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.<br>
<br>
Regards,<br>
<br>
Rob.<br>
<div class="HOEnZb"><div class="h5"><br>
On 15 Aug 2012, at 16:26, Joe Hurd wrote:<br>
<br>
> Hi Rob,<br>
><br>
> I experienced the same problem myself a while back when I started<br>
> using a new MacBook Air, which I solved in the simplest possible way<br>
> by switching in a version of Poly/ML (5.3) that I know builds<br>
> opentheory with no problems.<br>
><br>
> Poly/ML compiler issues are outside my area of expertise, so I'm not<br>
> sure what the procedure is for fixing the problem. Any advice would be<br>
> welcome!<br>
><br>
> Cheers,<br>
><br>
> Joe<br>
><br>
> On Wed, Aug 15, 2012 at 4:12 AM, Rob Arthan <<a href="mailto:rda@lemma-one.com">rda@lemma-one.com</a>> wrote:<br>
>><br>
>> I tried to build opentheory using Poly/ML, When I do make, I see this:<br>
>><br>
>> rda]- make polyml<br>
>><br>
>> ***************************************<br>
>> * Build and test the Poly/ML programs *<br>
>> ***************************************<br>
>><br>
>> cd bin/polyml ; echo "use \"selftest.sml\";" | poly > selftest.log<br>
>><br>
>> 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:<br>
>><br>
>> structure Thms : Thms<br>
>><br>
>> Am I just being impatient or what?<br>
>><br>
>> This is on a Mac running Snow Lion (10.6.8) and poly -v reports:<br>
>><br>
>> Poly/ML 5.4.1 Release RTS version: X86_64-5.4.1<br>
>><br>
>> Regards,<br>
>><br>
>> Rob.<br>
>> _______________________________________________<br>
>> opentheory-users mailing list<br>
>> <a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a><br>
>> <a href="http://www.gilith.com/opentheory/mailing-list" target="_blank">http://www.gilith.com/opentheory/mailing-list</a><br>
><br>
> _______________________________________________<br>
> opentheory-users mailing list<br>
> <a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a><br>
> <a href="http://www.gilith.com/opentheory/mailing-list" target="_blank">http://www.gilith.com/opentheory/mailing-list</a><br>
<br>
<br>
_______________________________________________<br>
opentheory-users mailing list<br>
<a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a><br>
<a href="http://www.gilith.com/opentheory/mailing-list" target="_blank">http://www.gilith.com/opentheory/mailing-list</a><br>
</div></div></blockquote></div><br></div>
_______________________________________________<br>opentheory-users mailing list<br><a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a><br>http://www.gilith.com/opentheory/mailing-list<br></blockquote></div><br></div></body></html>