From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: Alain Frisch <alain@frisch.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Problem during Godi bootstrap_stage2 (Windows mingw)
Date: Thu, 19 Mar 2009 17:28:22 +0100 [thread overview]
Message-ID: <44670C7E-F01F-4030-9321-FADE291B9487@polytechnique.org> (raw)
In-Reply-To: <49C1F8AC.7030705@frisch.fr>
[-- Attachment #1: Type: text/plain, Size: 679 bytes --]
On 19 mars 09, at 08:47, 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.
That was it, thanks a lot.
Alan
[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 195 bytes --]
prev parent reply other threads:[~2009-03-19 16:28 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-03-19 7:02 Alan Schmitt
2009-03-19 7:47 ` [Caml-list] " Alain Frisch
2009-03-19 14:30 ` Dave Benjamin
2009-03-19 15:52 ` Joel Reymont
2009-03-19 16:28 ` Alan Schmitt [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=44670C7E-F01F-4030-9321-FADE291B9487@polytechnique.org \
--to=alan.schmitt@polytechnique.org \
--cc=alain@frisch.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).