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-boun...@inf.ed.ac.uk on behalf of david.matth...@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.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
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
