Regards
Sylvain
2012/7/12 Gerd Stolpmann <i...@gerd-stolpmann.de>:
> Am 12.07.2012 09:15:52 schrieb(en) Sylvain Le Gall:
>
>> A little more information:
>> ===> Extracting build instructions of godi-camlimages-2.20godi6
>> Fatal error: exception Netchannels.Command_failure(_)
>> Raised at file "godi_update.ml", line 427, characters 7-12
>> Called from file "set.ml", line 288, characters 38-41
>> Called from file "set.ml", line 288, characters 28-36
>> Called from file "set.ml", line 288, characters 28-36
>> Called from file "set.ml", line 288, characters 28-36
>> Called from file "set.ml", line 288, characters 28-36
>> Called from file "godi_update.ml", line 767, characters 2-383
>> Called from file "cmd.ml", line 51, characters 4-9
>> Re-raised at file "cmd.ml", line 23, characters 2-1145
>> Called from file "boot_main.ml", line 78, characters 3-17
>>
>> Although line 427 just re-raise an exception... Maybe something in
Pax...
>
>
> It can only be gunzip. The input files are taken from
build/buildfiles. Can
> you at least gunzip directly?
>
> There are now two versions of gzip, 1.3.something and
1.4.something. Which
> did you use? I sticked to 1.3.
>
> Gerd
>
>
>
>
>> 2012/7/12 Francois Berenger <beren...@riken.jp>:
>> > On 07/12/2012 02:58 PM, Sylvain Le Gall wrote:
>> >>
>> >> Hi,
>> >>
>> >> 2012/7/12 Gerd Stolpmann <i...@gerd-stolpmann.de>:
>> >>>
>> >>> Am 12.07.2012 01:55:13 schrieb(en) Sylvain Le Gall:
>> >>>
>> >>>> Hi,
>> >>>>
>> >>>> New error:
>> >>>> ===> Extracting build instructions of godi-kaputt-1.0godi1
>> >>>> ===> Extracting build instructions of godi-cache-1.0
>> >>>> ===> Extracting build instructions of godi-ancient-0.9.0
>> >>>> ===> Extracting build instructions of apps-umlmon-1.0.6godi1
>> >>>> ===> Extracting build instructions of apps-ocamlify-0.0.1
>> >>>> ===> Extracting build instructions of godi-sonet-0.1.1godi2
>> >>>> ===> Extracting build instructions of godi-tophide-1.0.0godi1
>> >>>> ===> Extracting build instructions of
>> >>>> godi-janestreet-core-107.01godi5
>> >>>> Fatal error: exception Netchannels.Command_failure(_)
>> >>>>
>> >>>> Any idea ?
>> >>>
>> >>>
>> >>>
>> >>> No. Is it repeatable? You can just start bootstrap_stage2 at
this
>> >>> point.
>> >>>
>> >>
>> >> Yes I have tried at least 5 time, using standard cygwin console
or
>> >> rxvt (doesn't make any difference).
>> >>
>> >>> I've observed several times that commands suddenly fail,
without
>> >>> apparent
>> >>> reason. The failing command is probably gunzip.
>> >>>
>> >>
>> >> I have seen this behavior once when compiling. I think this is
a more
>> >> persistent bug. Probably related to the absence of one command.
Is
>> >> there way to see what command is failing ?
>> >
>> >
>> > In my experience, its always nice to print a command in the logs
before
>> > trying to execute it, for this exact debugging purpose.
>> >
>> >
>> >> Cheers
>> >> Sylvain
>> >>
>> >>> Gerd
>> >>>
>> >>>
>> >>>
>> >>>>
>> >>>> Cheers
>> >>>> Sylvain
>> >>>> 2012/7/11 Gerd Stolpmann <i...@gerd-stolpmann.de>:
>> >>>>>
>> >>>>> One addition: During bootstrap, one program needs to be
built that
>> >>>>> bases
>> >>>>> on Cygwin (namely boot_console). Because of this you also
need the
>> >>>>> normal gcc for Cygwin, not only the compiler targeting
mingw64.
>> >>>>>
>> >>>>> Gerd
>> >>>>>
>> >>>>> Am Dienstag, den 10.07.2012, 14:16 +0200 schrieb Gerd
Stolpmann:
>> >>>>>>
>> >>>>>> Hi,
>> >>>>>>
>> >>>>>> finally, there is again a version of GODI that works on
mingw:
>> >>>>>>
>> >>>>>>
http://download.camlcity.org/download/godi-skylift-20120709.tar.gz
>> >>>>>>
>> >>>>>> For bootstrapping, you need Cygwin-1.7. I've installed the
Cygwin
>> >>>>>> packages listed below. This is certainly not the minimum
list, and
>> >>>>>> most
>> >>>>>> packages are checked anyway. So far I remember the following
>> >>>>>> packages
>> >>>>>> are important to have:
>> >>>>>>
>> >>>>>> - bc
>> >>>>>> - bzip2
>> >>>>>> - diffutils
>> >>>>>> - gawk
>> >>>>>> - gzip
>> >>>>>> - m4
>> >>>>>> - make
>> >>>>>> - mingw64-i686-binutils
>> >>>>>> - mingw64-i686-gcc
>> >>>>>> - mingw64-i686-headers
>> >>>>>> - mingw64-i686-runtime
>> >>>>>> - patch
>> >>>>>> - rxvt (for having a "real" terminal)
>> >>>>>>
>> >>>>>> Further notes:
>> >>>>>> - You do not need wget anymore (its function is now
"included").
>> >>>>>> - Installing to an UNC path seems not to work.
>> >>>>>> - Very likely 64 bit builds do not work.
>> >>>>>> - There are many packages you cannot build, especially
>> >>>>>> those needing C libraries. There are good chances for
>> >>>>>> OCaml-only
>> >>>>>> packages.
>> >>>>>> - Cygwin is only needed for the build system. All
executables
>> >>>>>> are
>> >>>>>> pure Windows executables that do not link with
cygdll1.dll.
>> >>>>>> - The Skylift release of GODI includes functions for
>> >>>>>> distributing
>> >>>>>> binary packages. Please have bit of patience here, as
I'm
>> >>>>>> still
>> >>>>>> writing the documentation how to do it. But anyway,
this opens
>> >>>>>> the door to a binary-only OCaml distribution for
Windows (w/o
>> >>>>>> Cygwin).
>> >>>>>>
>> >>>>>> I had to fix a relatively long list of bugs, mostly for the
>> >>>>>> following
>> >>>>>> class of problems:
>> >>>>>> - Problems with the CR/LF line endings. godi_console
outputs
>> >>>>>> now always only LF to stdout, but text files may use
the
>> >>>>>> CR/LF conventions.
>> >>>>>> - New cygwin mount tables. godi_console caches now the
output
>> >>>>>> of the "mount" command rather than reading any internal
>> >>>>>> tables (trying to be editor-friendly).
>> >>>>>> - New cygwin symbolic link format is now understood.
>> >>>>>> - Strange problems with stdout/stderr redirections,
especially
>> >>>>>> when pipes connect programs where one is Cygwin and
one not.
>> >>>>>>
>> >>>>>> Hoping that this now also works on other machines than mine.
>> >>>>>>
>> >>>>>> Gerd
>> >>>>>>
>> >>>>>> --
>> >>>>>>
>> >>>>>> Package Version Status
>> >>>>>> _autorebase 000078-1 OK
>> >>>>>> _update-info-dir 01052-1 OK
>> >>>>>> alternatives 1.3.30c-10 OK
>> >>>>>> base-cygwin 3.1-1 OK
>> >>>>>> base-files 4.1-1 OK
>> >>>>>> bash 4.1.10-4 OK
>> >>>>>> bc 1.06-2 OK
>> >>>>>> binutils 2.22.51-2 OK
>> >>>>>> bzip2 1.0.6-2 OK
>> >>>>>> coreutils 8.15-1 OK
>> >>>>>> crypt 1.2-1 OK
>> >>>>>> csih 0.9.6-1 OK
>> >>>>>> cygrunsrv 1.40-2 OK
>> >>>>>> cygutils 1.4.10-2 OK
>> >>>>>> cygwin 1.7.15-1 OK
>> >>>>>> cygwin-doc 1.7-1 OK
>> >>>>>> dash 0.5.7-1 OK
>> >>>>>> dbus 1.4.20-1 OK
>> >>>>>> diffutils 3.2-1 OK
>> >>>>>> dos2unix 6.0-1 OK
>> >>>>>> editrights 1.01-2 OK
>> >>>>>> file 5.11-1 OK
>> >>>>>> findutils 4.5.9-2 OK
>> >>>>>> gamin 0.1.10-11 OK
>> >>>>>> gawk 4.0.1-1 OK
>> >>>>>> gcc4-core 4.5.3-3 OK
>> >>>>>> gcc4-g++ 4.5.3-3 OK
>> >>>>>> gettext 0.18.1.1-2 OK
>> >>>>>> grep 2.6.3-1 OK
>> >>>>>> groff 1.21-2 OK
>> >>>>>> gsettings-desktop-schemas 3.4.2-1 OK
>> >>>>>> gzip 1.3.12-2 OK
>> >>>>>> ipc-utils 1.0-1 OK
>> >>>>>> less 444-1 OK
>> >>>>>> libapr1 1.4.6-1 OK
>> >>>>>> libaprutil1 1.4.1-1 OK
>> >>>>>> libasn1_8 1.5.2-2 OK
>> >>>>>> libattr1 2.4.46-1 OK
>> >>>>>> libbz2_1 1.0.6-2 OK
>> >>>>>> libcloog0 0.15.7-1 OK
>> >>>>>> libcom_err2 1.41.14-1 OK
>> >>>>>> libdb4.5 4.5.20.2-3 OK
>> >>>>>> libdbus1_3 1.4.20-1 OK
>> >>>>>> libedit0 20120311-1 OK
>> >>>>>> libexpat1 2.1.0-1 OK
>> >>>>>> libfam0 0.1.10-11 OK
>> >>>>>> libffi4 4.5.3-3 OK
>> >>>>>> libgcc1 4.5.3-3 OK
>> >>>>>> libgcrypt11 1.4.6-1 OK
>> >>>>>> libgdbm4 1.8.3-20 OK
>> >>>>>> libglib2.0_0 2.32.3-2 OK
>> >>>>>> libgmp3 4.3.2-1 OK
>> >>>>>> libgmpxx4 4.3.2-1 OK
>> >>>>>> libgnutls26 2.12.14-1 OK
>> >>>>>> libgomp1 4.5.3-3 OK
>> >>>>>> libgpg-error0 1.10-1 OK
>> >>>>>> libgssapi3 1.5.2-2 OK
>> >>>>>> libheimbase1 1.5.2-2 OK
>> >>>>>> libheimntlm0 1.5.2-2 OK
>> >>>>>> libhx509_5 1.5.2-2 OK
>> >>>>>> libiconv2 1.14-2 OK
>> >>>>>> libidn11 1.22-1 OK
>> >>>>>> libintl8 0.18.1.1-2 OK
>> >>>>>> libkafs0 1.5.2-2 OK
>> >>>>>> libkrb5_26 1.5.2-2 OK
>> >>>>>> liblzma5 5.0.2_20110517-1 OK
>> >>>>>> liblzo2_2 2.06-1 OK
>> >>>>>> libmpc1 0.8-1 OK
>> >>>>>> libmpfr1 2.4.1-4 OK
>> >>>>>> libmpfr4 3.0.1-1 OK
>> >>>>>> libncurses10 5.7-18 OK
>> >>>>>> libncurses9 5.7-16 OK
>> >>>>>> libncursesw10 5.7-18 OK
>> >>>>>> libneon27 0.29.6-2 OK
>> >>>>>> libopenldap2_3_0 2.3.43-3 OK
>> >>>>>> libopenssl098 0.9.8x-1 OK
>> >>>>>> libopenssl100 1.0.1c-1 OK
>> >>>>>> libpcre-devel 8.30-1 OK
>> >>>>>> libpcre0 8.21-2 OK
>> >>>>>> libpcre1 8.30-1 OK
>> >>>>>> libpcre16_0 8.30-1 OK
>> >>>>>> libpcrecpp0 8.30-1 OK
>> >>>>>> libpcreposix0 8.30-1 OK
>> >>>>>> libpopt0 1.6.4-4 OK
>> >>>>>> libppl 0.10.2-1 OK
>> >>>>>> libpq5 8.2.11-1 OK
>> >>>>>> libproxy1 0.4.7-1 OK
>> >>>>>> libreadline6 5.2.14-12 OK
>> >>>>>> libreadline7 6.1.2-3 OK
>> >>>>>> libroken18 1.5.2-2 OK
>> >>>>>> libsasl2 2.1.25-1 OK
>> >>>>>> libserf0_1 0.7.1-2 OK
>> >>>>>> libserf1_0 1.0.3-1 OK
>> >>>>>> libsigsegv2 2.10-1 OK
>> >>>>>> libsqlite3_0 3.7.12.1-1 OK
>> >>>>>> libssp0 4.5.3-3 OK
>> >>>>>> libstdc++6 4.5.3-3 OK
>> >>>>>> libstdc++6-devel 4.5.3-3 OK
>> >>>>>> libtasn1_3 2.12-1 OK
>> >>>>>> libuuid1 2.21-1 OK
>> >>>>>> libwind0 1.5.2-2 OK
>> >>>>>> libwrap0 7.6-21 OK
>> >>>>>> libX11_6 1.4.4-1 OK
>> >>>>>> libXau6 1.0.6-1 OK
>> >>>>>> libxcb1 1.7-2 OK
>> >>>>>> libXdmcp6 1.1.0-1 OK
>> >>>>>> login 1.10-10 OK
>> >>>>>> m4 1.4.16-1 OK
>> >>>>>> make 3.82.90-1 OK
>> >>>>>> man 1.6g-1 OK
>> >>>>>> mingw-binutils 2.21-1 OK
>> >>>>>> mingw-gcc-core 4.5.2-1 OK
>> >>>>>> mingw-gcc-g++ 4.5.2-1 OK
>> >>>>>> mingw-pthreads 20110507-1 OK
>> >>>>>> mingw-runtime 3.20-1 OK
>> >>>>>> mingw-w32api 3.17-2 OK
>> >>>>>> mingw64-i686-binutils 2.22.51-3 OK
>> >>>>>> mingw64-i686-gcc 4.5.3-5 OK
>> >>>>>> mingw64-i686-gcc-core 4.5.3-5 OK
>> >>>>>> mingw64-i686-gcc-g++ 4.5.3-5 OK
>> >>>>>> mingw64-i686-headers 3.0b_svn4913-1 OK
>> >>>>>> mingw64-i686-pthreads 20100619-4 OK
>> >>>>>> mingw64-i686-runtime 3.0b_svn4913-1 OK
>> >>>>>> mintty 1.1.1-1 OK
>> >>>>>> nano 2.2.5-1 OK
>> >>>>>> openssh 6.0p1-2 OK
>> >>>>>> patch 2.6.1-1 OK
>> >>>>>> patchutils 0.3.2-1 OK
>> >>>>>> perl 5.10.1-5 OK
>> >>>>>> rebase 4.2.0-1 OK
>> >>>>>> run 1.1.13-1 OK
>> >>>>>> rxvt 20050409-21 OK
>> >>>>>> sed 4.2.1-2 OK
>> >>>>>> subversion 1.7.5-1 OK
>> >>>>>> tar 1.25-1 OK
>> >>>>>> terminfo 5.7_20091114-14 OK
>> >>>>>> texinfo 4.13-4 OK
>> >>>>>> tzcode 2012b-1 OK
>> >>>>>> unzip 6.0-10 OK
>> >>>>>> w32api 3.17-2 OK
>> >>>>>> wget 1.13.4-1 OK
>> >>>>>> which 2.20-2 OK
>> >>>>>> xz 5.0.2_20110517-1 OK
>> >>>>>> zip 3.0-11 OK
>> >>>>>> zlib-devel 1.2.7-1 OK
>> >>>>>> zlib0 1.2.7-1 OK
>> >>>>>>
>> >>>>>>
>> >>>>>
>> >>>>> --
>> >>>>> ------------------------------------------------------------
>> >>>>> 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
>> >>>>> *** Searching for new projects! Need consulting for system
>> >>>>> *** programming in Ocaml? Gerd Stolpmann can help you.
>> >>>>> ------------------------------------------------------------
>> >>>>>
>> >>>>> _______________________________________________
>> >>>>> 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
>> >>
>> >
>> >
>> > _______________________________________________
>> > 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
>>
>>
>
>
>
> --
> ------------------------------------------------------------
> 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