From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Maxence.Guesdon@inria.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id CBC7B820A1
	for <caml-list@sympa.inria.fr>; Fri,  9 Aug 2013 11:09:30 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="4.89,844,1367964000"; 
   d="scan'208";a="28904399"
Received: from adijon-153-1-57-105.w81-51.abo.wanadoo.fr (HELO alcazar) ([81.51.200.105])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 09 Aug 2013 11:09:21 +0200
Date: Fri, 9 Aug 2013 11:09:08 +0200
From: Maxence Guesdon <Maxence.Guesdon@inria.fr>
To: caml-list@inria.fr
Message-ID: <20130809110908.0c2145c9@alcazar>
Organization: INRIA
X-Mailer: Claws Mail 3.9.2 (GTK+ 2.24.20; x86_64-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] Problem native dynlink loading cryptokit

Hello,

I'm trying to dynamically load the cryptokit library in native mode.

Here is a test program:

cat > testload.ml
let _ = Dynlink.allow_unsafe_modules true;;

let load_file file =
  try Dynlink.loadfile (Dynlink.adapt_filename file)
  with Dynlink.Error e ->
      failwith (Dynlink.error_message e)

let () =
  match Array.to_list Sys.argv with
    [] | [_] -> prerr_endline "missing arguments"; exit 1
  | _ :: files -> List.iter load_file files

Compiling with
   ocamlopt -linkall -o testload dynlink.cmxa testload.ml

Then, running
  ./testload  ~/.opam/4.00.1/lib/ocaml/nums.cmxs \
      ~/.opam/4.00.1/lib/ocaml/unix.cmxs \
      ~/.opam/4.00.1/lib/cryptokit/cryptokit.cmxs

gives me the following error:

Fatal error: exception Failure("error loading shared
library: /home/guesdon/.opam/4.00.1/lib/cryptokit/cryptokit.cmxs:
undefined symbol: caml_sha1_init")

Am I doing something wrong ? Or is something missing in cryptokit
build ?

Thanks,

Maxence