The latest git version does seem to be working – many thanks! Michael
On 17/2/18, 05:41, "polyml on behalf of David Matthews" <[email protected] on behalf of [email protected]> wrote: 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, [email protected] 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 > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
