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
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

- Raw text -