<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Dear All,<div><br></div><div>David Matthews has just released version 5.5.2 of Poly/ML. This includes a script called polyc that compiles and links ML programs without you having to supply linker options that depend on your OS or on where you have installed Poly/ML. The attached patch to the opentheory Makefile uses polyc instead of cc to link opentheory and should work with version 5.5.2 and all future versions of Poly/ML. The unpatched Makefile won’t work (with any version of Poly/ML) unless you have installed Poly/ML where the linker will find it by default.<div><br><div><div>Regards,</div><div><br></div><div>Rob.</div><div><br></div><div></div></div></div></div></body></html>