Am 16.08.2012 19:32:36 schrieb(en) Andreas:
On Thu, 16 Aug 2012 18:10:52 +0200
Sébastien Fricker
<sebastien.fric...@gmail.com> wrote:
> Andreas,
> you can directly checkout CygwinGODI project if you want to test
your
> installer: git clone
> https://forge.ocamlcore.org/anonscm/git/cygwingodi/cygwingodi.git
>
> set in config.bat GODI_DISTRIBUTION to skylift-20120815win and place
> godi-skylift-20120815win.tar.gz (GZIP not .xs) to the checkout
> directory. install.bat should generate an installation from the
> scratch. (without modifying your installed version of cygwin)
Hmm,
At the moment I would recommend a more complicated installation.
After stage1 of the bootstrap process, you are asked to REMOVE the
following packages from your installation:
gcc-core, binutils, gcc-mingw-core.
They are only needed at the beginning; the bootconsole
is still cygwin based and 32bit.
Unfortunately, this is hard to change, because we would need different
bytecode for a true Windows bootconsole (unix.cma is different for
Windows).
It's a mess to have several compilers,
archivers, assemblers, etc. in your PATH (most even with identical
names).
Perhaps even better would be to make a copy of
each /usr/bin/x86_64-w64-mingw32-* program at this stage, so it's
granted that the unprefixed and prefixed version are identical.
There are even inconsistencies during the compilation of ocaml. Some
tools are expected to be prefixed, some not. So you actually need both
around.
Some build instructions or upstream tarballs are only broken, because
they use hardcoded 'gcc' instead of "$CC" in their makefiles.
Normally, the right thing is to just use ocamlc for compiling C
sources. ocamlc knows how to call the C compiler, and runs it with the
right switches so that the object files are compatible with ocaml
programs. But unfortunately everbody thinks that the way to go is to
call the C compiler directly.
I've just submitted a bug report:
http://caml.inria.fr/mantis/view.php?id=5733
Gerd
cu,
andreas
_______________________________________________
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
