From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <per.larsson@prover.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 12E477EE25
	for <caml-list@sympa.inria.fr>; Sun,  9 Jun 2013 17:49:34 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  per.larsson@prover.com) identity=pra; client-ip=192.71.47.2;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="per.larsson@prover.com";
  x-sender="per.larsson@prover.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  per.larsson@prover.com) identity=mailfrom;
  client-ip=192.71.47.2;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="per.larsson@prover.com";
  x-sender="per.larsson@prover.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@gaia.sthlm.prover.com) identity=helo;
  client-ip=192.71.47.2;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="per.larsson@prover.com";
  x-sender="postmaster@gaia.sthlm.prover.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiEHAJOjtFHARy8C/2dsb2JhbABZgwm/N3kWbQeCKjpRAT5CJgEEG4gFmiyfU48HgzdhA6kCgw8
X-IPAS-Result: AiEHAJOjtFHARy8C/2dsb2JhbABZgwm/N3kWbQeCKjpRAT5CJgEEG4gFmiyfU48HgzdhA6kCgw8
X-IronPort-AV: E=Sophos;i="4.87,832,1363129200"; 
   d="scan'208";a="17264075"
Received: from gaia.sthlm.prover.com ([192.71.47.2])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 09 Jun 2013 17:49:27 +0200
Received: from GAIA.exchange2.sthlm.prover.com ([192.71.47.2]) by gaia
 ([192.71.47.2]) with mapi; Sun, 9 Jun 2013 17:44:52 +0200
From: Per Larsson <per.larsson@prover.com>
To: "caml-list@inria.fr" <caml-list@inria.fr>
Thread-Topic: problems linking with ocamlopt 4.00.1
Thread-Index: Ac5lKOls1GRryddDTuquxpATGkw3WA==
Date: Sun, 9 Jun 2013 15:49:22 +0000
Message-ID: <A1D1AF6E2FD8704CBBA2F43BE6EB1188018FABE897@gaia>
Accept-Language: en-US, sv-SE
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Validation-by: per.larsson@prover.com
Subject: [Caml-list] problems linking with ocamlopt 4.00.1

Hi all,

I get the following error message when trying to link with the native compi=
ler:

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 o=
ther tested ocaml projects. I've used the ocaml package from the cygwin pac=
kage loader. Maybe I'm doing something wrong? Is there some new library wit=
h must be loaded from version 4.0

Per