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