Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Problem during Godi bootstrap_stage2 (Windows mingw)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-03-19 (14:31)
From: Dave Benjamin <dave@r...>
Subject: Re: [Caml-list] Problem during Godi bootstrap_stage2 (Windows mingw)
Alain Frisch wrote:
> Alan Schmitt wrote:
>> I had to reinstall my environment to develop OCaml applications under 
>> Windows (using mingw), and I'm having some problem during 
>> bootstrap_stage2. Here are the last few lines before the problem occurs:
> I think the problem comes from a recent update in Cygwin. Now, gcc is a 
> (Cygwin) symbolic link to gcc3.exe. Cygwin applications (like bash or 
> make) are able to follow symlinks, but not native Win32 applications 
> (like ocamlrun).
> A solution is to copy gcc3.exe to gcc.exe in a directory which is put in 
> front of the PATH. Same for cpp.

I ran into this problem as well. My solution was basically what you 

cd /usr/bin
mv gcc.exe gcc.exe.cygwin
cp gcc-3.exe gcc.exe
mv cpp.exe cpp.exe.cygwin
cp cpp-3.exe cpp.exe

The symlinks are due to the "alternatives" system. If you look at 
Cygwin's original gcc.exe and cpp.exe, you'll see that they point to 
/etc/alternaines/gcc and cpp, which in turn point back to 
/usr/bin/gcc-3.exe and cpp-3.exe. The goal is to let you install 
multiple versions and use symlinks to set the defaults. Seems like 
overkill in this case.