X-Recipient: archive-cygwin@delorie.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@cygwin.com; run by ezmlm
List-Id: <cygwin.cygwin.com>
List-Subscribe: <mailto:cygwin-subscribe@cygwin.com>
List-Archive: <http://sourceware.org/ml/cygwin/>
List-Post: <mailto:cygwin@cygwin.com>
List-Help: <mailto:cygwin-help@cygwin.com>, <http://sourceware.org/ml/#faqs>
Sender: cygwin-owner@cygwin.com
Mail-Followup-To: cygwin@cygwin.com
Delivered-To: mailing list cygwin@cygwin.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@cygwin.com>
To: cygwin@cygwin.com
Subject: Re: [Caml-list] problems linking with ocamlopt 4.00.1
Message-ID: <20130611152757.GF9484@calimero.vinschen.de>
Reply-To: cygwin@cygwin.com
Mail-Followup-To: cygwin@cygwin.com
References: <A1D1AF6E2FD8704CBBA2F43BE6EB1188018FABE897@gaia> <44D879F2-2796-44F5-A4D9-841AAAA5C4A5@inria.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
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

