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=kfZX5n+kZUKZ7s66tgjoJwTmGPILLU9dQtMkx+0AXcwVcLq3577M9
	SNg07dhiDbclmgTRLFqLWXY238oqvYCesoj/pZ2fSPZH2vVO53iWrAQpu33hSLKS
	31qAkOoVxlZVQhxLc24nvcl8HblSGnslPTLRU/KTVY3ujewD5MI3l4=
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=KNadywgRQdYUqEZpDStjsrs5HEE=; b=i0Zx14DhM5uc7XbSUnJq4Z70IrAz
	cVfXMW01KeU4UvfYOdUQ3dD1tZh3LUw7WlbtPs6s6aEub57y5csr7cy5RJxLOy3L
	EpFgZptOCyzNPUZjmA6rA0f1IlLTSljShOxzcB88OKNoBquIgDvJqgyuicqv8UXD
	zXbJJBCEvQIzgH4=
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,TW_HK autolearn=ham version=3.3.1
Date:	Tue, 11 Jun 2013 17:27:57 +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:	<20130611152757.GF9484@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>
MIME-Version:	1.0
In-Reply-To:	<44D879F2-2796-44F5-A4D9-841AAAA5C4A5@inria.fr>
User-Agent:	Mutt/1.5.21 (2010-09-15)

On Jun 11 17:18, Damien Doligez wrote:
> Hi,
> 
> On 2013-06-09, at 17:49, Per Larsson wrote:
> 
> > I get the following error message when trying to link with the native compiler:
> > 
> > ocamlopt -o mlok2hll-1 -warn-error +A -annot str.cmxa util.cmx error.cmx id.cmx mlok.cmx parse.cmx lex.cmx hll.cmx compile.cmx main.cmx
> > ** Cannot resolve symbols for /usr/lib/ocaml/libasmrun.a(freelist.o):
> > ___chkstk_ms
> > ** Cannot resolve symbols for /usr/lib/ocaml/libasmrun.a(md5.o):
> > ___chkstk_ms
> > ** Cannot resolve symbols for /usr/lib/ocaml/libasmrun.a(sys.o):
> > ___chkstk_ms
> > File "caml_startup", line 1:
> > Error: Error during linking
> > 
> > There is nothing special with the inputs above, I get the same error with other tested ocaml projects. I've used the ocaml package from the cygwin package loader. Maybe I'm doing something wrong? Is there some new library with must be loaded from version 4.0
> 
> This ___chkstk_ms business is inserted by gcc and should be part of the C runtime library. Which version of gcc do you have? On cygwin, OCaml needs gcc version 4.7.2 because of an unknown problem with the gcc-4.5.3-3 package.

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


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 -