On 29/03/2019 12:34, Eliot Moss wrote:
That's the problem I reported; David has a fix for that he is testing.
I worked around it (not sure it's the "right" fix) by changing every
#ifdef HAVE_WINDOWS_H
in statistics.cpp and statistics.h to read
#if defined(HAVE_WINDOWS_H) && !defined(__CYGWIN__)
The reaon I didn't do that everywhere was that by using the Windows
shared memory mechanism the statistics can be read using the performance
monitor plug-in that is installed by the Poly/ML Windows installer.
To be honest I'm not sure it's worth it and it may be time to try to
simplify the selection of native Windows code. It should probably use
"#ifdef _WIN32" rather than "defined(HAVE_WINDOWS_H) &&
!defined(__CYGWIN__)". A few things may not work, though if
Windows-code is completely excluded from Cygwin. I don't know any way
to get the number of physical processors except through Windows calls.
There is also some Cygwin-specific code to implement OS.Process.system.
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
