I am trying to install Poly/ML 5.2.1 from source on Windows XP Professional, Service Pack 2, but apparently "make" is having difficulties in finding the library path.
Apparently, /usr/local/lib is not in the library search path.
I tried overriding this by specifying
./configure --prefix=/usr
when running "./configure," but this didn't help.
As a result, polyml is unable to build the sample hello program. In the following example of building an application:
$ poly Poly/ML 5.0 Release
fun f () = print "Hello World\n";
val f = fn : unit -> unit
PolyML.export("hello", f);
val it = () : unit
^D
$ cc -o hello hello.o -lpolymain -lpolyml $ ./hello Hello World
hello.o is built, but there is no file "hello" or "hello.exe" to execute. Apparently, this problem occurs because of the following error messages that appeared while running "make":
*** Warning: linker path does not have real file for library -lgdi32. *** I have the capability to make that library automatically link in when *** you link to this library. But I can only do this if you have a *** shared version of the library, which you do not appear to have *** because I did check the linker path looking for a file starting *** with libgdi32 and none of the candidates passed a file format test *** using a file magic. Last file checked: /lib/w32api/libgdi32.a
*** Warning: linker path does not have real file for library -lwsock32. *** I have the capability to make that library automatically link in when *** you link to this library. But I can only do this if you have a *** shared version of the library, which you do not appear to have *** because I did check the linker path looking for a file starting *** with libwsock32 and none of the candidates passed a file format test *** using a file magic. Last file checked: /lib/w32api/libwsock32.a
*** Warning: linker path does not have real file for library -lpthread. *** I have the capability to make that library automatically link in when *** you link to this library. But I can only do this if you have a *** shared version of the library, which you do not appear to have *** because I did check the linker path looking for a file starting *** with libpthread and none of the candidates passed a file format test *** using a file magic. Last file checked: /lib/libpthread.a
*** Warning: linker path does not have real file for library -ldl. *** I have the capability to make that library automatically link in when *** you link to this library. But I can only do this if you have a *** shared version of the library, which you do not appear to have *** because I did check the linker path looking for a file starting *** with libdl and none of the candidates passed a file format test *** using a file magic. Last file checked: /lib/libdl.a *** The inter-library dependencies that have been dropped here will be *** automatically added whenever a program is linked with this library *** or is declared to -dlopen it.
*** Since this library must not contain undefined symbols, *** because either the platform does not support them or *** it was explicitly requested with -no-undefined, *** libtool will only create a static version of it.
Any ideas on how to overcome this installation problem?
-- Benjamin L. Russell