Gerd, I was expecting that the checksum of the flexdll was on the GODI repository not in the bootstrap. Which file contains the checksum file? I will have a try tomorrow with skylift, and I hope that will then have to work on the port to Windows of your GODI automatic tests.... Regards, Sébastien
Am 18 juin 2012 um 19:44 schrieb Gerd Stolpmann: > Am 18.06.2012 18:49:18 schrieb(en) sebastien.fric...@gmail.com: >> Gerd, >> thanks, >> I now also use 0.29 and set the CC as in your confitguration and it works >> better except that the checksum file of flexdll-0.30 seams not be correct. >> ### Building godi-flexdll >> ===> Cleaning for godi-flexdll-0.30godi2 >> => Checksum mismatch for flexdll-0.30.tar.gz. >> Make sure the Makefile and checksum file (/opt/godi/build/godi/godi- >> flexdll/distinfo) >> are up to date. If you want to override this check, type >> "godi_make NO_CHECKSUM=yes [other args]". >> Error: Exec error: File /opt/godi/build/godi/godi- >> flexdll/./../../mk/bsd.pkg.mk, line 1689: Command returned with non-zero exit >> code >> Error: Command fails with code 1: godi_console > > Hi Sébastien, > > Alain Frisch released a new version of this version in the meantime, hence > the change of the checksum. I've updated godi-flexdll to follow him. > > I've come relatively far with my attempts (only 3.12 will work): > > http://download.camlcity.org/download/godi-skylift-20120618.tar.gz > > This is a (Skylift) bootstrap, and for me it went until the point where > godi-tools is installed. Then it hangs for strange reasons (gzip runs and > consumes 100% CPU). > > Maybe somebody has an idea. I cannot continue from here, because I really > don't have time anymore (originally I did not even want to work today on this > issue....), maybe in two weeks again. > > Gerd > >> Regards, >> Sébastien >> On Monday 18 June 2012 02:37:30 Gerd Stolpmann wrote: >> > Hi, >> > >> > I found today some time to work on GODI+mingw, but it is not finished. >> > >> > Regarding flexdll, my "findings" are: >> > - 0.30 is broken - on my box I cannot even start flexlink.exe. 0.29 >> > is fine >> > - It seems to be sufficient to set FLEXDIR. Preferrable using a win32 >> > path with forward slashes. >> > - Remember that flexlink is in a different directory during the >> > bootstrap, >> > because the binary version must be used. The package godi-flexdll >> > contains a patch so that setting FLEXDIR should not be necessary >> > anymore. >> > >> > Btw., I'm using CC=i686-w64-mingw32-gcc. >> > >> > Gerd >> > >> > Am 15.06.2012 21:51:39 schrieb(en) Sébastien Fricker: >> > > Sylvain, >> > > did you made some progress with the flexdll issue? >> > > I tried to set some parameter using FLEXLINKFLAGS, but it always >> > > fails at the same place with other error messages. >> > > Regards >> > > Sébastien >> > > >> > > Am 7 juin 2012 um 16:37 schrieb Sylvain Le Gall: >> > > > set FLEXDIR=c:\cygwin\$prefix\lib\flexdll >> > > > >> > > > in install.bat >> > > > >> > > > 2012/6/7 Sébastien Fricker <sebastien.fric...@gmail.com>: >> > > >> Hi, >> > > >> >> > > >> I have updated https://gitorious.org/cygwingodi/cygwingodi with a >> > > >> > > patched >> > > >> > > >> version of GODI rocketboost. >> > > >> This version uses the FlexDll v3.0. >> > > >> >> > > >> Of course , as expected, the installation fails with the same >> > > >> > > error as this >> > > >> > > >> which was reported by Sylvain: >> > > >> >> > > >> >> > > >> ocamlc -custom -o ocamlfind.exe findlib.cma unix.cma \ >> > > >> >> > > >> ocaml_args.cmo frontend.cmo >> > > >> >> > > >> ** Fatal error: Cannot find file >> > > >> > > "/opt/godi/lib/flexdll\\flexdll_mingw.o" >> > > >> > > >> File "_none_", line 1, characters 0-1: >> > > >> >> > > >> Error: Error while building custom runtime system >> > > >> >> > > >> >> > > >> >> > > >> To have a try: >> > > >> >> > > >> git clone git://gitorious.org/cygwingodi/cygwingodi.git cygwingodi >> > > >> cd cygwingodi >> > > >> install.bat >> > > >> >> > > >> GODI rocketboost is unpacked on '/tmp/' in the cygwin envisonment. >> > > >> >> > > >> If somebody have an idea what is going wrong, do not hesitate to >> > > >> > > answer..... >> > > >> > > >> Regards, >> > > >> Sébastien >> > > >> >> > > >> Le 5/31/2012 1:33 AM, Sylvain Le Gall a écrit : >> > > >>> Hi again, >> > > >>> >> > > >>> 2012/5/30 Sylvain Le Gall <sylv...@le-gall.net>: >> > > >>>> No, I move to the next target: Windows. >> > > >>>> >> > > >>>> I use Windows XP + recent (as of yesterday) Cygwin. >> > > >>>> >> > > >>>> It seems broken... (cannot find libws2_32, then crt2.o and so >> > > >> > > on). >> > > >> > > >>>> I have fixed the issue so far using >> > > >> > > PATH=/usr/bin:/bin:/usr/X11R6/bin:/cygdrive/c/WINDOWS/system32:/cygdrive/c >> > > /WINDOWS/ >> > > >> > > FLEXLINKFLAGS='-LC:/cygwin/usr/i686-pc-mingw32/sys-root/mingw/lib/ >> > > >> > > >>>> -Lc:/cygwin/lib/gcc/i686-pc-mingw32/4.5.2/' ./bootstrap >> > > >> > > --restart, >> > > >> > > >>>> but now it reports it cannot find flexdll_mingw.o: >> > > >>>> ocamlc -custom -o ocamlfind.exe findlib.cma unix.cma \ >> > > >>>> >> > > >>>> ocaml_args.cmo frontend.cmo >> > > >>>> >> > > >>>> ** Fatal error: Cannot find file >> > > >> > > "/home/gildor/programmation/00build/ocaml-3.12.1-mingw-godi//lib/flexdll\\ >> > > flexdll_mingw.o"> >> > > >>>> File "_none_", line 1, characters 0-1: >> > > >>>> Error: Error while building custom runtime system >> > > >>>> Makefile:39: recipe for target `ocamlfind' failed >> > > >>>> >> > > >>>> Anyone has an idea about how to fix this? Do people have some >> > > >> > > tips to >> > > >> > > >>>> help me quickly setup GODI on Windows/mingw? >> > > >>> >> > > >>> OK, I think I earn my black belt in Win32/OCaml/GODI this >> > > >> > > evening... >> > > >> > > >>> I made some progress: >> > > >>> - flexdll in GODI is way too old to be used with recent cygwin, >> > > >>> updating it to the last available version solve all problems >> > > >> > > regarding >> > > >> > > >>> FLEXFLAGS (not needed anymore), it also implies to use >> > > >>> i686-w64-mingw-gcc rather than gcc >> > > >>> - the gcc file copied in $prefix/bin is of no use, we should rely >> > > >> > > on >> > > >> > > >>> the one provided by cygwin (I just deleted it) >> > > >>> - flexlink assume that the file it uses (i.e. flexdll_mingw.o) is >> > > >> > > at >> > > >> > > >>> $(dirname $0) (i.e. in bin/), this can be fixed 2 ways: either >> > > >> > > replace >> > > >> > > >>> flexlink in bin/ that call flexlink in $prefix/lib/flexdll/ or set >> > > >>> FLEXDIR=c:\cygwin\$prefix\lib\flexdll in the env >> > > >>> - ocamlnet fails to build netsys_c_sem.c because, he thinks POSIX >> > > >>> semaphore is available, just #undef it in src/netsys/config.h >> > > >> > > (and use >> > > >> > > >>> godi_console1 make build/install) >> > > >>> - godi-tools 2.0.15/console-src/Makefile.code is missing a >> > > >>> REQUIRES_win32=unix, str, shell, fix it but it refuses to install >> > > >>> because of package being already installed. >> > > >>> >> > > >>> I stopped at godi-tools because I have no more idea how to solve >> > > >> > > it >> > > >> > > >>> and it is late. >> > > >>> >> > > >>> Gerd is it possible to fix the various issues mentioned above ? >> > > >>> >> > > >>> Cheers >> > > >>> Sylvain >> > > >>> _______________________________________________ >> > > >>> Godi-list mailing list >> > > >>> Godi-list@ocaml-programming.de >> > > >>> https://godirepo.camlcity.org/mailman/listinfo/godi-list >> > > >> >> > > >> _______________________________________________ >> > > >> Godi-list mailing list >> > > >> Godi-list@ocaml-programming.de >> > > >> https://godirepo.camlcity.org/mailman/listinfo/godi-list >> > >> > ------Zitierte Anlage------ >> > >> > > _______________________________________________ >> > > Godi-list mailing list >> > > Godi-list@ocaml-programming.de >> > > https://godirepo.camlcity.org/mailman/listinfo/godi-list > > ------Zitierte Anlage------ >> _______________________________________________ >> Godi-list mailing list >> Godi-list@ocaml-programming.de >> https://godirepo.camlcity.org/mailman/listinfo/godi-list > > > > -- > ------------------------------------------------------------ > Gerd Stolpmann, Darmstadt, Germany g...@gerd-stolpmann.de > Creator of GODI and camlcity.org. > Contact details: http://www.camlcity.org/contact.html > Company homepage: http://www.gerd-stolpmann.de > ------------------------------------------------------------
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list
