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
------------------------------------------------------------
_______________________________________________
Godi-list mailing list
Godi-list@ocaml-programming.de
https://godirepo.camlcity.org/mailman/listinfo/godi-list
