From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ygrekheretix@gmail.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 886AF7EE25
	for <caml-list@sympa.inria.fr>; Sun,  9 Jun 2013 22:39:58 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  ygrekheretix@gmail.com) identity=pra;
  client-ip=209.85.215.177;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ygrekheretix@gmail.com";
  x-sender="ygrekheretix@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  ygrekheretix@gmail.com designates 209.85.215.177 as permitted
  sender) identity=mailfrom; client-ip=209.85.215.177;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ygrekheretix@gmail.com";
  x-sender="ygrekheretix@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-ea0-f177.google.com) identity=helo;
  client-ip=209.85.215.177;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ygrekheretix@gmail.com";
  x-sender="postmaster@mail-ea0-f177.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AuQAANTmtFHRVdexk2dsb2JhbABZhi+8EXoWDgEBAQEHCwsJFAQkgiQBBToGARseAwwGBSETEg8UEQEFARwZh3oBAw8EnHeMS4J/g1UKGScNWId0AQUMjzMWg0oDiRqFcIg1AY9dP4Q4
X-IPAS-Result: AuQAANTmtFHRVdexk2dsb2JhbABZhi+8EXoWDgEBAQEHCwsJFAQkgiQBBToGARseAwwGBSETEg8UEQEFARwZh3oBAw8EnHeMS4J/g1UKGScNWId0AQUMjzMWg0oDiRqFcIg1AY9dP4Q4
X-IronPort-AV: E=Sophos;i="4.87,832,1363129200"; 
   d="scan'208";a="17273795"
Received: from mail-ea0-f177.google.com ([209.85.215.177])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Jun 2013 22:39:58 +0200
Received: by mail-ea0-f177.google.com with SMTP id j14so4873577eak.8
        for <caml-list@inria.fr>; Sun, 09 Jun 2013 13:39:57 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=date:from:to:subject:message-id:in-reply-to:references:x-mailer
         :mime-version:content-type:content-transfer-encoding;
        bh=lMSqYr6GT1UoSVHlI0wyTMN2htYa5HpfVAZIGT9uBGI=;
        b=ZgZQy7zOlGqq83PcmQGF8vZzptK9VdSWq85CDWrZMlbSOWzhL8htEeRpChna0nRl8H
         GsW3YTwNWlnWMulYC3PXMha0WljDRGw23MkYOgQc4W4p88H0kCJe6PdKdlnLT+z6uWsB
         p3RnJwyOwjjpcOs3ycwYS6vgjezwBKkndMuz676Pa3pxXYJBlyiJqh13ZRyLpCoOVJ3f
         HGX+mKO/uWADaGHpyUPSVTo3we92scisvjUIkW7AR8IWfTF9j8vzBwD/DpMnB1nzA7fe
         J4VoiaqrODDJPMVZUeX41n1A9bxjM/kS6NxL+aPAJcZpkZLOxOGLj2QQAcxC1oj2OKql
         v97g==
X-Received: by 10.15.43.203 with SMTP id x51mr7864390eev.144.1370810397139;
        Sun, 09 Jun 2013 13:39:57 -0700 (PDT)
Received: from kiwi.local.tld (162-15-133-95.pool.ukrtel.net. [95.133.15.162])
        by mx.google.com with ESMTPSA id y2sm17863667eeu.2.2013.06.09.13.39.55
        for <caml-list@inria.fr>
        (version=SSLv3 cipher=RC4-SHA bits=128/128);
        Sun, 09 Jun 2013 13:39:56 -0700 (PDT)
Date: Sun, 9 Jun 2013 23:39:53 +0300
From: ygrek <ygrekheretix@gmail.com>
To: caml-list@inria.fr
Message-ID: <20130609233953.012c915b@kiwi.local.tld>
In-Reply-To: <A1D1AF6E2FD8704CBBA2F43BE6EB1188018FABE897@gaia>
References: <A1D1AF6E2FD8704CBBA2F43BE6EB1188018FABE897@gaia>
X-Mailer: Claws Mail 3.8.1 (GTK+ 2.24.10; x86_64-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] problems linking with ocamlopt 4.00.1

On Sun, 9 Jun 2013 15:49:22 +0000
Per Larsson <per.larsson@prover.com> wrote:

> ** Cannot resolve symbols for /usr/lib/ocaml/libasmrun.a(sys.o):
>  ___chkstk_ms
> File "caml_startup", line 1:
> Error: Error during linking

My guess is that you are linking with the version of C runtime different from
the one used when building ocaml binaries (probably different stack protection options).

--