16 Feb
2018
16 Feb
'18
6:39 p.m.
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.Norrish at 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 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml