From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <steph@glondu.net>
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 A4FCE820A1
	for <caml-list@sympa.inria.fr>; Fri,  9 Aug 2013 11:27:05 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  steph@glondu.net) identity=pra; client-ip=138.231.136.39;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="steph@glondu.net";
  x-sender="steph@glondu.net"; x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  steph@glondu.net) identity=mailfrom;
  client-ip=138.231.136.39;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="steph@glondu.net";
  x-sender="steph@glondu.net"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@redisdead.crans.org designates 138.231.136.39 as
  permitted sender) identity=helo; client-ip=138.231.136.39;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="steph@glondu.net";
  x-sender="postmaster@redisdead.crans.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApsAAIu0BFKK54gnmWdsb2JhbABbhx64SoJ1gRgWDgEBAQEBCAsLBxQogiUBBSNVARALGgIFFgsCAgkDAgECAUUGDQEHAogMBKgLkSuBKI5zB4JngScDl2GGJo5D
X-IPAS-Result: ApsAAIu0BFKK54gnmWdsb2JhbABbhx64SoJ1gRgWDgEBAQEBCAsLBxQogiUBBSNVARALGgIFFgsCAgkDAgECAUUGDQEHAogMBKgLkSuBKI5zB4JngScDl2GGJo5D
X-IronPort-AV: E=Sophos;i="4.89,844,1367964000"; 
   d="scan'208";a="23586421"
Received: from redisdead.crans.org ([138.231.136.39])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 09 Aug 2013 11:27:05 +0200
Received: from [10.125.1.2] (fbx.up7.fr [81.56.96.177])
	(using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by redisdead.crans.org (Postfix) with ESMTPSA id 6D0E1213A;
	Fri,  9 Aug 2013 11:27:04 +0200 (CEST)
Message-ID: <5204B5E7.9000409@glondu.net>
Date: Fri, 09 Aug 2013 11:27:03 +0200
From: =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdQ==?= <steph@glondu.net>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130630 Icedove/17.0.7
MIME-Version: 1.0
To: Maxence Guesdon <Maxence.Guesdon@inria.fr>
CC: caml-list@inria.fr
References: <20130809110908.0c2145c9@alcazar>
In-Reply-To: <20130809110908.0c2145c9@alcazar>
X-Enigmail-Version: 1.5.1
OpenPGP: id=49881AD3
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] Problem native dynlink loading cryptokit

Le 09/08/2013 11:09, Maxence Guesdon a =C3=A9crit :
> Here is a test program:
> [...]
> gives me the following error:
>=20
> Fatal error: exception Failure("error loading shared
> library: /home/guesdon/.opam/4.00.1/lib/cryptokit/cryptokit.cmxs:
> undefined symbol: caml_sha1_init")
>=20
> Am I doing something wrong ? Or is something missing in cryptokit
> build ?

It works for me (with system packages).

caml_sha1_init should be in cryptokit.cmxs. The output of

  objdump -j .text -T /path/to/cryptokit.cmxs

should contain all the C functions defined in cryptokit, plus some
caml_curry* functions and camlCryptokit__* functions (compiled from
OCaml). Is it true for you?

--=20
St=C3=A9phane