[opentheory-users] Problems with Poly/ML

[Joe Hurd]

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