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:content-type:mime-version:subject:from
	:in-reply-to:date:content-transfer-encoding:message-id
	:references:to; q=dns; s=default; b=w5hyzqDuh2zBRGL2YeiK42NInhst
	ZCmrXVWZQQfDw78bQ7qjY7WeBlDBHz1JCAzJitrXloor7r1oNYVqlWORaO6QHVEp
	tR7XpnHQzscZoQe589b5Qj7rw8Nf9qKh8A48NUA3lX2amd22GWUFmkoQVcYcoeEq
	fRewCmIM8ll0KH4=
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:content-type:mime-version:subject:from
	:in-reply-to:date:content-transfer-encoding:message-id
	:references:to; s=default; bh=OKjERRDdVoJKq135omEfJ3CYh9U=; b=Fh
	GFbVECLlVVt6k9Zn2bciUkonuM6Y0jJls1PP0cuobXznt9tc+vquj9JQNEFZgU2E
	/P/8ND/Py7AdTPBS0WN68eHhh38/Bc1ChuPIZhXLJypuzKKkWEIpn1beE5IuiwMr
	e6iIZTajwAN8PBbTRzGVE84hlwvudPLDJwA7BGEKo=
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=-2.2 required=5.0 tests=AWL,BAYES_00,KHOP_THREADED,RP_MATCHES_RCVD autolearn=ham version=3.3.1
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0 (Apple Message framework v1283)
Subject: Re: [Caml-list] problems linking with ocamlopt 4.00.1
From: Damien Doligez <damien DOT doligez AT inria DOT fr>
In-Reply-To: <20130611152757.GF9484@calimero.vinschen.de>
Date: Wed, 12 Jun 2013 13:51:12 +0200
Content-Transfer-Encoding: 7bit
Message-Id: <811EA331-2999-4555-A327-535BEBC132FC@inria.fr>
References: <A1D1AF6E2FD8704CBBA2F43BE6EB1188018FABE897 AT gaia> <44D879F2-2796-44F5-A4D9-841AAAA5C4A5 AT inria DOT fr> <20130611152757 DOT GF9484 AT calimero DOT vinschen DOT de>
To: cygwin AT cygwin DOT com

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.

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

-- Damien


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