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