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
