[opentheory-users] Building opentheory with Poly/ML

[Joe Leslie-Hurd]

Hi Rob,

Thanks for this patch - I think the latest version of the opentheory
tool is now properly set up with polyc.

Cheers,

Joe

On Sat, May 17, 2014 at 4:11 AM, Rob Arthan <rda at lemma-one.com> wrote:
> 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.
>
>
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>