HI Eliot, Thanks for that report. I've updated the website and changed statistics.cpp in git master so that it now compiles on Cygwin. I'll backport that to fixes-5.8 once it's had a bit of testing.
Trying to support Poly/ML on Cygwin has always been a bit of a problem. If possible it's better to use the native Windows versions. There are ways to build it yourself from source using Visual Studio or Msys or there is an installer available on GitHub. Another alternative is to use Linux Subsystem for Windows.
Regards, David
On 27/03/2019 02:03, Eliot Moss wrote:
Dear developers --
PolyML had been working great for me, but I wanted to move to a more recent version of HOL4, which demands a newer version of PolyML.? I run on cygwin and find two issues:
- Out of the box, 5.7.1 and 5.8 (which, by the way is not advertised as
the ?? latest release on polyml.org) do not build.? This is because statistics.cpp ?? and statistics.h in libpolyml seem to assume that HAVE_WINDOWS_H means you ?? are building for Windows and does not take Cygwin into account. Cygwin has ?? gettimeofday, etc.? I found that the system builds if every
?? #ifdef HAVE_WINDOWS_H
?? is replaced by
?? #if defined(HAVE_WINDOWS_H) && ! defined(__CYGWIN__)
?? It may be easier just to suppress HAVE_WINDOWS_H in the presence of __CYGWIN__, ?? though I have not confirmed that as a proper solution.
- The system thus built fails to run Holmake properly, crashing with
signal B (11) ?? (SEGV, I believe).? It works if I run Holmake with -j1 (default is something like ?? -j4), which means that multiple concurrent instances of poly interfere with each ?? other in some way, near as I can tell.
Regards - Eliot Moss _______________________________________________ polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml