Hi there,
I compiled Poly/ML on Windows with msys2 and I use it on msysw-mingw64.
I compiled a Hello World program but when I try to run it I get into trouble:
$ ./a.exe C:/msys64/home/gbuday/a.exe: error while loading shared libraries: libpolyml-14.dll: cannot open shared object file: No such file or directory
When I check the lib library I see
$ ls -l /c/polyml/lib total 2140 -rw-r--r-- 1 gbuday None 1152 May 22 11:17 libpolymain.a -rw-r--r-- 1 gbuday None 932 May 22 11:17 libpolymain.la -rw-r--r-- 1 gbuday None 1151480 May 22 11:17 libpolyml.a -rw-r--r-- 1 gbuday None 1020630 May 22 11:17 libpolyml.dll.a -rw-r--r-- 1 gbuday None 956 May 22 11:17 libpolyml.la drwxr-xr-x 1 gbuday None 0 May 22 11:17 pkgconfig drwxr-xr-x 1 gbuday None 0 May 22 11:17 polyml
I used
./configure --disable-windows --enable-windows-64bit --prefix=/c/polyml
Was this a mistake?
- Gergely