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