Hi, could somebody have a look on this cygwin issue? I try to set FLEXLINKFLAGS but it seams not have an effect. Also I could not find which Makefile I could alter, I must say that I'm lost in all scripts and Mafilefiles... Regards, Sébastien
Am 18 mai 2012 um 08:47 schrieb Sébastien Fricker: > Hi, > > 1) I tried to install GODI on cygwin (mingw and cygwin build) and in both > cases I had an error produces by flexlink: > > flexlink -chain mingw -exe -o ocamlrun.exe prims.o -lws2_32 libcamlrun.a > ** Fatal error: Cannot find file "libws2_32" > > I guess that the problem is the default search path of the libws2_32: > this libraries are located in /lib/w32api (not in /lib). > $ ls -l /lib/w32api/libws* > -rw-r--r-- 1 froglogic-win-ra None 126812 Mar 26 2011 /lib/w32api/libws2_32.a > -rw-r--r-- 1 froglogic-win-ra None 35218 Mar 26 2011 > /lib/w32api/libwsnmp32.a > -rw-r--r-- 1 froglogic-win-ra None 54434 Mar 26 2011 > /lib/w32api/libwsock32.a > -rw-r--r-- 1 froglogic-win-ra None 2118 Mar 26 2011 /lib/w32api/libwst.a > > I guess that a -L /lib/w32api is missing, but if I'm setting > FLEXLINKFLAGS to "-L /lib/w32api" I cannot see any difference. > > Does anybody have an idea? > > > 2) As attachment you can find a script which install GODI from the > scratch on cygwin. I wrote this script to automatically test the GODI > installation, and I think that this could be a starting point to > automatically suite of GODI on Windows. It install Cygwin from the > scratch in a local directory (without touching the local installation) > and install on it GODI. > To use it: > a) Unpack godi_install_windows.zip > b) edit the configuration variables in install_godi.bat (if you want) > c) execute install_godi.bat > > This script permits to reproduce my issue. ;) > > > > > -- > Sébastien Fricker > > <godi_install_windows.zip>
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list
