[opentheory-users] Building opentheory with Poly/ML

Rob Arthan rda at lemma-one.com
Sat May 17 11:11:23 UTC 2014

Dear All,

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.



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20140517/9fe4f3a4/attachment.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ot-makefile-patch.txt
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20140517/9fe4f3a4/attachment.txt>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20140517/9fe4f3a4/attachment-0001.html>

More information about the opentheory-users mailing list