On 3/29/2019 7:55 AM, Gergely Buday wrote:
I ran polyml 5.7.1 . With polyml 5.8 I get the following:
make[3]: Entering directory '/home/mobaxterm/5.8/polyml-5.8/libpolyml' /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -O3 -Ilibffi/include -Wall -DMODULEDIR="/home/mobaxterm/5.8/polyml-5.8/lib/polyml/modules" -O3 -Ilibffi/include -MT statistics.lo -MD -MP -MF .deps/statistics.Tpo -c -o statistics.lo statistics.cpp libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -O3 -Ilibffi/include -Wall -DMODULEDIR="/home/mobaxterm/5.8/polyml-5.8/lib/polyml/modules" -O3 -Ilibffi/include -MT statistics.lo -MD -MP -MF .deps/statistics.Tpo -c statistics.cpp -DDLL_EXPORT -DPIC -o .libs/statistics.o statistics.cpp: In member function 'virtual void Statistics::Init()': statistics.cpp:209:39: error: cannot convert 'timeval*' to 'LPFILETIME {aka _FILETIME*}' for argument '1' to 'void GetSystemTimeAsFileTime(LPFILETIME)' GetSystemTimeAsFileTime(&startTime);
David, do you have an idea what's this and how could I fix it? I have g++ 7.3.0.
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__)
Regards - EM