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:subject:mime-version:content-type:from
	:in-reply-to:date:cc:content-transfer-encoding:message-id
	:references:to; q=dns; s=default; b=H5WLdKC94soL/jAK8NW6ezWTdWyk
	eb9QpHeoOoCGuT42qEAHoXR13p0V+StZoVgWcgzCBPVNLbEUlRDft7+AcjlW1a2R
	ezxEJyeQMrYR0GbCFyb4Am9wPqAL9ZdozTuyCD5jgXoct6aPBQLeHQ6rszp5T1U3
	OCrHBpkeIY+pI2Y=
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:subject:mime-version:content-type:from
	:in-reply-to:date:cc:content-transfer-encoding:message-id
	:references:to; s=default; bh=Gu0ryoRAiQus0MaR/RDmzuA9ewI=; b=WG
	oLyxz2pYgwa6zhd+cY4AD5EJiTdq4rwTQ3xm8AIWIuuArqshJvMYUfXSRsmz8FZT
	Wj7+Eg3klGWC2kONwLUxmOIHVDTbzr6Oo9gucO1sedonT7fazkU0URhCt3gRQVTf
	7wHyTNrbuNCZMgVvw87X8ogwg8eoGXr4ANsCHB8Js=
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=-0.2 required=5.0 tests=AWL,BAYES_00,KHOP_THREADED,RP_MATCHES_RCVD,TW_HK autolearn=ham version=3.3.1
Subject:	Re: [Caml-list] problems linking with ocamlopt 4.00.1
Mime-Version:	1.0 (Apple Message framework v1283)
From:	Damien Doligez <damien DOT doligez AT inria DOT fr>
In-Reply-To:	<A1D1AF6E2FD8704CBBA2F43BE6EB1188018FABE897@gaia>
Date:	Tue, 11 Jun 2013 17:18:32 +0200
Cc:	caml users <caml-list AT inria DOT fr>, cygwin AT cygwin DOT com
Message-Id:	<44D879F2-2796-44F5-A4D9-841AAAA5C4A5@inria.fr>
References:	<A1D1AF6E2FD8704CBBA2F43BE6EB1188018FABE897 AT gaia>
To:	Per Larsson <per DOT larsson AT prover DOT com>
X-MIME-Autoconverted:	from quoted-printable to 8bit by delorie.com id r5BFIlXp027914

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.

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

- Raw text -