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.
I've observed several times that commands suddenly fail, without
apparent reason. The failing command is probably gunzip.
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
