It's been working fine on 32-bit Cygwin but there seemed to be problems
with Cygwin64. I've now committed a couple of fixes and it appears to
build fine on both 32-bit and 64-bit Cygwin.
David
On 16/02/2018 01:21, michael.norr...@data61.csiro.au wrote:
../configure seems to work fine, as does much of make, but eventually I get an
error where it is trying to make a libtool call involving polyexport.o, and it
complains that polyexport.o doesn’t actually exist.
Is there something obvious I may be doing wrong?
Thanks,
Michael
_______________________________________________
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