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
> ------------------------------------------------------------
