David, I tried building ProofPower svn rev 1189 of Poly/ML on Fedora 12 and it worked fine.
One question: is it intended that poly -v reports RTS version: I386-5.3.0? Regards, Rob. On 12 Aug 2010, at 16:36, David Matthews wrote: > I'm planning to release Poly/ML 5.4 by the end of this month unless there are > any show-stoppers. I've had a couple of bug reports from Phil Clayton and > fixed those. I've also fixed a few minor bugs so that it will build on the > PowerPC and Sparc. Now is the time to check that your software will run in > the current version and let me know if there are problems. Don't forget to > run > make compiler > twice to build the current version (SVN 1189). > > David > > _______________________________________________ > polyml mailing list > polyml@inf.ed.ac.uk > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml