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