Am 16 août 2012 um 19:32 schrieb 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. It's a mess to have several compilers, > archivers, assemblers, etc. in your PATH (most even with identical > names).
This is not reliable for en end user. CygwinGODI purpose is to automate the test procedure of the installation of GODI on Cygwin. Normally the user have already a Cygwin installation, and so he should be able to install GODI directly. (this is actually not easy of course) If the CygwinGODI do something like: install cygwin-gcc then execute a script then deinstall it to execute an other script, there is something wrong. And I will not expect that the user do such operation manually on its own Cygwin to install GODI. > > 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. > This is the job of the maintainer not CygwinGODI... CygwinGODI is only an automate installer which permits to test/reproduce such issues. > cu, > andreas > > > _______________________________________________ > Godi-list mailing list > Godi-list@ocaml-programming.de > https://godirepo.camlcity.org/mailman/listinfo/godi-list
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list
