From rda at lemma-one.com Sat May 17 11:11:23 2014 From: rda at lemma-one.com (Rob Arthan) Date: Sat, 17 May 2014 12:11:23 +0100 Subject: [opentheory-users] Building opentheory with Poly/ML Message-ID: <1CC9F4DA-E2ED-46C6-9AE6-6573A4B3F466@lemma-one.com> 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. Regards, Rob. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: ot-makefile-patch.txt URL: -------------- next part -------------- An HTML attachment was scrubbed... URL: