Dirk Leinenbach wrote:

first of all, thank you very much for the new Poly/ML version which will hopefully be really useful in the Verisoft project.

I've downloaded the new version and on linux it works very well. With cygwin I get compilation errors:

gcc -Di386 -DLINUX -Wall -fno-strict-aliasing -g -O3 -o polyimport.exe polyimpor t.o libpolyml/.libs/libpolyml.a -lstdc++ -ldl libpolyml/.libs/libpolyml.a(reals.o): In function `_Z14Real_dispatchcP12SaveVecE ntryS0_': /cygdrive/c/temp/polyml/libpolyml/reals.cpp:432: undefined reference to `_fegetr ound' /cygdrive/c/temp/polyml/libpolyml/reals.cpp:449: undefined reference to `_fesetr

I think the reason is that cygwin doesn't support the fenv.h library. In your announcement mail you highlighted the support for cygwin, so I think that the problem is on my side. Maybe I have to use the fenv.h library from mingw, or do you know any other solution?

Hi Dirk, This works for me in Cygwin so I wonder if your setup is unusual. It looks as though you have a version of <fenv.h> in your include path, perhaps the mingw one, but you're not linking with a library that contains fegetround/fesetround. The proper fix is to find out why you are picking up the fenv.h but a work-around would be to edit config.h and remove the line that says #define HAVE_FENV_H 1

David