X-Recipient: archive-cygwin AT delorie DOT com
DomainKey-Signature: a=rsa-sha1; c=nofws; d=sourceware.org; h=list-id
	:list-unsubscribe:list-subscribe:list-archive:list-post
	:list-help:sender:date:from:to:subject:message-id:reply-to
	:references:mime-version:content-type:in-reply-to; q=dns; s=
	default; b=MqN6tRRBUVTsSldNusBFWN+A4bWW3chPcYO/pfja2/98+2izXHkif
	Jkt0T8TekFLs0vkqoy98I07UXoXsXZezIZMqgcwUChFq04np3WmPtG6cdsTD9btT
	7z/DuwUKwHkmFwlDvA/Ot5a+X4JtVNcI7cfsEQwHwgWMYpoatjssS4=
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=sourceware.org; h=list-id
	:list-unsubscribe:list-subscribe:list-archive:list-post
	:list-help:sender:date:from:to:subject:message-id:reply-to
	:references:mime-version:content-type:in-reply-to; s=default;
	 bh=YpmqhvcnAyj4UYHo2UvVqkJiNXw=; b=PZdk3t0h2K3uzzR6buYm1mk4fJ4H
	oKc4bUW4BfVEjbQPz8io472XGSr1FnBqB4ViPzJOm8RrrmatS+28b+8zuW8OknT9
	MdDKn7ki/gpYVHb86vJBESv7Le2EZXwLleWqhrXcnYubxCcDxguIFchFWP/WVN+H
	sexLNtwcAyOEMEY=
Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Id: <cygwin.cygwin.com>
List-Subscribe: <mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive: <http://sourceware.org/ml/cygwin/>
List-Post: <mailto:cygwin AT cygwin DOT com>
List-Help: <mailto:cygwin-help AT cygwin DOT com>, <http://sourceware.org/ml/#faqs>
Sender: cygwin-owner AT cygwin DOT com
Mail-Followup-To: cygwin AT cygwin DOT com
Delivered-To: mailing list cygwin AT cygwin DOT com
X-Spam-SWARE-Status: No, score=-1.8 required=5.0 tests=AWL,BAYES_00 autolearn=ham version=3.3.1
Date: Wed, 12 Jun 2013 16:05:02 +0200
From: Corinna Vinschen <corinna-cygwin AT cygwin DOT com>
To: cygwin AT cygwin DOT com
Subject: Re: [Caml-list] problems linking with ocamlopt 4.00.1
Message-ID: <20130612140502.GC30807@calimero.vinschen.de>
Reply-To: cygwin AT cygwin DOT com
Mail-Followup-To: cygwin AT cygwin DOT com
References: <A1D1AF6E2FD8704CBBA2F43BE6EB1188018FABE897 AT gaia> <44D879F2-2796-44F5-A4D9-841AAAA5C4A5 AT inria DOT fr> <20130611152757 DOT GF9484 AT calimero DOT vinschen DOT de> <811EA331-2999-4555-A327-535BEBC132FC AT inria DOT fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
In-Reply-To: <811EA331-2999-4555-A327-535BEBC132FC@inria.fr>
User-Agent: Mutt/1.5.21 (2010-09-15)

On Jun 12 13:51, Damien Doligez wrote:
> On 2013-06-11, at 17:27, Corinna Vinschen wrote:
> 
> > Ouch!  As long as gcc 4.7.2 is not the defualt compiler, that's kind
> > of borderline since you force people to install the test release of gcc.
> > 
> > Granted, it's time we get a 4.7 or 4.8 based gcc ASAP...
> 
> Another solution would be to compile OCaml with the 4.5.3-1 version
> of the GCC package, if there's any way to do that. OCaml 3.12.1 was
> compiled with that version and it didn't exhibit the bug.
> 
> But I didn't find any obvious way to go back to an old package that
> is not in setup's list anymore.

Click on the version number of the package.  It will cycle through the
available versions and other options (like "keep", "reinstall",
"uninstall").

> I apologize for unwittingly breaking so many things with this OCaml
> update.

No worries, stuff like that happens once in a while.  I guess we
should let this just stay as is for now and see to it that we get a
new gcc version soon.


Corinna

-- 
Corinna Vinschen                  Please, send mails regarding Cygwin to
Cygwin Maintainer                 cygwin AT cygwin DOT com
Red Hat

--
Problem reports:       http://cygwin.com/problems.html
FAQ:                   http://cygwin.com/faq/
Documentation:         http://cygwin.com/docs.html
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple